Table 2 Impact of clique size on k-clique to SAT reduction. Statistics from the reduction of nodes and edges from the k-clique problem to the equivalent variables and clauses of SAT equations for different values of k.
From: BioGraphE: high-performance bionetwork analysis using the Biological Graph Environment
Nodes | Edges | K | Vars | Clauses | α |
|---|---|---|---|---|---|
148 | 6,186 | 3 | 444 | 70,089 | 157.86 |
148 | 6,186 | 5 | 740 | 194,935 | 263.43 |
148 | 6,186 | 10 | 1,480 | 780,470 | 527.34 |
148 | 6,186 | 20 | 2,960 | 3,123,340 | 1,055.18 |
148 | 6,186 | 30 | 4,440 | 7,028,610 | 1,583.02 |
148 | 6,186 | 40 | 5,920 | 12,496,280 | 2,110.86 |
148 | 6,186 | 50 | 7,400 | 19,526,350 | 2,638.70 |
148 | 6,186 | 60 | 8,880 | 28,118,820 | 3,166.53 |
148 | 6,186 | 67 | 9,916 | 35,063,177 | 3,536.02 |
148 | 6,186 | 68 | 10,064 | 36,117,724 | 3,588.80 |