Differences

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

 cs-486:homework-11 [2017/04/04 21:31]egm [Problems] cs-486:homework-11 [2017/11/30 20:08] (current)egm [Problems] Both sides previous revision Previous revision 2017/11/30 20:08 egm [Problems] 2017/04/04 21:31 egm [Problems] 2017/03/31 16:18 egm [Problems] 2017/03/30 21:45 egm [Problems] 2017/03/30 20:41 egm [Problems] 2017/03/30 15:46 egm [Problems] 2017/03/27 18:30 egm [Problems] 2017/03/27 18:29 egm [Problems] 2017/03/27 18:18 egm [Problems] 2017/03/27 18:17 egm [Problems] 2017/03/27 18:17 egm [Problems] 2017/03/27 18:11 egm [Problems] 2017/03/27 18:09 egm [Problems] 2017/03/27 17:52 egm [Problems] 2017/03/27 17:50 egm [Problems] 2017/03/22 17:23 egm [Problems] 2017/03/22 17:04 egm created 2017/11/30 20:08 egm [Problems] 2017/04/04 21:31 egm [Problems] 2017/03/31 16:18 egm [Problems] 2017/03/30 21:45 egm [Problems] 2017/03/30 20:41 egm [Problems] 2017/03/30 15:46 egm [Problems] 2017/03/27 18:30 egm [Problems] 2017/03/27 18:29 egm [Problems] 2017/03/27 18:18 egm [Problems] 2017/03/27 18:17 egm [Problems] 2017/03/27 18:17 egm [Problems] 2017/03/27 18:11 egm [Problems] 2017/03/27 18:09 egm [Problems] 2017/03/27 17:52 egm [Problems] 2017/03/27 17:50 egm [Problems] 2017/03/22 17:23 egm [Problems] 2017/03/22 17: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.
cs-486/homework-11.txt · Last modified: 2017/11/30 20:08 by egm 