MathsClub Problems, proofs & good company

The Problems

Not schoolwork — the questions that resisted Erdős, Hilbert, and everyone since. The club keeps three shelves: what is still open, what AI recently settled, and what took humanity centuries.

Tagged complexity-theory — 5 entries. Clear

The permanent needs superpolynomial arithmetic circuits (VP ≠ VNP). Algebraic complexity's founding question, open since 1979.

Posed by Leslie Valiant · 1979 · algorithms / linear algebra · difficulty 5/5

complexity-theory

All NP-complete problems are the same problem up to polynomial-time recoding. Open since 1977; a positive answer would reveal deep structure in NP.

Posed by Len Berman / Juris Hartmanis · 1977 · computational complexity · difficulty 4/5

complexity-theory

Is randomness essential to efficient computation? BPP = P would follow from strong circuit lower bounds; unconditionally, the question is wide open.

· theoretical computer science · difficulty 4/5

complexity-theory

If a solution can be checked quickly, can it also be found quickly? The question that organises theoretical computer science.

Posed by Stephen Cook / Leonid Levin · 1971 · computational complexity · $1M Clay Millennium Prize · difficulty 5/5

complexity-theory