查看“︁惠特尼连通性定理”︁的源代码

{{Refimprove|time=2021-12-10T07:00:00+00:00}}
[[File:Whitney_Theorem_on_connectivity_Proof_Overview.png|替代=惠特尼定理概述图|缩略图|惠特尼定理概述图]]
[[图论]]中，'''惠特尼连通性定理'''（{{lang|en|Whitney's theorem on connectivity}}）<ref>{{Cite journal|title=A simple proof of Whitney's Theorem on connectivity in graphs|author=Kewen Zhao|url=https://mb.math.cas.cz/full/136/1/mb136_1_3.pdf|journal=Mathematica Bohemica|issue=1|doi=10.21136/MB.2011.141446|others=Sanya|year=2011|volume=136|page=25-26|access-date=2021-12-10|archive-date=2021-12-10|archive-url=https://web.archive.org/web/20211210082745/https://mb.math.cas.cz/full/136/1/mb136_1_3.pdf}}</ref>，简称'''惠特尼定理'''（{{lang-en|Whitney's theorem}}），是美國數學家[[哈斯勒·惠特尼]]于1932年<ref>{{Cite journal|title=Congruent graphs and the connectivity of graphs|url=https://archive.org/details/sim_american-journal-of-mathematics_1932-01_54_1/page/150|author=Hassler Whitney|journal=American Journal of Mathematics|issue=1|doi=10.2307/2371086|year=1932|volume=54|page=150-168}}</ref>提出的关于[[连通图|2连通图]]等价性质的定理，该定理提供了关于2连通图的不同点对之间的连通性质刻画，描述了2连通图的特殊性质<ref>{{Cite book|title=Introduction to Graph Theory|url=https://archive.org/details/introductiontogr00west_576|last=West|first=Douglas Brent|publisher=Prentice Hall|year=2001|isbn=81-7808-830-4|pages=[https://archive.org/details/introductiontogr00west_576/page/n181 161]}}</ref>。

== 定理陈述 ==
对一个图<math>G</math>，若<math>G</math>至少存在3个点，则<math>G</math>是2连通的当且仅当对<math>G</math>中任意两个点<math>u, v</math>，<math>G</math>中至少存在连接<math>u, v</math>的2条[[门格尔定理|内部不相交路径]]，即除首尾相同（皆為<math>u, v</math>）外，沒有其他公共頂點的路徑。

== 定理证明 ==

=== 必要性 ===
因为任意两点之间均存在路径，于是<math>G</math>是连通的。

进一步，对于任意两点之间有至少存在两条内部不相交路径，所以考虑删除<math>G</math>中任意一点，其均不会造成<math>G</math>不连通。于是<math>G</math>是2连通的。

=== 充分性 ===
<math>G</math>是2连通的，希望证明对于任意两点<math>u, v\in V(G)</math>，能找到至少两条连接<math>u, v</math>的内部不相交路径。

下面通过对<math>u, v</math>之间的[[距离 (图论)|距离]]<math>d(u, v)</math>进行归纳来由[[数学归纳法]]证明：

# 对于<math>d(u, v) = 1</math>，此时<math>uv</math>是<math>G</math>的一条边。而由于<math>\kappa(G)\geq 2</math>，根据[[惠特尼不等式]]，<math>\lambda(G) \geq \kappa(G)</math>，于是<math>\lambda(G)\geq 2</math>。那么<math>G</math>至少需要删两条边才会导致不连通，于是<math>G</math>删一条边之后仍然还是连通的。则考虑<math>G-uv</math>，其仍然是连通图，于是对于<math>u, v</math>，<math>G-uv</math>仍然存在一条路径连接<math>u, v</math>。于是<math>G</math>中至少存在两条连接<math>u, v</math>的内部不相交路径。
# 假设对于<math>d(u, v) = k - 1</math>，<math>G</math>中都存在至少两条连接<math>u, v</math>的内部不相交路径，则考虑<math>d(u, v) = k</math>；
# 由于<math>u, v</math>之间距离为<math>k</math>，则<math>G</math>中一定存在一条连接<math>u, v</math>的路径<math>P</math>，且<math>P</math>的长度（其包含的边的数量）为<math>k</math>，如图1所示。此时考虑<math>P</math>中<math>v</math>的邻居<math>w</math>，<math>w</math>一定满足<math>d(u, w) = k - 1</math>。这是因为对于<math>w</math>在<math>P</math>中已经有<math>u</math>到<math>w</math>长度为<math>k-1</math>的路径，而如果还存在其他路径长度小于<math>k-1</math>，那么也存在<math>u</math>到<math>v</math>的路径长度小于<math>k</math>，与<math>d(u, v) = k</math>矛盾。于是对于<math>u, w</math>，根据归纳假设，存在至少2条连接<math>u, w</math>的内部不相交路径<math>P, P'</math>。于是<math>P\cup P'</math>构成了一个环，如图2所示。[[File:Whitney_Theorem_Sufficiency_Proof.png|替代=充分性的归纳证明|缩略图|310x310像素|充分性的归纳证明]]
#* 如果<math>v\in P\cup P'</math>，即<math>v</math>已经在这个环上，如图3所示，则对于<math>u</math>与<math>v</math>这两个环上的点，它们之间也存在环上两条相反的绕行方向的路径，于是<math>u</math>与<math>v</math>存在两条内部不相交的路径。
#* 如果<math>v\notin P\cup P'</math>，那么由于<math>G</math>是2连通的，则考虑<math>G-w</math>，其仍然是连通的。那么对于<math>u, v</math>，此时存在另一条连接<math>u, v</math>的路径<math>Q</math>。此时，如果<math>Q</math>与<math>P</math>以及<math>P'</math>除了<math>u</math>之外没有其他交点，如图4所示，则显然<math>Q</math>与<math>P\cup wv</math>就构成了连接<math>u, v</math>的两条内部不相交路径；否则，令<math>z</math>为<math>Q</math>与<math>P\cup P'</math>相交的最后一个交点，根据<math>P, P'</math>的对称性，不妨假设<math>z</math>就在<math>P</math>上，如图所示。那么考虑<math>\underbrace{(u\rightsquigarrow z)}_P\cup \underbrace{(z\rightsquigarrow v)}_Q</math>和<math>\underbrace{(u\rightsquigarrow w)}_{P'}\cup wv</math>，这两条路径则构成了连接<math>u, v</math>的内部不相交路径。
# 于是无论如何，当<math>d(u, v) = k</math>时，均能至少找到连接<math>u, v</math>的两条内部不相交路径。

于是根据数学归纳法，当<math>G</math>是2连通图时，对于任意两点<math>u, v\in V(G)</math>，能找到至少两条连接<math>u, v</math>的内部不相交路径。

== 推论 ==
根据惠特尼定理的结论，可以得到关于2连通图的等价描述的推论：

# 图<math>G</math>是连通且没有[[连通图|割点]]（即图<math>G</math>是2连通的）；
# 对于图<math>G</math>中任意两点<math>u, v</math>，<math>G</math>中存在至少两条连接<math>u, v</math>的内部不相交路径；
# 对于图<math>G</math>中任意两点<math>u, v</math>，<math>G</math>中存在一个环<math>C</math>且<math>u, v</math>均在<math>C</math>上；
# 图<math>G</math>的最小度至少为1，且对于图<math>G</math>中的任意两条边<math>e_1, e_2</math>，<math>G</math>中存在一个环<math>C</math>且<math>e_1, e_2</math>均在<math>C</math>上。<ref>{{Cite book|title=Introduction to Graph Theory|url=https://archive.org/details/introductiontogr00west_576|last=West|first=Douglas Brent|publisher=Prentice Hall|year=2001|isbn=81-7808-830-4|pages=[https://archive.org/details/introductiontogr00west_576/page/n182 162]}}</ref>

=== 推论证明 ===

* 描述1<math>\Leftrightarrow</math>描述2：直接运用惠特尼定理即可。
* 描述2<math>\Leftrightarrow</math>描述3：关系是显然的。若这两点之间存在至少两条连接它们的内部不相交路径，则这两条内部不相交路径的并形成了环且这两点在环上；若存在这两点同时位于环上，则这两点之间在环上的不同绕行方向的路径形成了连接它们的两条内部不相交路径。
* 描述4<math>\Leftrightarrow</math>描述3：对任意的两点<math>u, v\in V(G)</math>，由于<math>\delta(G)\geq 1</math>，则<math>u, v</math>均存在邻居，<math>\exists ux, vy\in E(G)</math>。考察<math>ux, vy</math>，
** 若<math>ux\cap vy = \varnothing</math>即<math>ux, vy</math>两条边完全分离，则由于任意两条边均位于一个环上，于是<math>ux, vy</math>位于同一个环上，于是<math>u, v</math>也位于该环上。
** 若<math>ux\cap vy = z</math>即<math>ux, vy</math>两条边有一个公共点<math>z</math>，此时<math>ux, vy</math>仍然是两条不同的边，则同样由于任意两条边均位于一个环上，于是<math>ux, vy</math>位于同一个环上，于是<math>u, v</math>也位于该环上。
** 若<math>ux\cap vy = uv</math>即<math>ux, vy</math>实际上只是一条边<math>uv</math>，此时<math>uv</math>与其他任意一条边仍然位于同一个环上，所以<math>u, v</math>仍然位于环上。
* 描述123<math>\Leftrightarrow</math>描述4：首先根据描述1，图<math>G</math>是连通的，所以<math>\delta(G)\geq 1</math>。其次，对于图<math>G</math>中的任意两条边<math>uv, xy</math>，下面证明它们位于同一个环上。

[[File:2-connected_equivalence_proof.png|替代=向G中加入两个辅助点w,z|左|缩略图|向<math>G</math>中加入两个辅助点<math>w, z</math>]]
令<math>G' = G\cup \{w, z\}\cup \{uw, vw, xz, yz\}</math>。首先<math>G'</math>仍然是2连通的，这是因为，<math>G'</math>的构造过程是加入两个点且两个点均与原图<math>G</math>中两个点相连，则考虑<math>G'</math>中的[[连通图|割集]]<math>S</math>。若割集中含有新加入的点<math>\{w, z\}</math>，则除去新加入的点，<math>S - \{w, z\}</math>是原图<math>G</math>的割集，而根据描述1，<math>G</math>本是2连通的，则<math>|S| \geq 2+1=3</math>或<math>|S| \geq 2+2=4</math>；若割集中不含有新加入的点，如果割集取自<math>\{u, v, x, y\}</math>，则<math>|S| \geq 2</math>，否则<math>S</math>实际上是原图<math>G</math>的割集，所以同样，<math>|S| \geq 2</math>。所以无论如何，对于<math>G'</math>的任意割集，其大小至少为2，故<math>G'</math>仍然是2连通的。实际上，关于向<math>k</math>-连通图加入辅助点的更一般的结论称为「扩展引理」（{{lang|en|expansion lemma}}），它也在证明[[门格尔定理]]中发挥了作用。<ref>{{Cite book|title=Introduction to Graph Theory|url=https://archive.org/details/introductiontogr00west_576|last=West|first=Douglas Brent|publisher=Prentice Hall|year=2001|isbn=81-7808-830-4|pages=[https://archive.org/details/introductiontogr00west_576/page/n182 162], 167-168}}</ref>

那么根据描述3，对于<math>G'</math>，一定存在环<math>C</math>，<math>w, z</math>均位于<math>C</math>上。而<math>w, z</math>的度均为2，所以<math>uw, vw, xz, yz</math>也位于<math>C</math>上，且<math>C</math>的其他边均来自原图<math>G</math>。于是可以将<math>uwv</math>替换成<math>uv</math>，<math>xzy</math>替换成<math>xy</math>，从而<math>uv, xy</math>均位于原图中的一个环上。

{{clear}}
== 影响及意义 ==
惠特尼定理提供了对于2连通性的更具体的性质刻画，从而提供了另一种对于2连通性的具体证明方向。

== 参考文献 ==
<references />
* {{cite book|title = Graph Theory with Applications|url = https://archive.org/details/graphtheorywitha0000bond|author1-first = J. A. |author1-last = Bondy|author2-first = U. S. R.|author2-last = Murty|publisher = [[Elsevier]]|year = 1976|isbn = 0-444-19451-7|pages = [https://archive.org/details/graphtheorywitha0000bond/page/44 44]–45}}
* {{cite book|chapter = Connectivity: Properties and Structure|author1-first = Camino|author1-last = Balbuena|author2-first = Josep|author2-last = Fabrega|author3-first = Miquel|author3-last = Ángel Fiol|title = Handbook of Graph Theory|url = https://www.routledgehandbooks.com/doi/10.1201/b16132-12|editor1-first = Jonathan L.|editor1-last = Gross|editor2-first = Jay|editor2-last = Yellen|editor3-first = Ping|editor3-last = Zhang|isbn = 9781439880197|publisher = {{le|CRC出版社|CRC Press|CRC Press}}|year = 2013|pages = 238, 241–242|access-date = 2022-01-23|archive-date = 2022-01-23|archive-url = https://web.archive.org/web/20220123170950/https://www.routledgehandbooks.com/doi/10.1201/b16132-12}}
{{图论}}
[[Category:图论]]
[[Category:组合数学]]
[[Category:理论计算机科学]]
[[Category:数学定理]]