Evidence of Exponential Speed-Up in the Solution of Hard Optimization Problems

<div>Comparison between the incomplete solver CCLS versus our noncombinatorial solver, Falcon, for (a) random-Max-E3SAT, (b) hyper-Max-E3SAT, and (c) delta-Max-E3SAT. In these plots, the percentage of unsatisfied clauses versus the time normalized with respect to the number of variables is shown to highlight the linear scaling of our solver. All calculations have been performed on a single thread of an Intel Xeon E5-2680 v3 with 128 Gb DRAM shared on 24 threads.</div>

Complexity

fig3

Figure 3

Figure 3: Evidence of Exponential Speed-Up in the Solution of Hard Optimization Problems 