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 $\delta$. More specifically, we show that the radius and a central vertex of an $m$-edge $\delta$-hyperbolic Helly graph $G$ can be computed in $\mathcal O(\delta m)$ time and that all vertex eccentricities in $G$ can be computed in $\mathcal O(\delta^2 m)$ time. To show this more general result, we heavily use our new structural properties obtained for Helly graphs.
翻译:如果每组配对交错球都有非空化的共交点,则图就是Helly。Helly图类是超高康维度空间类的离散模拟。已知每个图类都包含在Helly图中,使后者成为Metrigraph 理论中的重要图表类。我们在Helly图中研究直径、半径和所有偏心计算。根据看起来复杂的假设,直径和半径都无法在普通图上真正的亚异端时间计算。与这些负结果相比,最近显示,美元-美元垂直赫利图的半径和直径可以高概率地嵌入Helly图中。我们研究的是直径、半径和所有偏差的计算结果(例如,美元+美元中的亚差值)。在普通图中,我们通过直径的确定性美元 Oralexal=O} 和直径直径的直径直径可以更精确地算出这个直径直径值。