2019년 4월 14일 일요일

Complete Graph


CompleteGraphs
A complete graph is a graph in which each pair of graph vertices is connected by an edge. The complete graph with n graph vertices is denoted K_n and has (n; 2)=n(n-1)/2 (the triangular numbers) undirected edges, where (n; k) is a binomial coefficient. In older literature, complete graphs are sometimes called universal graphs.
The complete graph K_n is also the complete n-partite graph K_(n×1)=K_(1,...,1_()_(n)).
The complete graph on n nodes is implemented in the Wolfram Language as CompleteGraph[n]. Precomputed properties are available using GraphData[{"Complete"n}]. A graph may be tested to see if it is complete in the Wolfram Language using the function CompleteGraphQ[g].
The complete graph on 0 nodes is a trivial graph known as the null graph, while the complete graph on 1 node is a trivial graph known as the singleton graph.
In the 1890s, Walecki showed that complete graphs K_n admit a Hamilton decomposition for odd n, and decompositions into Hamiltonian cycles plus a perfect matching for even n (Lucas 1892, Bryant 2007, Alspach 2008). Alspach et al. (1990) give a construction for Hamilton decompositions of all K_n.
The graph complement of the complete graph K_n is the empty graph on n nodes. K_n has graph genus [(n-3)(n-4)/12] for n>=3 (Ringel and Youngs 1968; Harary 1994, p. 118), where [x] is the ceiling function.
The adjacency matrix A of the complete graph G takes the particularly simple form of all 1s with 0s on the diagonal, i.e., the unit matrix minus the identity matrix,
 A=J-I.
(1)
K_3 is the cycle graph C_3, as well as the odd graph O_2 (Skiena 1990, p. 162). K_4 is the tetrahedral graph, as well as the wheel graph W_4, and is also a planar graphK_5 is nonplanar, and is sometimes known as the pentatope graph or Kuratowski graph. Conway and Gordon (1983) proved that every embedding of K_6 is intrinsically linked with at least one pair of linked triangles, and K_6 is also a Cayley graph. Conway and Gordon (1983) also showed that any embedding of K_7 contains a knotted Hamiltonian cycle.
The complete graph K_n is the line graph of the star graph S_(n+1).
CompleteGraphCycles4CompleteGraphCycles5
The chromatic polynomial pi_n(z) of K_n is given by the falling factorial (z)_n. The independence polynomial is given by
 I_n(x)=1+nx,
(2)
and the matching polynomial by
mu(x)=He_n(x)
(3)
=2^(-n/2)H_n(x/(sqrt(2))),
(4)
where He_n(x) is a normalized version of the Hermite polynomial H_n(x).
The chromatic number and clique number of K_n are n. The automorphism group of the complete graph Aut(K_n) is the symmetric group S_n (Holton and Sheehan 1993, p. 27). The numbers of graph cycles in the complete graph K_n for n=3, 4, ... are 1, 7, 37, 197, 1172, 8018 ... (OEIS A002807). These numbers are given analytically by
C_n=sum_(k=3)^(n)1/2(n; k)(k-1)!
(5)
=1/4n[2_3F_1(1,1,1-n;2;-1)-n-1],
(6)
where (n; k) is a binomial coefficient and _3F_1(a,b,c;d;z) is a generalized hypergeometric function (Char 1968, Holroyd and Wingate 1985).
It is not known in general if a set of trees with 1, 2, ..., n-1 graph edges can always be packed into K_n. However, if the choice of trees is restricted to either the path or star from each family, then the packing can always be done (Zaks and Liu 1977, Honsberger 1985).
The bipartite double graph of the complete graph K_n is the crown graph K_2 square K_n^_.

 From MathWorld--A Wolfram

댓글 없음: