625 research outputs found
Dynamic Conflict-Free Colorings in the Plane
We study dynamic conflict-free colorings in the plane, where the goal is to maintain a conflict-free coloring (CF-coloring for short) under insertions and deletions.
- First we consider CF-colorings of a set S of unit squares with respect to points. Our method maintains a CF-coloring that uses O(log n) colors at any time, where n is the current number of squares in S, at the cost of only O(log n) recolorings per insertion or deletion We generalize the method to rectangles whose sides have lengths in the range [1, c], where c is a fixed constant. Here the number of used colors becomes O(log^2 n). The method also extends to arbitrary rectangles whose coordinates come from a fixed universe of size N, yielding O(log^2 N log^2 n) colors. The number of recolorings for both methods stays in O(log n).
- We then present a general framework to maintain a CF-coloring under insertions for sets of objects that admit a unimax coloring with a small number of colors in the static case. As an application we show how to maintain a CF-coloring with O(log^3 n) colors for disks (or other objects with linear union complexity) with respect to points at the cost of O(log n) recolorings per insertion. We extend the framework to the fully-dynamic case when the static unimax coloring admits weak deletions. As an application we show how to maintain a CF-coloring with O(sqrt(n) log^2 n) colors for points with respect to rectangles, at the cost of O(log n) recolorings per insertion and O(1) recolorings per deletion.
These are the first results on fully-dynamic CF-colorings in the plane, and the first results for semi-dynamic CF-colorings for non-congruent objects
Coloring half-planes and bottomless rectangles
We prove lower and upper bounds for the chromatic number of certain
hypergraphs defined by geometric regions. This problem has close relations to
conflict-free colorings. One of the most interesting type of regions to
consider for this problem is that of the axis-parallel rectangles. We
completely solve the problem for a special case of them, for bottomless
rectangles. We also give an almost complete answer for half-planes and pose
several open problems. Moreover we give efficient coloring algorithms
Conflict-Free Coloring of Planar Graphs
A conflict-free k-coloring of a graph assigns one of k different colors to
some of the vertices such that, for every vertex v, there is a color that is
assigned to exactly one vertex among v and v's neighbors. Such colorings have
applications in wireless networking, robotics, and geometry, and are
well-studied in graph theory. Here we study the natural problem of the
conflict-free chromatic number chi_CF(G) (the smallest k for which
conflict-free k-colorings exist). We provide results both for closed
neighborhoods N[v], for which a vertex v is a member of its neighborhood, and
for open neighborhoods N(v), for which vertex v is not a member of its
neighborhood.
For closed neighborhoods, we prove the conflict-free variant of the famous
Hadwiger Conjecture: If an arbitrary graph G does not contain K_{k+1} as a
minor, then chi_CF(G) <= k. For planar graphs, we obtain a tight worst-case
bound: three colors are sometimes necessary and always sufficient. We also give
a complete characterization of the computational complexity of conflict-free
coloring. Deciding whether chi_CF(G)<= 1 is NP-complete for planar graphs G,
but polynomial for outerplanar graphs. Furthermore, deciding whether
chi_CF(G)<= 2 is NP-complete for planar graphs G, but always true for
outerplanar graphs. For the bicriteria problem of minimizing the number of
colored vertices subject to a given bound k on the number of colors, we give a
full algorithmic characterization in terms of complexity and approximation for
outerplanar and planar graphs.
For open neighborhoods, we show that every planar bipartite graph has a
conflict-free coloring with at most four colors; on the other hand, we prove
that for k in {1,2,3}, it is NP-complete to decide whether a planar bipartite
graph has a conflict-free k-coloring. Moreover, we establish that any general}
planar graph has a conflict-free coloring with at most eight colors.Comment: 30 pages, 17 figures; full version (to appear in SIAM Journal on
Discrete Mathematics) of extended abstract that appears in Proceeedings of
the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA
2017), pp. 1951-196
Online and quasi-online colorings of wedges and intervals
We consider proper online colorings of hypergraphs defined by geometric
regions. We prove that there is an online coloring algorithm that colors
intervals of the real line using colors such that for every
point , contained in at least intervals, not all the intervals
containing have the same color. We also prove the corresponding result
about online coloring a family of wedges (quadrants) in the plane that are the
translates of a given fixed wedge. These results contrast the results of the
first and third author showing that in the quasi-online setting 12 colors are
enough to color wedges (independent of and ). We also consider
quasi-online coloring of intervals. In all cases we present efficient coloring
algorithms
Making Octants Colorful and Related Covering Decomposition Problems
We give new positive results on the long-standing open problem of geometric
covering decomposition for homothetic polygons. In particular, we prove that
for any positive integer k, every finite set of points in R^3 can be colored
with k colors so that every translate of the negative octant containing at
least k^6 points contains at least one of each color. The best previously known
bound was doubly exponential in k. This yields, among other corollaries, the
first polynomial bound for the decomposability of multiple coverings by
homothetic triangles. We also investigate related decomposition problems
involving intervals appearing on a line. We prove that no algorithm can
dynamically maintain a decomposition of a multiple covering by intervals under
insertion of new intervals, even in a semi-online model, in which some coloring
decisions can be delayed. This implies that a wide range of sweeping plane
algorithms cannot guarantee any bound even for special cases of the octant
problem.Comment: version after revision process; minor changes in the expositio
Fully-Dynamic and Kinetic Conflict-Free Coloring of Intervals with Respect to Points
We introduce the fully-dynamic conflict-free coloring problem for a set S of intervals in R^1 with respect to points, where the goal is to maintain a conflict-free coloring for S under insertions and deletions. A coloring is conflict-free if for each point p contained in some interval, p is contained in an interval whose color is not shared with any other interval containing p. We investigate trade-offs between the number of colors used and the number of intervals that are recolored upon insertion or deletion of an interval. Our results include:
- a lower bound on the number of recolorings as a function of the number of colors, which implies that with O(1) recolorings per update the worst-case number of colors is Omega(log n/log log n), and that any strategy using O(1/epsilon) colors needs Omega(epsilon n^epsilon) recolorings;
- a coloring strategy that uses O(log n) colors at the cost of O(log n) recolorings, and another strategy that uses O(1/epsilon) colors at the cost of O(n^epsilon/epsilon) recolorings;
- stronger upper and lower bounds for special cases.
We also consider the kinetic setting where the intervals move continuously (but there are no insertions or deletions); here we show how to maintain a coloring with only four colors at the cost of three recolorings per event and show this is tight
Coloring Hypergraphs Induced by Dynamic Point Sets and Bottomless Rectangles
We consider a coloring problem on dynamic, one-dimensional point sets: points
appearing and disappearing on a line at given times. We wish to color them with
k colors so that at any time, any sequence of p(k) consecutive points, for some
function p, contains at least one point of each color.
We prove that no such function p(k) exists in general. However, in the
restricted case in which points appear gradually, but never disappear, we give
a coloring algorithm guaranteeing the property at any time with p(k)=3k-2. This
can be interpreted as coloring point sets in R^2 with k colors such that any
bottomless rectangle containing at least 3k-2 points contains at least one
point of each color. Here a bottomless rectangle is an axis-aligned rectangle
whose bottom edge is below the lowest point of the set. For this problem, we
also prove a lower bound p(k)>ck, where c>1.67. Hence for every k there exists
a point set, every k-coloring of which is such that there exists a bottomless
rectangle containing ck points and missing at least one of the k colors.
Chen et al. (2009) proved that no such function exists in the case of
general axis-aligned rectangles. Our result also complements recent results
from Keszegh and Palvolgyi on cover-decomposability of octants (2011, 2012).Comment: A preliminary version was presented by a subset of the authors to the
European Workshop on Computational Geometry, held in Assisi (Italy) on March
19-21, 201
- …