Presentation is loading. Please wait.

Presentation is loading. Please wait.

26.08.09IT 60101: Lecture #121 Foundation of Computing Systems Lecture 13 Trees: Part VIII.

Similar presentations


Presentation on theme: "26.08.09IT 60101: Lecture #121 Foundation of Computing Systems Lecture 13 Trees: Part VIII."— Presentation transcript:

1 26.08.09IT 60101: Lecture #121 Foundation of Computing Systems Lecture 13 Trees: Part VIII

2 26.08.09IT 60101: Lecture #122 Decision Tree Decision tree is a binary tree where a node represents some decision and edges emanating from a node represent the outcome of the decision. all the internal nodes represent the local decision External nodes represent the ultimate decisions IF condition is true THEN decision1 ELSE decision2

3 26.08.09IT 60101: Lecture #123 Example: Decision Tree A decision tree for finding the greatest number among A, B, C A decision tree for deciding the ascending order among three numbers A, B, C

4 26.08.09IT 60101: Lecture #124 Example: Decision Tree A Boolean function and its decision tree representation

5 26.08.09IT 60101: Lecture #125 Creating Decision Tree Shannon's Expansion

6 26.08.09IT 60101: Lecture #126 Creating Decision Tree

7 26.08.09IT 60101: Lecture #127 Creating Decision Tree

8 26.08.09IT 60101: Lecture #128 Applications of Decision Tree Boolean satisfiability –Whether a given Boolean function is satisfiable (that is, having logic value 1 for a given input) or not can be tested very efficiently. Property testing –It can be decided very quickly whether a given Boolean function is a tautology (logic value is 1 for any input combination) or a contradiction (logic value is 0 for all input combinations) by drawing its corresponding Boolean tree. A Boolean function is tautology (contradiction) if all the leaf nodes have label as 1(0). Circuit synthesis –Synthesis of a logic network for a given Boolean function can be directly mapped from its Boolean tree.

9 26.08.09IT 60101: Lecture #129 Applications of Decision Tree Testing digital circuits –A set of test vectors can be opted from the Boolean tree to perform the exhaustive test the functionality of a given circuit. The set of test vectors are the Binary string starting from root to the leaf nodes. Deduction of standard forms –Canonical forms [sum of products (SOP) or product of sums (POS)] for a given Boolean function can be easily obtained for the Boolean tree. SOP(POS) can be obtained by tracing all the paths from the root node but leads to the leaf nodes having label 1(0).

10 26.08.09IT 60101: Lecture #1210 Binary Decision Diagram (BDD) The decision tree is in the form of a binary tree Binary decision diagram (BDD) is a graph which contains same information as the decision tree –BDD graph is a compact version of decision tree and BDD graph can be obtained from a decision tree

11 26.08.09IT 60101: Lecture #1211 Decision Tree to BDD Remove duplicate terminals –Eliminate all but one terminal vertices with a given label and redirect all edges of the eliminated vertices to the remaining one Remove duplicate non-terminals –If there are two non-terminal vertices u and v such that: var(u)= var(v) low(u)= low(v) high(u)= high(v) then eliminate one of the two vertices and redirect all incoming edges to the other vertex Remove redundant edges –If there is a non-terminal vertex v such that low(v) = high(v), then eliminate that v from the graph and redirect the incoming edge into its children

12 26.08.09IT 60101: Lecture #1212 Remove duplicate terminals

13 26.08.09IT 60101: Lecture #1213 Remove Non-duplicate terminals

14 26.08.09IT 60101: Lecture #1214 Remove Redundant Edges

15 26.08.09IT 60101: Lecture #1215 Decision Tree to BDD


Download ppt "26.08.09IT 60101: Lecture #121 Foundation of Computing Systems Lecture 13 Trees: Part VIII."

Similar presentations


Ads by Google