Machine learningSymbolic Computation

バイナリ決定図

バイナリ決定図（BDD）は、1986年にランダル・ブライアントによって開発された、ブール関数を表現するための標準的かつメモリ効率の良い方法です。BDDは、すべての変数割り当てと結果をエンコードした有向非巡回グラフであり、縮約されたBDDは関数ごとに一意であるため、モデル検査、回路設計、記号計算における組み合わせ論理の効率的な操作を可能にします。

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/ja/numerical-methods/binary-decision-diagram

このページに誤りを見つけましたか?報告・修正提案 →