WHAT CLASSICAL COMPUTERS CAN'T DO (AND WHERE QUANTUM HELPS)
A CS-grounded look at exponential blowup, and exactly which problems quantum computers can and cannot help with.
You already know, from any algorithms course, that not all growth rates are created equal. An O(n) algorithm and an O(2^n) algorithm might both "work," but only one of them is still working by the time your input gets large. This lesson makes that distinction concrete with real numbers, and then draws an honest line around exactly where quantum computers help — and, just as importantly, where they don't.
A Concrete Look at Exponential Blowup
Let's ground this in numbers you can check yourself. Suppose an algorithm takes 2^n basic steps to solve a problem of size n, and your computer can perform one billion (10^9) steps per second — a reasonable estimate for a modern CPU core.
| N (INPUT SIZE) | 2^N (STEPS NEEDED) | TIME AT 1 BILLION STEPS/SEC |
|---|---|---|
| 10 | 1,024 | ~0.000001 seconds |
| 20 | 1,048,576 | ~0.001 seconds |
| 30 | 1,073,741,824 | ~1.07 seconds |
| 40 | 1,099,511,627,776 | ~18.3 minutes |
| 50 | 1,125,899,906,842,624 | ~13 days |
| 60 | 1,152,921,504,606,846,976 | ~36.5 years |
| 70 | 1,180,591,620,717,411,303,424 | ~37,400 years |
| 128 (RSA-sized) | ~3.4 × 10^38 | ~10^22 years (far beyond the age of the universe) |
This table is the entire justification for this whole field. Real-world RSA encryption uses numbers with hundreds of digits (thousands of bits), and the best known classical factoring algorithms scale in a way that isn't quite this simple 2^n (it's technically sub-exponential, called the General Number Field Sieve), but the practical conclusion is the same: for large enough keys, classical factoring is hopeless within any human timescale. Shor's algorithm (Module 14) changes this picture entirely for a sufficiently large quantum computer — bringing that "beyond the age of the universe" number down to hours or days.
If you have n bits, there are 2^n possible combinations of those bits (each bit independently
0 or 1). Many hard problems — like guessing a password, or checking every possible factor of a
number, or exploring every possible route in a logistics problem — require checking some large
fraction of all these combinations in the worst case. That's the direct source of the exponential
wall.
An Important Nuance: Not All Hard Problems Get Faster
Here's a myth this lesson exists specifically to correct: quantum computers do not magically solve all exponentially-hard problems in fast (polynomial) time.
Computer scientists classify problems into complexity classes — you've likely encountered P (solvable quickly, i.e., in polynomial time, by a classical computer) and NP (solutions can be checked quickly, but not necessarily found quickly), with NP-hard problems being (informally) at least as hard as the hardest problems in NP. Quantum computers are believed to not efficiently solve general NP-hard problems (like the Traveling Salesman Problem, in its exact form) — there's no known quantum algorithm that brings NP-hard problems down to polynomial time, and most researchers believe none exists.
What quantum computers do offer are speedups for specific, structured problems where the problem's mathematical shape happens to be exploitable by superposition and interference. The clearest examples:
| PROBLEM | CLASSICAL DIFFICULTY | QUANTUM SPEEDUP | TYPE OF SPEEDUP |
|---|---|---|---|
| Factoring large numbers | Sub-exponential (very slow for large numbers) | Shor's Algorithm (Module 14) | Exponential speedup |
| Unstructured search (find 1 item among N) | O(N), must check items one by one | Grover's Algorithm (Module 14) | Quadratic speedup (O(√N)) |
| Simulating quantum systems (molecules, materials) | Exponential in number of particles | Direct quantum simulation (Module 20, 21) | Exponential speedup (in principle) |
| Combinatorial optimization (e.g., Max-Cut, scheduling) | Exponential in worst case (NP-hard) | QAOA (Module 20) — approximate, not exact | Modest, problem-dependent speedup, still researched |
| General NP-hard problems (exact solutions) | Exponential in worst case | No known efficient quantum algorithm | None known |
Notice the last row carefully — it's there on purpose. A "quadratic speedup" like Grover's (turning O(N) into O(√N))) is real and useful, but it's a far cry from turning an exponential problem into a fast one. Only Shor's algorithm and quantum simulation offer the dramatic exponential-style speedups that make headlines.
An Analogy for the Search Speedup
Think of unstructured search the way you'd think about looking for one specific unlabeled file among a huge pile of unsorted, unindexed files — no filenames, no folder structure, nothing to sort by. Classically, your only honest strategy is to check files one at a time; on average, you'll need to check about half the pile, and in the worst case, all of it. This is exactly the kind of problem where a sorted structure (like a binary search tree, which you already know gives O(log N)) doesn't exist to help you — there's no shortcut, because the data has no exploitable structure.
Grover's algorithm (Module 14) gives a quadratic speedup for exactly this scenario: checking roughly √N "locations" using quantum superposition and interference, instead of N. For a pile of 1,000,000 unsorted files, that's the difference between checking around 1,000,000 items and checking around 1,000 — a real, meaningful improvement, though not the exponential jump Shor's algorithm provides for factoring.
When you hear about a new quantum algorithm claim, ask: "Is this an exponential speedup (like Shor's) or a polynomial/quadratic speedup (like Grover's)?" The two are very different in practical impact, and pop-science reporting often blurs this distinction.
Practice Questions
Test your understanding
KEY TAKEAWAYS
Remember these points
Exponential growth (O(2^n)) makes even moderately-sized problems classically intractable — the numeric table in this lesson shows how quickly "1 second" becomes "longer than the age of the universe"
Quantum computers do not solve all hard problems faster — there is no known efficient quantum algorithm for general NP-hard problems
Quantum speedups are specific and problem-dependent: exponential for factoring (Shor's, Module 14) and quantum simulation (Module 20-21); quadratic for unstructured search (Grover's, Module 14); modest and still-researched for general optimization (QAOA, Module 20)
Unstructured search has no classical shortcut (no sorting or indexing helps), which is exactly the kind of "structureless" problem where Grover's algorithm provides a proven, guaranteed speedup
Always distinguish "exponential speedup" from "polynomial/quadratic speedup" when evaluating quantum computing claims — the practical impact differs enormously