Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

529 users

0 votes
Hello,

In problem 1.c page 7 of the 2021.02.17 VRS sheet solution, we see in the previous page the ROBDD are symmetric therefore the variable ordering doesn't impact or cause any different changes. But what if we get a function that is not symmetric? In this case, how should the variable ordering be? Should we choose an ordering and construct the ROBDD again?

Thank You.
in * TF "Intelligent Systems" by (140 points)

1 Answer

0 votes
In the worst case, yes, you may have to compute for the Boolean function a new BDD with the new variable ordering. However, you may do that incrementally using the swap operation that exchanges to neighboring variables in the variable order, and you may consider "local symmetries" like a&b -> c where a and b are symmetric in a certain sense.
by (166k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Jun 28, 2021 in * TF "Intelligent Systems" by RS (770 points)
Imprint | Privacy Policy
...