318 research outputs found
A Characterization of Visibility Graphs for Pseudo-Polygons
In this paper, we give a characterization of the visibility graphs of
pseudo-polygons. We first identify some key combinatorial properties of
pseudo-polygons, and we then give a set of five necessary conditions based off
our identified properties. We then prove that these necessary conditions are
also sufficient via a reduction to a characterization of vertex-edge visibility
graphs given by O'Rourke and Streinu
Recognizing Visibility Graphs of Polygons with Holes and Internal-External Visibility Graphs of Polygons
Visibility graph of a polygon corresponds to its internal diagonals and
boundary edges. For each vertex on the boundary of the polygon, we have a
vertex in this graph and if two vertices of the polygon see each other there is
an edge between their corresponding vertices in the graph. Two vertices of a
polygon see each other if and only if their connecting line segment completely
lies inside the polygon, and they are externally visible if and only if this
line segment completely lies outside the polygon. Recognizing visibility graphs
is the problem of deciding whether there is a simple polygon whose visibility
graph is isomorphic to a given input graph. This problem is well-known and
well-studied, but yet widely open in geometric graphs and computational
geometry.
Existential Theory of the Reals is the complexity class of problems that can
be reduced to the problem of deciding whether there exists a solution to a
quantifier-free formula F(X1,X2,...,Xn), involving equalities and inequalities
of real polynomials with real variables. The complete problems for this
complexity class are called Existential Theory of the Reals Complete.
In this paper we show that recognizing visibility graphs of polygons with
holes is Existential Theory of the Reals Complete. Moreover, we show that
recognizing visibility graphs of simple polygons when we have the internal and
external visibility graphs, is also Existential Theory of the Reals Complete.Comment: Sumbitted to COCOON2018 Conferenc
Two segment classes with Hamiltonian visibility graphs
AbstractWe prove that the endpoint visibility graph of a set of disjoint segments that satisfy one of two restrictions, always contains a simple Hamiltonian circuit. The first restriction defines the class of independent segments: the line containing each segment misses all the other segments. The second restriction specifies unit lattice segments: unit length segments whose endpoints have integer coordinates
Circumscribing Polygons and Polygonizations for Disjoint Line Segments
Given a planar straight-line graph G=(V,E) in R^2, a circumscribing polygon of G is a simple polygon P whose vertex set is V, and every edge in E is either an edge or an internal diagonal of P. A circumscribing polygon is a polygonization for G if every edge in E is an edge of P.
We prove that every arrangement of n disjoint line segments in the plane has a subset of size Omega(sqrt{n}) that admits a circumscribing polygon, which is the first improvement on this bound in 20 years. We explore relations between circumscribing polygons and other problems in combinatorial geometry, and generalizations to R^3.
We show that it is NP-complete to decide whether a given graph G admits a circumscribing polygon, even if G is 2-regular. Settling a 30-year old conjecture by Rappaport, we also show that it is NP-complete to determine whether a geometric matching admits a polygonization
- …