I'm looking for a way to classify computational problems based on how suitable they are for quantum computers. Specifically, is there an established metric, definition, or framework that categorizes problems from "quantum-friendly" to "quantum-unfriendly"?
Consider the following problems:
- Random Circuit Sampling (used for demonstrating quantum supremacy)
- Simulating Protein Folding and Drug Design
- Breaking RSA (Shor's algorithm provides an exponential speedup)
- Breaking AES (Grover’s algorithm provides only a quadratic speedup)
- Problems where quantum computers have no advantage
- Problems where quantum computers are at a disadvantage (Are there any? If so, references would be appreciated.)
This list is roughly ordered from "quantum-friendly" to "quantum-unfriendly." Such an ordering could be useful in tracking quantum computing progress. For example:
The first major milestone was achieving quantum supremacy (problem #1).
The next milestone might be demonstrating an advantage in real-world industrial optimization (problem #2).
Further down the line, we expect quantum computers to eventually break RSA, possibly in the distant future (problem #3).
Is there an existing framework that formalizes such an ordering? If not, how can we systematically categorize problems in terms of their quantum compatibility? Any references or insights would be greatly appreciated.