1,000 research outputs found
Maximum Edge-Disjoint Paths in -sums of Graphs
We consider the approximability of the maximum edge-disjoint paths problem
(MEDP) in undirected graphs, and in particular, the integrality gap of the
natural multicommodity flow based relaxation for it. The integrality gap is
known to be even for planar graphs due to a simple
topological obstruction and a major focus, following earlier work, has been
understanding the gap if some constant congestion is allowed.
In this context, it is natural to ask for which classes of graphs does a
constant-factor constant-congestion property hold. It is easy to deduce that
for given constant bounds on the approximation and congestion, the class of
"nice" graphs is nor-closed. Is the converse true? Does every proper
minor-closed family of graphs exhibit a constant factor, constant congestion
bound relative to the LP relaxation? We conjecture that the answer is yes.
One stumbling block has been that such bounds were not known for bounded
treewidth graphs (or even treewidth 3). In this paper we give a polytime
algorithm which takes a fractional routing solution in a graph of bounded
treewidth and is able to integrally route a constant fraction of the LP
solution's value. Note that we do not incur any edge congestion. Previously
this was not known even for series parallel graphs which have treewidth 2. The
algorithm is based on a more general argument that applies to -sums of
graphs in some graph family, as long as the graph family has a constant factor,
constant congestion bound. We then use this to show that such bounds hold for
the class of -sums of bounded genus graphs
When the Cut Condition is Enough: A Complete Characterization for Multiflow Problems in Series-Parallel Networks
Let be a supply graph and a demand graph defined on the
same set of vertices. An assignment of capacities to the edges of and
demands to the edges of is said to satisfy the \emph{cut condition} if for
any cut in the graph, the total demand crossing the cut is no more than the
total capacity crossing it. The pair is called \emph{cut-sufficient} if
for any assignment of capacities and demands that satisfy the cut condition,
there is a multiflow routing the demands defined on within the network with
capacities defined on . We prove a previous conjecture, which states that
when the supply graph is series-parallel, the pair is
cut-sufficient if and only if does not contain an \emph{odd spindle} as
a minor; that is, if it is impossible to contract edges of and delete edges
of and so that becomes the complete bipartite graph , with
odd, and is composed of a cycle connecting the vertices of
degree 2, and an edge connecting the two vertices of degree . We further
prove that if the instance is \emph{Eulerian} --- that is, the demands and
capacities are integers and the total of demands and capacities incident to
each vertex is even --- then the multiflow problem has an integral solution. We
provide a polynomial-time algorithm to find an integral solution in this case.
In order to prove these results, we formulate properties of tight cuts (cuts
for which the cut condition inequality is tight) in cut-sufficient pairs. We
believe these properties might be useful in extending our results to planar
graphs.Comment: An extended abstract of this paper will be published at the 44th
Symposium on Theory of Computing (STOC 2012
Faster Approximate Multicommodity Flow Using Quadratically Coupled Flows
The maximum multicommodity flow problem is a natural generalization of the
maximum flow problem to route multiple distinct flows. Obtaining a
approximation to the multicommodity flow problem on graphs is a well-studied
problem. In this paper we present an adaptation of recent advances in
single-commodity flow algorithms to this problem. As the underlying linear
systems in the electrical problems of multicommodity flow problems are no
longer Laplacians, our approach is tailored to generate specialized systems
which can be preconditioned and solved efficiently using Laplacians. Given an
undirected graph with m edges and k commodities, we give algorithms that find
approximate solutions to the maximum concurrent flow problem and
the maximum weighted multicommodity flow problem in time
\tilde{O}(m^{4/3}\poly(k,\epsilon^{-1}))
A branch-and-price algorithm for a hierarchical crew scheduling problem.
We describe a real-life problem arising at a crane rental company. This problem is a generalization of the basic crew scheduling problem given in Mingozzi et al. and Beasley and Cao. We formulate the problem as an integer programming problem and establish ties with the integer multicommodity flow problem and the hierarchical interval scheduling problem. After establishing the complexity of the problem we propose a branch-and-price algorithm to solve it. We test this algorithm on a limited number of real-life instances.Scheduling;
Separable Concave Optimization Approximately Equals Piecewise-Linear Optimization
We study the problem of minimizing a nonnegative separable concave function
over a compact feasible set. We approximate this problem to within a factor of
1+epsilon by a piecewise-linear minimization problem over the same feasible
set. Our main result is that when the feasible set is a polyhedron, the number
of resulting pieces is polynomial in the input size of the polyhedron and
linear in 1/epsilon. For many practical concave cost problems, the resulting
piecewise-linear cost problem can be formulated as a well-studied discrete
optimization problem. As a result, a variety of polynomial-time exact
algorithms, approximation algorithms, and polynomial-time heuristics for
discrete optimization problems immediately yield fully polynomial-time
approximation schemes, approximation algorithms, and polynomial-time heuristics
for the corresponding concave cost problems.
We illustrate our approach on two problems. For the concave cost
multicommodity flow problem, we devise a new heuristic and study its
performance using computational experiments. We are able to approximately solve
significantly larger test instances than previously possible, and obtain
solutions on average within 4.27% of optimality. For the concave cost facility
location problem, we obtain a new 1.4991+epsilon approximation algorithm.Comment: Full pape
- …