我是二进制决策图(BDD)的新手,当我在变量值已知后尝试简化/重新计算BDD时遇到了麻烦。

编程语言是Java,使用的BDD包是JavaBDD。

代码如下。

import net.sf.javabdd.BDD;
import net.sf.javabdd.BDDFactory;

public class run {

    public static void main(String[] args) {

        print("A program to familize myself with BDD");
        runSimplifyBDD();
        print("Program ended");

    }

    private static void runSimplifyBDD() {
        BDDFactory B;
        B = BDDFactory.init(1000, 1000);
        B.setVarNum(8);
        BDD v1 = B.nithVar(1);
        BDD v2 = B.ithVar(2);
        BDD v3 = B.ithVar(3);
        BDD v4 = B.ithVar(4);
        BDD v5 = B.ithVar(5);
        BDD v6 = B.ithVar(6);
        BDD v7 = B.ithVar(7);

        BDD a = v1.xor(v2).not();
        BDD b = v2.xor(v3).not();
        BDD c = (a.xor(b)).not();
        BDD d = v4.xor(v5).not().xor(v6);
        BDD e = v6.xor(v7).not();
        BDD f = d.xor(e).not();

        BDD g = c.xor(f);

        g.printDot(); //first graph diagram
        /* At this point
         * let say we know the BDD variable v1 = One (true)
         * What is the code that should be inserted to simplify the BDD
         * so that second graph is like the attached image
         */

        g.printDot(); //second graph diagram

    }

    private static void print(String string) {
        System.out.println(string);

    }

}


在注释中应插入什么代码,以便在第二张图中删除变量v1,就像在图像中一样。




使用graphviz工具(1.02版)通过复制/粘贴来自g.printDot();的输出来生成图像

最佳答案

我对JavaBDD不熟悉,但是对许多其他BDD包却不熟悉。
您需要的是compose函数:
http://javabdd.sourceforge.net/apidocs/net/sf/javabdd/BDDFactoryIntImpl.IntBDD.html#compose%28net.sf.javabdd.BDD,%20int%29

public BDD compose(BDD g,
                   int var)


这将替换表达式g的变量var。
在您的情况下,变量为v1,表达式为True。
所以

h = g.compose(One,1);


应该做你想做的。
(我不确定JavaBDD中的常量True BDD的名称是什么,
我假设一个)。

关于java - 当知道变量值时,JavaBDD消除(并简化了BDD)(从图中),我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/35148863/

10-10 13:58