algorithm - BDD (二分決定図) アルゴリズム?

Question

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

Answer 1

真理値表を視覚化するためのグラフ作成ツールが必要な場合、検討すべきツールの 1 つに がありGraphvizます。BDDは本質的にグラフであり、graphviz パッケージには、試すことができるグラフ作成用の組み込みアルゴリズムがいくつかあります。また、多くの学術機関での事実上のグラフ化でもあります。

graphviz を使用したウィキペディアのBDDの例:

Answer 2

Google 検索「BDD アルゴリズム」で最初にヒットしたのは、BDD に関するウィキペディアのページで、BDDを紹介し、BDD をカバーするいくつかの教科書を「参考文献」セクションにリストしています。