K2,3-induced minor-free graphs admit quasi-isometry with additive distortion to graphs of tree-width at most two
Abstract
A graph H is an induced minor of a graph G if H can be obtained from G by a sequence of edge contractions and vertex deletions. Otherwise, G is H-induced minor-free. In this paper, we provide a different proof of the fact that K2,3-induced minor-free graphs admit a quasi-isometry with additive distortion to graphs with tree-width at most two. Our proof yields a O(nm)-time algorithm which takes as input a K2,3-induced minor-free graph with n vertices and m edges, and outputs a tree-width two graph H with the desired additive distortion. For universally signable graphs, a subclass of K2,3-induced minor-free graphs, the time complexity of our algorithm is linear. As a consequence, we obtain a truly sub-quadratic time additive constant factor approximation algorithm to compute the diameter of a universally signable graph. In contrast, assuming the Strong Exponential Time Hypothesis (SETH), the diameter of split graphs (a very restricted class of universally signable graphs), cannot be computed in truly sub-quadratic time [Borassi et al. (ENTCS, 2016)].
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.