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


543 users

0 votes
Can you please tell me how to take the variable ordering to draw this BDD for state transition?
related to an answer for: LTL state transition
in # Study-Organisation (Master) by (850 points)

1 Answer

0 votes
Determining the optimal variable ordering is very difficult (NP-complete), so that we just use heuristics. I have used the sifting heuristic described in the course to determine the very good variable ordering for the mentioned BDD. That reduces the overall work a lot as you can see, and that holds also when you make the case distinctions of the BDD to determine all transitions. In general, determining an optimal variable ordering is however not that easy, so you have to make an "educated guess".
by (166k points)

Related questions

0 votes
1 answer
asked Aug 26, 2021 in * TF "Intelligent Systems" by nista (140 points)
0 votes
1 answer
Imprint | Privacy Policy