1

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

BDD

在此处输入图像描述

答案 - ROBDD

在此处输入图像描述

4

1 回答 1

1

考虑估值：它在第一个图中0100导致，在第二个图中导致。10

在此处输入图像描述

于 2016-10-31T07:01:50.847 回答