1. Homepage
  2. Programming
  3. Programming Assignment #3: Binary Decision Diagram (BDD)

Programming Assignment #3: Binary Decision Diagram (BDD)

Engage in a Conversation
TaiwanNational Yang Ming Chiao Tung UniversityBinary Decision DiagramBDDCC++

Programming Assignment #3 Binary Decision Diagram (BDD) CourseNana.COM

Lab 3 Introduction CourseNana.COM

  1. To exercise the concept of binary decision diagram.
  2. To understand the ordering effects of BDD.
  3. Problem Description Please construct BDDs with given variable orderings, and find the minimum number of nodes required from the given variable orderings.

Input CourseNana.COM

 Boolean equation.
Variable  ordering  1.
Variable  ordering  2.
Variable  ordering  n.

The first line specifies the Boolean equation, while the following lines give the various variable orderings. Each equation ends up with a period and every variable is represented by exactly one character (i.e., 26 variables at most). The Boolean equation is given i n sum -of-product (SOP) form: lowercase character represents a plain variable, whereas its uppercase counterpart is for its complement (~e represents as E) . CourseNana.COM

Input example CourseNana.COM

acbd.  // First is variable ‘a’, then ‘c’ …
abcd.  // First is variable  ‘a’, then ‘b’ …

Output Output the minimum number of nodes required to represent the given BDD from the given variable orderings. CourseNana.COM

6 // Minimum  number  of nodes  required  is 6, as the following  figure

Compile & Execute Compile command : $ make Execute command : $ ./Lab3 [input file] [output file] e.g. $ ./Lab3 case2.txt out2.txt CourseNana.COM

Note that input and output file should be the arguments of program. Your executable binary file after “make” should be named as “ Lab3 ” (Hint: add “ -o Lab3” in your compilation command). Please make sure your code can be compiled and executed. If it cannot be executed, you will get zero point! CourseNana.COM

Program Submission CourseNana.COM

  1. Please use the C/C++ langage, and write your own code.
  2. The materials of CUDD package is provided, which is optionally used in your program.
  3. Please upload the following materials in a “zip” file to New E3 by the deadline. Name the zip file as: Student_ID.zip. (e.g. 0610128.zip)
  4. Source code • (.c, .cpp, .h).
  5. Makefile.
  6. A readme file • (Describe your compile and execution information).
  7. cudd -3.0.0/ • (If you use it, please upload . • Make sure your cudd path is working by " make ")
  8. Don’t print any words on the terminal. Grading

◼ Case1 20% ◼ Case2 20% ◼ Case3 20% ◼ Case4 (hidden) 20% ◼ Case5 (hidden) 10% ◼ Case6 (hidden) 10% CourseNana.COM

  • Time limit is 300s. Otherwise, the case is regarded as failed. Notices ⚫ Please make sure your code is available on our Linux server . If it cannot be executed, you will get zero point. ⚫ Accept four days late submission, 10% deduction per day. ⚫ Plagiarism is strictly forbidden. 0 grade guarantee

Get in Touch with Our Experts

Wechat WeChat
Whatsapp Whatsapp
Taiwan代写,National Yang Ming Chiao Tung University代写,Binary Decision Diagram代写,BDD代写,C代写,C++代写,Taiwan代编,National Yang Ming Chiao Tung University代编,Binary Decision Diagram代编,BDD代编,C代编,C++代编,Taiwan代考,National Yang Ming Chiao Tung University代考,Binary Decision Diagram代考,BDD代考,C代考,C++代考,Taiwanhelp,National Yang Ming Chiao Tung Universityhelp,Binary Decision Diagramhelp,BDDhelp,Chelp,C++help,Taiwan作业代写,National Yang Ming Chiao Tung University作业代写,Binary Decision Diagram作业代写,BDD作业代写,C作业代写,C++作业代写,Taiwan编程代写,National Yang Ming Chiao Tung University编程代写,Binary Decision Diagram编程代写,BDD编程代写,C编程代写,C++编程代写,Taiwanprogramming help,National Yang Ming Chiao Tung Universityprogramming help,Binary Decision Diagramprogramming help,BDDprogramming help,Cprogramming help,C++programming help,Taiwanassignment help,National Yang Ming Chiao Tung Universityassignment help,Binary Decision Diagramassignment help,BDDassignment help,Cassignment help,C++assignment help,Taiwansolution,National Yang Ming Chiao Tung Universitysolution,Binary Decision Diagramsolution,BDDsolution,Csolution,C++solution,