Quantum Algorithm for 3-SAT Problem by Shor’s Fourier Transform with RAM on QCEngine

A quantum algorithm for the 3-SAT problem by the Shor's Fourier transform with the RAM 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)max is r = 1 m rCu,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 method is able to be several times.