Let $S$ be a set of $n$ points in the unit square $[0,1]^2$, one of which is
the origin. We construct $n$ pairwise interior-disjoint axis-aligned empty
rectangles such that the lower left corner of each rectangle is a point in $S$,
and the rectangles jointly cover at least a positive constant area (about
0.09). This is a first step towards the solution of a longstanding conjecture
that the rectangles in such a packing can jointly cover an area of at least
1/2.
Given a convex region in the plane, and a sweep-line as a tool, what is best
way to reduce the region to a single point by a sequence of sweeps? The problem
of sweeping points by orthogonal sweeps was first studied in [2]. Here we
consider the following \emph{slanted} variant of sweeping recently introduced
in [1]: In a single sweep, the sweep-line is placed at a start position
somewhere in the plane, then moved continuously according to a sweep vector
$\vec v$ (not necessarily orthogonal to the sweep-line) to another parallel end
position, and then lifted from the plane.
We obtain improved upper bounds and new lower bounds on the chromatic number
as a linear function of the clique number, for the intersection graphs (and
their complements) of finite families of translates and homothets of a convex
body in $\RR^n$.
The problem of finding ``small'' sets that meet every straight-line which
intersects a given convex region was initiated by Mazurkiewicz in 1916. We call
such a set an {\em opaque set} or a {\em barrier} for that region. We consider
the problem of computing the shortest barrier for a given convex polygon with
$n$ vertices. For general barriers, we present a simple $O(n)$ time
approximation algorithm with ratio $\frac{1}{2}+ \frac{2
+\sqrt{2}}{\pi}=1.5867\ldots$.
According to a classical result of Szemer\'{e}di, every dense subset of
$1,2,...,N$ contains an arbitrary long arithmetic progression, if $N$ is large
enough. Its analogue in higher dimensions due to F\"urstenberg and Katznelson
says that every dense subset of $\{1,2,...,N\}^d$ contains an arbitrary large
grid, if $N$ is large enough.
The Fermat-Weber center of a planar body $Q$ is a point in the plane from
which the average distance to the points in $Q$ is minimal. We first show that
for any convex body $Q$ in the plane, the average distance from the
Fermat-Weber center of $Q$ to the points of $Q$ is larger than ${1/6} \cdot
\Delta(Q)$, where $\Delta(Q)$ is the diameter of $Q$. This proves a conjecture
of Carmi, Har-Peled and Katz. From the other direction, we prove that the same
average distance is at most $\frac{2(4-\sqrt3)}{13} \cdot \Delta(Q) < 0.3490
\cdot \Delta(Q)$.
Let $A_1,A_2,...,A_n$ be the vertices of a polygon with unit perimeter, that
is $\sum_{i=1}^n |A_i A_{i+1}|=1$. We derive various tight estimates on the
minimum and maximum values of the sum of pairwise distances, and respectively
sum of pairwise squared distances among its vertices. Such estimates on these
sums in the literature were known only for convex polygons. We also sharpen a
previous lower bound on the minimum sum of pairwise squared distances for
convex polygons due to Novotn\'y.
We present two new approximation algorithms with (improved) constant ratios
for selecting $n$ points in $n$ unit disks such that the minimum pairwise
distance among the points is maximized.
(I) A very simple $O(n \log{n})$-time algorithm with ratio 0.5110 for
disjoint unit disks. In combination with an algorithm of Cabello \cite{Ca07},
it yields a $O(n^2)$-time algorithm with ratio of 0.4487 for dispersion in $n$
not necessarily disjoint unit disks.
According to a classical result of Gr\"unbaum, the transversal number
$\tau(\F)$ of any family $\F$ of pairwise-intersecting translates or homothets
of a convex body $C$ in $\RR^d$ is bounded by a function of $d$. Denote by
$\alpha(C)$ (resp. $\beta(C)$) the supremum of the ratio of the transversal
number $\tau(\F)$ to the packing number $\nu(\F)$ over all families $\F$ of
translates (resp. homothets) of a convex body $C$ in $\RR^d$.
We revisit several maximization problems for geometric networks design under
the non-crossing constraint, first studied by Alon, Rajagopalan and Suri (ACM
Symposium on Computational Geometry, 1993). Given a set of $n$ points in the
plane in general position, compute a longest non-crossing configuration
composed of straight line segments that is: (a) a matching (b) a Hamiltonian
path (c) a spanning tree (d) a Hamiltonian cycle: (i) For the longest
non-crossing Hamiltonian path problem, we give an approximation algorithm with
ratio $\frac{2}{\pi+1} \approx 0.4829$.
We give the first nontrivial upper and lower bounds on the maximum volume of
an empty axis-parallel box inside an axis-parallel unit hypercube in $\RR^d$
containing $n$ points. For a fixed $d$, we show that the maximum volume is of
the order $\Theta(\frac{1}{n})$.
The minimum clique partition (MCP) problem is that of partitioning the vertex
set of a given graph into a minimum number of cliques. Given $n$ points in the
plane, the corresponding unit disk graph (UDG) has these points as vertices,
and edges connecting points at distance at most~1. MCP in unit disk graphs is
known to be NP-hard and several constant factor approximations are known,
including a recent PTAS. We present two improved approximation algorithms for
minimum clique partition in unit disk graphs: