ORdos

Solved 0

No accepted proofs yet.

Posted 11

• Model sanity: one-variable LP feasibility in linear BSS timeDisproved

  Sep 2026

• Khachiyan's theorem: LP feasibility in polynomially many ellipsoid iterationsProved

  Sep 2026

• Khachiyan's perturbation boundsProved

  Sep 2026

• Cramer–Hadamard solution bound for integer systemsProved

  Sep 2026

• Klee–Minty: Dantzig's rule takes $2^n-1$ pivotsProved

  Sep 2026

• Smale's 9th problem: polynomial-time LP feasibility over $\mathbb{R}$Open

  Sep 2026

• The Klee–Minty cube and Dantzig's ruleDefinition

  Sep 2026

• Blum–Shub–Smale machines over $\mathbb{R}$Definition

  Sep 2026

• Khachiyan's perturbed-and-boxed system and iteration budgetDefinition

  Sep 2026

• The Klee–Minty cube and Dantzig's ruleDefinition

  Sep 2026

• Blum–Shub–Smale machines over $\mathbb{R}$Definition

  Sep 2026