-
Fast deterministic algorithms for computing all eccentricities in (hyperbolic) Helly graphs
Authors:
Feodor F. Dragan,
Guillaume Ducoffe,
Heather M. Guarnera
Abstract:
A graph is Helly if every family of pairwise intersecting balls has a nonempty common intersection. The class of Helly graphs is the discrete analogue of the class of hyperconvex metric spaces. It is also known that every graph isometrically embeds into a Helly graph, making the latter an important class of graphs in Metric Graph Theory. We study diameter, radius and all eccentricity computations…
▽ More
A graph is Helly if every family of pairwise intersecting balls has a nonempty common intersection. The class of Helly graphs is the discrete analogue of the class of hyperconvex metric spaces. It is also known that every graph isometrically embeds into a Helly graph, making the latter an important class of graphs in Metric Graph Theory. We study diameter, radius and all eccentricity computations within the Helly graphs. Under plausible complexity assumptions, neither the diameter nor the radius can be computed in truly subquadratic time on general graphs. In contrast to these negative results, it was recently shown that the radius and the diameter of an $n$-vertex $m$-edge Helly graph $G$ can be computed with high probability in $\tilde{\mathcal O}(m\sqrt{n})$ time (i.e., subquadratic in $n+m$). In this paper, we improve that result by presenting a deterministic ${\mathcal O}(m\sqrt{n})$ time algorithm which computes not only the radius and the diameter but also all vertex eccentricities in a Helly graph. Furthermore, we give a parameterized linear-time algorithm for this problem on Helly graphs, with the parameter being the Gromov hyperbolicity $δ$. More specifically, we show that the radius and a central vertex of an $m$-edge $δ$-hyperbolic Helly graph $G$ can be computed in $\mathcal O(δm)$ time and that all vertex eccentricities in $G$ can be computed in $\mathcal O(δ^2 m)$ time. To show this more general result, we heavily use our new structural properties obtained for Helly graphs.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
Injective hulls of various graph classes
Authors:
Heather M. Guarnera,
Feodor F. Dragan,
Arne Leitert
Abstract:
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 c…
▽ More
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$.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Helly-gap of a graph and vertex eccentricities
Authors:
Feodor F. Dragan,
Heather M. Guarnera
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
Eccentricity terrain of $δ$-hyperbolic graphs
Authors:
Feodor F. Dragan,
Heather M. Guarnera
Abstract:
A graph $G=(V,E)$ is $δ$-hyperbolic if for any four vertices $u,v,w,x$, the two larger of the three distance sums $d(u,v)+d(w,x)$, $d(u,w)+d(v,x)$, and $d(u,x)+d(v,w)$ differ by at most $2δ\geq 0$. Recent work shows that many real-world graphs have small hyperbolicity $δ$. This paper describes the eccentricity terrain of a $δ$-hyperbolic graph. The eccentricity function…
▽ More
A graph $G=(V,E)$ is $δ$-hyperbolic if for any four vertices $u,v,w,x$, the two larger of the three distance sums $d(u,v)+d(w,x)$, $d(u,w)+d(v,x)$, and $d(u,x)+d(v,w)$ differ by at most $2δ\geq 0$. Recent work shows that many real-world graphs have small hyperbolicity $δ$. This paper describes the eccentricity terrain of a $δ$-hyperbolic graph. The eccentricity function $e_G(v)=\max\{d(v,u) : u \in V\}$ partitions the vertex set of $G$ into eccentricity layers $C_{k}(G) = \{v \in V : e(v)=rad(G)+k\}$, $k \in \mathbb{N}$, where $rad(G)=\min\{e_G(v): v\in V\}$ is the radius of $G$. The paper studies the eccentricity layers of vertices along shortest paths, identifying such terrain features as hills, plains, valleys, terraces, and plateaus. It introduces the notion of $β$-pseudoconvexity, which implies Gromov's $ε$-quasiconvexity, and illustrates the abundance of pseudoconvex sets in $δ$-hyperbolic graphs. In particular, it shows that all sets $C_{\leq k}(G)=\{v\in V : e_G(v) \leq rad(G) + k\}$, $k\in \mathbb{N}$, are $(2δ-1)$-pseudoconvex. Additionally, several bounds on the eccentricity of a vertex are obtained which yield a few approaches to efficiently approximating all eccentricities. An $O(δ|E|)$ time eccentricity approximation $\hat{e}(v)$, for all $v\in V$, is presented that uses distances to two mutually distant vertices and satisfies $e_G(v)-2δ\leq \hat{e}(v) \leq {e_G}(v)$. It also shows existence of two eccentricity approximating spanning trees $T$, one constructible in $O(δ|E|)$ time and the other in $O(|E|)$ time, which satisfy ${e}_G(v) \leq e_T(v) \leq {e}_G(v)+4δ+1$ and ${e}_G(v) \leq e_T(v) \leq {e}_G(v)+6δ$, respectively. Thus, the eccentricity terrain of a tree gives a good approximation (up-to an additive error $O(δ))$ of the eccentricity terrain of a $δ$-hyperbolic graph.
△ Less
Submitted 7 May, 2020; v1 submitted 19 February, 2020;
originally announced February 2020.
-
Eccentricity function in distance-hereditary graphs
Authors:
Feodor F. Dragan,
Heather M. Guarnera
Abstract:
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 us…
▽ More
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.
△ Less
Submitted 29 July, 2020; v1 submitted 11 July, 2019;
originally announced July 2019.
-
Obstructions to a small hyperbolicity in Helly graphs
Authors:
Feodor F. Dragan,
Heather M. Guarnera
Abstract:
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…
▽ More
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.
△ Less
Submitted 11 July, 2019; v1 submitted 8 September, 2017;
originally announced September 2017.