Research Article
Quantum Solution for the 3-SAT Problem Based on IBM Q
@INPROCEEDINGS{10.1007/978-3-030-48513-9_33, author={Ying Zhang and Yu-xiang Bian and Qiang Fan and Junxiu Chen}, title={Quantum Solution for the 3-SAT Problem Based on IBM Q}, proceedings={Cloud Computing, Smart Grid and Innovative Frontiers in Telecommunications. 9th EAI International Conference, CloudComp 2019, and 4th EAI International Conference, SmartGIFT 2019, Beijing, China, December 4-5, 2019, and December 21-22, 2019}, proceedings_a={CLOUDCOMP}, year={2020}, month={6}, keywords={Quantum computing 3-SAT problem IBM Q QISKit Grover algorithm}, doi={10.1007/978-3-030-48513-9_33} }- Ying Zhang
Yu-xiang Bian
Qiang Fan
Junxiu Chen
Year: 2020
Quantum Solution for the 3-SAT Problem Based on IBM Q
CLOUDCOMP
Springer
DOI: 10.1007/978-3-030-48513-9_33
Abstract
Quantum computing is currently considered to be a new type of computing model that has a subversive impact on the future. Based on its leading information and communication technology advantages, IBM launched IBM Q Experience cloud service platform, and achieved phased research results in the quantum simulator and programming framework. In this paper, we propose a quantum solution for the 3-SAT problem, which includes three steps: constructing the initial state, computing the unitary implementing the black-box function and performing the inversion about the average. In addition, the corresponding experimental verification for an instance of the Exactly-1 3-SAT problem with QISKit, which can connect to IBM Q remotely, is depicted. The experimental result not only show the feasibility of the quantum solution, but also serve to evaluate the functionality of IBM Q devices.
