Finding Solutions to the Integer Case Constraint Satisfiability Problem Using Grover’s Algorithm
Constraint satisfiability problems, crucial to several applications, are solved on a quantum computer using Grover’s search algorithm, leading to a quadratic improvement over the classical case. The solutions are obtained with high probability for several cases and are illustrated for the...
Guardado en:
Autores principales: | , |
---|---|
Formato: | article |
Lenguaje: | EN |
Publicado: |
IEEE
2021
|
Materias: | |
Acceso en línea: | https://doaj.org/article/a6327c7a264b499dadea46761667f1b3 |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
id |
oai:doaj.org-article:a6327c7a264b499dadea46761667f1b3 |
---|---|
record_format |
dspace |
spelling |
oai:doaj.org-article:a6327c7a264b499dadea46761667f1b32021-11-20T00:03:13ZFinding Solutions to the Integer Case Constraint Satisfiability Problem Using Grover’s Algorithm2689-180810.1109/TQE.2021.3120449https://doaj.org/article/a6327c7a264b499dadea46761667f1b32021-01-01T00:00:00Zhttps://ieeexplore.ieee.org/document/9576649/https://doaj.org/toc/2689-1808Constraint satisfiability problems, crucial to several applications, are solved on a quantum computer using Grover’s search algorithm, leading to a quadratic improvement over the classical case. The solutions are obtained with high probability for several cases and are illustrated for the cases involving two variables for both 3- and 4-bit numbers. Methods are defined for inequality comparisons, and these are combined according to the form of the satisfiability formula, to form the oracle for the algorithm. The circuit is constructed using IBM Qiskit and is verified on an IBM simulator. It is further executed on one of the noisy intermediate-scale quantum processors from IBM on the cloud. Noise levels in the processor at present are found to be too high for successful execution. Running the algorithm on the simulator with a custom noise model lets us identify the noise threshold for successful execution.Gayathree M. VinodAnil ShajiIEEEarticleConstraint satisfiabilityGrover’s algorithmnoisy intermediate-scale quantum (NISQ) processorsQiskitAtomic physics. Constitution and properties of matterQC170-197Materials of engineering and construction. Mechanics of materialsTA401-492ENIEEE Transactions on Quantum Engineering, Vol 2, Pp 1-13 (2021) |
institution |
DOAJ |
collection |
DOAJ |
language |
EN |
topic |
Constraint satisfiability Grover’s algorithm noisy intermediate-scale quantum (NISQ) processors Qiskit Atomic physics. Constitution and properties of matter QC170-197 Materials of engineering and construction. Mechanics of materials TA401-492 |
spellingShingle |
Constraint satisfiability Grover’s algorithm noisy intermediate-scale quantum (NISQ) processors Qiskit Atomic physics. Constitution and properties of matter QC170-197 Materials of engineering and construction. Mechanics of materials TA401-492 Gayathree M. Vinod Anil Shaji Finding Solutions to the Integer Case Constraint Satisfiability Problem Using Grover’s Algorithm |
description |
Constraint satisfiability problems, crucial to several applications, are solved on a quantum computer using Grover’s search algorithm, leading to a quadratic improvement over the classical case. The solutions are obtained with high probability for several cases and are illustrated for the cases involving two variables for both 3- and 4-bit numbers. Methods are defined for inequality comparisons, and these are combined according to the form of the satisfiability formula, to form the oracle for the algorithm. The circuit is constructed using IBM Qiskit and is verified on an IBM simulator. It is further executed on one of the noisy intermediate-scale quantum processors from IBM on the cloud. Noise levels in the processor at present are found to be too high for successful execution. Running the algorithm on the simulator with a custom noise model lets us identify the noise threshold for successful execution. |
format |
article |
author |
Gayathree M. Vinod Anil Shaji |
author_facet |
Gayathree M. Vinod Anil Shaji |
author_sort |
Gayathree M. Vinod |
title |
Finding Solutions to the Integer Case Constraint Satisfiability Problem Using Grover’s Algorithm |
title_short |
Finding Solutions to the Integer Case Constraint Satisfiability Problem Using Grover’s Algorithm |
title_full |
Finding Solutions to the Integer Case Constraint Satisfiability Problem Using Grover’s Algorithm |
title_fullStr |
Finding Solutions to the Integer Case Constraint Satisfiability Problem Using Grover’s Algorithm |
title_full_unstemmed |
Finding Solutions to the Integer Case Constraint Satisfiability Problem Using Grover’s Algorithm |
title_sort |
finding solutions to the integer case constraint satisfiability problem using grover’s algorithm |
publisher |
IEEE |
publishDate |
2021 |
url |
https://doaj.org/article/a6327c7a264b499dadea46761667f1b3 |
work_keys_str_mv |
AT gayathreemvinod findingsolutionstotheintegercaseconstraintsatisfiabilityproblemusinggroverx2019salgorithm AT anilshaji findingsolutionstotheintegercaseconstraintsatisfiabilityproblemusinggroverx2019salgorithm |
_version_ |
1718419855162474496 |