Optimal curve straightening to a target vertex count is ∃R-complete, and isotopy realization spaces of curves are universal up to homotopy equivalence.
Intersection Graphs of Rays and Grounded Segments
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We consider several classes of intersection graphs of line segments in the plane and prove new equality and separation results between those classes. In particular, we show that: (1) intersection graphs of grounded segments and intersection graphs of downward rays form the same graph class, (2) not every intersection graph of rays is an intersection graph of downward rays, and (3) not every intersection graph of rays is an outer segment graph. The first result answers an open problem posed by Cabello and Jej\v{c}i\v{c}. The third result confirms a conjecture by Cabello. We thereby completely elucidate the remaining open questions on the containment relations between these classes of segment graphs. We further characterize the complexity of the recognition problems for the classes of outer segment, grounded segment, and ray intersection graphs. We prove that these recognition problems are complete for the existential theory of the reals. This holds even if a 1-string realization is given as additional input.
fields
cs.CG 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Optimal Curve Straightening is $\exists\mathbb{R}$-Complete
Optimal curve straightening to a target vertex count is ∃R-complete, and isotopy realization spaces of curves are universal up to homotopy equivalence.