Abstract:The random k-SAT instances undergo a "phase transition" from being generally satisfiable to unsatisfiable as the clause number m passes a critical threshold, $r_k n$. This causes a drastic reduction in the number of satisfying assignments, shifting the problem from being generally solvable on classical computers to typically insolvable. Beyond this threshold, it is challenging to comprehend the computational complexity of random k-SAT. In quantum computing, Grover's search still yields exponential time requirements due to the neglect of structural information. Leveraging the structure inherent in search problems, we propose the k-local quantum search algorithm, which extends quantum search to structured scenarios. Grover's search, by contrast, addresses the unstructured case where k=n. Given that the search algorithm necessitates the presence of a target, we specifically focus on the problem of searching the interpretation of satisfiable instances of k-SAT, denoted as max-k-SSAT. If this problem is solvable in polynomial time, then k-SAT can also be solved within the same complexity. We demonstrate that, for small $k \ge 3$, any small $\epsilon>0$ and sufficiently large n: $\cdot$ k-local quantum search achieves general efficiency on random instances of max-k-SSAT with $m=\Omega(n^{2+\delta+\epsilon})$ using $\mathcal{O}(n)$ iterations, and $\cdot$ k-local adiabatic quantum search enhances the bound to $m=\Omega(n^{1+\delta+\epsilon})$ within an evolution time of $\mathcal{O}(n^2)$. In both cases, the circuit complexity of each iteration is $\mathcal{O}(n^k)$, and the efficiency is assured with overwhelming probability $1 - \mathcal{O}(\mathrm{erfc}(n^{\delta/2}))$. By modifying this algorithm capable of solving all instances of max-k-SSAT, we further prove that max-k-SSAT is polynomial on average when $m=\Omega(n^{2+\epsilon})$ based on the average-case complexity theory.

The SAT Phase Transition

The Algorithmic Phase Transition of Random $k$-SAT for Low Degree Polynomials

Phase transition for Local Search on planted SAT

Threshold behaviors of a random constraint satisfaction problem with exact phase transitions

Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm

Some Results on Random Mixed SAT Problems

Going after the k-SAT threshold

The asymptotic k-SAT threshold

Properties of the satisfiability threshold of the strictly d-regular random (3,2s)-SAT problem

Proof of the Satisfiability Conjecture for Large K

Between SAT and UNSAT: The Fundamental Difference in CDCL SAT

Linear Phase Transition in Random Linear Constraint Satisfaction Problem

Satisfiability Threshold for Random Regular Nae-Sat

Counting random $k$-SAT near the satisfiability threshold

The number of solutions for random regular NAE-SAT

Where the Really Hard Quadratic Assignment Problems Are: the QAP-SAT instances

Local Quantum Search Algorithm for Random $k$-SAT with $Ω(n^{1+ε})$ Clauses

Should Algorithms for Random SAT and Max-SAT Be Different?

Balanced Random Constraint Satisfaction: Phase Transition and Hardness.

On the satisfiability of random $3$-SAT formulas with $k$-wise independent clauses

Critical properties of the SAT/UNSAT transitions in the classification problem of structured data