668 research outputs found
Even Delta-Matroids and the Complexity of Planar Boolean CSPs
The main result of this paper is a generalization of the classical blossom
algorithm for finding perfect matchings. Our algorithm can efficiently solve
Boolean CSPs where each variable appears in exactly two constraints (we call it
edge CSP) and all constraints are even -matroid relations (represented
by lists of tuples). As a consequence of this, we settle the complexity
classification of planar Boolean CSPs started by Dvorak and Kupec.
Using a reduction to even -matroids, we then extend the tractability
result to larger classes of -matroids that we call efficiently
coverable. It properly includes classes that were known to be tractable before,
namely co-independent, compact, local, linear and binary, with the following
caveat: we represent -matroids by lists of tuples, while the last two
use a representation by matrices. Since an matrix can represent
exponentially many tuples, our tractability result is not strictly stronger
than the known algorithm for linear and binary -matroids.Comment: 33 pages, 9 figure
Robust and MaxMin Optimization under Matroid and Knapsack Uncertainty Sets
Consider the following problem: given a set system (U,I) and an edge-weighted
graph G = (U, E) on the same universe U, find the set A in I such that the
Steiner tree cost with terminals A is as large as possible: "which set in I is
the most difficult to connect up?" This is an example of a max-min problem:
find the set A in I such that the value of some minimization (covering) problem
is as large as possible.
In this paper, we show that for certain covering problems which admit good
deterministic online algorithms, we can give good algorithms for max-min
optimization when the set system I is given by a p-system or q-knapsacks or
both. This result is similar to results for constrained maximization of
submodular functions. Although many natural covering problems are not even
approximately submodular, we show that one can use properties of the online
algorithm as a surrogate for submodularity.
Moreover, we give stronger connections between max-min optimization and
two-stage robust optimization, and hence give improved algorithms for robust
versions of various covering problems, for cases where the uncertainty sets are
given by p-systems and q-knapsacks.Comment: 17 pages. Preliminary version combining this paper and
http://arxiv.org/abs/0912.1045 appeared in ICALP 201
Bergman Complexes, Coxeter Arrangements, and Graph Associahedra
Tropical varieties play an important role in algebraic geometry. The Bergman
complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M
generalize to matroids the notions of the tropical variety and positive
tropical variety associated to a linear ideal. Our main result is that if A is
a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi,
then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi)
equals the nested set complex of A. In addition, we prove that for any
orientable matroid M, one can find |mu(M)| different reorientations of M such
that the corresponding positive Bergman complexes cover B(M), where mu(M)
denotes the Mobius function of the lattice of flats of M.Comment: 24 pages, 4 figures, new result and new proofs adde
On the tractability of some natural packing, covering and partitioning problems
In this paper we fix 7 types of undirected graphs: paths, paths with
prescribed endvertices, circuits, forests, spanning trees, (not necessarily
spanning) trees and cuts. Given an undirected graph and two "object
types" and chosen from the alternatives above, we
consider the following questions. \textbf{Packing problem:} can we find an
object of type and one of type in the edge set of
, so that they are edge-disjoint? \textbf{Partitioning problem:} can we
partition into an object of type and one of type ?
\textbf{Covering problem:} can we cover with an object of type
, and an object of type ? This framework includes 44
natural graph theoretic questions. Some of these problems were well-known
before, for example covering the edge-set of a graph with two spanning trees,
or finding an - path and an - path that are
edge-disjoint. However, many others were not, for example can we find an
- path and a spanning tree that are
edge-disjoint? Most of these previously unknown problems turned out to be
NP-complete, many of them even in planar graphs. This paper determines the
status of these 44 problems. For the NP-complete problems we also investigate
the planar version, for the polynomial problems we consider the matroidal
generalization (wherever this makes sense)
On Generalizations of Network Design Problems with Degree Bounds
Iterative rounding and relaxation have arguably become the method of choice
in dealing with unconstrained and constrained network design problems. In this
paper we extend the scope of the iterative relaxation method in two directions:
(1) by handling more complex degree constraints in the minimum spanning tree
problem (namely, laminar crossing spanning tree), and (2) by incorporating
`degree bounds' in other combinatorial optimization problems such as matroid
intersection and lattice polyhedra. We give new or improved approximation
algorithms, hardness results, and integrality gaps for these problems.Comment: v2, 24 pages, 4 figure
Simplicial and Cellular Trees
Much information about a graph can be obtained by studying its spanning
trees. On the other hand, a graph can be regarded as a 1-dimensional cell
complex, raising the question of developing a theory of trees in higher
dimension. As observed first by Bolker, Kalai and Adin, and more recently by
numerous authors, the fundamental topological properties of a tree --- namely
acyclicity and connectedness --- can be generalized to arbitrary dimension as
the vanishing of certain cellular homology groups. This point of view is
consistent with the matroid-theoretic approach to graphs, and yields
higher-dimensional analogues of classical enumerative results including
Cayley's formula and the matrix-tree theorem. A subtlety of the
higher-dimensional case is that enumeration must account for the possibility of
torsion homology in trees, which is always trivial for graphs. Cellular trees
are the starting point for further high-dimensional extensions of concepts from
algebraic graph theory including the critical group, cut and flow spaces, and
discrete dynamical systems such as the abelian sandpile model.Comment: 39 pages (including 5-page bibliography); 5 figures. Chapter for
forthcoming IMA volume "Recent Trends in Combinatorics
A randomized polynomial kernel for Subset Feedback Vertex Set
The Subset Feedback Vertex Set problem generalizes the classical Feedback
Vertex Set problem and asks, for a given undirected graph , a set , and an integer , whether there exists a set of at most
vertices such that no cycle in contains a vertex of . It was
independently shown by Cygan et al. (ICALP '11, SIDMA '13) and Kawarabayashi
and Kobayashi (JCTB '12) that Subset Feedback Vertex Set is fixed-parameter
tractable for parameter . Cygan et al. asked whether the problem also admits
a polynomial kernelization.
We answer the question of Cygan et al. positively by giving a randomized
polynomial kernelization for the equivalent version where is a set of
edges. In a first step we show that Edge Subset Feedback Vertex Set has a
randomized polynomial kernel parameterized by with
vertices. For this we use the matroid-based tools of Kratsch and Wahlstr\"om
(FOCS '12) that for example were used to obtain a polynomial kernel for
-Multiway Cut. Next we present a preprocessing that reduces the given
instance to an equivalent instance where the size of
is bounded by . These two results lead to a polynomial kernel for
Subset Feedback Vertex Set with vertices
- …