##### Differences

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

 cs-486:homework-11 [2017/04/04 15:31]egm [Problems] cs-486:homework-11 [2017/11/30 13:08] (current)egm [Problems] Both sides previous revision Previous revision 2017/11/30 13:08 egm [Problems] 2017/04/04 15:31 egm [Problems] 2017/03/31 10:18 egm [Problems] 2017/03/30 15:45 egm [Problems] 2017/03/30 14:41 egm [Problems] 2017/03/30 09:46 egm [Problems] 2017/03/27 12:30 egm [Problems] 2017/03/27 12:29 egm [Problems] 2017/03/27 12:18 egm [Problems] 2017/03/27 12:17 egm [Problems] 2017/03/27 12:17 egm [Problems] 2017/03/27 12:11 egm [Problems] 2017/03/27 12:09 egm [Problems] 2017/03/27 11:52 egm [Problems] 2017/03/27 11:50 egm [Problems] 2017/03/22 11:23 egm [Problems] 2017/03/22 11:04 egm created 2017/11/30 13:08 egm [Problems] 2017/04/04 15:31 egm [Problems] 2017/03/31 10:18 egm [Problems] 2017/03/30 15:45 egm [Problems] 2017/03/30 14:41 egm [Problems] 2017/03/30 09:46 egm [Problems] 2017/03/27 12:30 egm [Problems] 2017/03/27 12:29 egm [Problems] 2017/03/27 12:18 egm [Problems] 2017/03/27 12:17 egm [Problems] 2017/03/27 12:17 egm [Problems] 2017/03/27 12:11 egm [Problems] 2017/03/27 12:09 egm [Problems] 2017/03/27 11:52 egm [Problems] 2017/03/27 11:50 egm [Problems] 2017/03/22 11:23 egm [Problems] 2017/03/22 11:04 egm created 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. 