×

Compression threshold analysis of binary decision diagrams

  • US 8,838,523 B2
  • Filed: 09/23/2011
  • Issued: 09/16/2014
  • Est. Priority Date: 09/23/2011
  • Status: Active Grant
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.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×