惠特尼不等式

圖論中,惠特尼不等式 (英:Whitney's connectivity inequalities or Whitney's inequalities)[1],又稱為惠特尼連通性不等式,是關於圖的連通度的重要不等式,幾乎出現於任何一本圖論教科書中。該不等式明確地指出了圖的點連通度與邊連通度以及與圖最小度之間的大小關係。但目前關於該定理的提出者是否是哈斯勒·惠特尼還沒有統一定論。[2]

敘述

對於任何一個非平凡圖 ,均滿足

 其中 表示圖 點連通度 表示圖 邊連通度 表示圖 最小度

證明

 
惠特尼不等式的右半邊證明

右半邊

由於圖 的最小度為 ,於是考慮 中度為 的點  。從 中刪除與 相接的所有邊,則 成為孤立點,即與 相接的所有邊構成了一個不連通邊集 ,且該不連通邊集的大小 。根據邊連通性的定義, 

左半邊

考慮圖 的最小不連通邊集 ,只需證明存在圖 的一個割集 ,它們的大小滿足 即可。 對於  將圖 分割成至少兩個連通分量 ,這裏取 為連通分量, 為剩餘部分(不一定為連通分量)。令 ,顯然 中不包含任何邊,否則從 中除去該邊,則得到比 更小的不連通邊集,與 是最小的不連通邊集矛盾。

  • 如果 ,即 除去 中的點外還有其他點 ,則 可以作為分離  的割集。考慮 的大小,斷言 。這是因為根據上述分析, 中不包含任何邊,而 ,所以 中任意一點均與 中至少一條邊相接。於是 
  • 如果 ,即 除去 中的點外沒有其他點,此時 並不能直接作為割集。任取一點 ,考慮 的鄰居組成的集合 。顯然 分割了 與其他部分,所以 可以作為圖 的割集,斷言 。這是因為,若 的鄰居為 中的點,則它們之間的邊即為 中的邊,所以對於這樣的鄰居, 中一個點對應了 中一條邊;若 的鄰居也是 中的點,則一定存在與該鄰居相接的在 中的邊,所以對於這樣的鄰居, 中一個點對應了 中至少一條邊。於是 
  • 惠特尼不等式的左半邊證明
  • 最小不連通邊集的分割情況
  • 連通分量中沒有其他點的情況

關於3正則圖的推論

當圖 3正則圖時, [3]

推論證明

 
3正則圖的割集與不連通邊集

根據惠特尼不等式,已有 ,只需證明 

考慮圖 的最小割集 ,由於圖 是3正則圖,則 與餘下被分隔的部分之間的連接只有最多三種類型。

  1. 對於第一種類型, 中的點與連通分量 相連1條邊,與剩餘部分相連2條邊,則取與連通分量 相連的1條邊加入集合 
  2. 對於第二種類型, 中的點與連通分量 相連2條邊,與剩餘部分相連1條邊,則取與剩餘部分相連的1條邊加入集合 
  3. 對於第三種類型, 中的點與連通分量 相連1條邊,與剩餘部分相連1條邊,與 中的另一點相連一條邊,則取與連通分量 相連的1條邊加入集合 

顯然, ,且 是圖 的不連通邊集。於是 

影響及意義

一方面,該不等式提供了三個圖的基本量之間的大小關係,為其他不等式以及定理提供了放縮方向;另一方面,該不等式也反映了「高連通性需要圖較為稠密」的組合直觀。

參考文獻

  1. ^ Whitney, Hassler. Congruent Graphs and the Connectivity of Graphs.. American Journal of Mathematics. 1932, 54: 150–68 [2021-12-10]. doi:10.2307/2371086. (原始內容存檔於2022-05-21). 
  2. ^ 程釗. 关于惠特尼不等式的历史注记. 第三屆數學史與數學教育國際研討會. 中國北京. 2009 [2021-12-10]. (原始內容存檔於2021-12-10). 
  3. ^ West, Douglas Brent. Introduction to Graph Theory. Prentice Hall. 2001: 153-154. ISBN 81-7808-830-4.