34,254 research outputs found
Packing Topological Minors Half-Integrally
The packing problem and the covering problem are two of the most general
questions in graph theory. The Erd\H{o}s-P\'{o}sa property characterizes the
cases when the optimal solutions of these two problems are bounded by functions
of each other. Robertson and Seymour proved that when packing and covering
-minors for any fixed graph , the planarity of is equivalent with the
Erd\H{o}s-P\'{o}sa property. Thomas conjectured that the planarity is no longer
required if the solution of the packing problem is allowed to be half-integral.
In this paper, we prove that this half-integral version of Erd\H{o}s-P\'{o}sa
property holds with respect to the topological minor containment, which easily
implies Thomas' conjecture. Indeed, we prove an even stronger statement in
which those subdivisions are rooted at any choice of prescribed subsets of
vertices. Precisely, we prove that for every graph , there exists a function
such that for every graph , every sequence of
subsets of and every integer , either there exist subgraphs
of such that every vertex of belongs to at most two
of and each is isomorphic to a subdivision of whose
branch vertex corresponding to belongs to for each , or
there exists a set with size at most intersecting all
subgraphs of isomorphic to a subdivision of whose branch vertex
corresponding to belongs to for each .
Applications of this theorem include generalizations of algorithmic
meta-theorems and structure theorems for -topological minor free (or
-minor free) graphs to graphs that do not half-integrally pack many
-topological minors (or -minors)
Lattice point counts for the Shi arrangement and other affinographic hyperplane arrangements
Hyperplanes of the form x_j = x_i + c are called affinographic. For an
affinographic hyperplane arrangement in R^n, such as the Shi arrangement, we
study the function f(M) that counts integral points in [1,M]^n that do not lie
in any hyperplane of the arrangement. We show that f(M) is a piecewise
polynomial function of positive integers M, composed of terms that appear
gradually as M increases. Our approach is to convert the problem to one of
counting integral proper colorations of a rooted integral gain graph. An
application is to interval coloring in which the interval of available colors
for vertex v_i has the form [(h_i)+1,M]. A related problem takes colors modulo
M; the number of proper modular colorations is a different piecewise polynomial
that for large M becomes the characteristic polynomial of the arrangement (by
which means Athanasiadis previously obtained that polynomial). We also study
this function for all positive moduli.Comment: 13 p
Coloring non-crossing strings
For a family of geometric objects in the plane
, define as the least
integer such that the elements of can be colored with
colors, in such a way that any two intersecting objects have distinct
colors. When is a set of pseudo-disks that may only intersect on
their boundaries, and such that any point of the plane is contained in at most
pseudo-disks, it can be proven that
since the problem is equivalent to cyclic coloring of plane graphs. In this
paper, we study the same problem when pseudo-disks are replaced by a family
of pseudo-segments (a.k.a. strings) that do not cross. In other
words, any two strings of are only allowed to "touch" each other.
Such a family is said to be -touching if no point of the plane is contained
in more than elements of . We give bounds on
as a function of , and in particular we show that
-touching segments can be colored with colors. This partially answers
a question of Hlin\v{e}n\'y (1998) on the chromatic number of contact systems
of strings.Comment: 19 pages. A preliminary version of this work appeared in the
proceedings of EuroComb'09 under the title "Coloring a set of touching
strings
Lossy Kernelization
In this paper we propose a new framework for analyzing the performance of
preprocessing algorithms. Our framework builds on the notion of kernelization
from parameterized complexity. However, as opposed to the original notion of
kernelization, our definitions combine well with approximation algorithms and
heuristics. The key new definition is that of a polynomial size
-approximate kernel. Loosely speaking, a polynomial size
-approximate kernel is a polynomial time pre-processing algorithm that
takes as input an instance to a parameterized problem, and outputs
another instance to the same problem, such that . Additionally, for every , a -approximate solution
to the pre-processed instance can be turned in polynomial time into a
-approximate solution to the original instance .
Our main technical contribution are -approximate kernels of
polynomial size for three problems, namely Connected Vertex Cover, Disjoint
Cycle Packing and Disjoint Factors. These problems are known not to admit any
polynomial size kernels unless . Our approximate
kernels simultaneously beat both the lower bounds on the (normal) kernel size,
and the hardness of approximation lower bounds for all three problems. On the
negative side we prove that Longest Path parameterized by the length of the
path and Set Cover parameterized by the universe size do not admit even an
-approximate kernel of polynomial size, for any , unless
. In order to prove this lower bound we need to combine
in a non-trivial way the techniques used for showing kernelization lower bounds
with the methods for showing hardness of approximationComment: 58 pages. Version 2 contain new results: PSAKS for Cycle Packing and
approximate kernel lower bounds for Set Cover and Hitting Set parameterized
by universe siz
Rainbow domination and related problems on some classes of perfect graphs
Let and let be a graph. A function is a rainbow function if, for every vertex with
, . The rainbow domination number
is the minimum of over all rainbow
functions. We investigate the rainbow domination problem for some classes of
perfect graphs
- …