CODEWITHSUNDEEP
data-structuresbddbinary-decision-diagram
user3789200
user3789200

Reputation: 1186

check whether the ROBDD diagram is correct

Here below I have shown a BDD and its ROBDD. Can someone please let me know whether the drawn diagram is correct. If not please let me know the mistake that I have done.

BDD

enter image description here

Answer - ROBDD

enter image description here

Upvotes: 1

Views: 142

Answers (1)

max taldykin
max taldykin

Reputation: 12898

Consider valuation 0100: it leads to 1 in the first diagram and to 0 in the second.

enter image description here

Upvotes: 1

Related Questions