Quantum Algorithm for 3-SAT Problem of 2, 3, and 4 Answers by Shor’s Fourier Transform on QCEngine
Year: 2025
Type: article
Abstract: A quantum algorithm for the 3-SAT problem of 2, 3, and 4 answers by the Shor's Fourier transform on the QCEngine, and its example are reported.When there are 3 literals with 2 'OR's in each clause, a number of clauses is m, an r-th clausex3, …, and xn are variables.],and S(u) is Σr = 1 → m r×Cu,r (x1, x2, x3, … , xn), mod(S(u)max) of S(u) [S(u)max is the maximum value of S(u).] is computed, next, for u, the quantum Fourier transform is done.The complexity of this Shor's Fourier transform method for the 3-SAT problem of 2, 3, and 4 answers is able to be several times.
Author: Toru Fujimura
Institution: University of Tsukuba
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4407428244