主題
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 猜想

使用 探索

參考文獻

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,出自“整數序列線上百科全書”。

在 中被引用

完全二分圖

引用為

Weisstein, Eric W. "完全二分圖。" 摘自 網路資源。 https://mathworld.tw/CompleteBipartiteGraph.html

主題分類