English
Related papers

Related papers: Exponential Lower Bounds for Many Pivot Rules for …

200 papers

We present new pivot rules for the Simplex method for LPs over 0/1 polytopes. We show that the number of non-degenerate steps taken using these rules is strongly polynomial and even linear in the dimension or in the number of variables. Our…

Optimization and Control · Mathematics 2021-11-30 Alexander Black , Jesús De Loera , Sean Kafer , Laura Sanità

We show that a variant of the random-edge pivoting rule results in a strongly polynomial time simplex algorithm for linear programs $\max\{c^Tx \colon Ax\leq b\}$, whose constraint matrix $A$ satisfies a geometric property introduced by…

Data Structures and Algorithms · Computer Science 2016-03-22 Friedrich Eisenbrand , Santosh Vempala

Circuit-augmentation algorithms are generalizations of the Simplex method, where in each step one is allowed to move along a fixed set of directions, called circuits, that is a superset of the edges of a polytope. We show that in the…

Combinatorics · Mathematics 2020-10-23 Jesús A. De Loera , Sean Kafer , Laura Sanità

Based on the existing pivot rules, the simplex method for linear programming is not polynomial in the worst case. Therefore the optimal pivot of the simplex method is crucial. This study proposes the optimal rule to find all shortest pivot…

Optimization and Control · Mathematics 2024-02-27 Anqi Li , Tiande Guo , Congying Han , Bonan Li , Haoran Li

A decision rule is epsilon-minimax if it is minimax up to an additive factor epsilon. We present an algorithm for provably obtaining epsilon-minimax solutions for a class of statistical decision problems. In particular, we are interested in…

We describe constructions of extended formulations that establish a certain relaxed version of the Hirsch conjecture and prove that if there is a pivot rule for the simplex algorithm for which one can bound the number of steps by a…

Combinatorics · Mathematics 2024-09-25 Volker Kaibel , Kirill Kukharenko

We study the simplex method over polyhedra satisfying certain "discrete curvature" lower bounds, which enforce that the boundary always meets vertices at sharp angles. Motivated by linear programs with totally unimodular constraint…

Data Structures and Algorithms · Computer Science 2014-12-23 Daniel Dadush , Nicolai Hähnle

The worst-case expected length f(n) of the path taken by the simplex algorithm with the Random Edge pivot rule on a 3-dimensional linear program with n constraints is shown to be bounded by 1.3445 n <= f(n) <= 1.4943 n for large enough n.

Combinatorics · Mathematics 2007-05-23 Volker Kaibel , Raphael Mechtel , Micha Sharir , Günter M. Ziegler

We prove a tight lower bound (up to constant factors) on the sample complexity of any non-interactive local differentially private protocol for optimizing a linear function over the simplex. This lower bound also implies a tight lower bound…

Cryptography and Security · Computer Science 2021-05-17 Jonathan Ullman

Explaining the excellent practical performance of the simplex method for linear programming has been a major topic of research for over 50 years. One of the most successful frameworks for understanding the simplex method was given by…

Data Structures and Algorithms · Computer Science 2019-06-12 Daniel Dadush , Sophie Huiberts

We prove that the active-set method needs an exponential number of iterations in the worst-case to maximize a convex quadratic function subject to linear constraints, regardless of the pivot rule used. This substantially improves over the…

Discrete Mathematics · Computer Science 2025-10-23 Eleon Bach , Yann Disser , Sophie Huiberts , Nils Mosis

Our contribution in this paper is two folded. We consider first the case of linear programming with real coefficients and give a method which allows the computation of a new upper bound on the distance from the origin to a feasible point.…

Optimization and Control · Mathematics 2020-10-30 Beniamin Costandin , Marius Costandin , Petru Dobra

The complexity of Philip Wolfe's method for the minimum Euclidean-norm point problem over a convex polytope has remained unknown since he proposed the method in 1974. The method is important because it is used as a subroutine for one of the…

Optimization and Control · Mathematics 2017-11-07 Jesus De Loera , Jamie Haddock , Luis Rademacher

We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to almost-surely terminating programs -- as is the case for existing rules -- and can be used to establish…

Logic in Computer Science · Computer Science 2023-02-14 Shenghua Feng , Mingshuai Chen , Han Su , Benjamin Lucien Kaminski , Joost-Pieter Katoen , Naijun Zhan

An important method to optimize a function on standard simplex is the active set algorithm, which requires the gradient of the function to be projected onto a hyperplane, with sign constraints on the variables that lie in the boundary of…

Optimization and Control · Mathematics 2020-07-20 Youwei Liang

We prove that the Random-Edge simplex algorithm requires an expected number of at most 13n/sqrt(d) pivot steps on any simple d-polytope with n vertices. This is the first nontrivial upper bound for general polytopes. We also describe a…

Combinatorics · Mathematics 2008-07-15 Bernd Gärtner , Volker Kaibel

The smoothed analysis of algorithms is concerned with the expected running time of an algorithm under slight random perturbations of arbitrary inputs. Spielman and Teng proved that the shadow-vertex simplex method has polynomial smoothed…

Data Structures and Algorithms · Computer Science 2016-12-23 Roman Vershynin

We study fundamental block-structured integer programs called tree-fold and multi-stage IPs. Tree-fold IPs admit a constraint matrix with independent blocks linked together by few constraints in a recursive pattern; and transposing their…

Computational Complexity · Computer Science 2024-02-28 Christoph Hunkenschröder , Kim-Manuel Klein , Martin Koutecký , Alexandra Lassota , Asaf Levin

In this paper we give an exponential lower bound for Cunningham's least recently considered (round-robin) rule as applied to parity games, Markhov decision processes and linear programs. This improves a recent subexponential bound of…

Computational Complexity · Computer Science 2013-05-20 David Avis , Oliver Friedmann

We prove that the simplex method with the highest gain/most-negative-reduced cost pivoting rule converges in strongly polynomial time for deterministic Markov decision processes (MDPs) regardless of the discount factor. For a deterministic…

Data Structures and Algorithms · Computer Science 2013-02-01 Ian Post , Yinyu Ye