Skip to main content

Table 3 Impact of graph size on k-clique to SAT reduction. Statistics from the reduction of nodes and edges from the k-clique graph problem to the equivalent variables and clauses of SAT equations for different graph sizes.

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

248

11,529

3

744

224,325

301.51

533

52,055

3

1,599

1,038,501

649.47

781

63,939

3

2,343

2,449,329

1,045.38

1,270

196,121

3

3,810

6,303,957

1,654.58

3,741

217,350

3

11,223

61,979,313

5,522.53