2011-08-14 17 views

答えて

4

真理値表を視覚化するためのグラフツールが必要な場合は、考慮する必要があるツールの1つがGraphvizです。 BDDは本質的にグラフであり、graphvizパッケージにはグラフ作成用のアルゴリズムがいくつか用意されています。多くの学術機関では事実上のグラフでもあります。何のために

enter image description here

+0

ありがとうございますが、ここではバイナリサーチアルゴリズムのようなBDDのアルゴリズムが必要です。 - > http://en.wikipedia org/wiki/Binary_search_algorithm#実装には擬似コードがあります。私はそれのようなものを探しています。 –

0

Google検索の「BDDアルゴリズム」の最初のヒットはウィキペディアpage on BDDです。これはBDDの概要を説明しており、BDDを詳しく解説したいくつかの教科書をリストしています。

+0

数学の例しかありません。アルゴリズムを探しています。バイナリ検索アルゴリズムhttp://en.wikipedia.org/wiki/Binary_search_algorithm#Implementations –

+0

だからこそ私は「さらなるレディング」のセクションに言及しました。そこにリンクされている教科書のいくつかは、インターネット上でアクセス可能であり、BDDおよびそれらの分類アルゴリズムを記述する(BDDは多くのアルゴリズムが存在するデータ構造であることに留意されたい)。特にKnuthの扱いは非常に包括的です(155ページ...) – meriton

+0

ありがとうございました。 –