gen_BDD_pair

Module summary

Generates a pair of random BDDs (“original problem” instance).

Generates random align-BDD instances (“original problems”) given dataset parameters, and prints key instance parameters to the stdout in a .csv format with the following fields:

• instance : instance ID

• inversions : number of inversions between var(A) and var(B)

• reducedA : whether A is quasi-reduced

• reducedB : same for B

• gen_trial : number of trials until a unique entry is generated

3. 1. Bochkarev, Clemson University, 2020, abochka@clemson.edu

(In the implementation details below, click on class/function names for additional documentation and links to the source code.)

❖❖❖

Implements functions (outside the classes above):

count_inversions(X, Y)	Count inversions between (label lists) X and Y.
main()	Implements the main code.

❖❖❖

Implementation details

❖❖❖

Functions

gen_BDD_pair.count_inversions(X, Y)

Count inversions between (label lists) X and Y.

gen_BDD_pair.main()

Implements the main code.