14,778 research outputs found
Covering Points by Disjoint Boxes with Outliers
For a set of n points in the plane, we consider the axis--aligned (p,k)-Box
Covering problem: Find p axis-aligned, pairwise-disjoint boxes that together
contain n-k points. In this paper, we consider the boxes to be either squares
or rectangles, and we want to minimize the area of the largest box. For general
p we show that the problem is NP-hard for both squares and rectangles. For a
small, fixed number p, we give algorithms that find the solution in the
following running times:
For squares we have O(n+k log k) time for p=1, and O(n log n+k^p log^p k time
for p = 2,3. For rectangles we get O(n + k^3) for p = 1 and O(n log n+k^{2+p}
log^{p-1} k) time for p = 2,3.
In all cases, our algorithms use O(n) space.Comment: updated version: - changed problem from 'cover exactly n-k points' to
'cover at least n-k points' to avoid having non-feasible solutions. Results
are unchanged. - added Proof to Lemma 11, clarified some sections - corrected
typos and small errors - updated affiliations of two author
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
Covering many points with a small-area box
Let be a set of points in the plane. We show how to find, for a given
integer , the smallest-area axis-parallel rectangle that covers points
of in time. We also consider the problem of,
given a value , covering as many points of as possible with an
axis-parallel rectangle of area at most . For this problem we give a
probabilistic -approximation that works in near-linear time:
In time we find an
axis-parallel rectangle of area at most that, with high probability,
covers at least points, where
is the maximum possible number of points that could be
covered
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 Made Stronger
In FOCS 2002, Even et al. showed that any set of discs in the plane can
be Conflict-Free colored with a total of at most colors. That is,
it can be colored with colors such that for any (covered) point
there is some disc whose color is distinct from all other colors of discs
containing . They also showed that this bound is asymptotically tight. In
this paper we prove the following stronger results:
\begin{enumerate} \item [(i)] Any set of discs in the plane can be
colored with a total of at most colors such that (a) for any
point that is covered by at least discs, there are at least
distinct discs each of which is colored by a color distinct from all other
discs containing and (b) for any point covered by at most discs,
all discs covering are colored distinctively. We call such a coloring a
{\em -Strong Conflict-Free} coloring. We extend this result to pseudo-discs
and arbitrary regions with linear union-complexity.
\item [(ii)] More generally, for families of simple closed Jordan regions
with union-complexity bounded by , we prove that there exists
a -Strong Conflict-Free coloring with at most colors.
\item [(iii)] We prove that any set of axis-parallel rectangles can be
-Strong Conflict-Free colored with at most colors.
\item [(iv)] We provide a general framework for -Strong Conflict-Free
coloring arbitrary hypergraphs. This framework relates the notion of -Strong
Conflict-Free coloring and the recently studied notion of -colorful
coloring. \end{enumerate}
All of our proofs are constructive. That is, there exist polynomial time
algorithms for computing such colorings
Symbolic dynamics I. Finite dispersive billiards
Orbits in different dispersive billiard systems, e.g. the 3 disk system, are
mapped into a topological well ordered symbol plane and it is showed that
forbidden and allowed orbits are separated by a monotone pruning front. The
pruning front can be approximated by a sequence of finite symbolic dynamics
grammars.Comment: CYCLER Paper 93Jan00
- …