Fatal编程技术网

Data structures 检查ROBDD图是否正确

data-structures

Data structures 检查ROBDD图是否正确,data-structures,bdd,binary-decision-diagram,Data Structures,Bdd,Binary Decision Diagram,下面我展示了一个BDD和它的ROBDD。有人能告诉我画的图表是否正确吗。如果没有，请让我知道我所犯的错误 BDD 答案-Robd 考虑估值0100：它在第一个图表中导致1，在第二个图表中导致0

下面我展示了一个BDD和它的ROBDD。有人能告诉我画的图表是否正确吗。如果没有，请让我知道我所犯的错误

BDD

答案-Robd

考虑估值
0100
：它在第一个图表中导致
1
，在第二个图表中导致
0