問題タブ [binary-decision-diagram]

C 用の二分決定図 (BDD) ライブラリ、またはテスト済みで適切なドキュメントがあるその他の言語はありますか?

Windows でjincをコンパイルしようとしたところ、すぐに何百ものコンパイラ エラーが発生したため、Windows 用にビルドできる高品質の BDD ライブラリを探しています。できれば C または C++ ですが、バインドできる限りは満足​​しています。

縮小順序二分決定図（ROBDD）は、複数の変数のブール関数の効率的なデータ構造ですf(x1,x2,...,xn)。それらがどれほど効率的であるかを直感的に理解したいと思います。

たとえば、データ圧縮の場合、エントロピーが低いデータ（一部のシンボルが他のシンボルよりも頻繁に出現し、多くの繰り返しが発生する）は非常によく圧縮できますが、完全にランダムなデータは圧縮できません。

ROBDDが特定のブール式をどれだけ効率的に表すことができるかを推定するための類似した直感はありますか？この主題に関する文献（できればオンライン）はありますか？

二分決定図の背景については、wikipedia の BDD を参照してください。

最も簡単な方法は、BDT (二分決定木) を作成し、次の 2 つのルールに従って縮小することです。
- 同形サブグラフをマージします。
- 2 つの子が同型であるノードを削除します。
しかし、BDD に比べて BDT が非常に巨大になる可能性がある大きな問題が 1 つあります。最初に BDT をビルドせずに BDD をビルドする方法はありますか?

オブジェクトの依存関係のコレクションを DAG にまとめるとしたら、どのような状況で BDD (二分決定図) などの別のデータ構造よりも望ましいでしょうか?

Java では、cond1 AND (cond2 OR cond3) AND ( cond 4 OR cond5) のような式のセットがあります。それをツリーに変換してから、最終的なブール値の答えを評価したいと思います。私はJava BDDの周りをたくさん検索しようとしましたが、何も得ることができませんでした. サンプルコードで何か提案はありますか?

誰かがCuddパッケージにいくつかの良い資料を指摘できますか？私はここでいくつかの簡潔な問題を探しています。http://vlsi.colorado.edu/~fabio/CUDD/にあるものは、この問題についての良い紹介をしていないようです。BDDとその応用に関連するビデオ講義は大歓迎です。

ありがとう、よろしく

二分決定図 (BDD) を実装するにはどうすればよいですか? 文化的アルゴリズムに基づく BDD の最小化と、BDD による回路障害検出を実装したいと考えています。

重複
の可能性: C# BDD (Binary Decision Diagram) パッケージを知っている人はいますか?

C# で縮小順序付き二分決定図 (ROBDD) を実装するにはどうすればよいですか? 誰か知っていますか？

BDD (二分決定図) アルゴリズムをどこで見つけることができるか知っている人はいますか?