binary-decision-diagram

    0熱

    1答えて

    バッグモデルを使用して発生ビットを含むBDDを作成する方法

    私は、製品ファミリをバッグモデルとして表現するためのガイドを行っていました。このモデルでは、発生を考慮してBDDが発生します。 私は私の問題に同様の手順を含めることを試みています。テキストは と言っています。バッグモデルを採用すると、実装は機能の複製を処理する以外はセットモデルの実装と似ています。 ROBDDはノードの重複を許可しません。 BDD内でのフィーチャの発生回数を処理するために、それをエ
    python bag binary-decision-diagram 2017-11-12

    1熱

    1答えて

    デシジョンテーブルに複雑な条件がどのように表されるか

    デシジョンテーブルテンプレートをモデル化しようとしています。 Iは (x>10 and y<10) print "red"ような単純なルールの理解なぜ条件とアクションのための1つの列の2つの列を使用して一列と判定テーブルで表すことができます。 +-----+-----+-------------+ | X | Y | Action | +-----+-----+-------------+
    logical-operators rule-engine binary-decision-diagram 2016-12-13

    2熱

    2答えて

    バイナリ決定図の変数を並べ替える方法はありますか？

    私は変数の並べ替えのための機能もあるバイナリデシジョンダイアグラムのための教材に取り組んでいます。ツリーを構築している間に変数の並べ替えを実装する適切なライブラリや、同じものを実装する何らかのアルゴリズムを提案する人はいますか？ pyeda、buDDy、pycuddなどのライブラリで作業できるのは、これらのライブラリに習熟しているためです。 おかげで、あなたは明確化のいずれかの種類が必要な場合は、
    python logic binary-decision-diagram pyeda 2017-06-30

    1熱

    1答えて

    バイナリ式をShannon Normal Formに変換する

    バイナリ式をShannon Normal Formに変換する手順を知りたいと思います。 a⪯b⪯c⪯d - variable ordering. F = b&c&!d|c&d&!b|d&!c|!c&!d これをどのようにしてShannon Normal Formに変換できますか？
    logic boolean-logic binary-decision-diagram 2017-05-13

    1熱

    1答えて

    ROBDDダイアグラムが正しいかどうかを確認してください

    ここで私はBDDとそのROBDDを示しました。描画された図が正しいかどうかを誰かに教えてください。そうでない場合は、私が行った間違いを教えてください。 BDD 回答 - ROBDD
    data-structures bdd binary-decision-diagram 2016-10-30

    2熱

    1答えて

    ROBDDの構成

    2つのROBDDの構成の仕組みを理解しようとしています。 F1 = (d? false: (c? (a? false: true): false)) F2 = (d? (b? true: (a? false: true)): (c? (b? true: (a? false: true)): true)) Iは式F2式F1でdのすべての出現を置き換えたものである式F3を見つける必要があります。
    algorithm composition boolean-logic binary-decision-diagram 2017-05-17

    3熱

    1答えて

    CUDDでBLIFファイルからインポートしたBDDを操作する

    BLUファイルをCUDDパッケージにインポートしようとしていますが、そこからBDDを作成して操作しています。私はntrパッケージを使用してBLIFファイルをインポートすることができました。しかし、結果のBDDでどのように変数やノードにアクセスするのか分かりません。 関数用に私自身のBDDを作成した場合、私は変数を作成して別の操作/操作を行うためにそれらを呼び出すことができます。しかし、BLIFイン
    c binary-decision-diagram cudd 2016-09-15

    1熱

    1答えて

    CUDD：BDDチャイルドにアクセスする

    私はCUDD C++インターフェイスを使用しています。 私はこのライブラリに関する多くの情報が見つかりません。 BDDの2人の子供を取得するにはどうすればよいですか？例えば ： Cudd mgr; BDD x = mgr.bddVar(); BDD y = mgr.bddVar(); BDD f = x * y; は今、Fで、私はその子、その後、他の子供を取得したいです。 ドキュメントで
    c++ binary-decision-diagram cudd 2017-12-07

    0熱

    1答えて

    CUDDライブラリを使用したリバーシブルベンチマークの読み方

    私はバイナリ決定図の可変順序付けに取り組んでいます。これまで、非可逆回路を使用してきました。しかし、いくつかの方法を実装するためにリバーシブルベンチマークを使用する必要はありません。しかし、C言語でCUDDライブラリを使ってベンチマークファイル（例：blif、kiss、slifファイル）を読む方法はありません。私はインターネット上の利用可能なリソースを探しました。誰かが助けてください方法を見つける
    c binary-decision-diagram cudd 2017-10-28

    2熱

    2答えて

    BDDの変数をCUDDパッケージで置き換えるにはどうすればよいですか？

    DdManagerには、x, y, x', y'という変数があり、BDDはxとyで作成されています。 は、今私は、すなわち、x'とy'によって構築された、同一のBDDを取得し、y'にx'からx、yを変更したいです。 CUDDパッケージを使用してこれを取得するにはどうすればよいですか？私はモデル検査アルゴリズムを実装したいときにこの問題に遭遇しました。私はこの操作を実装する方法を知りたいか、シンボリ
    model-checking binary-decision-diagram cudd 2017-02-24
最新の質問