Recognizing Unit Disk Graphs in Hyperbolic Geometry is $\exists \mathbb{R}$-Complete

Nicholas Bieker, Thomas Bläsius, Emil Dohse +1

A graph G is a (Euclidean) unit disk graph if it is the intersection graph of unit disks in the Euclidean plane ${\mathbb{R}}^2$. Recognizing them is known to be $\exists \mathbb{R}$-…