Actions
Export to: EndNote | Zotero | Mendeley
Collections
This file is not currently in any collections.
Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms [dataset] Open Access
An algorithm for a particular problem may find some instances of the problem easier and others harder to solve, even for a fixed input size. We numerically analyse the relative hardness of MAX 2-SAT problem instances for various continuous-time quantum algorithms and a comparable classical algorithm. This has two motivations: to investigate whether small-sized problem instances, which are commonly used in numerical simulations of quantum algorithms for benchmarking purposes, are a good representation of larger instances in terms of their hardness to solve, and to determine the applicability of continuous-time quantum algorithms in a portfolio approach, where we take advantage of the variation in the hardness of instances between different algorithms by running them in parallel. We find that, while there are correlations in instance hardness between all of the algorithms considered, they appear weak enough that a portfolio approach would likely be desirable in practice. Our results also show a widening range of hardness of randomly generated instances as the problem size is increased, which demonstrates both the difference in the distribution of hardness at small sizes and the value of a portfolio approach that can reduce the number of extremely hard instances. We identify specific weaknesses of these quantum algorithms that can be overcome with a portfolio approach, such their inability to efficiently solve satisfiable instances (which is easy classically).
Descriptions
- Resource type
- Dataset
- Contributors
- Contact person:
Kendon, Viv
1
Data curator: Kendon, Viv 1
Creator: Callison, Adam 2
Contact person: Callison, Adam 2
Data collector: Callison, Adam 2
Data curator: Callison, Adam 2
Creator: Mirkarimi, Puya 3
Contact person: Mirkarimi, Puya 3
Data curator: Mirkarimi, Puya 3
Contact person: Chancellor, Nicholas 3
Data curator: Chancellor, Nicholas 3
Contact person: Light, Lewis 3
Creator: Crosson, Elizabeth 4
Contact person: Crosson, Elizabeth 4
Data collector: Crosson, Elizabeth 4
Data curator: Crosson, Elizabeth 4
1 University of Strathclyde, United Kingdom
2 University College London, United Kingdom
3 Durham University, United Kingdom
4 University of New Mexico, United States
- Funder
-
Engineering and Physical Sciences Research Council
dunnhumby
US Army Research Laboratory
National Science Foundation
Natural Sciences and Engineering Research Council of Canada
- Research methods
-
Computer assisted numerical calculations
- Other description
-
This archive contains two datasets. The first dataset was produced by the authors of https://arxiv.org/abs/2206.06876
. The abstract here is the abstract of that paper. The second dataset was produced by the authors of https://arxiv.org/abs/1401.7320
and is being shared with their permission.
- Keyword
- Quantum computing
Quantum walk
Adiabatic quantum computing
Quantum annealing
- Subject
-
Quantum computing
Algorithms
- Location
- Language
- English
- Cited in
- arxiv:2206.06876
- Identifier
- ark:/32150/r2x346d419f
doi:10.15128/r2x346d419f
- Rights
- Creative Commons Attribution 4.0 International (CC BY)
- Publisher
-
Durham University
- Date Created
-
2023-05-26
File Details
- Depositor
- P. Mirkarimi
- Date Uploaded
- 26 May 2023, 11:05:15
- Date Modified
- 26 May 2023, 14:05:49
- Audit Status
- Audits have not yet been run on this file.
- Characterization
-
File format: zip (ZIP Format)
Mime type: application/zip
File size: 45339383
Last modified: 2023:05:26 12:42:27+01:00
Filename: MAX2SATQuantumData.zip
Original checksum: 693ebad5c4cfe9776d76c1abb1289224
User Activity | Date |
---|---|
User N. Syrotiuk has updated Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms [dataset] | over 1 year ago |
User N. Syrotiuk has updated Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms [dataset] | over 1 year ago |
User N. Syrotiuk has updated Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms [dataset] | over 1 year ago |
User N. Syrotiuk has updated Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms [dataset] | over 1 year ago |
User P. Mirkarimi has deposited MAX2SATQuantumData.zip | over 1 year ago |