Sparsifying Disk Intersection Graphs for Reliable Connectivity

TL;DR

This paper introduces a sparsification algorithm for disk intersection graphs that preserves connectivity under failures, ensuring reliable network connectivity with near-linear complexity.

Contribution

The work presents a novel sparsification method that maintains connectivity and reliability in disk intersection graphs even after node removals, with near-linear construction time.

Findings

The sparse graph retains connectivity despite arbitrary node failures.

The algorithm operates in near-linear time and extends to other shape collections.

The approach improves network reliability and fault tolerance in geometric graphs.

Abstract

The intersection graph induced by a set $\Disks$ of $n$ disks can be dense. It is thus natural to try and sparsify it, while preserving connectivity. Unfortunately, sparse graphs can always be made disconnected by removing a small number of vertices. In this work, we present a sparsification algorithm that maintains connectivity between two disks in the computed graph, if the original graph remains ``well-connected'' even after removing an arbitrary ``attack'' set $\BSet \subseteq \Disks$ from both graphs. Thus, the new sparse graph has similar reliability to the original disk graph, and can withstand catastrophic failure of nodes while still providing a connectivity guarantee for the remaining graph. The new graphs has near linear complexity, and can be constructed in near linear time. The algorithm extends to any collection of shapes in the plane, such that their union complexity is near linear.