Recognition of Unit Segment and Polyline Graphs is ∃R-Complete

Publication date

2025-01-22

Authors

Hoffmann, Michael
Miltzow, TillmannISNI 0000000492912671
Weber, Simon
Wulf, Lasse

Editors

Kráľ, Daniel
Milanič, Martin

Advisors

Supervisors

Document Type

Part of book
Open Access logo

License

taverne

Abstract

Given a set of objects O in the plane, the corresponding intersection graph is defined as follows. A vertex is created for each object and an edge joins two vertices whenever the corresponding objects intersect. We study here the case of unit segments and polylines with exactly k bends. In the recognition problem, we are given a graph and want to decide whether the graph can be represented as the intersection graph of certain geometric objects. In previous work it was shown that various recognition problems are ∃R-complete, leaving unit segments and polylines as few remaining natural cases. We show that recognition for both families of objects is ∃R-complete.

Keywords

Intersection graphs, Polyline, Recognition, Unit segment, Taverne, Theoretical Computer Science, General Computer Science

Citation

Hoffmann, M, Miltzow, T, Weber, S & Wulf, L 2025, Recognition of Unit Segment and Polyline Graphs is ∃R-Complete. in D Kráľ & M Milanič (eds), Graph-Theoretic Concepts in Computer Science - 50th International Workshop, WG 2024, Revised Selected Papers. Lecture Notes in Computer Science, vol. 14760, Springer, pp. 266-281, 50th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2024, Gozd Martuljek, Slovenia, 19/06/24. https://doi.org/10.1007/978-3-031-75409-8_19, conference