問題タブ [cudd]

CUDD 決定ダイアグラムのルート ノードへのポインタがあります。たとえば、

この決定木を構成するノードとエッジの数を取得するにはどうすればよいですか?

コマンド プロンプトで cygwin を使用して CUDD 2.5.1 をセットアップしているときに、次のメッセージが表示されます。 ] エラー 127

CUDDとcygwinの両方のディレクトリをC：/（Windows 7、64ビット）に保存しました。

これは Makefile のビルド部分です: build: sh ./setup.sh @+for dir in $(DIRS); do \ (cd $$dir; \ echo Making $$dir ...; \ make CC=$(CC) RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS )" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" )\ 完了

私は何をすべきか？

私のldには次の問題があります。

何をすればよいでしょうか？

CUDD をコンパイルすると、次のエラーが発生しました。

PS：私は使用しています

私のldは/usr/bin/ldです。

次の 2 つのブール関数の 2 つの BDD の共通部分を見つけたいと思います。

これが私のコードです：

そして、ここに私が得た結果があります：

ここでわかるように、交差は A=0 を与え、B、C、および D を気にしません。私は、F と G の両方を満たす A、B、C、および D の値を期待していました。しかし、明らかに A=0 はF と G の両方の解。たとえば、関数 F に 0 を与える A=0,B=1 を選択できます。ここで何が問題なのですか?

既存の BDD をブール式の文字列としてエクスポートしようとしています。理想的には、最小限の長さの文字列または最小限の正規形が必要ですが、これ自体が難しい問題だと思います。BDD を短い文字列に変換する方法を知っていますか? 現在、私は機能を使用しています

しかし、変数がほとんどないBDDであっても、結果はほとんど判読できません。

変数 A、B の 2 つのセットがあります。並べ替えを有効にしたいのですが、常に変数 A がB の変数の前に表示されるようにします。また、A 内と B 内で並べ替えを許可したいと考えています。

(Cudd_MakeTreeNode を使用して A と B の 2 つのグループを作成する方法を知っています。私の質問は、B が最後になるようにすることです)

BLIF ファイルを CUDD パッケージにインポートし、そこから BDD を作成してから、いくつかの操作を実行しようとしています。ntr パッケージを使用して BLIF ファイルをインポートできました。ただし、結果の BDD 内の変数またはノードにアクセスする方法がわかりません。

関数用に独自の BDD を作成した場合、変数を作成しながら変数を呼び出して、さまざまな操作/操作を行うことができます。ただし、BLIF インポートでは、結果の ddManager (dd) とブール ネットワーク (net1) しかありません。個々の変数/ノードを呼び出す方法を知っている人はいますか? 以下の BLIF 生成コードを参照してください。ありがとう！