1,799 research outputs found
Quadratic-time, linear-space algorithms for generating orthogonal polygons with a given number of vertices
Programa de Financiamento Plurianual, Fundação para a Ciéncia e TecnologiaPrograma POSIPrograma POCTI, FCTFondo Europeo de Desarrollo Regiona
Searching Polyhedra by Rotating Half-Planes
The Searchlight Scheduling Problem was first studied in 2D polygons, where
the goal is for point guards in fixed positions to rotate searchlights to catch
an evasive intruder. Here the problem is extended to 3D polyhedra, with the
guards now boundary segments who rotate half-planes of illumination. After
carefully detailing the 3D model, several results are established. The first is
a nearly direct extension of the planar one-way sweep strategy using what we
call exhaustive guards, a generalization that succeeds despite there being no
well-defined notion in 3D of planar "clockwise rotation". Next follow two
results: every polyhedron with r>0 reflex edges can be searched by at most r^2
suitably placed guards, whereas just r guards suffice if the polyhedron is
orthogonal. (Minimizing the number of guards to search a given polyhedron is
easily seen to be NP-hard.) Finally we show that deciding whether a given set
of guards has a successful search schedule is strongly NP-hard, and that
deciding if a given target area is searchable at all is strongly PSPACE-hard,
even for orthogonal polyhedra. A number of peripheral results are proved en
route to these central theorems, and several open problems remain for future
work.Comment: 45 pages, 26 figure
Geometric auxetics
We formulate a mathematical theory of auxetic behavior based on one-parameter
deformations of periodic frameworks. Our approach is purely geometric, relies
on the evolution of the periodicity lattice and works in any dimension. We
demonstrate its usefulness by predicting or recognizing, without experiment,
computer simulations or numerical approximations, the auxetic capabilities of
several well-known structures available in the literature. We propose new
principles of auxetic design and rely on the stronger notion of expansive
behavior to provide an infinite supply of planar auxetic mechanisms and several
new three-dimensional structures
On the enumeration of permutominoes
Although the exact counting and enumeration of polyominoes remain challenging open problems, several positive results were achieved for special classes of polyominoes. We give an algorithm for direct enumeration of permutominoes by size, or, equivalently, for the enumeration of grid orthogonal polygons. We show how the construction technique allows us to derive a simple characterization of the class of convex permutominoes, which has been extensively investigated. The approach extends to other classes, such as the row convex and the directed convex permutominoes.Fondo Europeo de Desarrollo RegionalFundação para a Ciência e a Tecnologi
Enumeration of chord diagrams on many intervals and their non-orientable analogs
Two types of connected chord diagrams with chord endpoints lying in a
collection of ordered and oriented real segments are considered here: the real
segments may contain additional bivalent vertices in one model but not in the
other. In the former case, we record in a generating function the number of
fatgraph boundary cycles containing a fixed number of bivalent vertices while
in the latter, we instead record the number of boundary cycles of each fixed
length. Second order, non-linear, algebraic partial differential equations are
derived which are satisfied by these generating functions in each case giving
efficient enumerative schemes. Moreover, these generating functions provide
multi-parameter families of solutions to the KP hierarchy. For each model,
there is furthermore a non-orientable analog, and each such model likewise has
its own associated differential equation. The enumerative problems we solve are
interpreted in terms of certain polygon gluings. As specific applications, we
discuss models of several interacting RNA molecules. We also study a matrix
integral which computes numbers of chord diagrams in both orientable and
non-orientable cases in the model with bivalent vertices, and the large-N limit
is computed using techniques of free probability.Comment: 23 pages, 7 figures; revised and extended versio
Guarding and Searching Polyhedra
Guarding and searching problems have been of fundamental interest since the early years of Computational Geometry. Both are well-developed areas of research and have been thoroughly studied in planar polygonal settings.
In this thesis we tackle the Art Gallery Problem and the Searchlight Scheduling Problem in 3-dimensional polyhedral environments, putting special emphasis on edge guards and orthogonal polyhedra.
We solve the Art Gallery Problem with reflex edge guards in orthogonal polyhedra having reflex edges in just two directions: generalizing a classic theorem by O'Rourke, we prove that r/2 + 1 reflex edge guards are sufficient and occasionally necessary, where r is the number of reflex edges. We also show how to compute guard locations in O(n log n) time.
Then we investigate the Art Gallery Problem with mutually parallel edge guards in orthogonal polyhedra with e edges, showing that 11e/72 edge guards are always sufficient and can be found in linear time, improving upon the previous state of the art, which was e/6. We also give tight inequalities relating e with the number of reflex edges r, obtaining an upper bound on the guard number of 7r/12 + 1.
We further study the Art Gallery Problem with edge guards in polyhedra having faces oriented in just four directions, obtaining a lower bound of e/6 - 1 edge guards and an upper bound of (e+r)/6 edge guards.
All the previously mentioned results hold for polyhedra of any genus. Additionally, several guard types and guarding modes are discussed, namely open and closed edge guards, and orthogonal and non-orthogonal guarding.
Next, we model the Searchlight Scheduling Problem, the problem of searching a given polyhedron by suitably turning some half-planes
around their axes, in order to catch an evasive intruder. After discussing several generalizations of classic theorems, we study the problem of efficiently placing guards in a given polyhedron, in order to make it searchable. For general polyhedra, we give an upper bound of r^2 on the number of guards, which reduces to r for orthogonal polyhedra.
Then we prove that it is strongly NP-hard to decide if a given polyhedron is entirely searchable by a given set of guards. We further prove that, even under the assumption that an orthogonal polyhedron is searchable, approximating the minimum search time within a small-enough constant factor to the optimum is still strongly NP-hard.
Finally, we show that deciding if a specific region of an orthogonal polyhedron is searchable is strongly PSPACE-hard. By further improving our construction, we show that the same problem is strongly PSPACE-complete even for planar orthogonal polygons. Our last results are especially meaningful because no similar hardness theorems for 2-dimensional scenarios were previously known
- …