| 词条 | Hadwiger number |
| 释义 |
In graph theory, the Hadwiger number of an undirected graph G is the size of the largest complete graph that can be obtained by contracting edges of G. Equivalently, the Hadwiger number h(G) is the largest number k for which the complete graph Kk is a minor of G, a smaller graph obtained from G by edge contractions and vertex and edge deletions. The Hadwiger number is also known as the contraction clique number of G{{sfnp|Bollobás|Catlin|Erdős|1980}} or the homomorphism degree of G.{{sfnp|Halin|1976}} It is named after Hugo Hadwiger, who introduced it in 1943 in conjunction with the Hadwiger conjecture, which states that the Hadwiger number is always at least as large as the chromatic number of G. The graphs that have Hadwiger number at most four have been characterized by {{harvtxt|Wagner|1937}}. The graphs with any finite bound on the Hadwiger number are sparse, and have small chromatic number. Determining the Hadwiger number of a graph is NP-hard but fixed-parameter tractable. Graphs with small Hadwiger numberA graph G has Hadwiger number at most two if and only if it is a forest, for a three-vertex complete minor can only be formed by contracting a cycle in G. A graph has Hadwiger number at most three if and only if its treewidth is at most two, which is true if and only if each of its biconnected components is a series-parallel graph. Wagner's theorem, which characterizes the planar graphs by their forbidden minors, implies that the planar graphs have Hadwiger number at most four. In the same paper that proved this theorem, {{harvtxt|Wagner|1937}} also characterized the graphs with Hadwiger number at most four more precisely: they are graphs that can be formed by clique-sum operations that combine planar graphs with the eight-vertex Wagner graph. The graphs with Hadwiger number at most five include the apex graphs and the linklessly embeddable graphs, both of which have the complete graph K6 among their forbidden minors.{{sfnp|Robertson|Seymour|Thomas|1993b}} SparsityEvery graph with n vertices and Hadwiger number k has O(nk {{radic|log k}}) edges. This bound is tight: for every k, there exist graphs with Hadwiger number k that have Ω(nk {{radic|log k}}) edges.[1] If a graph G has Hadwiger number k, then all of its subgraphs also have Hadwiger number at most k, and it follows that G must have degeneracy O(k {{radic|log k}}). Therefore, the graphs with bounded Hadwiger number are sparse graphs. ColoringThe Hadwiger conjecture states that the Hadwiger number is always at least as large as the chromatic number of G. That is, every graph with Hadwiger number k should have a graph coloring with at most k colors. The case k = 4 is equivalent (by Wagner's characterization of the graphs with this Hadwiger number) to the four color theorem on colorings of planar graphs, and the conjecture has also been proven for k ≤ 5, but remains unproven for larger values of k.{{sfnp|Robertson|Seymour|Thomas|1993a}} Because of their low degeneracy, the graphs with Hadwiger number at most k can be colored by a greedy coloring algorithm using O(k {{radic|log k}}) colors. Computational complexityTesting whether the Hadwiger number of a given graph is at least a given value k is NP-complete,{{sfnp|Eppstein|2009}} from which it follows that determining the Hadwiger number is NP-hard. However, the problem is fixed-parameter tractable: there is an algorithm for finding the largest clique minor in an amount of time that depends only polynomially on the size of the graph, but exponentially in h(G).[2] Additionally, polynomial time algorithms can approximate the Hadwiger number significantly more accurately than the best polynomial-time approximation (assuming P ≠ NP) to the size of the largest complete subgraph.[2] Related conceptsThe achromatic number of a graph G is the size of the largest clique that can be formed by contracting a family of independent sets in G. Uncountable clique minors in infinite graphs may be characterized in terms of havens, which formalize the evasion strategies for certain pursuit-evasion games: if the Hadwiger number is uncountable, then it equals the largest order of a haven in the graph.{{sfnp|Robertson|Seymour|Thomas|1991}} Every graph with Hadwiger number k has at most n2O(k log log k) cliques (complete subgraphs).{{sfnp|Fomin|Oum|Thilikos|2010}} {{harvtxt|Halin|1976}} defines a class of graph parameters that he calls S-functions, which include the Hadwiger number. These functions from graphs to integers are required to be zero on graphs with no edges, to be minor-monotone[3], to increase by one when a new vertex is added that is adjacent to all previous vertices, and to take the larger value from the two subgraphs on either side of a clique separator. The set of all such functions forms a complete lattice under the operations of elementwise minimization and maximization. The bottom element in this lattice is the Hadwiger number, and the top element is the treewidth.Notes1. ^{{harvtxt|Kostochka|1984}}; {{harvtxt|Thomason|2001}}. The letters O and Ω in these expressions invoke big O notation. 2. ^1 {{harvtxt|Alon|Lingas|Wahlen|2007}} 3. ^If a function f is minor-monotone then if H is a minor of G then f(H) ≤ f(G). References{{refbegin|colwidth=30em}}
| last = Eppstein | first = David | authorlink = David Eppstein | arxiv = 0807.0007 | issue = 2 | journal = Journal of Graph Algorithms and Applications | pages = 197–204 | title = Finding large clique minors is hard | doi = 10.7155/jgaa.00183 | volume = 13 | year = 2009}}.
| last1 = Fomin | first1 = Fedor V. | last2 = Oum | first2 = Sang-il | last3 = Thilikos | first3 = Dimitrios M. | arxiv = 0910.0079 | doi = 10.1016/j.ejc.2010.05.003 | issue = 7 | journal = European Journal of Combinatorics | pages = 1617–1628 | title = Rank-width and tree-width of H-minor-free graphs | volume = 31 | year = 2010}}.
| last = Halin | first = Rudolf | author-link = Rudolf Halin | doi = 10.1007/BF01917434 | issue = 1-2 | journal = J. Geometry | mr = 0444522 | pages = 171–186 | title = S-functions for graphs | volume = 8 | year = 1976}}.
| last1 = Robertson | first1 = Neil | author1-link = Neil Robertson (mathematician) | last2 = Seymour | first2 = Paul | author2-link = Paul Seymour (mathematician) | last3 = Thomas | first3 = Robin | author3-link = Robin Thomas (mathematician) | doi = 10.1016/0012-365X(91)90343-Z | issue = 1-3 | journal = Discrete Mathematics | mr = 1141945 | pages = 303–319 | title = Excluding infinite minors | volume = 95 | year = 1991}}.
| last1 = Robertson | first1 = Neil | author1-link = Neil Robertson (mathematician) | last2 = Seymour | first2 = P. D. | author2-link = Paul Seymour (mathematician) | last3 = Thomas | first3 = Robin | author3-link = Robin Thomas (mathematician) | doi = 10.1090/S0273-0979-1993-00335-5 | arxiv = math/9301216 |mr=1164063 | issue = 1 | journal = Bulletin of the American Mathematical Society | pages = 84–89 | title = Linkless embeddings of graphs in 3-space | volume = 28 | year = 1993b}}.
| last = Thomason | first = Andrew | doi = 10.1006/jctb.2000.2013 | issue = 2 | journal = Journal of Combinatorial Theory | series = Series B | pages = 318–338 | title = The extremal function for complete minors | volume = 81 | year = 2001}}.
2 : Graph invariants|Graph minor theory |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。