Abstract:We consider intersection graphs of disks of radius $r$ in the hyperbolic plane. Unlike the Euclidean setting, these graph classes are different for different values of $r$, where very small $r$ corresponds to an almost-Euclidean setting and $r \in \Omega(\log n)$ corresponds to a firmly hyperbolic setting. We observe that larger values of $r$ create simpler graph classes, at least in terms of separators and the computational complexity of the \textsc{Independent Set} problem. First, we show that intersection graphs of disks of radius $r$ in the hyperbolic plane can be separated with $\mathcal{O}((1+1/r)\log n)$ cliques in a balanced manner. Our second structural insight concerns Delaunay complexes in the hyperbolic plane and may be of independent interest. We show that for any set $S$ of $n$ points with pairwise distance at least $2r$ in the hyperbolic plane the corresponding Delaunay complex has outerplanarity $1+\mathcal{O}(\frac{\log n}{r})$, which implies a similar bound on the balanced separators and treewidth of such Delaunay complexes. Using this outerplanarity (and treewidth) bound we prove that \textsc{Independent Set} can be solved in $n^{\mathcal{O}(1+\frac{\log n}{r})}$ time. The algorithm is based on dynamic programming on some unknown sphere cut decomposition that is based on the solution. The resulting algorithm is a far-reaching generalization of a result of Kisfaludi-Bak (SODA 2020), and it is tight under the Exponential Time Hypothesis. In particular, \textsc{Independent Set} is polynomial-time solvable in the firmly hyperbolic setting of $r\in \Omega(\log n)$. Finally, in the case when the disks have ply (depth) at most $\ell$, we give a PTAS for \textsc{Maximum Independent Set} that has only quasi-polynomial dependence on $1/\varepsilon$ and $\ell$. Our PTAS is a further generalization of our exact algorithm.

Computational Geometry Column 56

Computational Geometry Column 69

MAXIMUM AREA INDEPENDENT SETS IN DISK INTERSECTION GRAPHS

Computational Geometry Column 58

Online Maximum Independent Set of Hyperrectangles

Maximal independent sets on a grid graph

An Extremal Graph Problem on a Grid and an Isoperimetric Problem for Polyominoes

Maximizing the number of maximal independent sets of a fixed size

Structure and Independence in Hyperbolic Uniform Disk Graphs

Finding Triangles and Other Small Subgraphs in Geometric Intersection Graphs

Maximum Matchings in Geometric Intersection Graphs

Maximizing the Number of Independent Sets of Fixed Size in $K_n$-Covered Graphs

Intersecting and $2$-intersecting hypergraphs with maximal covering number: the Erdős-Lovász theme revisited

Counting Rules for Computing the Number of Independent Sets of a Grid Graph

Approximating Densest Subgraph in Geometric Intersection Graphs

On the Maximum Number of Maximum Independent Sets of Bipartite Graphs

Fully-Adaptive Dynamic Connectivity of Square Intersection Graphs

Largest Volume Inscribed Rectangles in Convex Sets Defined by Finite Number of Inequalities

Sublinear hitting sets for some geometric graphs

Maximal Sets of Equiangular Lines

Maximal Independent Sets in Planar Triangulations