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.

Experimental Realization of a Highly Structured Search Algorithm

Solving Highly Constrained Search Problems with Quantum Computers

FAUST observations of UV sources toward the Virgo cluster

Experimental implementation of a fixed-point duality quantum search algorithm in the nuclear magnetic resonance quantum system

Experimental Realization of Br\"{u}schweiler's exponentially fast search algorithm in a homo-nuclear system

Experimental NMR realization of a generalized quantum search algorithm

Experimental Realization of Brüschweiler's Exponentially Fast Search Algorithm in a Homo-Nuclear System

A Non-Oracle Quantum Search Algorithm and Its Experimental Implementation

A Non-Oracle Quantum Search Algorithm and Its Experimental Implementation

Experimental Realization of Single-shot Nonadiabatic Holonomic Gates in Nuclear Spins

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

Non-Hermitian ground-state-searching algorithm enhanced by a variational toolbox

High-Round QAOA for MAX $k$-SAT on Trapped Ion NISQ Devices

Experimental Realization of a Fetching Algorithm in a 7-Qubit NMR Spin Liouville Space Computer

Experimental implementation of a quantum random-walk search algorithm using strongly dipolar coupled spins

Experimental Realization Of Quantum Algorithms For A Linear System Inspired By Adiabatic Quantum Computing

Quantum Programming of the Satisfiability Problem with Rydberg Atom Graphs

Iterative quantum optimization of spin glass problems with rapidly oscillating transverse fields

Experimental Realization Of Quantum Algorithm For Solving Linear Systems Of Equations

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking

Solution of SAT Problems with the Adaptive-Bias Quantum Approximate Optimization Algorithm