This shows you the differences between two versions of the page.

Both sides previous revision Previous revision | |||

cs-486:homework-11 [2017/04/04 15:31] egm [Problems] |
cs-486:homework-11 [2017/11/30 13:08] (current) egm [Problems] |
||
---|---|---|---|

Line 23: | Line 23: | ||

- | '''6. (20 points)''' Suppose you have two additional variables $e$ and $f$ such at $a < b < c < d < e < f$. Apply the '''replace''' algorithm on the BDD from problem 4 such at $c$ is replaced with $f$ and $d$ is replaced with $e$. This method is ''BDD::SwapVariables'' in the Cudd package. Show the added entries to the unique table, the calls to ITE, and draw the final BDD. | + | '''6. (20 points)''' Suppose you have two additional variables $e$ and $f$ such at $a < b < c < d < e < f$. Apply the '''replace''' algorithm on the BDD from problem 4 such that $c$ is replaced with $f$ and $d$ is replaced with $e$. This method is ''BDD::SwapVariables'' in the Cudd package. Show the added entries to the unique table, the calls to ITE, and draw the final BDD. |

'''7. (20 points)''' Install [[tools#Cudd | CUDD 3.0.0]] and use it to compare to the BDDs in problems 4, 5, and 6. Submit the graphs for each BDD using [[Homework 12#DumpDot]] with the code to generate them. See [[Lectures | cudd/cudd-example.cc]] for an example on how to use [[tools#Cudd | CUDD 3.0.0]]. [[tools#Graphviz | Graphviz]] is also required for this problem to create the PDF files of the BDDs. | '''7. (20 points)''' Install [[tools#Cudd | CUDD 3.0.0]] and use it to compare to the BDDs in problems 4, 5, and 6. Submit the graphs for each BDD using [[Homework 12#DumpDot]] with the code to generate them. See [[Lectures | cudd/cudd-example.cc]] for an example on how to use [[tools#Cudd | CUDD 3.0.0]]. [[tools#Graphviz | Graphviz]] is also required for this problem to create the PDF files of the BDDs. |