arXiv++ Combinatorics

A graph is Helly if its disks satisfy the Helly property, i.e., every family of pairwise intersecting disks in G has a common intersection. It is known that for every graph G, there exists a unique smallest Helly graph H(G) into which G isometrically embeds; H(G) is called the injective hull of G. Motivated by this, we investigate the structural properties of the injective hulls of various graph classes. We say that a class of graphs $\mathcal{C}$ is closed under Hellification if $G \in \mathcal{C}$ implies $H(G) \in \mathcal{C}$. We identify several graph classes that are closed under Hellification. We show that permutation graphs are not closed under Hellification, but chordal graphs, square-chordal graphs, and distance-hereditary graphs are. Graphs that have an efficiently computable injective hull are of particular interest. A linear-time algorithm to construct the injective hull of any distance-hereditary graph is provided and we show that the injective hull of several graphs from some other well-known classes of graphs are impossible to compute in subexponential time. In particular, there are split graphs, cocomparability graphs, bipartite graphs G such that H(G) contains $Ω(a^{n})$ vertices, where $n=|V(G)|$ and $a>1$.

A new metric parameter for a graph, Helly-gap, is introduced. A graph $G$ is called $α$-weakly-Helly if any system of pairwise intersecting disks in $G$ has a nonempty common intersection when the radius of each disk is increased by an additive value $α$. The minimum $α$ for which a graph $G$ is $α$-weakly-Helly is called the Helly-gap of $G$ and denoted by $α(G)$. The Helly-gap of a graph $G$ is characterized by distances in the injective hull $\mathcal{H}(G)$, which is a (unique) minimal Helly graph which contains $G$ as an isometric subgraph. This characterization is used as a tool to generalize many eccentricity related results known for Helly graphs ($α(G)=0$), as well as for chordal graphs ($α(G)\le 1$), distance-hereditary graphs ($α(G)\le 1$) and $δ$-hyperbolic graphs ($α(G)\le 2δ$), to all graphs, parameterized by their Helly-gap $α(G)$. Several additional graph classes are shown to have a bounded Helly-gap, including AT-free graphs and graphs with bounded tree-length, bounded chordality or bounded $α_i$-metric.

A graph $G=(V,E)$ is distance hereditary if every induced path of $G$ is a shortest path. In this paper, we show that the eccentricity function $e(v)=\max\{d(v,u): u\in V\}$ in any distance-hereditary graph $G$ is almost unimodal, that is, every vertex $v$ with $e(v)> rad(G)+1$ has a neighbor with smaller eccentricity. Here, $rad(G)=\min\{e(v): v\in V\}$ is the radius of graph $G$. Moreover, we use this result to fully characterize the centers of distance-hereditary graphs. Several bounds on the eccentricity of a vertex with respect to its distance to the center of $G$ or to the ends of a diametral path are established. Finally, we propose a new linear time algorithm to compute all eccentricities in a distance-hereditary graph.

It is known that for every graph $G$ there exists the smallest Helly graph $\cal H(G)$ into which $G$ isometrically embeds ($\cal H(G)$ is called the injective hull of $G$) such that the hyperbolicity of $\cal H(G)$ is equal to the hyperbolicity of $G$. Motivated by this, we investigate structural properties of Helly graphs that govern their hyperbolicity and identify three isometric subgraphs of the King-grid as structural obstructions to a small hyperbolicity in Helly graphs.