Greed is Good for Deterministic Scale-Free Networks

Large real-world networks typically follow a power-law degree distribution. To study such networks, numerous random graph models have been proposed. However, real-world networks are not drawn at random. Therefore, Brach et al. (27th symposium on discrete algorithms (SODA), pp 1306–1325, 2016) introduced two natural deterministic conditions: (1) a power-law upper bound on the degree distribution (PLB-U) and (2) power-law neighborhoods, that is, the degree distribution of neighbors of each vertex is also upper bounded by a power law (PLB-N). They showed that many real-world networks satisfy both properties and exploit them to design faster algorithms for a number of classical graph problems. We complement their work by showing that some well-studied random graph models exhibit both of the mentioned PLB properties. PLB-U and PLB-N hold with high probability for Chung–Lu Random Graphs and Geometric Inhomogeneous Random Graphs and almost surely for Hyperbolic Random Graphs. As a consequence, all results of Brach et al. also hold with high probability or almost surely for those random graph classes. In the second part we study three classical $$\textsf {NP}$$ NP -hard optimization problems on PLB networks. It is known that on general graphs with maximum degree  $$\Delta$$ Δ , a greedy algorithm, which chooses nodes in the order of their degree, only achieves a $$\Omega (\ln \Delta )$$ Ω ( ln Δ ) -approximation for Minimum Vertex Cover and Minimum Dominating Set , and a $$\Omega (\Delta )$$ Ω ( Δ ) -approximation for Maximum Independent Set . We prove that the PLB-U property with $$\beta >2$$ β > 2 suffices for the greedy approach to achieve a constant-factor approximation for all three problems. We also show that these problems are APX -hard even if PLB-U, PLB-N, and an additional power-law lower bound on the degree distribution hold. Hence, a PTAS cannot be expected unless P = NP . Furthermore, we prove that all three problems are in MAX SNP if the PLB-U property holds.

[1]  Albert-László Barabási,et al.  Statistical mechanics of complex networks , 2001, ArXiv.

[2]  FaloutsosMichalis,et al.  On power-law relationships of the Internet topology , 1999 .

[3]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[4]  Marek Karpinski,et al.  On Some Tighter Inapproximability Results (Extended Abstract) , 1999, ICALP.

[5]  Luca Trevisan,et al.  An Axiomatic and an Average-Case Analysis of Algorithms and Heuristics for Metric Properties of Graphs , 2016, SODA.

[6]  Ying Xuan,et al.  New techniques for approximating optimal substructure problems in power-law graphs , 2012, Theor. Comput. Sci..

[7]  Ralph Keusch,et al.  Average Distance in a General Class of Scale-Free Networks with Underlying Geometry , 2016, ArXiv.

[8]  Lada A. Adamic,et al.  A social network caught in the Web , 2003, First Monday.

[9]  Miroslav Chlebík,et al.  Approximation hardness of dominating set problems in bounded degree graphs , 2008, Inf. Comput..

[10]  Fan Chung Graham,et al.  A Random Graph Model for Power Law Graphs , 2001, Exp. Math..

[11]  Vijay V. Vazirani,et al.  Approximation Algorithms , 2001, Springer Berlin Heidelberg.

[12]  Ming-Yang Kao,et al.  Encyclopedia of Algorithms , 2016, Springer New York.

[13]  David S. Johnson,et al.  Some Simplified NP-Complete Graph Problems , 1976, Theor. Comput. Sci..

[14]  Weili Wu,et al.  A greedy approximation for minimum connected dominating sets , 2004, Theor. Comput. Sci..

[15]  Kihong Park,et al.  On the Hardness of Optimization in Power Law Graphs , 2007, COCOON.

[16]  Noga Alon,et al.  Derandomized graph products , 1995, computational complexity.

[17]  Ralph Keusch,et al.  Geometric Inhomogeneous Random Graphs , 2015, Theor. Comput. Sci..

[18]  M. Chleb ´ õk,et al.  Approximation Hardness of Dominating Set Problems in Bounded Degree Graphs , 2008 .

[19]  Meena Mahajan,et al.  Parameterizing above or below guaranteed values , 2009, J. Comput. Syst. Sci..

[20]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[21]  Alessandro Panconesi,et al.  Concentration of Measure for the Analysis of Randomized Algorithms , 2009 .

[22]  Albert,et al.  Emergence of scaling in random networks , 1999, Science.

[23]  Koichi Yamazaki,et al.  A note on greedy algorithms for the maximum weighted independent set problem , 2003, Discret. Appl. Math..

[24]  Piotr Sankowski,et al.  Algorithmic Complexity of Power Law Networks , 2015, SODA.

[25]  Viggo Kann,et al.  Hardness of Approximating Problems on Cubic Graphs , 1997, CIAC.

[26]  Jure Leskovec,et al.  {SNAP Datasets}: {Stanford} Large Network Dataset Collection , 2014 .

[27]  Johannes Lengler,et al.  Bootstrap percolation on geometric inhomogeneous random graphs , 2016, ICALP.

[28]  P. Berman,et al.  On Some Tighter Inapproximability Results , 1998, Electron. Colloquium Comput. Complex..

[29]  Ralph Keusch,et al.  Sampling Geometric Inhomogeneous Random Graphs in Linear Time , 2017, ESA.

[30]  Fan Chung Graham,et al.  A random graph model for massive graphs , 2000, STOC '00.

[31]  Sanjeev Khanna,et al.  The Power of Local Information in Social Networks , 2012, WINE.

[32]  Mihalis Yannakakis,et al.  Optimization, approximation, and complexity classes , 1991, STOC '88.

[33]  James S. Thorp,et al.  Computer Relaying for Power Systems , 2009 .

[34]  Amin Vahdat,et al.  Hyperbolic Geometry of Complex Networks , 2010, Physical review. E, Statistical, nonlinear, and soft matter physics.

[35]  T. Friedrich,et al.  Greed is Good for Deterministic Scale-Free Networks , 2020, Algorithmica.

[36]  F. Chung,et al.  The average distances in random graphs with given expected degrees , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[37]  Pierluigi Crescenzi,et al.  Approximation on the Web: A Compendium of NP Optimization Problems , 1997, RANDOM.

[38]  Christoph Lenzen,et al.  Minimum Dominating Set Approximation in Graphs of Bounded Arboricity , 2010, DISC.

[39]  Ravi Kumar,et al.  Trawling the Web for Emerging Cyber-Communities , 1999, Comput. Networks.

[40]  Michael R. Fellows,et al.  Parameterized Complexity , 1998 .

[41]  Marek Karpinski,et al.  On the Approximability of Independent Set Problem on Power Law Graphs , 2015, ArXiv.

[42]  Mark E. J. Newman,et al.  The Structure and Function of Complex Networks , 2003, SIAM Rev..

[43]  Ding-Zhu Du,et al.  Design and Analysis of Approximation Algorithms , 2011 .

[44]  Michalis Faloutsos,et al.  On power-law relationships of the Internet topology , 1999, SIGCOMM '99.

[45]  Miroslav Chlebík,et al.  Complexity of approximating bounded variants of optimization problems , 2006, Theor. Comput. Sci..

[46]  M. Newman Random Graphs as Models of Networks , 2002, cond-mat/0202208.

[47]  S. Safra,et al.  On the hardness of approximating minimum vertex cover , 2005 .

[48]  F. Chung,et al.  Connected Components in Random Graphs with Given Expected Degree Sequences , 2002 .

[49]  Marek Karpinski,et al.  Inapproximability of dominating set on power law graphs , 2012, Theor. Comput. Sci..

[50]  Jaikumar Radhakrishnan,et al.  Greed is good: Approximating independent sets in sparse and bounded-degree graphs , 1997, Algorithmica.