Abstract
Abstract
The Boolean satisfiability problem (SAT), in particular 3SAT with its bounded clause size, is a well-studied problem since a wide range of decision problems can be reduced to it. The Quantum Approximate Optimization Algorithm (QAOA) is a promising candidate for solving 3SAT for Noisy Intermediate-Scale Quantum devices in the near future due to its simple quantum ansatz. However, although QAOA generally exhibits a high approximation ratio, there are 3SAT problem instances where the algorithm’s success probability when obtaining a satisfying variable assignment from the approximated solution drops sharply compared to the approximation ratio. To address this problem, in this paper, we present variants of the algorithm that are inspired by the amplitude amplification algorithm to improve the success probability for 3SAT. For this, (i) three amplitude amplification-inspired QAOA variants are introduced and implemented, (ii) the variants are experimentally compared with a standard QAOA implementation, and (iii) the impact on the success probability and ansatz complexity is analyzed. The experiment results show that an improvement in the success probability can be achieved with only a moderate increase in circuit complexity.
Subject
Electrical and Electronic Engineering,Physics and Astronomy (miscellaneous),Materials Science (miscellaneous),Atomic and Molecular Physics, and Optics
Reference60 articles.
1. Planning as satisfiability;Kautz,1992
2. The SAT phase transition;Gent,1994
3. Backbones and backdoors in satisfiability;Kilby,2005
4. A survey of recent advances in SAT-based formal verification;Prasad;Int. J. Softw. Tools Technol. Transfer,2005
5. Maxsat heuristics for cost optimal planning;Zhang,2012
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献