Simple PTAS's for families of graphs excluding a minor

We show that very simple algorithms based on local search are polynomial-time approximation schemes for Maximum Independent Set, Minimum Vertex Cover and Minimum Dominating Set, when the input graphs have a fixed forbidden minor.Comment: To appear in Discrete Applied Mathematic

The Clique Problem in Ray Intersection Graphs

Ray intersection graphs are intersection graphs of rays, or halflines, in the plane. We show that any planar graph has an even subdivision whose complement is a ray intersection graph. The construction can be done in polynomial time and implies that finding a maximum clique in a segment intersection graph is NP-hard. This solves a 21-year old open problem posed by Kratochv\'il and Ne\v{s}et\v{r}il.Comment: 12 pages, 7 figure

A QPTAS for Maximum Weight Independent Set of Polygons with Polylogarithmically Many Vertices

The Maximum Weight Independent Set of Polygons problem is a fundamental problem in computational geometry. Given a set of weighted polygons in the 2-dimensional plane, the goal is to find a set of pairwise non-overlapping polygons with maximum total weight. Due to its wide range of applications, the MWISP problem and its special cases have been extensively studied both in the approximation algorithms and the computational geometry community. Despite a lot of research, its general case is not well-understood. Currently the best known polynomial time algorithm achieves an approximation ratio of n^(epsilon) [Fox and Pach, SODA 2011], and it is not even clear whether the problem is APX-hard. We present a (1+epsilon)-approximation algorithm, assuming that each polygon in the input has at most a polylogarithmic number of vertices. Our algorithm has quasi-polynomial running time. We use a recently introduced framework for approximating maximum weight independent set in geometric intersection graphs. The framework has been used to construct a QPTAS in the much simpler case of axis-parallel rectangles. We extend it in two ways, to adapt it to our much more general setting. First, we show that its technical core can be reduced to the case when all input polygons are triangles. Secondly, we replace its key technical ingredient which is a method to partition the plane using only few edges such that the objects stemming from the optimal solution are evenly distributed among the resulting faces and each object is intersected only a few times. Our new procedure for this task is not more complex than the original one, and it can handle the arising difficulties due to the arbitrary angles of the polygons. Note that already this obstacle makes the known analysis for the above framework fail. Also, in general it is not well understood how to handle this difficulty by efficient approximation algorithms

Packing and covering with balls on Busemann surfaces

In this note we prove that for any compact subset $S$ of a Busemann surface $({\mathcal S},d)$ (in particular, for any simple polygon with geodesic metric) and any positive number $\delta$, the minimum number of closed balls of radius $\delta$ with centers at $\mathcal S$ and covering the set $S$ is at most 19 times the maximum number of disjoint closed balls of radius $\delta$ centered at points of $S$: $\nu(S) \le \rho(S) \le 19\nu(S)$, where $\rho(S)$ and $\nu(S)$ are the covering and the packing numbers of $S$ by ${\delta}$-balls.Comment: 27 page

Coloring Kk-free intersection graphs of geometric objects in the plane

AbstractThe intersection graph of a collection C of sets is the graph on the vertex set C, in which C1,C2∈C are joined by an edge if and only if C1∩C2≠0̸. Erdős conjectured that the chromatic number of triangle-free intersection graphs of n segments in the plane is bounded from above by a constant. Here we show that it is bounded by a polylogarithmic function of n, which is the first nontrivial bound for this problem. More generally, we prove that for any t and k, the chromatic number of every Kk-free intersection graph of n curves in the plane, every pair of which have at most t points in common, is at most (ctlognlogk)clogk, where c is an absolute constant and ct only depends on t. We establish analogous results for intersection graphs of convex sets, x-monotone curves, semialgebraic sets of constant description complexity, and sets that can be obtained as the union of a bounded number of sets homeomorphic to a disk.Using a mix of results on partially ordered sets and planar separators, for large k we improve the best known upper bound on the number of edges of a k-quasi-planar topological graph with n vertices, that is, a graph drawn in the plane with curvilinear edges, no k of which are pairwise crossing. As another application, we show that for every ε>0 and for every positive integer t, there exist δ>0 and a positive integer n0 such that every topological graph with n≥n0 vertices, at least n1+ε edges, and no pair of edges intersecting in more than t points, has at least nδ pairwise intersecting edges

A bipartite analogue of Dilworth's theorem for multiple partial orders

AbstractLet r be a fixed positive integer. It is shown that, given any partial orders <1, …, <r on the same n-element set P, there exist disjoint subsets A,B⊂P, each with at least n1−o(1) elements, such that one of the following two conditions is satisfied: (1) there is an i(1≤i≤r) such that every element of A is larger than every element of B in the partial order <i, or (2) no element of A is comparable with any element of B in any of the partial orders <1, …, <r. As a corollary, we obtain that any family C of n convex compact sets in the plane has two disjoint subfamilies A,B⊂C, each with at least n1−o(1) members, such that either every member of A intersects all members of B, or no member of A intersects any member of B