以下はグラフ理論におけるグラフ部分である。
用語
- 無向辺(undirected edge):頂点 と を結ぶ辺で、順序は考慮しない。
- 有向辺(directed edge):頂点 から頂点 への順序付きペア に関連付けられた辺。
- 重複辺(multiple edges):同じ2つの頂点を結ぶ異なる辺。
- 重複有向辺(multiple directed edges):同じ順序付きペア に関連付けられた異なる有向辺。
- ループ(loop):頂点とその自身を結ぶ辺。
- 無向グラフ(undirected graph):頂点の集合と無向辺の集合からなるグラフ。
- 単純グラフ(simple graph):重複辺やループを持たない無向グラフ。
- 多重グラフ(multigraph):重複辺を含むが、ループを含まない無向グラフ。
- 擬似グラフ(pseudograph):重複辺およびループを含む無向グラフ。
- 有向グラフ(directed graph):有向辺の集合を持つ頂点集合。
- 有向多重グラフ(directed multigraph):重複する有向辺を含むグラフ。
- 単純有向グラフ(simple directed graph):ループや重複有向辺のない有向グラフ。
- 隣接(adjacent):2つの頂点の間に辺がある場合、それらは隣接している。
- 接続(incident):辺がある頂点の端点である場合、その辺はその頂点に接続している。
- 次数(degree ):無向グラフにおける頂点 に接続する辺の数(ループは2回カウントする)。
- 入次数(in-degree ):有向グラフにおいて、頂点 を終端とする辺の数。
- 出次数(out-degree ):有向グラフにおいて、頂点 を始端とする辺の数。
- 基底無向グラフ(underlying undirected graph):有向グラフから辺の方向を無視して得られる無向グラフ。
- 完全グラフ(complete graph ): 頂点の全てのペアが辺で接続されたグラフ。
- 二部グラフ(bipartite graph):頂点集合が と に分割され、各辺が の頂点と の頂点を結ぶグラフ。
- 完全二部グラフ(complete bipartite graph ):頂点集合が 要素と 要素に分割され、異なる部分集合の頂点間にのみ辺が存在するグラフ。
- サイクル(cycle ): の頂点を順序よく辺で結んだ閉じた経路。
- ホイール(wheel ): のサイクルに中心の頂点を追加し、それを全てのサイクルの頂点と結ぶグラフ。
- ハイパーキューブ(n-cube ):長さ のビット列を頂点とし、1ビットだけ異なる頂点同士を結ぶグラフ。
結果
-
握手定理(The handshaking theorem): が 本の辺を持つ無向グラフのとき、
が成り立つ。
-
ホールの結婚定理(Hall’s marriage theorem): が二部グラフで、その分割が であるとき、
全ての部分集合 に対して であれば、 から への完全マッチングが存在する。 -
オイラー閉路(Euler circuit):連結な多重グラフがオイラー閉路を持つための必要十分条件は、全ての頂点の次数が偶数であること。
-
オイラーパス(Euler path):連結な多重グラフがオイラーパスを持つための必要十分条件は、次数が奇数の頂点が高々2つ存在すること。
-
ダイクストラのアルゴリズム(Dijkstra’s algorithm):重み付きグラフにおいて、2つの頂点間の最短経路を求める手続き。
-
オイラーの公式(Euler’s formula):。ここで は平面グラフの領域の数、 は辺の数、 は頂点の数。
-
クラトフスキーの定理(Kuratowski’s theorem):グラフが非平面であるための必要十分条件は、そのグラフが または に同型な部分グラフを含むことである。
-
四色定理(The four color theorem):任意の平面グラフは4色以内で彩色できる。
定理と証明
10.1.11
を単純グラフとします。 の頂点の集合上の関係 を次のように定義します: であるのは、 に関連付けられた辺が存在するとき、かつそのときに限ります。 このとき、 が 上の対称的で反射性を持たない関係であることを示しなさい。
が対称的であることを示します。もし であれば、 に関連付けられた辺が存在します。 そして、集合 であるため、この辺は にも関連付けられます。したがって、 が成立します。このことから、定義により は対称的な関係です。
次に、 が反射性を持たないことを示します。単純グラフでは自己ループが許されないため、 は決して成立しません。このことから、定義により は反射性を持たない関係です。
10.1.12
をすべての頂点に自己ループを持つ無向グラフとします。 の頂点の集合上の関係 を次のように定義します: であるのは、 に関連付けられた辺が存在するとき、かつそのときに限ります。 このとき、 が 上の対称的で反射的な関係であることを示しなさい。
が対称的であることを示します。もし であれば、頂点 と を結ぶ辺が存在します。グラフが無向であるため、この辺は同時に頂点 と を結びます。 したがって、 が成立します。このことから、 は対称的な関係です。
次に、 が反射的であることを示します。すべての頂点に自己ループが存在するため、任意の頂点 に対して が成立します。このことから、 は反射的な関係です。
ハンドシェイク定理 (握手補題)
を辺が 本ある無向グラフとします。このとき、
が成り立ちます。
証明:
無向グラフの各辺はちょうど2つの頂点に付随しており、それぞれの頂点の次数に寄与します。
したがって、すべての頂点の次数の和はグラフ内の辺の数を2倍したものになります。このことから、式 が成立します。これは、重辺や自己ループが存在する場合にも適用されます。
10.2 定理2
無向グラフでは、奇数次数の頂点の数は偶数である。
証明:
を偶数次数の頂点の集合、 を奇数次数の頂点の集合とします。無向グラフ において、 を辺の数とすると次が成り立ちます:
の場合、 は偶数なので、右辺の最初の項は偶数になります。また、式全体が (偶数)であるため、右辺の2つの項の和も偶数になります。 したがって、右辺の第2項 も偶数でなければなりません。
に含まれるすべての次数 は奇数であるため、その和が偶数であるには、奇数項の数が偶数でなければなりません。したがって、奇数次数の頂点の数は偶数です。
10.2 定理3
を有向辺を持つグラフとします。このとき、
が成り立ちます。
証明:
各辺には始点(初期頂点)と終点(終端頂点)が存在するため、すべての頂点の入次数の和と出次数の和は等しくなります。これらの和はいずれもグラフに存在する辺の総数 に等しいことが示されます。
10.2 定理4
単純グラフが二部グラフであるのは、隣接する2つの頂点が同じ色に塗られないように、グラフの各頂点に2つの異なる色のいずれかを割り当てることが可能である場合、かつその場合に限ります。
証明:
まず、 が二部グラフであると仮定します。
このとき、 であり、 と は互いに頂点集合であり、 の各辺は の頂点と の頂点を結びます。
の各頂点に1つ目の色を、 の各頂点に2つ目の色を割り当てると、隣接する2つの頂点が同じ色になることはありません。
次に、グラフの頂点に2色を割り当て、隣接する2つの頂点が同じ色に塗られないようにすることが可能であると仮定します。 このとき、1つ目の色が割り当てられた頂点の集合を 、2つ目の色が割り当てられた頂点の集合を とします。 このとき、 と は互いに頂点集合であり、 となります。 また、隣接する頂点が同じ集合に属することはないため、各辺は の頂点と の頂点を結びます。したがって、 は二部グラフです。
Hallの結婚定理
二部グラフ が分割 を持つとします。 このとき、 から への完全マッチングが存在するのは、任意の の部分集合 に対して、次の条件が満たされる場合、かつその場合に限ります:
証明:
必要条件 () を示す部分:
まず、 から への完全マッチング が存在すると仮定します。
このとき、任意の に対して、各 はマッチング の辺によって の頂点に接続されます。
したがって、 の頂点数は少なくとも の頂点数に等しいか、それ以上である必要があります。つまり、 が成り立ちます。
十分条件 () を示す部分:
ここでは、 がすべての に対して成り立つと仮定し、
このとき から への完全マッチング が存在することを示します。これを示すために、 に関する数学的帰納法を用います。
-
基底の場合:
とします。この場合、 は1つの頂点 を含みます。 このとき、 であるため、少なくとも1つの頂点 が に接続されています。この接続により完全マッチングが得られます。 -
帰納ステップ:
のとき、完全マッチングが存在することを仮定します。次に、 の場合を示します。
この場合、帰納的仮定を用いるために2つのケースを考えます。-
ケース (i):
の任意の部分集合 () に対して、 の各頂点が少なくとも 個の の頂点に接続されていると仮定します。 このとき、任意の を取り除いたグラフ を構成し、帰納法により には完全マッチングが存在することを示します。 -
ケース (ii):
ある () に対して、 の部分集合 が にちょうど 個の隣接頂点を持つ場合を考えます。 このとき、帰納的仮定を適用し、 とその隣接頂点を削除したグラフにも完全マッチングが存在することを示します。
-
この2つのケースを考慮することで、いずれの場合にも完全マッチングが存在することを示すことができます。
したがって、 が任意の に対して成り立つ場合、 から への完全マッチングが存在することが証明されました。
10.2.6
パーティーにいる人々の集合において、各人が握手をした人数を足し合わせた合計が偶数であることを示しなさい。ただし、自分自身と握手することはないものとします。
証明:
この問題をグラフとしてモデル化します。パーティーにいる人々をグラフの頂点とし、握手をした2人の間に辺を引きます。このとき、各頂点の次数はその頂点が表す人が握手をした人数に対応します。
定理1(握手定理)によれば、グラフ内のすべての頂点の次数の和は偶数です(これは 、すなわち辺の数を2倍した値に等しいため)。したがって、握手をした人数の合計も偶数であることが示されます。
10.2.18
少なくとも2つの頂点を持つ単純グラフでは、次数が同じ頂点が必ず2つ存在することを示しなさい。
証明:
この問題はセクション6.2の演習42と本質的に同じであり、そこでグラフが「互いに知り合いである」という関係をモデル化しています。
各人が知っている人数はグラフにおける対応する頂点の次数に等しいと考えます。次のように証明します:
- 単純グラフの頂点数を とします()。
- 各頂点の次数の可能な値は ですが、ある1人が他の全員を知っている場合(次数 )、他の誰かが誰も知らない(次数 )という状況は対称性の仮定より不可能です。
- したがって、可能な次数の値は 個ではなく最大で 個です。
- しかし、頂点の数は なので、鳩の巣原理(Pigeonhole Principle)によって少なくとも2つの頂点が同じ次数を持つ必要があります。
これにより、少なくとも2つの頂点が同じ次数を持つことが証明されました。
10.2.36
を正の整数とします。完全グラフ の頂点集合の非空部分集合によって誘導される部分グラフが完全グラフであることを示しなさい。
証明:
完全グラフ では、任意の2頂点が隣接しています。したがって、頂点集合の非空部分集合によって誘導される部分グラフにおいても、その部分集合内の任意の2頂点は隣接しています。これにより、誘導部分グラフが完全グラフであることが示されます。
10.2.66
もし が頂点数 、辺数 を持つ二部単純グラフであるならば、
が成り立つ。
証明:
二部グラフ を構成する2つの部分のサイズを と とする。このとき、異なる部分間の各頂点対の間に辺を持つ場合、辺の最大数は
で表される。
関数 の最大値を求めると、代数的手法または微分計算により、最大値は のときに達成されることが分かる。このとき、
となる。
したがって、辺の数 は最大でも である。
10.4 定理1
連結無向グラフの任意の2つの異なる頂点の間には単純な経路(パス)が存在する。
証明:
を連結無向グラフとし、 と を の2つの異なる頂点とします。 が連結であるため、 と の間には少なくとも1つの経路が存在します。
この経路の中で最短のものを選び、その頂点列を とします。ただし、 かつ です。この最短経路が単純であることを示します。
仮にこの経路が単純でないとすると、ある と () に対して となるような部分が存在します。 この場合、 と の間の頂点列を削除した経路 を構成することで、より短い経路を得ることができます。これは最短経路の仮定に矛盾します。
したがって、最短経路は単純である必要があります。このことから、任意の2つの異なる頂点の間には単純な経路が存在することが示されました。
10.4 定理2(隣接行列と経路(歩道)の関係)
グラフ を、その頂点の順序 に対応する隣接行列 を持つグラフとします(有向または無向の辺を持ち、多重辺やループも許容)。 から への長さ の異なる経路(歩道)の数は、行列 の 成分に等しい。
証明:
この定理を数学的帰納法によって証明します。
-
基底の場合 ():
長さ1の経路とは、単一の辺を意味します。このとき、 から への長さ1の経路の数は、隣接行列 の 成分 に対応します。よって、定理は成立します。 -
帰納ステップ ():
に対して、 の 成分が から への長さ の経路の数を表していると仮定します(帰納法の仮定)。行列 を考えます。このとき、 の 成分は次のように計算されます:
ただし、 は の 成分であり、 は から への長さ の経路の数を表しています(帰納法の仮定より)。
長さ の経路は、長さ の経路である から への経路に、 から への長さ1の辺を追加することで構成されます。 この数をすべての中間頂点 にわたって合計すると、 から への長さ の経路の総数が得られます。
よって、 の 成分は、 から への長さ の経路の数を表します。
以上より、帰納法により定理が示されました。
10.4.18
強連結成分内の2つの頂点を結ぶ有向経路上に訪れるすべての頂点も、同じ強連結成分に属することを示しなさい。
証明:
有向経路を とします。ここで、 と は同じ強連結成分に属していると仮定します。この仮定により、 から への有向経路が存在します。
この経路を元の経路 に加えることで、閉路が形成されます。
この閉路を使うことで、元の経路上の任意の頂点から他の任意の頂点に到達することが可能になります。したがって、元の経路上のすべての頂点は同じ強連結成分に属していることが示されます。
10.4.28
頂点を持つ任意の連結グラフは、少なくとも 本の辺を持つことを示しなさい。
証明:
数学的帰納法を用いて証明します。
-
基底の場合 ():
頂点が1つしかない場合、連結グラフには辺が存在しません。このとき、辺の本数は となり、命題が成り立ちます。 -
帰納ステップ ():
頂点を持つ連結グラフは少なくとも 本の辺を持つと仮定します(帰納法の仮定)。
頂点を持ち、 本未満の辺を持つ連結グラフ を仮定します。- グラフ の頂点の次数の和は ( は辺の本数)に等しいため、頂点の次数の和は 未満です。
- 頂点の数は であるため、少なくとも1つの頂点の次数は 未満でなければなりません。
- グラフが連結であるため、この頂点は孤立しておらず、次数はちょうど です。この頂点とその接続された辺を削除すると、残りのグラフは 頂点を持ち、辺の数は 未満になります。
帰納法の仮定により、これは矛盾を引き起こします。したがって、 頂点を持つ連結グラフは少なくとも 本の辺を持たなければなりません。
以上より、任意の 頂点を持つ連結グラフは少なくとも 本の辺を持つことが示されました。
10.4.29
単純グラフ を考えます。頂点 上の関係 を、頂点の組 が または から への経路が存在する場合に成立するものと定義します。 このとき、 が同値関係であることを示しなさい。
証明:
関係 が同値関係であることを示すために、以下の3つの性質を確認します:反射性、対称性、推移性。
-
反射性:
任意の頂点 に対して、 から自身への経路は存在します(長さ0の経路)。したがって、 が成立します。よって、 は反射的です。 -
対称性:
と仮定します。このとき、 から への経路が存在します。この経路を逆向きにたどることで、 から への経路が得られます。 したがって、 が成立します。よって、 は対称的です。 -
推移性:
および と仮定します。 このとき、 から への経路と から への経路を連結することで、 から への経路が得られます。 したがって、 が成立します。よって、 は推移的です。
以上より、関係 は反射性、対称性、推移性を満たすため、同値関係であることが示されました。
10.4.30
任意の単純グラフにおいて、奇数次数を持つ任意の頂点から他の奇数次数の頂点への経路が存在することを示しなさい。
証明:
を奇数次数を持つ頂点とします。 を、グラフ のうち を含む連結成分とします。この 自体もグラフであり、ハンドシェイク定理によれば、任意のグラフは奇数次数の頂点を偶数個持つ必要があります。
したがって、 内には を除いて少なくとも1つ別の奇数次数の頂点 が存在します。
さらに、 は連結であるため、定義より から への経路が存在します。以上より、奇数次数の頂点から他の奇数次数の頂点への経路が存在することが証明されました。
10.4.35
がカットエッジの端点であるとします。このとき、 がペンダント頂点でない場合に限り、カット頂点であることを示しなさい。
証明:
ペンダント頂点(次数1の頂点)は明らかにカット頂点ではありません。したがって、カットエッジの端点でカット頂点であるものはペンダント頂点ではありません。
カットエッジを削除すると、元のグラフの連結成分の数よりも多くの連結成分を持つグラフが生成されます。もしカットエッジの端点がペンダント頂点でない場合、その端点を含む連結成分には他の頂点が存在します。このとき、その頂点 とその頂点に接続するすべての辺を削除すると、元のカットエッジを含むすべての辺が削除されるため、元のグラフの連結成分の数よりもさらに多くの連結成分を持つグラフが生成されます。
したがって、カットエッジの端点でペンダント頂点でないものはカット頂点です。
10.4.36
連結単純グラフ において、ある頂点 がカット頂点であることと、 とは異なる頂点 と が存在し、 と のすべての経路が を通ることが同値であることを示しなさい。
証明:
まず、 がカット頂点である場合を考えます。この場合、 を削除すると、グラフの連結成分の数が増加します。
したがって、 を削除した後、異なる連結成分に属する2つの頂点 と が存在します。このような と の間のすべての経路は を通る必要があります。
逆に、 と のすべての経路が を通る場合を考えます。このとき、 を削除すると と は異なる連結成分に属することになります。 したがって、 を削除すると少なくとも2つの連結成分が生成されるため、 はカット頂点です。
これにより、カット頂点の条件と経路条件が同値であることが示されました。
10.4.37
少なくとも2つの頂点を持つ単純グラフには、カット頂点でない頂点が少なくとも2つ存在することを示しなさい。
証明:
仮に、カット頂点でない頂点が高々1つしか存在しないと仮定します。
この場合、グラフ の頂点 と の距離(最短経路の長さ)を とし、 が最大となる2つの頂点 と を取ります。
このとき、 または (またはその両方)はカット頂点である必要があります。
をカット頂点と仮定し、 を削除して得られるグラフの連結成分の1つに属する頂点 を考えます。 この場合、 から へのすべての経路は を通らなければなりません。これにより、 となりますが、これは が最大であるという仮定に矛盾します。
したがって、カット頂点でない頂点は少なくとも2つ存在しなければなりません。
10.4.38
単純グラフにおいて、ある辺がカットエッジであることと、その辺が単純な閉路の一部でないことが同値であることを示しなさい。
証明:
-
カットエッジである場合:
をカットエッジと仮定します。この場合、 を削除すると、 と の間に経路が存在しなくなり、グラフの連結性が失われます。 したがって、 と を結ぶ経路は を必ず含む必要があります。
を含む任意の閉路において、 から への経路と から への経路の両方が を使用しなければならないため、 が2回出現することになります。したがって、この閉路は単純ではありません。 -
単純な閉路の一部でない場合:
が単純な閉路の一部でないと仮定します。この場合、 を削除しても、 と の間には少なくとも1つの経路が残ります。 このため、 を削除してもグラフの連結性は失われません。したがって、 はカットエッジではありません。
これらの結果より、ある辺がカットエッジであることと、その辺が単純な閉路の一部でないことが同値であることが示されました。
10.4.45
頂点数が の単純グラフ が 本を超える辺を持つ場合、 が連結であることを示しなさい。
証明:
仮定として、グラフ が連結でないとします。この場合、 は複数の連結成分を持ち、各成分の頂点数を考慮して、最大の辺の数を計算します。
-
連結成分の頂点数を分割:
の1つの連結成分が 頂点を持つと仮定します()。残りの 頂点が別の成分を形成するとします。 -
各成分での最大辺数:
頂点数 の完全グラフの辺数は であり、 同様に 頂点の完全グラフの辺数は です。が持つことができる最大の辺の総数は次のようになります:
-
2次関数として解析:
上記の式を簡単化すると次のようになります:この式は に関する2次関数です。
-
最大値の評価:
この関数は または で最大値をとります。これらの場合、 は次のようになります:よって、連結でないグラフが持つ辺の数は高々 です。
-
結論:
が 本を超える辺を持つ場合、 は必ず連結でなければなりません。
これにより命題が証明されました。
10.4.51
もし が連結グラフであるならば、 が完全グラフでない場合に限り、頂点を削除することで を非連結にすることができる。
証明:
(必要条件)
もし が完全グラフであるならば、頂点を1つずつ削除しても、各ステップで残るグラフは依然として完全グラフである。このため、どの時点でも は非連結にならない。
(十分条件)
逆に、もし から辺 が欠けている場合、 は完全グラフではない。このとき、 と を除く全ての頂点を削除すると、残るグラフは と のみから構成され、両者の間に辺が存在しないため、非連結になる。
したがって、 が完全グラフでない場合、頂点を削除して を非連結にすることが可能である。
10.4.55
グラフ において、
が成り立つことを示せ。
証明:
を 個の頂点を持つグラフとする。このとき、 である。
を の最小の辺カットとし、頂点集合 を の頂点集合 の補集合 から切り離す非空の部分集合とする。
もし任意の と に対して が の辺であるならば、カット集合 のサイズは となる。 この値は少なくとも であるため、 が成り立つ。
そうでない場合、 と が非隣接頂点であると仮定する。このとき、集合 を以下のように定義する: の全ての隣接頂点と 内の の隣接頂点から構成される。 さらに、 を除く の頂点全てを追加する。
集合 は と を分離する頂点カットであり、このカットが と を分離する。 今度は、 から への辺、および の各頂点から への1つの辺を考える。このような辺の集合は 個の辺を形成する。
このことから、次が成り立つ:
したがって、 が示された。
10.4.59
単純グラフ において、頂点 と の間に同じ辺の集合を含まない2つの単純パス と が存在すると仮定する。このとき、 に単純閉路(サイクル)が存在することを示せ。
証明:
単純パス と をそれぞれ
および
とする。これらのパスは同じ頂点 から始まるが、同じ辺の集合を含まないと仮定されているため、いずれかの時点で分岐する必要がある。
分岐が または の終了後にのみ発生する場合、残りのもう一方のパスが から への単純閉路を形成する。一方、次のように仮定できる:
だが
単純閉路を構成するために、パス をたどり、最初に 上の頂点に再び遭遇するまで進む(これは 以上、遅くとも までには発生する)。 その後、 上を前方または後方に進むことで、再び に戻る。このプロセスにより閉路が形成される。
であるため、確かに閉路が形成される。この閉路は単純である。なぜなら、 と が単純であるという仮定より、 や の間で辺の重複がないことが保証される。 また、 から に切り替えた時点で、既に使用した の辺が のいずれかと等しくなることはないためである。
したがって、 には単純閉路が存在することが示された。
10.4.63
単純グラフ が二部グラフであるのは、奇数本の辺を持つ閉路を持たない場合、かつその場合に限ることを示しなさい。
証明:
-
が二部グラフである場合:
を二部グラフと仮定し、その二部集合を と とします。二部グラフでは、すべての経路は と の頂点を交互に通ります。 したがって、経路の長さが奇数であれば で始まり で終わり、長さが偶数であれば で始まり再び で終わります。閉路は開始頂点と終了頂点が同一であるため、閉路の長さは必ず偶数になります。したがって、二部グラフ は奇数本の辺を持つ閉路を持ちません。
-
が奇数本の辺を持つ閉路を持たない場合:
が奇数本の辺を持つ閉路を持たないと仮定します。この場合、次の手順で が二部グラフであることを示します:- グラフが連結でない場合、各連結成分について個別に検討すればよいので、連結グラフを仮定してよい。
- の任意の頂点 を選び、 を から奇数長の経路で到達可能な頂点集合、 を から偶数長の経路で到達可能な頂点集合と定義します。
- の連結性から、すべての頂点は または のいずれかに属します。
- もしある頂点が と の両方に属するならば、ある奇数長の経路と偶数長の経路を結合して奇数長の閉路を構成することができ、仮定に矛盾します。
さらに、任意の辺 について、 の場合、 から への経路は偶数長となり、 は に属します。 同様に、 の場合は です。したがって、すべての辺が と の異なる部分に端点を持ちます。
以上により、 は二部グラフであることが示されました。
結論:
が二部グラフであることと、奇数本の辺を持つ閉路を持たないことは同値です。
10.5 定理1(オイラー閉路の十分かつ必要条件)
少なくとも2つの頂点を持つ連結多重グラフにおいて、すべての頂点の次数が偶数である場合に限り、オイラー閉路が存在する。
必要条件の証明:
オイラー閉路が存在する連結多重グラフを考えます。この閉路は同じ頂点 で始まり終わる閉路です。閉路が始点である頂点 に到達するとき、この頂点の次数は以下のように寄与します:
- 最初の到達時、次数に1を加算。
- 最後の離脱時、次数に1を加算。
- その他の通過時には、到達時と離脱時の2回ずつ加算。
したがって、頂点 の次数は常に偶数です。同様に、他の頂点も閉路において到達と離脱がセットで起こるため、すべての頂点の次数が偶数である必要があります。
十分条件の証明:
連結多重グラフ のすべての頂点の次数が偶数であると仮定します。このとき、次のようにオイラー閉路を構成します:
-
任意の頂点 を始点として、利用可能な辺を1本ずつ選びながら単純な閉路を作ります。この閉路は有限個の辺しかないため、最終的には に戻ります。
-
この閉路を取り除いた残りのグラフを とします。 は以下の性質を持ちます:
- のすべての頂点も偶数の次数を持つ。
- が連結でない場合、各連結成分について同様の閉路を構成できます。
-
残りの閉路を元の閉路に統合します。これを全ての辺が使い切られるまで繰り返すと、オイラー閉路が完成します。
結論:
連結多重グラフにおいて、すべての頂点の次数が偶数であれば、オイラー閉路を構成できることが示されました。
10.5 定理2(オイラーパスの十分かつ必要条件)
連結多重グラフがオイラーパス(ただしオイラー閉路ではない)を持つのは、奇数次数の頂点がちょうど2つ存在する場合に限る。
必要条件の証明:
連結多重グラフ がオイラーパスを持つと仮定します。このオイラーパスが から に至るものとします。
- オイラーパスの最初の辺は の次数に1を加算します。
- 路が を通過するたびに、次数に2を加算します。
- 最後の辺は の次数に1を加算します。
したがって、 と の次数は奇数になります。それ以外の頂点はすべて通過するたびに次数に2を加算するため、偶数の次数を持ちます。したがって、奇数次数の頂点はちょうど2つである必要があります。
十分条件の証明:
次に、奇数次数の頂点がちょうど2つである連結多重グラフ を考えます。この頂点を と とします。
- に仮想的な辺 を追加して新しいグラフ を構成します。
- のすべての頂点の次数が偶数になるため、定理1(オイラー閉路の十分かつ必要条件)により、 にはオイラー閉路が存在します。
- のこのオイラー閉路から仮想の辺 を削除すると、元のグラフ における から へのオイラーパスが得られます。
これにより、奇数次数の頂点がちょうど2つ存在する場合、 はオイラーパスを持つことが示されました。
10.5.16
孤立した頂点を持たない有向多重グラフがオイラー閉路を持つのは、そのグラフが弱連結であり、各頂点の入次数と出次数が等しい場合、かつその場合に限ることを示しなさい。
証明:
-
必要条件の証明:
有向多重グラフにオイラー閉路が存在すると仮定します。このオイラー閉路は各頂点を通り、最終的に出発点に戻ります。- 弱連結性:
オイラー閉路が存在するためには、すべての頂点が閉路に含まれる必要があります。このため、グラフは弱連結である必要があります。 - 入次数と出次数の一致:
オイラー閉路が各頂点を通過するとき、辺が頂点に「入る」たびに入次数が1加算され、「出る」たびに出次数が1加算されます。最終的に、各頂点の入次数と出次数は同じになります。
- 弱連結性:
-
十分条件の証明:
グラフが弱連結であり、各頂点の入次数と出次数が等しいと仮定します。この場合、次の手順でオイラー閉路を構成できます。- オイラー閉路の十分条件を示した定理1に基づき、有向グラフにおけるオイラー閉路を構築します。出次数が0になるまで各頂点から出発し、すべての辺を使用する単純な閉路を作成します。
- すべての辺が使用されるまで、残りの部分グラフに対して同様の手順を適用し、それぞれの閉路を結合して1つのオイラー閉路を完成させます。
結論:
孤立した頂点を持たない有向多重グラフがオイラー閉路を持つのは、グラフが弱連結であり、かつ各頂点の入次数と出次数が等しい場合に限ることが示されました。
10.5.17
孤立した頂点を持たない有向多重グラフがオイラーパスを持つがオイラー閉路を持たないのは、そのグラフが弱連結であり、すべての頂点の入次数と出次数が等しいが、次の2つの頂点を例外とする場合に限る:
- 1つは出次数が入次数より1大きい頂点(開始頂点)。
- もう1つは入次数が出次数より1大きい頂点(終了頂点)。
証明:
-
必要条件の証明:
有向多重グラフがオイラーパスを持つと仮定します。このとき、次の性質が成立します:-
入次数と出次数の関係:
オイラーパスでは、途中で訪れるすべての頂点は、入次数と出次数が等しくなります。なぜなら、訪問時に1本の辺で頂点に「入り」、次の辺で頂点から「出る」ためです。
ただし、開始頂点では出次数が入次数より1多く、終了頂点では入次数が出次数より1多くなります。これにより、オイラーパスの出発と終了が確定されます。 -
弱連結性:
オイラーパスはすべての辺を使用するため、グラフ全体が1つの連結成分に属します。このため、グラフは少なくとも弱連結でなければなりません。
-
-
十分条件の証明:
グラフが弱連結であり、すべての頂点で入次数と出次数が等しいが、以下の2つの例外があると仮定します:- 頂点 : 出次数が入次数より1大きい(開始頂点)。
- 頂点 : 入次数が出次数より1大きい(終了頂点)。
このとき、次のようにオイラーパスを構築できます:
- 頂点 から頂点 に仮想的な辺を追加した新しいグラフを構成します。この新しいグラフでは、すべての頂点で入次数と出次数が等しくなります。
- 新しいグラフは弱連結であるため、定理16により、このグラフにはオイラー閉路が存在します。
- このオイラー閉路から仮想的に追加した辺を削除すると、元のグラフにおける から へのオイラーパスが得られます。
結論:
孤立した頂点を持たない有向多重グラフがオイラーパスを持つがオイラー閉路を持たないのは、そのグラフが弱連結であり、すべての頂点で入次数と出次数が等しいが、1つの頂点で出次数が入次数より1大きく、もう1つの頂点で入次数が出次数より1大きい場合に限ることが示されました。
10.6 定理1(ダイクストラのアルゴリズム)
ダイクストラのアルゴリズムは、連結な単純無向重み付きグラフにおける2つの頂点間の最短経路の長さを見つける。
証明:
数学的帰納法を用いてダイクストラのアルゴリズムが正しいことを示します。各反復における帰納法の仮定は以下の通りです:
-
帰納法の仮定:
回目の反復において以下が成り立つと仮定する:- (i) に含まれるすべての頂点のラベルは、頂点 からその頂点への最短経路の長さである。
- (ii) に含まれないすべての頂点のラベルは、頂点 からその頂点への最短経路の長さ(ただし、この経路は の頂点のみを含む)である。
-
基底の場合 ():
初期状態では であり、すべての頂点のラベルは無限大 () に設定されます。ただし、始点 のラベルは 0 です。これにより、基底の場合が成り立つことが確認されます。 -
帰納ステップ ():
帰納法の仮定を用いて、 回目の反復で仮定が成り立つことを示します:- 頂点 を、ラベルが最小の頂点として に追加します。
- のラベルは、 から への最短経路の長さである必要があります。もしそうでなければ、ラベルが小さい他の頂点が存在することになり矛盾します。
- に含まれない頂点については、そのラベルが更新され、次のように計算されます: ここで、 は頂点 と を結ぶ辺の重みです。
-
結論:
帰納法により、すべての反復が終了した時点で、各頂点のラベルは頂点 からその頂点への最短経路の長さとなります。
10.6 定理2(ダイクストラのアルゴリズムの計算量)
ダイクストラのアルゴリズムは、頂点数 の連結な単純無向重み付きグラフにおいて、2つの頂点間の最短経路の長さを見つけるために、 の操作(加算および比較)を使用する。
証明:
-
反復回数:
ダイクストラのアルゴリズムは、グラフの頂点数 に基づき、最大で 回の反復を行います。各反復で、1つの頂点が集合 に追加されるためです。 -
各反復での操作数:
- 最小ラベルを持つ頂点を特定するために、最大で 回の比較が必要です( に含まれない頂点の中から選択するため)。
- に含まれない各頂点のラベルを更新するためには、加算および比較の操作が必要です。これは各頂点に対して1回行われ、最大 個の頂点について実行されます。
したがって、各反復で必要な操作の総数は次のようになります:
これは最大の加算および比較回数を表します。
-
全体の計算量:
最大 回の反復が行われるため、アルゴリズム全体で必要な操作の合計は次の通りです:
10.7 定理1 (オイラーの公式)
を 本の辺と 個の頂点を持つ連結平面単純グラフとします。 の平面表現における領域の数を とすると、以下の式が成り立つ:
証明:
-
平面表現の構築:
の平面表現を作るために、次の手順で部分グラフの列 を構築します:- 任意の1つの辺を選択して を作成します。
- を、既存の部分グラフ に新しい辺を追加して作成します。このとき、新しい辺は に既に存在する頂点に接続される必要があります。
各段階で、領域の数 、辺の数 、および頂点の数 を記録します。
-
基底の場合:
最初の部分グラフ は、1本の辺と2つの頂点を持ち、領域の数は1です。式は
を満たすため、基底の場合が成立します。
-
帰納法の仮定:
に対して、以下の式が成り立つと仮定します: -
帰納ステップ:
を に新しい辺 を追加して得られるグラフとします。この場合、次の2つの状況を考慮します:-
ケース1: 両端点 と が に既に存在している場合:
- この新しい辺は既存の領域を2つに分割するため、領域の数が1つ増えます()。
- 辺の数は1つ増えます()。
- 頂点の数は変わりません()。
- これにより、次の式が成立します:
-
ケース2: または のどちらかが に存在しない場合:
- 新しい辺の追加により領域の数は変わりません()。
- 辺の数が1つ増え()、頂点の数も1つ増えます()。
- これにより、次の式が成立します:
-
-
結論:
帰納法により、すべての において が成り立つことが示されました。特に、元のグラフ においてもこの式が成立します。
10.7 系1
を 本の辺と 個の頂点を持つ連結平面単純グラフとする。 のとき、次が成り立つ:
証明:
-
領域の次数の性質:
平面上に描かれた連結平面単純グラフは、平面を 個の領域に分割します。各領域の次数(その領域の境界に含まれる辺の数)は少なくとも3以上です。これは以下の理由によります:- 単純グラフでは、多重辺や自己ループが存在しないため、次数2や1の領域を形成することはありません。
- 特に、無限領域も少なくとも3以上の次数を持ちます。これは、グラフに少なくとも3つの頂点が含まれているためです。
-
辺の数と領域の次数の関係:
グラフのすべての辺は領域の境界に2回現れるため、領域の次数の総和は次のように表されます:また、各領域の次数が3以上であるため:
よって次の不等式が得られます:
-
オイラーの公式の利用:
オイラーの公式 を用いると、 を と によって次のように表せます:これを に代入すると:
展開して整理すると:
10.7 系2
を連結な平面単純グラフとする。このとき、 には次数が5以下の頂点が存在する。
証明:
-
場合分け:
- の頂点数が1または2の場合、全ての頂点の次数は5以下であるため、命題が成り立ちます。
- の頂点数が3以上の場合を考えます。
-
手がかり:
コロラリー1より、辺の本数 と頂点数 の間には次の不等式が成り立ちます:これに基づき、辺数を次数の和を用いて表すと、ハンドシェーキング定理より次の式が得られます:
-
矛盾の導出:
すべての頂点の次数が6以上であると仮定すると、次数の総和は次のようになります:一方で、コロラリー1の不等式 を用いると、
これらを比較すると、
となり、明らかに矛盾します。
-
結論:
矛盾が生じたことから、すべての頂点が次数6以上であることはあり得ません。したがって、次数が5以下の頂点が少なくとも1つ存在することが示されました。
10.7 系3
を 本の辺と 個の頂点を持つ連結平面単純グラフとし、 であり、長さ3の閉路を持たないとする。このとき次が成り立つ:
証明:
-
領域の次数に関する条件:
長さ3の閉路がないため、すべての領域の次数は少なくとも4以上です。これに基づき、領域の次数の合計は次の不等式を満たします:ここで は領域の数を表します。
-
領域数 の式:
オイラーの公式 を用いると、次の式を得ます:したがって、オイラーの公式をこの不等式に代入すると:
-
整理:
上記の不等式を整理すると:
10.7.17
本の辺と 個の頂点を持つ連結平面単純グラフがあり、長さ4以下の単純閉路を持たないとします。さらに のとき、次が成り立つ:
証明:
-
領域の次数の性質:
グラフには長さ4以下の単純閉路が存在しないため、すべての領域の次数は少なくとも5以上です。この条件に基づき、領域の次数の合計は次のように評価できます:ここで、 は領域の数を表します。
-
オイラーの公式の利用:
オイラーの公式 を用いると:を次のように変形できます: