Abstract:Finding the diameter of a graph in general cannot be done in truly subquadratic assuming the Strong Exponential Time Hypothesis (SETH), even when the underlying graph is unweighted and sparse. When restricting to concrete classes of graphs and assuming SETH, planar graphs and minor-free graphs admit truly subquadratic algorithms, while geometric intersection graphs of unit balls, congruent equilateral triangles, and unit segments do not. Unit-disk graphs are one of the major open cases where the complexity of diameter computation remains unknown. More generally, it is conjectured that a truly-subquadratic time algorithm exists for pseudo-disk graphs where each pair of objects has at most two intersections on the boundary. In this paper, we show a truly-subquadratic algorithm of running time $\tilde{O}(n^{2-1/18})$, for finding the diameter in a unit-disk graph, whose output differs from the optimal solution by at most 1. This is the first algorithm that provides an additive guarantee in distortion, independent of the size or the diameter of the graph. Our algorithm requires two important technical elements. First, we show that for the intersection graph of pseudo-disks, the graph VC-dimension, either of $k$-hop balls or the distance encoding vectors, is 4. Second, we introduce a clique-based $r$-clustering for geometric intersection graphs, which is an analog of the $r$-division construction for planar graphs. We also showcase the new techniques by establishing new results for distance oracles for unit-disk graphs with subquadratic storage and $O(1)$ query time. The results naturally extend to unit $L_1$- or $L_\infty$-disks and fat pseudo-disks of similar size. Last, if the pseudo-disks additionally have bounded ply, we have a truly-subquadratic algorithm to find the exact diameter.

Disk patterns, quasi-duality and the uniform bounded diameter conjecture

Geometry of Complex Bounded Domains with Finite-Volume Quotients

Boundedness of the images of period maps and applications

$\mathbb{Z}$-disks in $\mathbb{C} P^2$

Complex earthquakes and deformations of the unit disk

Moduli spaces of quadratic differentials: Abel-Jacobi map and deformation

All Bounded Type Siegel Disks of Rational Maps Are Quasi-Disks

The bounded cohomology of transformation groups of Euclidean spaces and discs

A Geometric Approach to the Topological Disk Theorem of Reifenberg

Conformal welding of quantum disks and multiple SLE: the non-simple case

Dual boundary complexes of Betti moduli spaces over the two-sphere with one irregular singularity

A discrete uniformization theorem for decorated piecewise Euclidean metrics on surfaces, II

CMC-1 surfaces via osculating Möbius transformations between circle patterns

Generalized Bonahon-Wong-Yang volume conjecture of quantum invariants of surface diffeomorphisms I: the figure eight knot complement

Almost-fuchsian structures on disk bundles over a surface

Random Disks of Constant Curvature: the Lattice Story

Computing Diameter +1 in Truly Subquadratic Time for Unit-Disk Graphs

Cusp shape and fractional Dehn twists of fibred hyperbolic 3-manifolds

On Dynamical Gaskets Generated by Rational Maps, Kleinian Groups, and Schwarz Reflections

AN ACTION ON CHIRAL RINGS AND THE MIRROR MAP

Braid groups and discrete diffeomorphisms of the punctured disk