主题
Search

完全二分图


CompleteBipartiteGraph

完全二分图,有时也称为完全双色图 (Erdős et al. 1965) 或完全二部图,是一个二分图(即将图的顶点集分解为两个不相交的集合,使得同一集合内没有两个图的顶点相邻),其中两个集合中的每对图的顶点都相邻。 如果两个集合中分别有 pq图的顶点,则完全二分图表示为 K_(p,q)。 上图显示了 K_(3,2)K_(2,5)

CompleteBipartiteCirculantGraphs

K_(3,3) 也被称为效用图(并且是循环图 Ci_(1,3)(6)),并且是唯一的 4-笼图K_(4,4) 是一个 Cayley 图。 完全二分图 K_(n,n) 是一个循环图 (Skiena 1990, p. 99),特别是 Ci_(1,3,...,2|_n/2_|+1)(n),其中 |_x_|向下取整函数

K_(m,n) 的特殊情况总结在下表中。

K_(n,n) 对于 n=1, 2, ... 的(有向)哈密顿环的数量为 0, 2, 12, 144, 2880, 86400, 3628800, 203212800, ... (OEIS A143248),其中对于 n>1 的第 n 项由 n!(n-1)! 给出,其中 n!阶乘

完全二分图是优美的。

Zarankiewicz 猜想提出了 K_(m,n)图交叉数的闭合形式。

K_(n,n)独立多项式由下式给出

 I_n(x)=2(x+1)^n-1,
(1)

它具有以下递推方程

 I_n(x)=(x+2)I_(n-1)(x)-(x+1)I_(n-2)(x),
(2)

匹配多项式由下式给出

 mu_n(x)=(-1)^nn!L_n(x^2),
(3)

其中 L_n(x)拉盖尔多项式匹配生成多项式由下式给出

 M_n(x)=n!x^nL_n(-x^(-1)).
(4)

K_(m,n) 具有真哈密顿分解 当且仅当 m=nm 为偶数时成立,并且具有准哈密顿分解 当且仅当 m=nm 为奇数时成立 (Laskar and Auerbach 1976; Bosák 1990, p. 124)。

CompleteBipartite18

上面例示的完全二分图 K_(18,18) 在翁贝托·埃科的小说傅科摆 (1989, p. 473; Skiena 1990, p. 143) 中起着重要的作用。


另请参阅

二分图, 笼图, 鸡尾酒会图, 完全图, 完全 k-部图, 完全三部图, 皇冠图, k-部图, Thomassen 图, 效用图, Zarankiewicz 猜想

使用 Wolfram|Alpha 探索

参考文献

Bosák, J. 图的分解。 New York: Springer, 1990.Chia, G. L. and Sim, K. A. "关于图的连接的偏度。" Disc. Appl. Math. 161, 2405-2409, 2013.Eco, U. 傅科摆。 San Diego: Harcourt Brace Jovanovich, p. 473, 1989.Erdős, P.; Harary, F.; and Tutte, W. T. "关于图的维度。" Mathematika 12, 118-122, 1965.Laskar, R. and Auerbach, B. "关于将 r-部图分解为边不相交的哈密顿回路。" Disc. Math. 14, 265-268, 1976.Saaty, T. L. and Kainen, P. C. 四色问题:进攻与征服。 New York: Dover, p. 12, 1986.Skiena, S. 实现离散数学:组合数学和图论与 Mathematica。 Reading, MA: Addison-Wesley, 1990.Sloane, N. J. A. 序列 A143248,出自“整数序列在线百科全书”。

在 Wolfram|Alpha 中被引用

完全二分图

引用为

Weisstein, Eric W. "完全二分图。" 摘自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/CompleteBipartiteGraph.html

主题分类