Geometric Thickness of Multigraphs is ∃R-Complete

Publication date

2024

Authors

Förster, Henry
Kindermann, Philipp
Miltzow, TillmannISNI 0000000492912671
Parada, Irene
Terziadis, Soeren
Vogtenhuber, Birgit

Editors

Soto, José A.
Wiese, Andreas

Advisors

Supervisors

Document Type

Part of book

License

Abstract

We say that a (multi)graph G = (V,E) has geometric thickness t if there exists a straight-line drawing ϕ : V → R2 and a t-coloring of its edges where no two edges sharing a point in their relative interior have the same color. The Geometric Thickness problem asks whether a given multigraph has geometric thickness at most t. In this paper, we settle the computational complexity of Geometric Thickness by showing that it is ∃R-complete already for thickness 57. Moreover, our reduction shows that the problem is ∃R-complete for 8280-planar graphs, where a graph is k-planar if it admits a topological drawing with at most k crossings per edge. In this paper we answer previous questions on geometric thickness and on other related problems, in particular that simultaneous graph embeddings of 58 edge-disjoint graphs and pseudosegment stretchability with chromatic number 57 are ∃R-complete.

Keywords

Theoretical Computer Science, General Computer Science

Citation

Förster, H, Kindermann, P, Miltzow, T, Parada, I, Terziadis, S & Vogtenhuber, B 2024, Geometric Thickness of Multigraphs is ∃R-Complete. in J A Soto & A Wiese (eds), LATIN 2024: Theoretical Informatics - 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I. Lecture Notes in Computer Science, vol. 14578, Springer, pp. 336-349. https://doi.org/10.1007/978-3-031-55598-5_22