Machine learningSymbolic Computation

이진 결정 다이어그램

이진 결정 다이어그램(BDD)은 1986년 Randal Bryant가 개발한 불 함수(Boolean function)의 표준적이고 메모리 효율적인 표현 방식입니다. BDD는 모든 변수 할당과 결과를 인코딩하는 방향성 비순환 그래프(directed acyclic graph)이며, 축소된 BDD(reduced BDD)는 각 함수마다 고유하므로 모델 검사, 회로 설계, 기호 계산에서 조합 논리(combinatorial logic)를 효율적으로 조작할 수 있게 합니다.

MethodMind에서 열기곧 제공동영상곧 제공Download slides

방법 전문 읽기

회원 전용

무료 계정으로 로그인하면 이 섹션을 읽을 수 있습니다.

로그인

출처

Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8), 677–691. DOI: 10.1109/TC.1986.1676819 ↗
Andersen, H. R. (1997). An introduction to binary decision diagrams. Technical Report, IT University of Copenhagen. link ↗
Becker, B., & Drechsler, R. (1998). Binary Decision Diagrams: Theory and Implementation. Kluwer. ISBN: 0792380185

이 페이지 인용 방법

ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/ko/numerical-methods/binary-decision-diagram

이 페이지에서 오류를 발견하셨나요? 신고하거나 수정을 제안하세요 →