31,198 research outputs found
Combinatorial Properties of Triangle-Free Rectangle Arrangements and the Squarability Problem
We consider arrangements of axis-aligned rectangles in the plane. A geometric
arrangement specifies the coordinates of all rectangles, while a combinatorial
arrangement specifies only the respective intersection type in which each pair
of rectangles intersects. First, we investigate combinatorial contact
arrangements, i.e., arrangements of interior-disjoint rectangles, with a
triangle-free intersection graph. We show that such rectangle arrangements are
in bijection with the 4-orientations of an underlying planar multigraph and
prove that there is a corresponding geometric rectangle contact arrangement.
Moreover, we prove that every triangle-free planar graph is the contact graph
of such an arrangement. Secondly, we introduce the question whether a given
rectangle arrangement has a combinatorially equivalent square arrangement. In
addition to some necessary conditions and counterexamples, we show that
rectangle arrangements pierced by a horizontal line are squarable under certain
sufficient conditions.Comment: 15 pages, 13 figures, extended version of a paper to appear at the
International Symposium on Graph Drawing and Network Visualization (GD) 201
The Unified Segment Tree and its Application to the Rectangle Intersection Problem
In this paper we introduce a variation on the multidimensional segment tree,
formed by unifying different interpretations of the dimensionalities of the
data structure. We give some new definitions to previously well-defined
concepts that arise naturally in this variation, and we show some properties
concerning the relationships between the nodes, and the regions those nodes
represent. We think these properties will enable the data to be utilized in new
situations, beyond those previously studied. As an example, we show that the
data structure can be used to solve the Rectangle Intersection Problem in a
more straightforward and natural way than had be done in the past.Comment: 14 pages, 6 figure
Approximation Schemes for Maximum Weight Independent Set of Rectangles
In the Maximum Weight Independent Set of Rectangles (MWISR) problem we are
given a set of n axis-parallel rectangles in the 2D-plane, and the goal is to
select a maximum weight subset of pairwise non-overlapping rectangles. Due to
many applications, e.g. in data mining, map labeling and admission control, the
problem has received a lot of attention by various research communities. We
present the first (1+epsilon)-approximation algorithm for the MWISR problem
with quasi-polynomial running time 2^{poly(log n/epsilon)}. In contrast, the
best known polynomial time approximation algorithms for the problem achieve
superconstant approximation ratios of O(log log n) (unweighted case) and O(log
n / log log n) (weighted case).
Key to our results is a new geometric dynamic program which recursively
subdivides the plane into polygons of bounded complexity. We provide the
technical tools that are needed to analyze its performance. In particular, we
present a method of partitioning the plane into small and simple areas such
that the rectangles of an optimal solution are intersected in a very controlled
manner. Together with a novel application of the weighted planar graph
separator theorem due to Arora et al. this allows us to upper bound our
approximation ratio by (1+epsilon).
Our dynamic program is very general and we believe that it will be useful for
other settings. In particular, we show that, when parametrized properly, it
provides a polynomial time (1+epsilon)-approximation for the special case of
the MWISR problem when each rectangle is relatively large in at least one
dimension. Key to this analysis is a method to tile the plane in order to
approximately describe the topology of these rectangles in an optimal solution.
This technique might be a useful insight to design better polynomial time
approximation algorithms or even a PTAS for the MWISR problem
Hard and Easy Instances of L-Tromino Tilings
We study tilings of regions in the square lattice with L-shaped trominoes.
Deciding the existence of a tiling with L-trominoes for an arbitrary region in
general is NP-complete, nonetheless, we identify restrictions to the problem
where it either remains NP-complete or has a polynomial time algorithm. First,
we characterize the possibility of when an Aztec rectangle and an Aztec diamond
has an L-tromino tiling. Then, we study tilings of arbitrary regions where only
rotations of L-trominoes are available. For this particular case we
show that deciding the existence of a tiling remains NP-complete; yet, if a
region does not contains certain so-called "forbidden polyominoes" as
sub-regions, then there exists a polynomial time algorithm for deciding a
tiling.Comment: Full extended version of LNCS 11355:82-95 (WALCOM 2019
Finding Pairwise Intersections Inside a Query Range
We study the following problem: preprocess a set O of objects into a data
structure that allows us to efficiently report all pairs of objects from O that
intersect inside an axis-aligned query range Q. We present data structures of
size and with query time
time, where k is the number of reported pairs, for two classes of objects in
the plane: axis-aligned rectangles and objects with small union complexity. For
the 3-dimensional case where the objects and the query range are axis-aligned
boxes in R^3, we present a data structures of size and query time . When the objects and
query are fat, we obtain query time using storage
Multi-Sided Boundary Labeling
In the Boundary Labeling problem, we are given a set of points, referred
to as sites, inside an axis-parallel rectangle , and a set of pairwise
disjoint rectangular labels that are attached to from the outside. The task
is to connect the sites to the labels by non-intersecting rectilinear paths,
so-called leaders, with at most one bend.
In this paper, we study the Multi-Sided Boundary Labeling problem, with
labels lying on at least two sides of the enclosing rectangle. We present a
polynomial-time algorithm that computes a crossing-free leader layout if one
exists. So far, such an algorithm has only been known for the cases in which
labels lie on one side or on two opposite sides of (here a crossing-free
solution always exists). The case where labels may lie on adjacent sides is
more difficult. We present efficient algorithms for testing the existence of a
crossing-free leader layout that labels all sites and also for maximizing the
number of labeled sites in a crossing-free leader layout. For two-sided
boundary labeling with adjacent sides, we further show how to minimize the
total leader length in a crossing-free layout
Double Bubbles Minimize
The classical isoperimetric inequality in R^3 states that the surface of
smallest area enclosing a given volume is a sphere. We show that the least area
surface enclosing two equal volumes is a double bubble, a surface made of two
pieces of round spheres separated by a flat disk, meeting along a single circle
at an angle of 120 degrees.Comment: 57 pages, 32 figures. Includes the complete code for a C++ program as
described in the article. You can obtain this code by viewing the source of
this articl
Unit Grid Intersection Graphs: Recognition and Properties
It has been known since 1991 that the problem of recognizing grid
intersection graphs is NP-complete. Here we use a modified argument of the
above result to show that even if we restrict to the class of unit grid
intersection graphs (UGIGs), the recognition remains hard, as well as for all
graph classes contained inbetween. The result holds even when considering only
graphs with arbitrarily large girth. Furthermore, we ask the question of
representing UGIGs on grids of minimal size. We show that the UGIGs that can be
represented in a square of side length 1+epsilon, for a positive epsilon no
greater than 1, are exactly the orthogonal ray graphs, and that there exist
families of trees that need an arbitrarily large grid
- …