Unsolved Problems

Showing 1-11 of 11 problems

MPP-001
Open

P versus NP Problem

Does $P = NP$? More formally: if the solution to a problem can be quickly verified (in polynomial time), can the solution also be quickly found (in po...

L5
Computer Science
1523
89
CS-001
Open

The Unique Games Conjecture

For certain constraint satisfaction problems (unique games), it is NP-hard to approximate the maximum fraction of satisfiable constraints beyond a cer...

L4
Computer Science
543
32
CS-002
Open

The Polynomial Hirsch Conjecture

The diameter of the graph of a $d$-dimensional polytope with $n$ facets is bounded by a polynomial in $d$ and $n$....

L3
Computer Science
321
18
SMA-004
Open

Smale's 4th Problem: Integer Zeros of Polynomials

Find efficient algorithms for deciding whether a polynomial with integer coefficients has an integer root....

L4
Computer Science
287
16
SMA-009
Open

Smale's 9th Problem: Linear Programming in Polynomial Time

Find a strongly polynomial algorithm for linear programming....

L4
Computer Science
312
18
DARPA-008
Open

Beyond Convex Optimization

Determine whether algebraic geometry can systematically replace linear algebra in optimization....

L4
Computer Science
312
18
DARPA-012
Open

Mathematics of Quantum Computing

Develop the mathematics required to control the quantum world for computation....

L5
Computer Science
543
32
DARPA-013
Open

Game Theory at Scale

Create scalable mathematics for differential games, replacing traditional PDE approaches....

L4
Computer Science
289
16
DARPA-020
Open

Computation at Scale

Develop asymptotics for systems with massive degrees of freedom....

L4
Computer Science
276
15
DARPA-006
Open

Computational Duality

Use mathematical duality and geometry as foundations for developing novel computational algorithms....

L4
Computer Science
198
11
DARPA-007
Open

Occam's Razor in Many Dimensions

Find lower bounds for sensing complexity as data collection grows, addressing entropy maximization....

L4
Computer Science
234
13