8,338 research outputs found
The existence of a strongly polynomial time simplex method
It is well known how to clarify whether there is a polynomial time simplex
algorithm for linear programming (LP) is the most challenging open problem in
optimization and discrete geometry. This paper gives a affirmative answer to
this open question by the use of the parametric analysis technique that we
recently proposed. We show that there is a simplex algorithm whose number of
pivoting steps does not exceed the number of variables of a LP problem.Comment: 17 pages, 1 figur
Combinatorial simplex algorithms can solve mean payoff games
A combinatorial simplex algorithm is an instance of the simplex method in
which the pivoting depends on combinatorial data only. We show that any
algorithm of this kind admits a tropical analogue which can be used to solve
mean payoff games. Moreover, any combinatorial simplex algorithm with a
strongly polynomial complexity (the existence of such an algorithm is open)
would provide in this way a strongly polynomial algorithm solving mean payoff
games. Mean payoff games are known to be in NP and co-NP; whether they can be
solved in polynomial time is an open problem. Our algorithm relies on a
tropical implementation of the simplex method over a real closed field of Hahn
series. One of the key ingredients is a new scheme for symbolic perturbation
which allows us to lift an arbitrary mean payoff game instance into a
non-degenerate linear program over Hahn series.Comment: v1: 15 pages, 3 figures; v2: improved presentation, introduction
expanded, 18 pages, 3 figure
An update on the Hirsch conjecture
The Hirsch conjecture was posed in 1957 in a letter from Warren M. Hirsch to
George Dantzig. It states that the graph of a d-dimensional polytope with n
facets cannot have diameter greater than n - d.
Despite being one of the most fundamental, basic and old problems in polytope
theory, what we know is quite scarce. Most notably, no polynomial upper bound
is known for the diameters that are conjectured to be linear. In contrast, very
few polytopes are known where the bound is attained. This paper collects
known results and remarks both on the positive and on the negative side of the
conjecture. Some proofs are included, but only those that we hope are
accessible to a general mathematical audience without introducing too many
technicalities.Comment: 28 pages, 6 figures. Many proofs have been taken out from version 2
and put into the appendix arXiv:0912.423
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average
We introduce an algorithm which solves mean payoff games in polynomial time
on average, assuming the distribution of the games satisfies a flip invariance
property on the set of actions associated with every state. The algorithm is a
tropical analogue of the shadow-vertex simplex algorithm, which solves mean
payoff games via linear feasibility problems over the tropical semiring
. The key ingredient in our approach is
that the shadow-vertex pivoting rule can be transferred to tropical polyhedra,
and that its computation reduces to optimal assignment problems through
Pl\"ucker relations.Comment: 17 pages, 7 figures, appears in 41st International Colloquium, ICALP
2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
The Stochastic Shortest Path Problem : A polyhedral combinatorics perspective
In this paper, we give a new framework for the stochastic shortest path
problem in finite state and action spaces. Our framework generalizes both the
frameworks proposed by Bertsekas and Tsitsikli and by Bertsekas and Yu. We
prove that the problem is well-defined and (weakly) polynomial when (i) there
is a way to reach the target state from any initial state and (ii) there is no
transition cycle of negative costs (a generalization of negative cost cycles).
These assumptions generalize the standard assumptions for the deterministic
shortest path problem and our framework encapsulates the latter problem (in
contrast with prior works). In this new setting, we can show that (a) one can
restrict to deterministic and stationary policies, (b) the problem is still
(weakly) polynomial through linear programming, (c) Value Iteration and Policy
Iteration converge, and (d) we can extend Dijkstra's algorithm
- …