“Degeneracy (graph theory)”的意思、由来-开放百科全书

In graph theory, a k-degenerate graph is an undirected graph in which every subgraph has a vertex of degree at most k: that is, some vertex in the subgraph touches k or fewer of the subgraph's edges. The degeneracy of a graph is the smallest value of k for which it is k-degenerate. The degeneracy of a graph is a measure of how sparse it is, and is within a constant factor of other sparsity measures such as the arboricity of a graph.

Degeneracy is also known as the k-core number,^[1] width,^[2] and linkage,^[3] and is essentially the same as the coloring number^[4] or Szekeres-Wilf number (named after {{harvs|last1=Szekeres|author1-link=George Szekeres|last2=Wilf|author2-link=Herbert Wilf|year=1968|txt}}). k-degenerate graphs have also been called k-inductive graphs.^[5] The degeneracy of a graph may be computed in linear time by an algorithm that repeatedly removes minimum-degree vertices.^[6] The connected components that are left after all vertices of degree less than k have been removed are called the k-cores of the graph and the degeneracy of a graph is the largest value k such that it has a k-core.

Examples

Every finite forest has either an isolated vertex (incident to no edges) or a leaf vertex (incident to exactly one edge); therefore, trees and forests are 1-degenerate graphs. Every 1-degenerate graph is a forest.

Every finite planar graph has a vertex of degree five or less; therefore, every planar graph is 5-degenerate, and the degeneracy of any planar graph is at most five. Similarly, every outerplanar graph has degeneracy at most two,^[7] and the Apollonian networks have degeneracy three.

The Barabási–Albert model for generating random scale-free networks^[8] is parameterized by a number m such that each vertex that is added to the graph has m previously-added vertices. It follows that any subgraph of a network formed in this way has a vertex of degree at most m (the last vertex in the subgraph to have been added to the graph) and Barabási–Albert networks are automatically m-degenerate.

Every k-regular graph has degeneracy exactly k. More strongly, the degeneracy of a graph equals its maximum vertex degree if and only if at least one of the connected components of the graph is regular of maximum degree. For all other graphs, the degeneracy is strictly less than the maximum degree.^[9]

Definitions and equivalences

The coloring number of a graph G was defined by {{harvtxt|Erdős|Hajnal|1966}} to be the least κ for which there exists an ordering of the vertices of G in which each vertex has fewer than κ neighbors that are earlier in the ordering. It should be distinguished from the chromatic number of G, the minimum number of colors needed to color the vertices so that no two adjacent vertices have the same color; the ordering which determines the coloring number provides an order to color the vertices of G with the coloring number, but in general the chromatic number may be smaller.

The degeneracy of a graph G was defined by {{harvtxt|Lick|White|1970}} as the least k such that every induced subgraph of G contains a vertex with k or fewer neighbors. The definition would be the same if arbitrary subgraphs are allowed in place of induced subgraphs, as a non-induced subgraph can only have vertex degrees that are smaller than or equal to the vertex degrees in the subgraph induced by the same vertex set.

The two concepts of coloring number and degeneracy are equivalent: in any finite graph the degeneracy is just one less than the coloring number.^[10] For, if a graph has an ordering with coloring number κ then in each subgraph H the vertex that belongs to H and is last in the ordering has at most κ − 1 neighbors in H. In the other direction, if G is k-degenerate, then an ordering with coloring number k + 1 can be obtained by repeatedly finding a vertex v with at most k neighbors, removing v from the graph, ordering the remaining vertices, and adding v to the end of the order.

A third, equivalent formulation is that G is k-degenerate (or has coloring number at most k + 1) if and only if the edges of G can be oriented to form a directed acyclic graph with outdegree at most k.^[11] Such an orientation can be formed by orienting each edge towards the earlier of its two endpoints in a coloring number ordering. In the other direction, if an orientation with outdegree k is given, an ordering with coloring number k + 1 can be obtained as a topological ordering of the resulting directed acyclic graph.

k-Cores

A k-core of a graph G is a maximal connected subgraph of G in which all vertices have degree at least k. Equivalently, it is one of the connected components of the subgraph of G formed by repeatedly deleting all vertices of degree less than k. If a non-empty k-core exists, then, clearly, G has degeneracy at least k, and the degeneracy of G is the largest k for which G has a k-core.

The concept of a k-core was introduced to study the clustering structure of social networks^[12] and to describe the evolution of random graphs;^[13] it has also been applied in bioinformatics,^[1]^[14] network visualization,^[15] Internet structure,^[16] spreading of economic crises,^[17] identifying influential spreaders^[18], brain cortex structure^[19] or relisience of networks in Ecology. ^[20]

A method to identify k-core structure in a weighted network was also developed.^[21]

k-Core percolation

A theory of K-core percolation (called also bootstrap percolation) was developed by Dorogovtsev et al.^[22]^[23] on random networks. They find a hybrid phase transition with a jump emergence of the k-core as in a first order phase transition as well as a singularity as in a continuous transition. The model shows cascading failure processes.^[24]^[25]

A model combining cascading failures from k-core and from interdependent networks was recently developed and analyzed.^[26] It is found that the phase diagram of the combined processes is very rich and includes novel features that do not appear in each of the processes separately.

Algorithms

As {{harvtxt|Matula|Beck|1983}} describe, it is possible to find a vertex ordering of a finite graph G that optimizes the coloring number of the ordering, in linear time, by using a bucket queue to repeatedly find and remove the vertex of smallest degree. The degeneracy is then the highest degree of any vertex at the moment it is removed.

At the end of the algorithm, k contains the degeneracy of G and L contains a list of vertices in an optimal ordering for the coloring number. The i-cores of G are the prefixes of L consisting of the vertices added to L after k first takes a value greater than or equal to i.

Initializing the variables L, d_v, D, and k can easily be done in linear time. Finding each successively removed vertex v and adjusting the cells of D containing the neighbors of v take time proportional to the value of d_v at that step; but the sum of these values is the number of edges of the graph (each edge contributes to the term in the sum for the later of its two endpoints) so the total time is linear.

Relation to other graph parameters

If a graph G is oriented acyclically with outdegree k, then its edges may be partitioned into k forests by choosing one forest for each outgoing edge of each node. Thus, the arboricity of G is at most equal to its degeneracy. In the other direction, an n-vertex graph that can be partitioned into k forests has at most k(n − 1) edges and therefore has a vertex of degree at most 2k− 1 – thus, the degeneracy is less than twice the arboricity. One may also compute in polynomial time an orientation of a graph that minimizes the outdegree but is not required to be acyclic. The edges of a graph with such an orientation may be partitioned in the same way into k pseudoforests, and conversely any partition of a graph's edges into k pseudoforests leads to an outdegree-k orientation (by choosing an outdegree-1 orientation for each pseudoforest), so the minimum outdegree of such an orientation is the pseudoarboricity, which again is at most equal to the degeneracy.^[27] The thickness is also within a constant factor of the arboricity, and therefore also of the degeneracy.{{sfnp|Dean|Hutchinson|Scheinerman|1991}}

A k-degenerate graph has chromatic number at most k + 1; this is proved by a simple induction on the number of vertices

which is exactly like the proof of the six-color theorem for planar graphs. Since chromatic number is an upper bound on the order of

the maximum clique, the latter invariant is also at most degeneracy plus one. By using a greedy coloring algorithm on an ordering with optimal coloring number, one can graph color a k-degenerate graph using at most k + 1 colors.^[28]

A k-vertex-connected graph is a graph that cannot be partitioned into more than one component by the removal of fewer than k vertices, or equivalently a graph in which each pair of vertices can be connected by k vertex-disjoint paths. Since these paths must leave the two vertices of the pair via disjoint edges, a k-vertex-connected graph must have degeneracy at least k. Concepts related to k-cores but based on vertex connectivity have been studied in social network theory under the name of structural cohesion.^[29]

If a graph has treewidth or pathwidth at most k, then it is a subgraph of a chordal graph which has a perfect elimination ordering in which each vertex has at most k earlier neighbors. Therefore, the degeneracy is at most equal to the treewidth and at most equal to the pathwidth. However, there exist graphs with bounded degeneracy and unbounded treewidth, such as the grid graphs.^[30]

The Erdős–Burr conjecture relates the degeneracy of a graph G to the Ramsey number of G, the largest n such that any two-edge-coloring of an n-vertex complete graph must contain a monochromatic copy of G. Specifically, the conjecture is that for any fixed value of k, the Ramsey number of k-degenerate graphs grows linearly in the number of vertices of the graphs.^[31] The conjecture was proven by {{harvtxt|Lee|2017}}.

Infinite graphs

Although concepts of degeneracy and coloring number are frequently considered in the context of finite graphs, the original motivation for {{harvtxt|Erdős|Hajnal|1966}} was the theory of infinite graphs. For an infinite graph G, one may define the coloring number analogously to the definition for finite graphs, as the smallest cardinal number α such that there exists a well-ordering of the vertices of G in which each vertex has fewer than α neighbors that are earlier in the ordering. The inequality between coloring and chromatic numbers holds also in this infinite setting; {{harvtxt|Erdős|Hajnal|1966}} state that, at the time of publication of their paper, it was already well known.

The degeneracy of random subsets of infinite lattices has been studied under the name of bootstrap percolation.

See also

Notes

1. ^¹{{harvtxt|Bader|Hogue|2003}}.
2. ^{{harvtxt|Freuder|1982}}.
3. ^{{harvtxt|Kirousis|Thilikos|1996}}.
4. ^{{harvtxt|Erdős|Hajnal|1966}}.
5. ^{{harvtxt|Irani|1994}}.
6. ^{{harvtxt|Matula|Beck|1983}}
7. ^{{harvtxt|Lick|White|1970}}.
8. ^{{harvtxt|Barabási|Albert|1999}}.
9. ^{{harvtxt|Jensen|Toft|2011}}, [https://books.google.com/books?id=leL0Y5N0bFoC&pg=PA78 p. 78]: "It is easy to see that col(G) = Δ(G) + 1 if and only if G has a Δ(G)-regular component." In the notation used by Jensen and Toft, col(G) is the degeneracy plus one, and Δ(G) is the maximum vertex degree.
10. ^{{harvtxt|Matula|1968}}; {{harvtxt|Lick|White|1970}}, Proposition 1, page 1084.
11. ^{{harvtxt|Chrobak|Eppstein|1991}}.
12. ^{{harvtxt|Seidman|1983}}.
13. ^{{harvtxt|Bollobás|1984}}; {{harvtxt|Łuczak|1991}};{{harvtxt|Dorogovtsev|Goltsev|Mendes|2006}}.
14. ^{{harvtxt|Altaf-Ul-Amin|Nishikata|Koma|Miyasato|2003}}; {{harvtxt|Wuchty|Almaas|2005}}.
15. ^{{harvtxt|Gaertler|Patrignani|2004}}; {{harvtxt|Alvarez-Hamelin|Dall'Asta|Barrat|Vespignani|2006}}.
16. ^{{cite journal|last1=Carmi|first1=S.|last2=Havlin|first2=S.|last3=Kirkpatrick|first3=S.|last4=Shavitt|first4=Y.|last5=Shir|first5=E.|title=A model of Internet topology using k-shell decomposition|journal=Proceedings of the National Academy of Sciences|volume=104|issue=27|year=2007|pages=11150–11154|issn=0027-8424|doi=10.1073/pnas.0701175104|pmc=1896135|arxiv=cs/0607080|bibcode=2007PNAS..10411150C}}
17. ^{{cite journal|last1=Garas|first1=Antonios|last2=Argyrakis|first2=Panos|last3=Rozenblat|first3=Céline|last4=Tomassini|first4=Marco|last5=Havlin|first5=Shlomo|title=Worldwide spreading of economic crisis|journal=New Journal of Physics|volume=12|issue=11|year=2010|pages=113043|issn=1367-2630|doi=10.1088/1367-2630/12/11/113043|bibcode=2010NJPh...12k3043G}}
18. ^{{Cite journal|last=Kitsak|first=Maksim|last2=Gallos|first2=Lazaros K.|last3=Havlin|first3=Shlomo|last4=Liljeros|first4=Fredrik|last5=Muchnik|first5=Lev|last6=Stanley|first6=H. Eugene|last7=Makse|first7=Hernán A.|date=2010-08-29|title=Identification of influential spreaders in complex networks|url=https://www.nature.com/articles/nphys1746|journal=Nature Physics|language=En|volume=6|issue=11|pages=888–893|doi=10.1038/nphys1746|issn=1745-2473|arxiv=1001.5285|bibcode=2010NatPh...6..888K}}
19. ^{{cite journal|last1=Lahav|first1=Nir|last2=Ksherim|first2=Baruch|last3=Ben-Simon|first3=Eti|last4=Maron-Katz|first4=Adi|last5=Cohen|first5=Reuven|last6=Havlin|first6=Shlomo|title=K-shell decomposition reveals hierarchical cortical organization of the human brain|journal=New Journal of Physics|volume=18|issue=8|year=2016|pages=083013|issn=1367-2630|doi=10.1088/1367-2630/18/8/083013|arxiv=1803.03742|bibcode=2016NJPh...18h3013L}}
20. ^{{cite journal|last1=Garcia-Algarra|first1=Javier|last2=Pastor|first2=Juan Manuel|last3=Iriondo|first3=Jose Maria|last4=Galeano|first4=Javier|title=Ranking of critical species to preserve the functionality of mutualistic networks using the k-core decomposition|journal=PeerJ|volume=5|year=2017|pages=e3321|issn=2167-8359|doi=10.7717/peerj.3321}}
21. ^{{cite journal|last1=Garas|first1=Antonios|last2=Schweitzer|first2=Frank|last3=Havlin|first3=Shlomo|title=Ak-shell decomposition method for weighted networks|journal=New Journal of Physics|volume=14|issue=8|year=2012|pages=083030|issn=1367-2630|doi=10.1088/1367-2630/14/8/083030|arxiv=1205.3720|bibcode=2012NJPh...14h3030G}}
22. ^{{Cite journal|last=Dorogovtsev|first=S.N.|last2=Goltsev|first2=A.V.|last3=Mendes|first3=J.F.F.|date=2006|title=k-Core Organization of Complex Networks|url=|journal=Phys. Rev. Lett.|volume=96|issue=4|pages=040601|via=|doi=10.1103/physrevlett.96.040601|pmid=16486798|arxiv=cond-mat/0509102|bibcode=2006PhRvL..96d0601D}}
23. ^{{Cite journal|last=Goltsev|first=A.V.|last2=Dorogovtsev|first2=S.N.|last3=Mendes|first3=J.F.F.|date=2006|title=k-core (bootstrap) percolation on complex networks: Critical phenomena and nonlocal effects|url=|journal=Phys. Rev. E|volume=73|issue=5|pages=056101|via=|doi=10.1103/physreve.73.056101|arxiv=cond-mat/0602611|bibcode=2006PhRvE..73e6101G}}
24. ^{{Cite journal|last=Watts|first=D.J.|date=2002|title=A Simple Model of Global Cascades on Random Networks|url=|journal=Proceedings of the National Academy of Sciences|volume=99|issue=9|pages=5766|via=|doi=10.1073/pnas.082090499|bibcode=2002PNAS...99.5766W|pmc=122850}}
25. ^{{Cite journal|last=Gleeson|first=James P.|last2=Cahalane|first2=Diarmuid J.|date=2007-05-03|title=Seed size strongly affects cascades on random networks|url=https://link.aps.org/doi/10.1103/PhysRevE.75.056103|journal=Physical Review E|volume=75|issue=5|pages=056103|doi=10.1103/PhysRevE.75.056103|bibcode=2007PhRvE..75e6103G}}
26. ^{{Cite journal|last=Panduranga|first=Nagendra K.|last2=Gao|first2=Jianxi|last3=Yuan|first3=Xin|last4=Stanley|first4=H. Eugene|last5=Havlin|first5=Shlomo|date=2017-09-28|title=Generalized model for k-core percolation and interdependent networks|url=https://link.aps.org/doi/10.1103/PhysRevE.96.032317|journal=Physical Review E|volume=96|issue=3|pages=032317|doi=10.1103/PhysRevE.96.032317|via=|arxiv=1703.02158|bibcode=2017PhRvE..96c2317P}}
27. ^{{harvtxt|Chrobak|Eppstein|1991}}; {{harvtxt|Gabow|Westermann|1992}}; {{harvtxt|Venkateswaran|2004}}; {{harvtxt|Asahiro|Miyano|Ono|Zenmyo|2006}}; {{harvtxt|Kowalik|2006}}.
28. ^{{harvtxt|Erdős|Hajnal|1966}}; {{harvtxt|Szekeres|Wilf|1968}}.
29. ^{{harvtxt|Moody|White|2003}}.
30. ^{{harvtxt|Robertson|Seymour|1984}}.
31. ^{{harvtxt|Burr|Erdős|1975}}.