3,204 research outputs found
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
Recent progress on the combinatorial diameter of polytopes and simplicial complexes
The Hirsch conjecture, posed in 1957, stated that the graph of a
-dimensional polytope or polyhedron with facets cannot have diameter
greater than . The conjecture itself has been disproved, but what we
know about the underlying question is quite scarce. Most notably, no polynomial
upper bound is known for the diameters that were conjectured to be linear. In
contrast, no polyhedron violating the conjecture by more than 25% is known.
This paper reviews several recent attempts and progress on the question. Some
work in the world of polyhedra or (more often) bounded polytopes, but some try
to shed light on the question by generalizing it to simplicial complexes. In
particular, we include here our recent and previously unpublished proof that
the maximum diameter of arbitrary simplicial complexes is in and
we summarize the main ideas in the polymath 3 project, a web-based collective
effort trying to prove an upper bound of type nd for the diameters of polyhedra
and of more general objects (including, e. g., simplicial manifolds).Comment: 34 pages. This paper supersedes one cited as "On the maximum diameter
of simplicial complexes and abstractions of them, in preparation
Geometric Combinatorics of Transportation Polytopes and the Behavior of the Simplex Method
This dissertation investigates the geometric combinatorics of convex
polytopes and connections to the behavior of the simplex method for linear
programming. We focus our attention on transportation polytopes, which are sets
of all tables of non-negative real numbers satisfying certain summation
conditions. Transportation problems are, in many ways, the simplest kind of
linear programs and thus have a rich combinatorial structure. First, we give
new results on the diameters of certain classes of transportation polytopes and
their relation to the Hirsch Conjecture, which asserts that the diameter of
every -dimensional convex polytope with facets is bounded above by
. In particular, we prove a new quadratic upper bound on the diameter of
-way axial transportation polytopes defined by -marginals. We also show
that the Hirsch Conjecture holds for classical transportation
polytopes, but that there are infinitely-many Hirsch-sharp classical
transportation polytopes. Second, we present new results on subpolytopes of
transportation polytopes. We investigate, for example, a non-regular
triangulation of a subpolytope of the fourth Birkhoff polytope . This
implies the existence of non-regular triangulations of all Birkhoff polytopes
for . We also study certain classes of network flow polytopes
and prove new linear upper bounds for their diameters.Comment: PhD thesis submitted June 2010 to the University of California,
Davis. 183 pages, 49 figure
Combinatorics and Geometry of Transportation Polytopes: An Update
A transportation polytope consists of all multidimensional arrays or tables
of non-negative real numbers that satisfy certain sum conditions on subsets of
the entries. They arise naturally in optimization and statistics, and also have
interest for discrete mathematics because permutation matrices, latin squares,
and magic squares appear naturally as lattice points of these polytopes.
In this paper we survey advances on the understanding of the combinatorics
and geometry of these polyhedra and include some recent unpublished results on
the diameter of graphs of these polytopes. In particular, this is a thirty-year
update on the status of a list of open questions last visited in the 1984 book
by Yemelichev, Kovalev and Kravtsov and the 1986 survey paper of Vlach.Comment: 35 pages, 13 figure
A genuinely polynomial primal simplex algorithm for the assignment problem
Cataloged from PDF version of article.Akgil, M., A genuinely polynomial primal simplex algorithm for the assignment problem, Discrete
Applied Mathematics 45 (1993) 93-l 15.
We present a primal simplex algorithm that solves the assignment problem in :n(n+3)-4 pivots. Starting
with a problem of size 1, we sequentially solve problems of size 2,3,4,. ..,lt. The algorithm utilizes
degeneracy by working with strongly feasible trees and employs Dantdgâs rule for entering edges for the
subproblem. The number of nondegenerate simplex pivots is bounded by n-l. The number of consecutive
degenerate simplex pivots is bounded by : (n-2)(n+ 1). All three bounds are sharp. The algorithm
can be implemented to run in O(ni) time for dense graphs. For sparse graphs, using state of the art data
structures, it runs in O(n2 log n+nm) time, where the bipartite graph has 2n nodes and m edges
Three Puzzles on Mathematics, Computation, and Games
In this lecture I will talk about three mathematical puzzles involving
mathematics and computation that have preoccupied me over the years. The first
puzzle is to understand the amazing success of the simplex algorithm for linear
programming. The second puzzle is about errors made when votes are counted
during elections. The third puzzle is: are quantum computers possible?Comment: ICM 2018 plenary lecture, Rio de Janeiro, 36 pages, 7 Figure
Combinatorial Optimization
Combinatorial Optimization is a very active field that benefits from bringing together ideas from different areas, e.g., graph theory and combinatorics, matroids and submodularity, connectivity and network flows, approximation algorithms and mathematical programming, discrete and computational geometry, discrete and continuous problems, algebraic and geometric methods, and applications. We continued the long tradition of triannual Oberwolfach workshops, bringing together the best researchers from the above areas, discovering new connections, and establishing new and deepening existing international collaborations
A Column Generation Based Heuristic for the Multicommodity-ring Vehicle Routing Problem
AbstractWe study a new routing problem arising in City Logistics. Given a ring connecting a set of urban distribution centers (UDCs) in the outskirts of a city, the problem consists in delivering goods from virtual gates located outside the city to the customers inside of it. Goods are transported from a gate to a UDC, then either go to another UDC before being delivered to customers or are directly shipped from the first UDC. The reverse process occurs for pick-up. Routes are performed by electric vans and may be open. The objective is to find a set of routes that visit each customer and to determine ring and gates-UDC flows so that the total transportation and routing cost is minimized. We solve this problem using a column generation-based heuristic, which is tested over a set of benchmark instances issued from a more strategic location-routing problem
Triangulations
The earliest work in topology was often based on explicit combinatorial models â usually triangulations â for the spaces being studied. Although algebraic methods in topology gradually replaced combinatorial ones in the mid-1900s, the emergence of computers later revitalized the study of triangulations. By now there are several distinct mathematical communities actively doing work on different aspects of triangulations. The goal of this workshop was to bring the researchers from these various communities together to stimulate interaction and to benefit from the exchange of ideas and methods
- âŠ