Stack Overflow
Stack Overflow

Questions tagged [binary-decision-diagram]

In the field of computer science, a binary decision diagram (BDD) or branching program, like a negation normal form (NNF) or a propositional directed acyclic graph (PDAG), is a data structure that is used to represent a Boolean function. On a more abstract level, BDDs can be considered as a compressed representation of sets or relations.

Wikipedia Article: http://en.wikipedia.org/wiki/Binary_decision_diagram

Introduction to Binary Decision Diagrams, Henrik Reif Andersen [PDF]: http://www.cs.unb.ca/~gdueck/courses/cs4835/bdd97.pdf

Fun With Binary Decision Diagrams, Donald Knuth [Video]: http://myvideos.stanford.edu/player/slplayer.aspx?coll=ea60314a-53b3-4be2-8552-dcf190ca0c0b&co=18bcd3a8-965a-4a63-a516-a1ad74af1119&o=true

87 questions
1
vote
0 answers

Tools like binary decision diagrams for compression

I am looking for compression algorithms (of binary data with considerable regularity) that allows me to operate on the compressed data to quickly answer questions like: what is the value of the k'th bit of the input? how many bits are set? what is…
kdog
  • 1,583
  • 16
  • 28
1
vote
1 answer

JavaBDD sat count with subset of variables

I am using JavaBDD to do some computation with BDDs. I have a very large BDD with many variables and I want to calculate how many ways it can be satisfied with a small subset of those variables. My current attempt looks like this: // var 1,2,3 are…
rozi
  • 156
  • 3
1
vote
2 answers

Error in Passing Boolean Expression in CUDD (Working in BuDDy)

I am trying to find total no of nodes in a Shared-BDD using CUDD. I have already written C Code using BuDDy-2.4 and it is running fine But when i am using CUDD instead of BuDDy, My program is showing error. My BuDDY C File is: //BuDDY_C Code for…
user1868625
  • 11
  • 1
1
vote
1 answer

Intersection of BDD/ZDD using CUDD

I have some sets of combinations and I want to find out the intersection function between say two of them. Then I want to represent the intersected results in ZDD. I am thinking about using the CUDD package to do this. An example: All the 4-bit…
zaki
  • 27
  • 1
  • 2
  • 7
1
vote
1 answer

How to plot decision boundary for logistic regression in Python?

I am trying to plot the decision boundary for boundary classification in logistic regression, but I dont quite understand how it should be done. Here is a data set, which I have generated on which I apply logistical regression with numpy import…
hispaniccoder
  • 337
  • 2
  • 4
  • 12
1
vote
1 answer

How to find the complexity of decision trees in Tic Tac Toe by hand?

I know the upper bound for the size of the game tree is 9! = 362,880 in a 3X3 Tic Tac Toe. After deducted the invalid case and the rotation and reflection, only 26,830 possible games are left. So complexity of decision trees in 3X3 Tic Tac Toe is 5…
miketsui3a
  • 181
  • 1
  • 4
  • 14
1
vote
1 answer

Unexpected output of Cudd_bddIte

I'm trying to use Cudd_bddIte to implement simple BDDs. The following code works as expected, giving the diagram in the picture (which represents node bdd): DdNode *v1 = Cudd_bddNewVar(gbm); Cudd_Ref(v1); DdNode *v2 =…
0x5C91
  • 3,360
  • 3
  • 31
  • 46
1
vote
0 answers

BDD Visualization with IPython and GraphViz

I'm Trying to work with PyEDA, i need to visualize Binary Decision Diagram, i'm reading this document but i can't understand it! here it says: If you have GraphViz installed on your machine, and the dot executable is available on your shell’s path,…
Ehsan Momeni Bashusqeh
  • 11
  • 2
1
vote
1 answer

Wha's the meaning and significance of 'path' in BDDs or FDDs?

I read a paper, named Multilevel logic synthesis based on functional decision diagrams, which is about Functional Decision Diagrams(FDDs), that is a variant of Binary Decision Diagrams(BDDs). In this, a paragraph mentions 'path': As an important…
sirius
  • 567
  • 6
  • 26
1
vote
1 answer

Need help on BDDs graphs

I am reimplementing (for fun, a bit of work and a severe case of NIH) a ROBDD library. I would like to have a few "reference" graphs built by other libraries to compare results [*] E.g., given the variable order x1 < y1 < x2 < y2, what would be the…
Marco Antoniotti
  • 56
  • 2
1
vote
2 answers

CUDD: Access BDD childs

I'm working with CUDD C++ interface. I'm finding not much information about this library. How can I get the two children of a BDD? For example: Cudd mgr; BDD x = mgr.bddVar(); BDD y = mgr.bddVar(); BDD f = x * y; Now, with f, I want to get its then…
Marc
  • 19
  • 5
1
vote
3 answers

binary decision diagram

In Java, I have set of expressions like cond1 AND (cond2 OR cond3) AND ( cond 4 OR cond5). I would like to convert it into tree and then evaluate the final boolean answer. I tried searching a lot around java BDD but not able to get any. Any…
user602632
  • 19
  • 1
  • 2
1
vote
1 answer

convert binary formula to Shannon Normal Form

I would like to know the steps to convert a binary formula to Shannon Normal Form. a⪯b⪯c⪯d - variable ordering. F = b&c&!d|c&d&!b|d&!c|!c&!d How can I convert this to Shannon Normal Form?
nirvair
  • 4,001
  • 10
  • 51
  • 85
1
vote
1 answer

How are complex conditions represented in decision table

I am trying to model a decision table template. Why I understand for simple rules like (x>10 and y<10) print "red" can be represented in a decision table with one row using two columns for conditions and one column for…
Coder 477
  • 435
  • 3
  • 6
  • 16
1
vote
1 answer

check whether the ROBDD diagram is correct

Here below I have shown a BDD and its ROBDD. Can someone please let me know whether the drawn diagram is correct. If not please let me know the mistake that I have done. BDD Answer - ROBDD
user3789200
  • 1,166
  • 2
  • 25
  • 45
1 2 3
4
5 6