Fast Approximation and Exact Computation of Negative Curvature Parameters of Graphs

In this paper, we study Gromov hyperbolicity and related parameters, that represent how close (locally) a metric space is to a tree from a metric point of view. The study of Gromov hyperbolicity for geodesic metric spaces can be reduced to the study of graph hyperbolicity. Our main contribution in this note is a new characterization of hyperbolicity for graphs (and for complete geodesic metric spaces). This characterization has algorithmic implications in the field of large-scale network analysis, which was one of our initial motivations. A sharp estimate of graph hyperbolicity is useful, e.g., in embedding an undirected graph into hyperbolic space with minimum distortion [Verbeek and Suri, SoCG'14]. The hyperbolicity of a graph can be computed in polynomial-time, however it is unlikely that it can be done in subcubic time. This makes this parameter difficult to compute or to approximate on large graphs. Using our new characterization of graph hyperbolicity, we provide a simple factor 8 approximation algorithm for computing the hyperbolicity of an $n$-vertex graph $G=(V,E)$ in optimal time $O(n^2)$ (assuming that the input is the distance matrix of the graph). This algorithm leads to constant factor approximations of other graph-parameters related to hyperbolicity (thinness, slimness, and insize). We also present the first efficient algorithms for exact computation of these parameters. All of our algorithms can be used to approximate the hyperbolicity of a geodesic metric space.

[1]  Yuval Shavitt,et al.  On Hyperbolic Embedding of Internet Graph for Distance Estimation and Overlay Construction , 2007 .

[2]  T. Delzant,et al.  Courbure mésoscopique et théorie de la toute petite simplification , 2008 .

[3]  Victor Chepoi,et al.  Cop and Robber Game and Hyperbolicity , 2013, SIAM J. Discret. Math..

[4]  A. O. Houcine On hyperbolic groups , 2006 .

[5]  Feodor F. Dragan,et al.  Fast Approximation and Exact Computation of Negative Curvature Parameters of Graphs , 2018 .

[6]  V. Chepoi,et al.  Packing and covering δ-hyperbolic spaces by balls ? , 2007 .

[7]  Katherine Edwards,et al.  Fast approximation algorithms for $p$-centres in large $δ$-hyperbolic graphs , 2016, ArXiv.

[8]  Michel Habib,et al.  Into the Square: On the Complexity of Some Quadratic-time Solvable Problems , 2016, ICTCS.

[9]  Iraj Saniee,et al.  Large-scale curvature of networks. , 2009, Physical review. E, Statistical, nonlinear, and soft matter physics.

[10]  Amir M. Ben-Amram The Euler Path to Static Level-Ancestors , 2009, ArXiv.

[11]  David Coudert,et al.  On Computing the Gromov Hyperbolicity , 2015, ACM J. Exp. Algorithmics.

[12]  Mark F. Hagen,et al.  Weak hyperbolicity of cube complexes and quasi‐arboreal groups , 2011, 1101.5191.

[13]  Michael A. Bender,et al.  The Level Ancestor Problem Simplified , 2002, LATIN.

[14]  David Coudert,et al.  Recognition of C4-Free and 1/2-Hyperbolic Graphs , 2014, SIAM J. Discret. Math..

[15]  Norbert Polat,et al.  On infinite bridged graphs and strongly dismantlable graphs , 2000, Discret. Math..

[16]  Yang Xiang,et al.  Additive Spanners and Distance and Routing Labeling Schemes for Hyperbolic Graphs , 2010, Algorithmica.

[17]  Huacheng Yu,et al.  An Improved Combinatorial Algorithm for Boolean Matrix Multiplication , 2015, ICALP.

[18]  M. Bridson,et al.  Metric Spaces of Non-Positive Curvature , 1999 .

[19]  H. Short,et al.  Notes on word hyperbolic groups , 1991 .

[20]  Ran Duan,et al.  Approximation Algorithms for the Gromov Hyperbolicity of Discrete Metric Spaces , 2014, LATIN.

[21]  David Coudert,et al.  Fully Polynomial FPT Algorithms for Some Classes of Bounded Clique-width Graphs , 2017, SODA.

[22]  Blair D. Sullivan,et al.  Tree-Like Structure in Large Social and Information Networks , 2013, 2013 IEEE 13th International Conference on Data Mining.

[23]  William Sean Kennedy,et al.  2016 Ieee International Conference on Big Data (big Data) on the Hyperbolicity of Large-scale Networks and Its Estimation , 2022 .

[24]  Christian Komusiewicz,et al.  When can Graph Hyperbolicity be computed in Linear Time? , 2017, WADS.

[25]  Antoine Vigneron,et al.  Computing the Gromov hyperbolicity of a discrete metric space , 2012, Inf. Process. Lett..

[26]  David Coudert,et al.  On Computing the Hyperbolicity of Real-World Graphs , 2015, ESA.

[27]  Feodor F. Dragan,et al.  Metric tree‐like structures in real‐world networks: an empirical study , 2016, Networks.

[28]  Feodor F. Dragan,et al.  Core congestion is inherent in hyperbolic networks , 2016, SODA.

[29]  P. Papasoglu,et al.  Strongly geodesically automatic groups are hyperbolic , 1995 .

[30]  Marek Karpinski,et al.  Effect of Gromov-Hyperbolicity Parameter on Cuts and Expansions in Graphs and Some Algorithmic Implications , 2015, Algorithmica.

[31]  Feodor F. Dragan,et al.  Diameters, centers, and approximating trees of delta-hyperbolicgeodesic spaces and graphs , 2008, SCG '08.

[32]  Panos Papasoglu An algorithm detecting hyperbolicity , 1994, Geometric and Computational Perspectives on Infinite Groups.

[33]  Subhash Suri,et al.  Metric Embedding, Hyperbolic Space, and Social Networks , 2014, Comput. Geom..

[34]  M. Soto,et al.  Quelques proprietes topologiques des graphes et applications a Internet et aux reseaux , 2011 .