1,693 research outputs found
Engineering Art Galleries
The Art Gallery Problem is one of the most well-known problems in
Computational Geometry, with a rich history in the study of algorithms,
complexity, and variants. Recently there has been a surge in experimental work
on the problem. In this survey, we describe this work, show the chronology of
developments, and compare current algorithms, including two unpublished
versions, in an exhaustive experiment. Furthermore, we show what core
algorithmic ingredients have led to recent successes
On -Guarding Thin Orthogonal Polygons
Guarding a polygon with few guards is an old and well-studied problem in
computational geometry. Here we consider the following variant: We assume that
the polygon is orthogonal and thin in some sense, and we consider a point
to guard a point if and only if the minimum axis-aligned rectangle spanned
by and is inside the polygon. A simple proof shows that this problem is
NP-hard on orthogonal polygons with holes, even if the polygon is thin. If
there are no holes, then a thin polygon becomes a tree polygon in the sense
that the so-called dual graph of the polygon is a tree. It was known that
finding the minimum set of -guards is polynomial for tree polygons, but the
run-time was . We show here that with a different approach
the running time becomes linear, answering a question posed by Biedl et al.
(SoCG 2011). Furthermore, the approach is much more general, allowing to
specify subsets of points to guard and guards to use, and it generalizes to
polygons with holes or thickness , becoming fixed-parameter tractable in
.Comment: 18 page
Facets for Art Gallery Problems
The Art Gallery Problem (AGP) asks for placing a minimum number of stationary
guards in a polygonal region P, such that all points in P are guarded. The
problem is known to be NP-hard, and its inherent continuous structure (with
both the set of points that need to be guarded and the set of points that can
be used for guarding being uncountably infinite) makes it difficult to apply a
straightforward formulation as an Integer Linear Program. We use an iterative
primal-dual relaxation approach for solving AGP instances to optimality. At
each stage, a pair of LP relaxations for a finite candidate subset of primal
covering and dual packing constraints and variables is considered; these
correspond to possible guard positions and points that are to be guarded.
Particularly useful are cutting planes for eliminating fractional solutions.
We identify two classes of facets, based on Edge Cover and Set Cover (SC)
inequalities. Solving the separation problem for the latter is NP-complete, but
exploiting the underlying geometric structure, we show that large subclasses of
fractional SC solutions cannot occur for the AGP. This allows us to separate
the relevant subset of facets in polynomial time. We also characterize all
facets for finite AGP relaxations with coefficients in {0, 1, 2}.
Finally, we demonstrate the practical usefulness of our approach. Our cutting
plane technique yields a significant improvement in terms of speed and solution
quality due to considerably reduced integrality gaps as compared to the
approach by Kr\"oller et al.Comment: 29 pages, 18 figures, 1 tabl
Subclass Discriminant Analysis of Morphological and Textural Features for HEp-2 Staining Pattern Classification
Classifying HEp-2 fluorescence patterns in Indirect Immunofluorescence (IIF) HEp-2 cell imaging is important for the differential diagnosis of autoimmune diseases. The current technique, based on human visual inspection, is time-consuming, subjective and dependent on the operator's experience. Automating this process may be a solution to these limitations, making IIF faster and more reliable. This work proposes a classification approach based on Subclass Discriminant Analysis (SDA), a dimensionality reduction technique that provides an effective representation of the cells in the feature space, suitably coping with the high within-class variance typical of HEp-2 cell patterns. In order to generate an adequate characterization of the fluorescence patterns, we investigate the individual and combined contributions of several image attributes, showing that the integration of morphological, global and local textural features is the most suited for this purpose. The proposed approach provides an accuracy of the staining pattern classification of about 90%
Guarding curvilinear art galleries with edge or mobile guards via 2-dominance of triangulation graphs
AbstractIn this paper we consider the problem of monitoring an art gallery modeled as a polygon, the edges of which are arcs of curves, with edge or mobile guards. Our focus is on piecewise-convex polygons, i.e., polygons that are locally convex, except possibly at the vertices, and their edges are convex arcs.We transform the problem of monitoring a piecewise-convex polygon to the problem of 2-dominating a properly defined triangulation graph with edges or diagonals, where 2-dominance requires that every triangle in the triangulation graph has at least two of its vertices in its 2-dominating set. We show that: (1) ân+13â diagonal guards are always sufficient and sometimes necessary, and (2) â2n+15â edge guards are always sufficient and sometimes necessary, in order to 2-dominate a triangulation graph. Furthermore, we show how to compute: (1) a diagonal 2-dominating set of size ân+13â in linear time and space, (2) an edge 2-dominating set of size â2n+15â in O(n2) time and O(n) space, and (3) an edge 2-dominating set of size â3n7â in O(n) time and space.Based on the above-mentioned results, we prove that, for piecewise-convex polygons, we can compute: (1) a mobile guard set of size ân+13â in O(nlogn) time, (2) an edge guard set of size â2n+15â in O(n2) time, and (3) an edge guard set of size â3n7â in O(nlogn) time. All space requirements are linear. Finally, we show that ân3â mobile or ân3â edge guards are sometimes necessary.When restricting our attention to monotone piecewise-convex polygons, the bounds mentioned above drop: ân+14â edge or mobile guards are always sufficient and sometimes necessary; such an edge or mobile guard set, of size at most ân+14â, can be computed in O(n) time and space
- âŠ