Skip to main content

4 docs tagged with "complexity"

View all tags

Exponential Explosions

Why O(2^n) isn't just slow. It's practically impossible. And what a chessboard grain of wheat teaches us about the limits of computation.

Reductions

If you can solve one problem, can you solve another? Reductions are the tool that lets us answer that question precisely — and they are the key to everything in Phase 2.

Solving vs. Verifying

The gap between finding an answer and checking one feels obvious the moment you see it. This post asks why that obvious gap is also the deepest open question in all of computer science.

The Cook-Levin Theorem

In 1971, Stephen Cook proved that one specific problem sits at the top of the entire NP hierarchy — and that solving it would solve everything else. This is the result that launched the field of NP-Completeness.