Quantum Algorithm for 3-SAT Problem of 2, 3, and 4 Answers by Shor’s Fourier Transform on QCEngine

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 clause and xn are variables.], and S(u) is rfor 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.