12 research outputs found
Aligned plane drawings of the generalized Delaunay-graphs for pseudo-disks
We study general Delaunay-graphs, which are natural generalizations of
Delaunay triangulations to arbitrary families, in particular to pseudo-disks.
We prove that for any finite pseudo-disk family and point set, there is a plane
drawing of their Delaunay-graph such that every edge lies inside every
pseudo-disk that contains its endpoints
On the number of hyperedges in the hypergraph of lines and pseudo-discs
Consider the hypergraph whose vertex set is a family of lines in general
position in the plane, and whose hyperedges are induced by intersections with a
family of pseudo-discs. We prove that the number of -hyperedges is bounded
by and that the total number of hyperedges is bounded by .
Both bounds are tight.Comment: Significantly improved results, with two additional authors. 7 pages,
1 figur
Conflict-Free Coloring of Intersection Graphs of Geometric Objects
In FOCS'2002, Even et al. introduced and studied the notion of conflict-free
colorings of geometrically defined hypergraphs. They motivated it by frequency
assignment problems in cellular networks. This notion has been extensively
studied since then.
A conflict-free coloring of a graph is a coloring of its vertices such that
the neighborhood (pointed or closed) of each vertex contains a vertex whose
color differs from the colors of all other vertices in that neighborhood. In
this paper we study conflict-colorings of intersection graphs of geometric
objects. We show that any intersection graph of n pseudo-discs in the plane
admits a conflict-free coloring with O(\log n) colors, with respect to both
closed and pointed neighborhoods. We also show that the latter bound is
asymptotically sharp. Using our methods, we also obtain a strengthening of the
two main results of Even et al. which we believe is of independent interest. In
particular, in view of the original motivation to study such colorings, this
strengthening suggests further applications to frequency assignment in wireless
networks.
Finally, we present bounds on the number of colors needed for conflict-free
colorings of other classes of intersection graphs, including intersection
graphs of axis-parallel rectangles and of \rho-fat objects in the plane.Comment: 18 page
Coloring Intersection Hypergraphs of Pseudo-Disks
We prove that the intersection hypergraph of a family of n pseudo-disks with respect to another family of pseudo-disks admits a proper coloring with 4 colors and a conflict-free coloring with O(log n) colors. Along the way we prove that the respective Delaunay-graph is planar. We also prove that the intersection hypergraph of a family of n regions with linear union complexity with respect to a family of pseudo-disks admits a proper coloring with constantly many colors and a conflict-free coloring with O(log n) colors. Our results serve as a common generalization and strengthening of many earlier results, including ones about proper and conflict-free coloring points with respect to pseudo-disks, coloring regions of linear union complexity with respect to points and coloring disks with respect to disks
Improved Approximation Algorithm for Set Multicover with Non-Piercing Regions
In the Set Multicover problem, we are given a set system (X,?), where X is a finite ground set, and ? is a collection of subsets of X. Each element x ? X has a non-negative demand d(x). The goal is to pick a smallest cardinality sub-collection ?\u27 of ? such that each point is covered by at least d(x) sets from ?\u27. In this paper, we study the set multicover problem for set systems defined by points and non-piercing regions in the plane, which includes disks, pseudodisks, k-admissible regions, squares, unit height rectangles, homothets of convex sets, upward paths on a tree, etc.
We give a polynomial time (2+?)-approximation algorithm for the set multicover problem (P, ?), where P is a set of points with demands, and ? is a set of non-piercing regions, as well as for the set multicover problem (?, P), where ? is a set of pseudodisks with demands, and P is a set of points in the plane, which is the hitting set problem with demands
Clique-Based Separators for Geometric Intersection Graphs
Let F be a set of n objects in the plane and let G^x(F) be its intersection graph. A balanced clique-based separator of G^x(F) is a set S consisting of cliques whose removal partitions G^x(F) into components of size at most δn, for some fixed constant δ < 1. The weight of a clique-based separator is defined as ∑_{C ∈ S} log (|C|+1). Recently De Berg et al. (SICOMP 2020) proved that if S consists of convex fat objects, then G^x(F) admits a balanced clique-based separator of weight O(√n). We extend this result in several directions, obtaining the following results.
- Map graphs admit a balanced clique-based separator of weight O(√n), which is tight in the worst case.
- Intersection graphs of pseudo-disks admit a balanced clique-based separator of weight O(n^{2/3} log n). If the pseudo-disks are polygonal and of total complexity O(n) then the weight of the separator improves to O(√n log n).
- Intersection graphs of geodesic disks inside a simple polygon admit a balanced clique-based separator of weight O(n^{2/3} log n).
- Visibility-restricted unit-disk graphs in a polygonal domain with r reflex vertices admit a balanced clique-based separator of weight O(√n + r log(n/r)), which is tight in the worst case.
These results immediately imply sub-exponential algorithms for MAXIMUM INDEPENDENT SET (and, hence, VERTEX COVER), for FEEDBACK VERTEX SET, and for q-Coloring for constant q in these graph classes.ISSN:1868-896
Independent Sets in Elimination Graphs with a Submodular Objective
Maximum weight independent set (MWIS) admits a 1/k-approximation in inductively k-independent graphs [Karhan Akcoglu et al., 2002; Ye and Borodin, 2012] and a 1/(2k)-approximation in k-perfectly orientable graphs [Kammer and Tholey, 2014]. These are a parameterized class of graphs that generalize k-degenerate graphs, chordal graphs, and intersection graphs of various geometric shapes such as intervals, pseudo-disks, and several others [Ye and Borodin, 2012; Kammer and Tholey, 2014]. We consider a generalization of MWIS to a submodular objective. Given a graph G = (V,E) and a non-negative submodular function f: 2^V ? ?_+, the goal is to approximately solve max_{S ? ?_G} f(S) where ?_G is the set of independent sets of G. We obtain an ?(1/k)-approximation for this problem in the two mentioned graph classes. The first approach is via the multilinear relaxation framework and a simple contention resolution scheme, and this results in a randomized algorithm with approximation ratio at least 1/e(k+1). This approach also yields parallel (or low-adaptivity) approximations.
Motivated by the goal of designing efficient and deterministic algorithms, we describe two other algorithms for inductively k-independent graphs that are inspired by work on streaming algorithms: a preemptive greedy algorithm and a primal-dual algorithm. In addition to being simpler and faster, these algorithms, in the monotone submodular case, yield the first deterministic constant factor approximations for various special cases that have been previously considered such as intersection graphs of intervals, disks and pseudo-disks
Independent Sets in Elimination Graphs with a Submodular Objective
Maximum weight independent set (MWIS) admits a -approximation in
inductively -independent graphs and a -approximation in
-perfectly orientable graphs. These are a a parameterized class of graphs
that generalize -degenerate graphs, chordal graphs, and intersection graphs
of various geometric shapes such as intervals, pseudo-disks, and several
others. We consider a generalization of MWIS to a submodular objective. Given a
graph and a non-negative submodular function , the goal is to approximately solve where is the set of independent sets of . We obtain an
-approximation for this problem in the two mentioned graph
classes. The first approach is via the multilinear relaxation framework and a
simple contention resolution scheme, and this results in a randomized algorithm
with approximation ratio at least . This approach also yields
parallel (or low-adaptivity) approximations. Motivated by the goal of designing
efficient and deterministic algorithms, we describe two other algorithms for
inductively -independent graphs that are inspired by work on streaming
algorithms: a preemptive greedy algorithm and a primal-dual algorithm. In
addition to being simpler and faster, these algorithms, in the monotone
submodular case, yield the first deterministic constant factor approximations
for various special cases that have been previously considered such as
intersection graphs of intervals, disks and pseudo-disks.Comment: Extended abstract to appear in Proceedings of APPROX 2023. v2
corrects technical typos in few place