轮图

图论这一数学分支中,轮图wheel graph)是指一个完全点连接到一个循环图上所有节点而形成的图。一些文献中[1]会使用记号Wn来表示有n个节点(n ≥ 4)的轮图;另一些文献中[2]则使用Wn来表示有n+1个节点(n ≥ 3)的轮图,这里n是指形成轮图的循环图中节点的数量。在本条目中使用前一种记号。

轮图
Wheel graphs.svg
轮图的一些例子
顶点n
2(n − 1)
直径2,如果n > 4
1,如果n = 4
围长3
色数4,如果n是偶数
3,如果n是奇数
属性哈密顿图
自对偶
平面图

构造

给定一个点集{1, 2, 3, …, v},则若使用集合建构式符号,轮图的边集可以表示为{{1, 2}, {1, 3}, …, {1, v}, {2, 3}, {3, 4}, …, {v − 1, v}, {v, 2}}。[3]

性质

轮图是平面图,因此有唯一的平面嵌入。更进一步,每个轮图都是哈林图英语Halin graph。轮图是自对偶的:轮图的平面对偶和其自身同构。除了K4 = W4之外,每个极大平面图都有一个形如W5W6的子图。

任意轮图中总有哈密顿环Wn中有 OEIS数列A002061)。

 
轮图W4中的7个环

n为奇数时,Wn是一个完美图英语perfect graph,其色数为3:环上的节点可以用两种颜色染色,而中间的完全点使用第三种颜色。当n为偶数时,Wn色数为4,且当n ≥ 6时不是完美图。W7是轮图中在欧几里得平面上的唯一一个单位距离图英语unit distance graph[4]

轮图Wn色多项式 

拟阵论中,两类重要的拟阵轮拟阵(英语:wheel matroids)和旋拟阵(英语:whirl matroids)的概念都是轮图的推广。

轮图W6埃尔德什·帕尔拉姆齐理论一个猜想的反例:他猜想在色数相同的图中,完全图的拉姆齐数是最小的。但后来有研究发现W6的拉姆齐数是17,而与之色数相同的完全图K4的拉姆齐数则是18[5]。也就是说,对于任意17节点的图GG或它的补图一定有子图W6;而17节点的Paley图英语Paley graph和它的补图都没有子图K4

参考资料

  1. ^ Weisstein, Eric W. (编). Wheel Graph. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. (英语). 
  2. ^ Rosen, Kenneth H. Discrete Mathematics and Its Applications 7th. McGraw-Hill. 2011: 655. ISBN 978-0073383095. 
  3. ^ Trudeau, Richard J. Introduction to Graph Theory Corrected, enlarged republication. New York: Dover Pub. 1993: 56 [8 August 2012]. ISBN 978-0-486-67870-2. (原始内容存档于2019-05-05). 
  4. ^ Buckley, Fred; Harary, Frank, On the euclidean dimension of a wheel, Graphs and Combinatorics, 1988, 4 (1): 23–30, doi:10.1007/BF01864150 .
  5. ^ Faudree, Ralph J.; McKay, Brendan D., A conjecture of Erdős and the Ramsey number r(W6), J. Combinatorial Math. and Combinatorial Comput., 1993, 13: 23–31 [2021-08-21], (原始内容存档于2012-02-05) .