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
0
votes
1 answer

How to create BDDs with occurence bits involved using bag model

I was going through a licensed guide to represent product families as a bag model in which occurrences are also taken into consideration to come up with a BDD. I am trying to include the similar steps into my problem. The text says If we adopt the…
Vishal Tyagi
  • 560
  • 9
  • 26
0
votes
1 answer

How to read Reversible Benchmarks using CUDD library

I am working on variable ordering of binary decision diagram. Till now we have used non reversible circuits. But not we need to use Reversible Benchmarks to implement some methods. But I am not getting any way to read benchmark files(ex. blif, kiss,…
R.snail
  • 1
  • 1
0
votes
0 answers

Python Trees: Modifying a tree

This is my python code to make an Ordered Binary Decision Diagram (not very relevant for the context). So I just have a tree of a particular height, and I need to set some of the leaf nodes to one. So I have a variable path which involves an array…
Vighnesh Velayudhan
  • 23
  • 1
  • 8
0
votes
0 answers

Create a Reduced Ordered Binary Decision Diagram from boolean expression in Haskell

Assuming the following definitions: type Index = Int data BExp = Prim Bool | IdRef Index | Not BExp | And BExp BExp | Or BExp BExp deriving (Eq, Ord, Show) type NodeId = Int type BDDNode = (NodeId, (Index, NodeId, NodeId)) type BDD =…
David
  • 447
  • 3
  • 15
0
votes
0 answers

CUDD: convert BDD into (minimal) normal form

I am trying to export an existing BDD as a Boolean expression string. Ideally I would like a minimal length string or minimal normal form but I am guessing that this is a hard problem itself. Do you know a way to convert BDDs into short strings?…
Leevi L
  • 1,538
  • 2
  • 13
  • 28
0
votes
1 answer

Intersection of two BDDs using CUDD

I would like to find intersection of two BDDs for the following two Boolean functions: F=A'B'C'D'=1 G=A XOR B XOR C XOR D=1 Here is my code: int main (int argc, char *argv[]) { char filename[30]; DdManager *gbm; /* Global BDD…
husna
  • 187
  • 6
0
votes
1 answer

ddcal is not working

I am trying to use DDcal for evaluating binary decision diagrams. When I try to evaluate some formula e.g.: a+b*c', I always get this error: util_pipefork: can not exec dot: No such file or directory. Does anyone have idea how I can resolve this…
mark
  • 354
  • 2
  • 5
  • 15
0
votes
2 answers

JavaBDD eliminating (and simplifying BDD) when a variable value is know (from the diagram)

I am new to binary decision diagrams (BDD) and I am stuck when I try to simplify/recalculate a BDD after the value of a variable is known. The programming language is Java and the BDD package used is JavaBDD. Code follows. import…
steve biko
  • 171
  • 5
0
votes
1 answer

Get back the original feature names after vectorization for decision tree table in Python-Scikit Learn?

I am using some name and other features to predict y (binary classes). Name features are substrings of the name. I am using Python Scikit-learn. Here is a small portion of X: [{'substring=ry': True, 'substring=lo': True, 'substring=oui': True,…
KubiK888
  • 4,377
  • 14
  • 61
  • 115
0
votes
1 answer

How to successfully run cudd library in window

is there any Binary Decision diagram (BDD) is available in windows.i tried to run cudd in vc++6.0..which is mention link http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm but it isn't working properly.i get compiler error while running a…
user2735847
  • 1
  • 2
-1
votes
1 answer

Boolean operations for ITE-Algorithm

I'm a bit confused. I need to make an example of using the ITE-Algorithm on every Boolean operation. But I actually don't know how much there are? As an example I mean, AND, OR, XOR, XNOR, NOR, NAND, NOT. And I don't know the other ones... I at…
mattocardo
  • 1
  • 2
-2
votes
2 answers

BDD (Binary Decision Diagram) Algorithm?

Dose anyone know where can i find BDD (Binary Decision Diagram) Algorithm?
Soheila Hg
  • 569
  • 2
  • 7
  • 25
1 2 3 4 5
6