Differences

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

Link to this comparison view

Both sides previous revision Previous revision
cs-486:homework-11 [2017/04/04 21:31]
egm [Problems]
cs-486:homework-11 [2017/11/30 20: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. 
cs-486/homework-11.txt ยท Last modified: 2017/11/30 20:08 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0