§D2.12マッチング・彩色・平面グラフ

最終更新

マッチング・彩色・平面グラフは、いずれも「グラフの局所的な制約を大域的な最適・不可能性へ翻訳する」構造理論であり、その翻訳は交互道・貪欲順序・オイラーの公式という三つの数え上げ論法によって遂行されます。 本記事では、最大マッチングを増加道で特徴づけるベルジュの定理から出発し、二部グラフでの完全マッチングの存在条件(ホール)と最大マッチングと最小頂点被覆の一致(ケーニヒ)を証明します。続いて彩色数を定め、貪欲彩色と二部性による上界を証明し、後に扱うブルックスの定理を位置づけます。最後に平面グラフのオイラーの公式と辺数評価からK5,K3,3K_5,K_{3,3}の非平面性と6彩色可能性を導きます。

本記事を通じて、グラフG=(V,E)G=(V,E)は有限・単純・無向とする(多重辺・ループをもたない)。頂点vvの次数をdeg⁡(v)\deg(v)、最大次数をΔ(G)\Delta(G)で表し、頂点集合S⊆VS\subseteq Vに対しN(S):={y:∃x∈S, xy∈E}N(S):=\{y : \exists x\in S,\ xy\in E\}をその近傍とする。グラフと木の基本概念(隣接・次数・道・閉路・連結成分、および二部グラフ)は既習とし、必要な事実はその都度明示する。ここでGGが二部であるとは、VVが二つの独立集合X,YX,Yに分割される(V=X⊔YV=X\sqcup Y、すべての辺がXXとYYをまたぐ)ことをいう。

1 マッチング

定義 1.1 (マッチング・増加道). グラフG=(V,E)G=(V,E)において、辺集合M⊆EM\subseteq Eがマッチングであるとは、MMの相異なる二辺が端点を共有しないことをいう。MMに属する辺の端点を MM-飽和、そうでない頂点を MM-非飽和という。

  • 要素の個数∣M∣|M|が最大のマッチングを最大マッチングという。
  • すべての頂点がMM-飽和であるマッチングを完全マッチングという。
  • MM-非飽和頂点から始めて、MMの辺とMMに属さない辺を交互に通る道を MM-交互道という。相異なる二つのMM-非飽和頂点を結ぶ正の奇数長のMM-交互道を MM-増加道という。

増加道PPに沿って辺の所属を反転させる操作を、対称差M△E(P):=(M∖E(P))∪(E(P)∖M)M\triangle E(P):=(M\setminus E(P))\cup(E(P)\setminus M)で表す。PPの長さは奇数(非マッチング辺が一つ多い)なので、この操作でマッチングの大きさが11増える。これがベルジュの定理の核心である。

定理 1.2 (ベルジュの定理). マッチングMMが最大であることと、MM-増加道が存在しないことは同値である。

証明. (増加道があれば最大でない)MM-増加道PPをu0e1u1e2⋯e2k+1u2k+1u_0e_1u_1e_2\cdots e_{2k+1}u_{2k+1}とする。両端u0,u2k+1u_0,u_{2k+1}はMM-非飽和で、e1,e3,…,e2k+1e_1,e_3,\dots,e_{2k+1}が非マッチング辺、e2,e4,…,e2ke_2,e_4,\dots,e_{2k}がマッチング辺である。M′:=M△E(P)M':=M\triangle E(P)とおくと、M′M'はPP上でマッチング辺と非マッチング辺を入れ替えたものである。PPの内部の各頂点uiu_i(1≤i≤2k1\le i\le 2k)は、MMでちょうど一本のマッチング辺(PP上の)に接していたのが、M′M'でもちょうど一本(PP上の隣の辺)に接する。両端u0,u2k+1u_0,u_{2k+1}はMMで非飽和、M′M'でちょうど一本に接する。PP外の頂点の接続は不変。ゆえにM′M'でも各頂点は高々一本の辺に接し、M′M'はマッチングである。PPは非マッチング辺k+1k+1本・マッチング辺kk本を含むので∣M′∣=∣M∣−k+(k+1)=∣M∣+1|M'|=|M|-k+(k+1)=|M|+1。よってMMは最大でない。

(最大でなければ増加道がある)MMが最大でないとし、∣M∗∣>∣M∣|M^*|>|M|なるマッチングM∗M^*をとる。対称差H:=M△M∗H:=M\triangle M^*を辺集合とする部分グラフを考える。各頂点はMMの辺に高々一本、M∗M^*の辺に高々一本しか接しないから、HHにおける次数は高々22である。ゆえにHHの各連結成分は道または閉路であり、HHの辺はMMとM∗M^*に交互に属する(同じマッチングの二辺は端点を共有しないため隣り合えない)。閉路成分は交互だから長さが偶数で、MMの辺とM∗M^*の辺を同数含む。いま∣M∗∣>∣M∣|M^*|>|M|、すなわちHH全体でM∗M^*の辺がMMの辺より多いから、M∗M^*の辺をMMの辺より多く含む成分が存在する。それは閉路ではありえず、両端がM∗M^*の辺で終わる道QQである。QQの両端点はM∗M^*の辺に接するがMMの辺には接しない(QQ内で端点に隣接するMM辺がない)からMM-非飽和であり、QQの辺はMMとM∗M^*に交互に属するのでQQはMM-増加道である。▨

定理 1.3 (ホールの結婚定理). 二部グラフGGの部集合をX,YX,Yとする。XXのすべての頂点を飽和するマッチングが存在することと、次のホールの条件が成り立つことは同値である。∀S⊆X,∣N(S)∣≥∣S∣.\forall S\subseteq X,\quad |N(S)|\ge |S|.

証明. (必要性)XXを飽和するマッチングMMがあるとする。各x∈Xx\in Xをその相手M(x)∈YM(x)\in Yに写す対応はS⊆XS\subseteq X上で単射であり(相異なる頂点は相異なる相手をもつ)、像はN(S)N(S)に含まれる。ゆえに∣N(S)∣≥∣S∣|N(S)|\ge|S|。

(十分性)∣X∣|X|に関する帰納法で示す。∣X∣=0|X|=0のときは空マッチングがXXを飽和する。∣X∣=1|X|=1のとき、ホールの条件∣N({x})∣≥1|N(\{x\})|\ge 1よりxxに隣接するyyがあり、{xy}\{xy\}がXXを飽和する。∣X∣≥2|X|\ge 2とし、より小さい部集合に対して主張が成り立つと仮定する。次の二つの場合に分ける。

場合 1: すべての空でない真部分集合S⊊XS\subsetneq Xで∣N(S)∣≥∣S∣+1|N(S)|\ge|S|+1(余裕がある). 任意のx∈Xx\in Xをとり、N({x})≠∅N(\{x\})\ne\varnothingよりy∈N({x})y\in N(\{x\})を一つ選んで辺xyxyをマッチングに入れる。GGからx,yx,yを除いたグラフでX′:=X∖{x}X':=X\setminus\{x\}を考える。任意のS⊆X′S\subseteq X'について、GGでの近傍N(S)N(S)からyyを除いた高々一つ分しか減らないから∣NG−y(S)∣≥∣NG(S)∣−1≥(∣S∣+1)−1=∣S∣.|N_{G-y}(S)|\ge |N_G(S)|-1\ge (|S|+1)-1=|S|.ホールの条件が保たれるので、帰納法の仮定によりX′X'を飽和するマッチングがとれる。これにxyxyを加えればXXを飽和する。

場合 2: ある空でない真部分集合S0⊊XS_0\subsetneq Xで∣N(S0)∣=∣S0∣|N(S_0)|=|S_0|(等号がぎりぎり成立). まずS0∪N(S0)S_0\cup N(S_0)が張る部分グラフG0G_0を考える。任意のT⊆S0T\subseteq S_0について、G0G_0でのTTの近傍はGGでのそれと一致しN(T)⊆N(S0)N(T)\subseteq N(S_0)、かつ∣N(T)∣≥∣T∣|N(T)|\ge|T|。∣S0∣<∣X∣|S_0|<|X|だから帰納法の仮定によりS0S_0を飽和するマッチングM1M_1がとれる。

次に、残りの頂点が張る部分グラフG1G_1(部集合X∖S0X\setminus S_0とY∖N(S0)Y\setminus N(S_0))を考える。任意のT⊆X∖S0T\subseteq X\setminus S_0に対し、G1G_1での近傍はNG1(T)=NG(T)∖N(S0)N_{G_1}(T)=N_G(T)\setminus N(S_0)である。ここでホールの条件をS0∪TS_0\cup Tに適用すると、NG(S0∪T)=NG(S0)∪NG(T)N_G(S_0\cup T)=N_G(S_0)\cup N_G(T)かつ∣NG(S0)∣=∣S0∣|N_G(S_0)|=|S_0|より∣NG1(T)∣=∣NG(S0∪T)∖NG(S0)∣≥∣S0∪T∣−∣S0∣=(∣S0∣+∣T∣)−∣S0∣=∣T∣.|N_{G_1}(T)|=|N_G(S_0\cup T)\setminus N_G(S_0)|\ge |S_0\cup T|-|S_0|=(|S_0|+|T|)-|S_0|=|T|.(S0S_0とTTは互いに素なので∣S0∪T∣=∣S0∣+∣T∣|S_0\cup T|=|S_0|+|T|。)よってG1G_1でホールの条件が成り立ち、∣X∖S0∣<∣X∣|X\setminus S_0|<|X|だから帰納法の仮定によりX∖S0X\setminus S_0を飽和するマッチングM2M_2がとれる。M1M_1とM2M_2は頂点集合が互いに素なのでM1∪M2M_1\cup M_2はマッチングであり、X=S0∪(X∖S0)X=S_0\cup(X\setminus S_0)全体を飽和する。▨

定理 1.4 (ケーニヒの定理). 二部グラフGGにおいて、最大マッチングの大きさと最小頂点被覆(すべての辺の少なくとも一方の端点を含む頂点集合)の大きさは等しい。

証明. 部集合をX,YX,Yとする。弱い向き(最小頂点被覆≥\ge最大マッチング)はすぐわかる:マッチングMMの辺は互いに端点を共有しないから、それらを覆うにはマッチング辺ごとに相異なる頂点が少なくとも一つ要り、任意の頂点被覆は≥∣M∣\ge|M|個の頂点をもつ。したがって最小頂点被覆≥\ge最大マッチング。

等号を示すため、最大マッチングMM(∣M∣=m|M|=m)から大きさmmの頂点被覆を構成する。XXのMM-非飽和頂点全体をUUとし、UUの頂点からMM-交互道で到達できる頂点全体をZZとする(交互道はUUの頂点から非マッチング辺で出発し、以後マッチング辺・非マッチング辺を交互にたどる)。定義により、Z∩XZ\cap Xの頂点はマッチング辺で(または始点として)到達され、Z∩YZ\cap Yの頂点は非マッチング辺で到達される。ここでK:=(X∖Z)∪(Y∩Z)K:=(X\setminus Z)\cup(Y\cap Z)とおく。

KKは頂点被覆である. 辺xyxy(x∈X, y∈Yx\in X,\ y\in Y)がKKに覆われないと仮定すると、x∉X∖Zx\notin X\setminus Zすなわちx∈Zx\in Z、かつy∉Y∩Zy\notin Y\cap Zすなわちy∉Zy\notin Zである。

  • xy∈Mxy\in Mの場合:x∈Z∩Xx\in Z\cap Xが始点UUに属せばxxは非飽和なのでxy∈Mxy\in Mに反する。x∈Z∩X∖Ux\in Z\cap X\setminus Uなら、xxはマッチング辺で到達されているから、xxの唯一のマッチング相手はZZに属する。その相手はyy(xy∈Mxy\in M)だからy∈Zy\in Z、矛盾。
  • xy∉Mxy\notin Mの場合:x∈Z∩Xx\in Z\cap Xから非マッチング辺xyxyに沿って交互道を延長できy∈Zy\in Z、矛盾。

いずれも矛盾するので、すべての辺はKKに覆われる。

∣K∣=m|K|=m. 二つの観察を用いる。

(i)Y∩ZY\cap Zの各頂点はMM-飽和である。もしy∈Y∩Zy\in Y\cap Zが非飽和なら、UU(非飽和)からyy(非飽和)へのMM-交互道はMM-増加道となり、MMの最大性(定理 1.2)に反する。ゆえにyyはマッチング相手M(y)∈XM(y)\in Xをもち、y∈Zy\in Zからマッチング辺でM(y)M(y)に到達できるのでM(y)∈X∩ZM(y)\in X\cap Z、したがってM(y)∉KM(y)\notin K。

(ii)X∖ZX\setminus Zの各頂点xxはMM-飽和である(非飽和ならx∈U⊆Zx\in U\subseteq Zとなりx∉Zx\notin Zに反する)。相手M(x)∈YM(x)\in Yについて、もしM(x)∈Y∩ZM(x)\in Y\cap Zなら、そのマッチング辺によりx∈Zx\in Zとなって矛盾。ゆえにM(x)∈Y∖ZM(x)\in Y\setminus Z、したがってM(x)∉KM(x)\notin K。

(i)(ii) により、KKの各頂点をそのマッチング辺に対応させる写像を定める。X∖ZX\setminus Zの頂点はXX-側端点がX∖ZX\setminus Zにあるマッチング辺へ、Y∩ZY\cap Zの頂点はXX-側端点がX∩ZX\cap Zにあるマッチング辺へ移る。これら二種のマッチング辺はXX-側端点が別(X∖ZX\setminus ZとX∩ZX\cap Z)だから相異なり、KKの相異なる頂点は相異なるMMの辺へ単射に写る。ゆえに∣K∣≤∣M∣=m|K|\le|M|=m。

以上より、頂点被覆KKが存在して∣K∣≤m|K|\le m。弱い向きから任意の頂点被覆は≥m\ge mなので、最小頂点被覆はmmに等しく、=∣K∣==|K|=最大マッチングである。▨

2 彩色

定義 2.1 (頂点彩色・彩色数). グラフG=(V,E)G=(V,E)の(真の)頂点彩色とは、写像c ⁣:V→{1,…,k}c\colon V\to\{1,\dots,k\}で、隣接する任意の二頂点u,vu,v(uv∈Euv\in E)に対しc(u)≠c(v)c(u)\ne c(v)を満たすものをいう。このときccを kk-彩色という。GGがkk-彩色をもつ最小のkkを GGの彩色数といいχ(G)\chi(G)で表す。同値に、χ(G)\chi(G)はVVを独立集合(辺をもたない頂点集合)に分割する最小の分割数である。

命題 2.2 (貪欲彩色の上界). 任意のグラフGGに対しχ(G)≤Δ(G)+1\chi(G)\le\Delta(G)+1が成り立つ。

証明. 頂点に任意の順序v1,v2,…,vnv_1,v_2,\dots,v_nを与え、i=1,2,…,ni=1,2,\dots,nの順に、viv_iに対して「すでに彩色済みの隣接頂点が使っていない最小の色」を割り当てる(貪欲彩色)。viv_iを塗る時点で、その隣接頂点は高々deg⁡(vi)≤Δ(G)\deg(v_i)\le\Delta(G)個であり、それらが使う色は高々Δ(G)\Delta(G)種類である。ゆえに色の集合{1,2,…,Δ(G)+1}\{1,2,\dots,\Delta(G)+1\}には必ず未使用の色があり、viv_iを塗れる。各頂点は塗る時点で隣接済み頂点と異なる色をもつので、得られる彩色は真の彩色である。使う色はΔ(G)+1\Delta(G)+1種以下だからχ(G)≤Δ(G)+1\chi(G)\le\Delta(G)+1。▨

命題 2.3 (2彩色可能性と二部性). グラフGGについて次は同値である。(a)χ(G)≤2\chi(G)\le 2、(b)GGは二部グラフ、(c)GGは奇数長の閉路をもたない。

証明. (a)⇔\Leftrightarrow(b).χ(G)≤2\chi(G)\le 2なら22-彩色c ⁣:V→{1,2}c\colon V\to\{1,2\}があり、V1:=c−1(1)V_1:=c^{-1}(1),V2:=c−1(2)V_2:=c^{-1}(2)はともに独立集合で、すべての辺はV1V_1とV2V_2をまたぐからGGは二部(辺が無いならχ(G)=1\chi(G)=1でも二部)。逆に二部分割V=X⊔YV=X\sqcup Yがあれば、XXに色11、YYに色22を与えると真の22-彩色になりχ(G)≤2\chi(G)\le 2。

§D2.7 定理 5.3により、(b) と (c) は同値です。▨

注意 2.4 (ブルックスの定理). 後に扱うブルックスの定理は、連結グラフGGが完全グラフでも奇閉路でもないならば、χ(G)≤Δ(G)\chi(G)\le\Delta(G)が成り立つと述べます。この主張の証明には、22-連結な正則グラフの構造に関する補題が必要です。本記事ではその証明を扱わず、証明済みの一般的な上界としては命題 2.2のχ(G)≤Δ(G)+1\chi(G)\le\Delta(G)+1を用います。

3 平面グラフ

定義 3.1 (平面グラフ・面). 抽象グラフGGの平面埋め込みとは、頂点を平面R2\R^2の相異なる点へ写し、各辺をその端点を結ぶ曲線へ写して、辺同士が端点以外で交わらないようにすることである。抽象グラフと、その平面埋め込みを一つ選んだものとの組を平面グラフという。平面埋め込みを少なくとも一つもつ抽象グラフを平面的グラフという。

平面グラフの選択済み埋め込みの像をR2\R^2から除いた集合の連結成分を面といい、非有界な面を外面という。

定理 3.2 (オイラーの公式). 連結な平面グラフにおいて、頂点数VV、辺数EE、選択済み埋め込みの面数FFの間にV−E+F=2V-E+F=2が成り立つ。

証明. 辺数EEに関する帰納法で示します。位相的入力として、ジョルダン曲線定理(平面上の単純閉曲線は平面を二つの連結成分に分けること)と、その平面埋め込みへの帰結である「閉路上の辺を削除すると、その辺に接する相異なる二面が一つに併合され、それ以外の面は変わらないこと」を認めて用います。

GGが閉路をもたない場合、連結だからGGは木でありE=V−1E=V-1である。木の平面埋め込みは平面を分割せず面はただ一つ(外面のみ)でF=1F=1。ゆえにV−E+F=V−(V−1)+1=2V-E+F=V-(V-1)+1=2。

GGが閉路をもつ場合、その閉路上の辺eeを一つとる。選択済み埋め込みにおける閉路の像は単純閉曲線であり、上で認めた位相的入力により、eeは相異なる二面に接し、eeを除くとこの二面だけが一つに併合される。したがって面数は11減る。また、eeは閉路上の辺だから除いても連結性は保たれる。G−eG-eは連結な平面グラフで、辺数E−1E-1、面数F−1F-1、頂点数VVである。帰納法の仮定によりV−(E−1)+(F−1)=2⟹V−E+F=2.V-(E-1)+(F-1)=2\quad\Longrightarrow\quad V-E+F=2.▨

注意 3.3. ジョルダン曲線定理と、閉路上の辺を削除したときの面の併合に関する位相的な議論は、本記事では証明しません。これらの入力を含む平面埋め込みの議論は、参考文献に挙げた Diestel と West の教科書で確認することができます。

系 3.4 (平面グラフの辺数評価).V≥3V\ge 3の単純平面的グラフではE≤3V−6E\le 3V-6が成り立つ。とくに二部かつV≥3V\ge 3ならより強くE≤2V−4E\le 2V-4が成り立つ。これによりK5K_5とK3,3K_{3,3}は平面的でない。

証明. まずGGが連結な場合を示す。平面埋め込みをとり、E≤2E\le 2ならば3V−6≥3>E3V-6\ge 3>Eかつ2V−4≥2≥E2V-4\ge 2\ge Eなので両方の評価が成立する。以下ではE≥3E\ge 3とする。各面ffの境界の長さ(境界を一周する閉じた歩道でたどる辺の延べ本数、橋は二回数える)をℓ(f)\ell(f)とする。各辺はちょうど二つの面の境界に一回ずつ(橋なら同じ面に二回)現れるので∑fℓ(f)=2E.\sum_{f}\ell(f)=2E.GGは単純でV≥3V\ge 3,E≥3E\ge 3だから、各面の境界の長さはℓ(f)≥3\ell(f)\ge 3である(ループ・多重辺がないため長さ1,21,2の面境界は生じない)。ゆえに3F≤∑fℓ(f)=2E3F\le\sum_f\ell(f)=2E、すなわちF≤23EF\le \tfrac{2}{3}E。オイラーの公式(定理 3.2)F=2−V+EF=2-V+Eを代入して2−V+E≤23E ⟹ 6−3V+3E≤2E ⟹ E≤3V−6.2-V+E\le\tfrac{2}{3}E\ \Longrightarrow\ 6-3V+3E\le 2E\ \Longrightarrow\ E\le 3V-6.二部の場合は奇閉路がない(命題 2.3)ので最短閉路長が44以上、各面の境界の長さはℓ(f)≥4\ell(f)\ge 4。同様に4F≤2E4F\le 2E、F≤12EF\le\tfrac{1}{2}E、2−V+E≤12E2-V+E\le\tfrac12 EからE≤2V−4E\le 2V-4。

GGが非連結で、連結成分がcc個あるとする。各成分の平面描画を互いに交わらない小円板内に配置し、それぞれ一つの頂点が円板の外周に接するようにとる。隣り合う円板の選んだ頂点を外側から曲線で結べば、既存辺と交差せずにc−1c-1本の辺を加えられる。端点は異なる成分に属していたので既存辺はなく、単純性も保たれる。こうして得たG′G'はGGと同じVV頂点をもち、E′=E+c−1E'=E+c-1辺の連結単純平面グラフである。したがって一般には

E≤E′=E+c−1≤3V−6E\le E'=E+c-1\le 3V-6

となる。

GGが二部である場合には、各成分の二部配色を独立に選べる。成分を一本の新しい辺で結ぶたびに、必要なら一方の成分の二色を入れ替えて、新しい辺の両端が異なる色になるようにする。この操作は既存辺の配色も平面描画も変えないので、上で得るG′G'は二部グラフのままである。連結な二部グラフに対する評価をG′G'に適用すると

E+c−1=E′≤2V−4,E+c-1=E'\le 2V-4,

したがってE≤2V−4E\le 2V-4を得る。

応用.K5K_5はV=5V=5,E=(52)=10E=\binom{5}{2}=10で、3V−6=9<103V-6=9<10。ゆえにE≤3V−6E\le 3V-6を破り平面的でない。K3,3K_{3,3}は二部でV=6V=6,E=9E=9、2V−4=8<92V-4=8<9。ゆえに二部版の評価を破り平面的でない。▨

注意 3.5 (クラトフスキーの定理). 非平面性の十分条件(辺数評価)だけでは平面性の完全な判定はできない。クラトフスキーの定理は次を主張する:グラフが平面的であることと、K5K_5またはK3,3K_{3,3}の細分(辺を道に置き換えて得られるグラフ)を部分グラフとして含まないことは同値である。同値な言い換えとして、ワグナーの定理はK5K_5またはK3,3K_{3,3}をマイナーにもたないことと平面性が同値だと述べる。本記事では主張の紹介にとどめ、証明は扱わない。

定理 3.6 (平面グラフの6彩色定理). すべての平面的グラフは66-彩色可能である。すなわちχ(G)≤6\chi(G)\le 6。

証明. 頂点数VVに関する強帰納法で「頂点数nnの平面的グラフは66-彩色可能」を示す。n≤6n\le 6のときは各頂点に相異なる色を与えれば高々66色で真に塗れる。

n≥7n\ge 7とし、nn未満で主張が成り立つと仮定する。GGを頂点数nnの単純平面的グラフとする。V≥3V\ge 3だから系 3.4よりE≤3V−6E\le 3V-6。握手補題∑vdeg⁡(v)=2E\sum_v\deg(v)=2E(辺一本が両端点で二回数えられる、既習)を使うと∑vdeg⁡(v)=2E≤6V−12<6V,\sum_{v}\deg(v)=2E\le 6V-12<6V,よって平均次数は66未満であり、deg⁡(v)≤5\deg(v)\le 5なる頂点vvが少なくとも一つ存在する(全頂点が次数≥6\ge 6なら∑deg⁡≥6V\sum\deg\ge 6Vに反する)。このvvを除いたG−vG-vは頂点数n−1n-1の平面的グラフだから、帰納法の仮定により66-彩色できる。vvの隣接頂点は高々55個で、それらが使う色は高々55種類なので、66色のうち少なくとも一色がvvに使える。その色をvvに与えればGGの66-彩色が得られる。▨

同じ「次数55以下の頂点の存在」を出発点に、ケンペ鎖と呼ばれる色の交換を丁寧に行うと五色定理(平面的グラフはχ≤5\chi\le 5)が初等的に証明できる。さらに強い四色定理(χ≤4\chi\le 4)は Appel と Haken が19761976年に大量の場合分けを計算機で検証して証明したもので、初等的な手計算による証明は現在も知られていない。本記事ではこの二つは主張の紹介にとどめる。

4 検算例

例 4.1 (ケーニヒの定理の数値検算). 部集合X={x1,x2,x3}X=\{x_1,x_2,x_3\},Y={y1,y2,y3}Y=\{y_1,y_2,y_3\}、辺集合E={x1y1, x1y2, x2y1, x2y2, x3y3}E=\{x_1y_1,\ x_1y_2,\ x_2y_1,\ x_2y_2,\ x_3y_3\}の二部グラフを考える。近傍はN(x1)=N(x2)={y1,y2}N(x_1)=N(x_2)=\{y_1,y_2\},N(x3)={y3}N(x_3)=\{y_3\}。

ホールの条件.S={x1,x2}S=\{x_1,x_2\}で∣N(S)∣=∣{y1,y2}∣=2=∣S∣|N(S)|=|\{y_1,y_2\}|=2=|S|、S=XS=Xで∣N(S)∣=3=∣S∣|N(S)|=3=|S|、各単元集合でも≥1\ge 1。すべてのS⊆XS\subseteq Xで∣N(S)∣≥∣S∣|N(S)|\ge|S|が成り立つので、定理 1.3によりXXを飽和するマッチングが存在する。実際M={x1y1, x2y2, x3y3}M=\{x_1y_1,\ x_2y_2,\ x_3y_3\}は∣M∣=3|M|=3の完全マッチングで、全頂点が飽和されているから増加道はなく、定理 1.2より最大である。

最小頂点被覆.K={y1,y2,x3}K=\{y_1,y_2,x_3\}はx1y1,x2y1x_1y_1,x_2y_1をy1y_1が、x1y2,x2y2x_1y_2,x_2y_2をy2y_2が、x3y3x_3y_3をx3x_3が覆い、∣K∣=3|K|=3。より小さい被覆は存在しない:辺x1y1,x1y2,x2y1,x2y2x_1y_1,x_1y_2,x_2y_1,x_2y_2は{x1,x2,y1,y2}\{x_1,x_2,y_1,y_2\}上のK2,2K_{2,2}をなし、これを覆うには22頂点が必要、さらにx3y3x_3y_3はこの44頂点と交わらないので追加で11頂点が要り、合計≥3\ge 3。ゆえに最小頂点被覆=3=3。

最大マッチング33= 最小頂点被覆33となり、定理 1.4が数値的に確かめられた。

例 4.2 (オイラーの公式と非平面性の数値検算). 立方体グラフQ3Q_3. 頂点88、辺1212、面66(66つの正方形面)。V−E+F=8−12+6=2V-E+F=8-12+6=2で定理 3.2を満たす。また3V−6=18≥12=E3V-6=18\ge 12=E、二部なので2V−4=12≥12=E2V-4=12\ge 12=E(等号)も成立し、系 3.4と整合する。

K5K_5.V=5V=5,E=10E=10。3V−6=9<103V-6=9<10なので辺数評価を破り平面的でない。

K3,3K_{3,3}.V=6V=6,E=9E=9。二部だから2V−4=8<92V-4=8<9を破り平面的でない。単純な3V−6=12≥93V-6=12\ge 9の評価だけでは非平面性を検出できず、二部(奇閉路なし)ゆえの強い評価E≤2V−4E\le 2V-4を用いなければならない点に注意する。

参考文献

  1. Reinhard Diestel, Graph Theory, 6th ed., Graduate Texts in Mathematics 173, Springer, Berlin, 2025.増加道によるマッチングの特徴づけ、二部グラフの完全マッチングの存在条件、彩色数の上界、および平面グラフのオイラーの公式の組み立てを参考にしました。
  2. Douglas B. West, Introduction to Graph Theory, 2nd ed., Prentice Hall, 2001.ブルックスの定理の完全な証明と、ジョルダン曲線定理および平面埋め込みの面に関する位相的な議論を参考にしました。

前提記事