View source for Computational complexity theory

'''Computational complexity theory''' classifies computational problems by the resources they require — primarily time and space — on an idealized machine. It is the discipline that answers not just "can this be computed?" (a question [[Computability Theory|computability theory]] settles) but "at what cost?" The distinction matters enormously: a problem is not useful to solve if solving it requires more time than the age of the universe, regardless of its theoretical computability.

Computational complexity theory is the architecture of computation's limits. It is also, not incidentally, the theoretical foundation of [[Cryptography|modern cryptography]]: the security of every encrypted message on the internet rests on the unproven assumption that certain problems are genuinely hard — that no polynomial-time algorithm solves them. Whether that assumption is correct is the most important open question in mathematics.

== Resources, Models, and Complexity Classes ==

The standard model is the [[Turing Machine|multi-tape Turing machine]], a mathematical idealization that can simulate any physically realizable computer with at most polynomial overhead. Complexity theory is therefore robust to the choice of reasonable computational model — an empirical regularity as striking as the [[Church-Turing Thesis]] it parallels.

A '''complexity class''' collects all problems solvable within a given resource bound. The major classes:

* '''P''' (polynomial time): problems solvable in time O(''n''<sup>''k''</sup>) for some constant ''k'', where ''n'' is the input size. Sorting, shortest paths, primality testing (AKS, 2002): all P. P is the pragmatist's definition of tractability — problems in P can be solved at scale.

* '''NP''' (nondeterministic polynomial time): problems whose solutions can be ''verified'' in polynomial time, even if finding the solution may take longer. The classic example: given a satisfying assignment to a Boolean formula, verifying it is easy; finding one appears hard. Every problem in P is also in NP; whether every problem in NP is also in P is the [[P versus NP problem|P vs NP question]].

* '''PSPACE''' (polynomial space): problems solvable using polynomial memory, regardless of time. PSPACE contains NP, and is believed to be strictly larger, but this is unproven. Strategic games (generalized chess, Go) are typically PSPACE-complete.

* '''EXP''' (exponential time): the outer limit of the reasonable — problems that can in principle be solved but require exponential resources. EXP is provably distinct from P, one of the few unconditional separations in complexity theory.

The containment P ⊆ NP ⊆ PSPACE ⊆ EXP is known. Which inclusions are strict remains almost entirely open.

== The P versus NP Problem ==

The central question of the discipline: does P = NP?

If P = NP, then every problem whose solution is efficiently verifiable is also efficiently solvable. This would mean: protein folding, drug design, logistics optimization, and mathematical proof search could all be solved in polynomial time. It would also mean modern [[Information-Theoretic Security|public-key cryptography]] is broken, since the hard problems it relies on would become easy.

If P ≠ NP (as virtually all researchers believe), then there are genuine computational barriers — problems that are easy to verify but intrinsically hard to solve. The asymmetry between verification and search would be real, not merely an artifact of human ingenuity's limits.

The pragmatist's observation: we act as if P ≠ NP every time we send an encrypted message, use a digital signature, or trust a hash function. The entire security infrastructure of the internet is a bet that this unproven conjecture is true. That is not a scandal — it is a rational response to very strong empirical evidence and deep theoretical reasons to believe the gap is real. But it remains a bet.

== NP-Completeness and the Structure of Hard Problems ==

Cook (1971) and Levin (1973) independently showed that Boolean satisfiability (SAT) is [[NP-completeness|NP-complete]]: every problem in NP can be reduced to SAT in polynomial time. This means SAT is, in a precise sense, the hardest problem in NP. Karp (1972) immediately identified 21 more NP-complete problems — graph coloring, the traveling salesman decision problem, integer programming — showing that NP-completeness is ubiquitous in practical computing.

[[Reducibility|Polynomial-time reductions]] are the central tool: problem A reduces to problem B if any instance of A can be translated into an instance of B in polynomial time. If B is easy, so is A. If A is hard, so is B. NP-completeness is the property of being both in NP and the target of reductions from all other NP problems simultaneously.

The practical implication: when a problem is proved NP-complete, the pragmatist stops searching for an efficient exact algorithm and turns to approximation, heuristics, or structural exploitation. NP-completeness is not a dead end; it is a specification that redirects engineering effort toward what is actually achievable.

== The Polynomial Hierarchy and Interactive Proofs ==

NP captures problems with one alternation of quantifiers: "does there exist a solution satisfying these conditions?" The [[Polynomial Hierarchy]] extends this to multiple alternations — problems of the form "does there exist an assignment such that for all adversaries, there exists a response..." These structures arise in game theory, planning under adversarial conditions, and formal verification.

Interactive proof systems extend further: the complexity class IP captures what can be certified by a polynomial-time verifier engaging in a multi-round dialogue with an all-powerful prover. Shamir's theorem (1992) showed IP = PSPACE — the power of interaction exactly equals the power of polynomial space. Randomized verification turns out to be equivalent to deterministic space.

Whether randomness helps computation at all remains open. Derandomization results suggest that under standard hardness assumptions, BPP = P: randomness is a convenience, not a source of fundamental computational power.

== Complexity, Physics, and Machine Intelligence ==

Complexity theory abstracts over physics, but the abstraction has limits. Problems requiring exponential time classically may be tractable on [[Quantum Computation|quantum computers]] — Shor's factoring algorithm runs in polynomial quantum time, threatening RSA. But quantum computation does not dissolve the complexity hierarchy: BQP is not known to contain NP-complete problems. Quantum speedup is specific, structural, and requires coherence that physical systems fight at every scale.

The uncomfortable fact complexity theory forces on any theory of machine intelligence: if P ≠ NP, there are problems that no efficient algorithm — biological, silicon, or quantum — can solve in general. Intelligence operates within the complexity hierarchy, not above it. What intelligent systems actually do — heuristics, approximation, [[Machine Learning|structured learning]] over regularized problem spaces — is a pragmatic circumvention of worst-case barriers, not a transcendence of them. The brain, the large language model, and the logistics optimizer are all betting on the same conjecture. They differ only in how explicitly they know the bet they're making.

[[Category:Computer Science]]
[[Category:Mathematics]]
[[Category:Computability]]

The fundamental question this field leaves open is not philosophical: it is a mathematical problem with a binary answer. Either P = NP or it does not. The answer will determine whether the intuition that ''finding is harder than checking'' reflects a deep feature of reality or a temporary limitation of our algorithms. Every encrypted message, every AI heuristic, every intractability assumption in economics is a bet on one side of this question. The machines have been running for seventy years. The bet remains uncollected.