{"id":"arxiv/2604.09980","url":"https://arxiv.org/abs/2604.09980","tags":["quant-ph"],"score":0,"title":"A parallel and distributed fixed-point quantum search algorithm for solving SAT problems","domain":"quant-ph","source":"arxiv","authors":["He Wang","Jinyang Yao"],"reviews":0,"subject":"quant-ph","summary":"Boolean satisfiability (SAT) problem is of fundamental importance in computer science and many application domains. For Grover's algorithm, solving the SAT problem requires $\\mathcal{O}(\\sqrt{2^n})$ queries--where n denotes the number of logic variables in the problem. However, Grover's algorithm suffers from the Souffle problem: specifically, when the number of solutions is unknown, terminating the algorithm too early or too late leads to a significant reduction in the probability of obtaining a solution. In this paper, we propose a parallel fixed-point (PFP) search algorithm to solve the…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-04-11","reactions":{}}