Subexponential lower bounds for randomized pivoting rules for the simplex algorithm

Oliver Friedmann, Thomas Dueholm Hansen, Uri Zwick

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The simplex algorithm is among the most widely used algorithms for solving linear programs in practice. With essentially all deterministic pivoting rules it is known, however, to require an exponential number of steps to solve some linear programs. No non-polynomial lower bounds were known, prior to this work, for randomized pivoting rules. We provide the first subexponential (i.e., of the form 2ω(nα), for some α>0) lower bounds for the two most natural, and most studied, randomized pivoting rules suggested to date. The first randomized pivoting rule considered is Random-Edge, which among all improving pivoting steps (or edges) from the current basic feasible solution (or vertex) chooses one uniformly at random. The second randomized pivoting rule considered is Random-Facet, a more complicated randomized pivoting rule suggested by Kalai and by Matousek, Sharir and Welzl. Our lower bound for the Random-Facet pivoting rule essentially matches the subexponential upper bounds given by Kalai and by Matousek et al Lower bounds for Random-Edge and Random-Facet were known before only in abstract settings, and not for concrete linear programs. Our lower bounds are obtained by utilizing connections between pivoting steps performed by simplex-based algorithms and improving switches performed by policy iteration algorithms for solving Markov Decision Processes (MDPs).

Original languageEnglish
Title of host publicationSTOC'11 - Proceedings of the 43rd ACM Symposium on Theory of Computing
Pages283-292
Number of pages10
DOIs
StatePublished - 2011
Event43rd ACM Symposium on Theory of Computing, STOC'11 - San Jose, CA, United States
Duration: 6 Jun 20118 Jun 2011

Publication series

NameProceedings of the Annual ACM Symposium on Theory of Computing
ISSN (Print)0737-8017

Conference

Conference43rd ACM Symposium on Theory of Computing, STOC'11
Country/TerritoryUnited States
CitySan Jose, CA
Period6/06/118/06/11

Keywords

  • Markov decision processes
  • linear programming
  • randomized pivoting rules
  • simplex algorithm

Fingerprint

Dive into the research topics of 'Subexponential lower bounds for randomized pivoting rules for the simplex algorithm'. Together they form a unique fingerprint.

Cite this