Compression threshold analysis of binary decision diagrams
First Claim
Patent Images
1. A method comprising:
- by one or more computing devices,constructing a binary decision diagram (BDD) for representing one or more sets of data, wherein the BDD comprises one or more nodes, and each of the one or more nodes is encoded using n bits;
while each of the one or more nodes is encoded using n bits, iteratively;
adding data from the one or more sets of data to the BDD;
compressing the BDD; and
determining a compression rate of the BDD; and
if the compression rate of the BDD drops below a first threshold, then encoding each of the one or more nodes of the BDD using n+d bits, wherein d≧
1.
1 Assignment
0 Petitions
Accused Products
Abstract
In particular embodiments, a method includes receiving data sets, constructing a first binary decision diagram (BDD) representing the data sets, iteratively adding data from the data sets to the first BDD until a compression rate of the first BDD reaches a threshold compression rate, constructing a second BDD representing data from the data sets received after the compression rate of the first BDD equals a threshold compression rate, and iteratively adding data from the data sets to the second BDD.
83 Citations
22 Claims
-
1. A method comprising:
- by one or more computing devices,
constructing a binary decision diagram (BDD) for representing one or more sets of data, wherein the BDD comprises one or more nodes, and each of the one or more nodes is encoded using n bits; while each of the one or more nodes is encoded using n bits, iteratively; adding data from the one or more sets of data to the BDD; compressing the BDD; and determining a compression rate of the BDD; and if the compression rate of the BDD drops below a first threshold, then encoding each of the one or more nodes of the BDD using n+d bits, wherein d≧
1. - View Dependent Claims (2, 3, 4, 5, 6, 7)
- by one or more computing devices,
-
8. An apparatus comprising:
- one or more processors; and
a memory coupled to the processors comprising instructions executable by the processors, the processors operable when executing the instructions to;construct a binary decision diagram (BDD) for representing one or more sets of data, wherein the BDD comprises one or more nodes, and each of the one or more nodes is encoded using n bits; while each of the one or more nodes is encoded using n bits, iteratively; add data from the one or more sets of data to the BDD; compress the BDD; and determine a compression rate of the BDD; and if the compression rate of the BDD drops below a first threshold, then encode each of the one or more nodes of the BDD using n+d bits, wherein d≧
1. - View Dependent Claims (9, 10, 11, 12, 13, 14)
- one or more processors; and
-
15. One or more computer-readable non-transitory storage media embodying software that is operable when executed to:
-
construct a binary decision diagram (BDD) for representing one or more sets of data, wherein the BDD comprises one or more nodes, and each of the one or more nodes is encoded using n bits; while each of the one or more nodes is encoded using n bits, iteratively; add data from the one or more sets of data to the BDD; compress the BDD; and determine a compression rate of the BDD; and if the compression rate of the BDD drops below a first threshold, then encode each of the one or more nodes of the BDD using n+d bits, wherein d≧
1. - View Dependent Claims (16, 17, 18, 19, 20, 21)
-
-
22. A system comprising:
-
means for constructing a binary decision diagram (BDD) for representing one or more sets of data, wherein the BDD comprises one or more nodes, and each of the one or more nodes is encoded using n bits; while each of the one or more nodes is encoded using n bits, means for iteratively; adding data from the one or more sets of data to the BDD; compressing the BDD; and determining a compression rate of the BDD; and if the compression rate of the BDD drops below a first threshold, then means for encoding each of the one or more nodes of the BDD using n+d bits, wherein d≧
1.
-
Specification