グラフ理論入門

更新日：2021-07-11

この記事は，執筆陣より平山が第74回灘校文化祭（2020年・オンライン開催）に寄せて数学研究部の部誌として執筆した きほんの「き」から始めるグラフ理論～数学オリンピックの視点から～ の移植・改訂版となります．今後も継続的に加筆・修正が施される可能性があります．

0. はじめに

早速ですが，「グラフ」という単語を聞いて皆さんはどのような概念を想像しますか？明鏡国語辞典第二版（大修館書店）には以下のような定義がなされています：

観察・比較を容易にするために，二つ以上の数量や関数の関係を図に表したもの

これにはいわゆる「棒グラフ」や「円グラフ」，あるいは座標平面上に直線や曲線を表現したものが含まれるでしょう．しかし今回我々が扱う「グラフ」はこれらとはかなり異なる概念です．

今回考える「グラフ」として最も身近な対象の一つに鉄道の路線図があります．路線図には実際の形状や距離などが正確には表現されていません．それでも我々が困らないのは，「それぞれの駅（頂点）がどのように路線（辺）で結ばれているか」が最も重要な情報だからです¹．こうした「つながり方」に着目して抽象化された図形が今回扱う「グラフ」です．

言語的に定義をすると，グラフ (graph) とは有限個の頂点 (vertex) と有限本の辺 (edge) からなる図形です²．ただし各辺は $2$ つの頂点（同じでも構わない）を結ぶものとします．この一見単純で抽象的な対象に様々な情報を乗せていくことで多彩な結果が展開されるのがグラフ理論であり，その汎用性の高さから組み合わせ論において重要な立ち位置を占めています．

ところでこのグラフ理論ですが，タイトルにもある通り数学オリンピックにおいても題材となることが少なくありません．一つ例を見てみましょう．この問題は本編で再び扱います．

★★☆☆☆

IMO 1964 問4

$17$ 人の人がそれぞれ他の全員と手紙をやり取りしている．それらの手紙は $3$ つの言語でやり取りされており，同じ $2$ 人の間でやり取りされる手紙は常に同じ言語で書かれている．このとき，互いに同じ言語で手紙をやり取りしている $3$ 人組が存在することを示せ．

数学オリンピックでグラフ理論が題材となっている問題は上のように適当な設定付けが行われていることが多く，題意を理解する上で直接的にグラフ理論の知識が求められることは基本的にありません．しかしながらグラフ理論の知識を有していると見通しが良くなるケースが殆どです．不思議なことに数学オリンピックにおけるグラフ理論は，いわゆる競技プログラミングなどにおけるそれと比べて遥かに開拓が進んでいない印象があり，全体的に難易度も過大評価されているように見えます．したがって一定の訓練を積めば，ある程度の難問でも物にできるチャンスがある分野と言えましょう．

基本的に一切の前提知識を仮定せず記述していくので，ある程度の心得があるという方は適宜スキップしてください．

1. 基本的な用語

まずは大前提となる基本的な用語の定義を列挙します³．

ある辺が結ぶ頂点を端点 (endpoint) と呼びます．ある頂点がある辺の端点であるときこれらは接続している (incident) と言います．
ある $2$ つの頂点を結ぶ辺が存在するとき，これらは隣接している (adjacent) と言います．またある $2$ つの辺が端点を共有しているときこれらを隣接している (adjacent) と言います⁴．

ある辺の両端点が等しいとき（自己）ループ (loop) と呼びます．またある $2$ 頂点間に複数の辺が存在するとき多重辺 (multiple edges) と呼びます．ループも多重辺も含まないグラフを単純 (simple) と言います．

以下，特に断りがない限り単に「グラフ」と言えば有限・単純・無向なものを指すものとします．

グラフ $G$ について，その頂点集合を $V (G)$ ，辺集合を $E (G)$ で表すものとします．
$2$ つのグラフ $G$ と $G^{'}$ について， $V (G^{'}) \subseteq V (G)$ かつ $E (G^{'}) \subseteq E (G)$ であるとき， $G^{'}$ を $G$ の部分グラフ (subgraph) と呼びます⁵．特に，「 $G$ の辺であって両端点が $V (G^{'})$ に属するもの全体」が $E (G^{'})$ に一致するとき， $G^{'}$ を誘導部分グラフ (induced subgraph) と呼びます⁶．

ある頂点に接続する辺の数を次数 (degree) と呼びます．すべての頂点の次数が $k$ で等しいグラフを $k$ -正則 (regular) と呼びます．特に，任意の $2$ 頂点間に辺が存在する $n$ 頂点の (単純) グラフを完全グラフ (complete graph) と呼び， $K_{n}$ で表します．これは $(n - 1)$ -正則です．

以下の命題は定義より明らかですが非常に重要なもので，問題を解く上で意外な盲点になることもあります．

命題 1.1（握手の補題）. あるグラフのすべての頂点の次数の総和は，辺数の

2

倍に等しい．特にこれは偶数である．

系 1.2. あるグラフにおいて，次数が奇数の頂点は偶数個である．

隣接する頂点を辿って出来る経路のうち⁷，経由する辺の重複を許さないものを路 (trail)，さらに経由する頂点の重複も許さないものを道 (path) と呼びます．また始点と終点が一致する路を閉路 (cycle)と呼びます⁸．ある道に含まれる辺の本数を長さ (length)と呼びます．

命題 1.3.

(1)

あるグラフにおいて頂点

A

と

B

の間に路が存在するとき，頂点

A

と

B

の間には道が存在する．

$(2)$ あるグラフにおいて頂点 $A$ と $B$ ， $B$ と $C$ の間にそれぞれ道が存在するとき， $A$ と $C$ の間にも道が存在する．

証明. 明らか．直感的に理解できない場合は図を描いて納得せよ．

あるグラフの任意の $2$ 頂点を結ぶ道が存在するとき連結 (connected) と言い，そうでないとき非連結 (disconneted) と言います．あるグラフ $G$ の連結な部分グラフ $G^{'}$ であって， $G^{'}$ を部分グラフとする連結な $G$ の部分グラフが $G^{'}$ しか存在しないものを $G$ の連結成分 (connected component) と呼びます⁹．

連結グラフ(あるいは同じ連結成分)において，ある $2$ 頂点間を結ぶ道の長さの最小値を距離 (distance) と呼びます．
取り除くと連結成分の数が増えるような辺を橋 (bridge) と呼びます．

何がグラフとみなせるか？

冒頭で述べた通り，グラフ理論を背景とする数学オリンピックの問題のステートメントのほとんどはグラフ理論の用語で記述されていません．多くは日常感のある設定に置き換えられており，代表的なものとしては人間関係（友人である・同じグループである etc.）や交通網（航空網・高速道路 etc.）などが挙げられます．

しかしながら，一見グラフに関係するようには全く見えないが実はグラフとみなせる状況も数多く存在し，これはグラフ理論の醍醐味の一つと言えるかもしれません．一例としてはマス目です．

★☆☆☆☆

JMO 2001 問1

$m, n$ を正整数とする． $m \times n$ のマス目において，次の条件をみたすように各マスを黒または白に塗る：任意の黒マスについて，隣接する(一辺を共有する)黒マスは奇数個である．このとき黒マスの総数は偶数であることを示せ．

一般にマス目に対して，各マスを頂点とし隣接する $2$ マス間に辺を張ったグラフを考えることがしばしばあります．上の例題は黒マスについてこのグラフを考え，握手の補題（系1.2.）を適用することで直ちに示されます．

他にもより奇抜なグラフの構築を求められることはしばしばあります．そもそも設定がC分野ではないかもしれません．（ネタバレにはなりますが）例えば以下の問題でグラフが利用できるとは，一瞥しただけでは誰も気付かないでしょう（練習問題として再掲します）．

★★★★☆

出典不明

$n$ を正の偶数とする． $n$ 個の（相異なるとは限らない）実数 $a_{1}, \dots, a_{n}$ について， $1 < | a_{i} - a_{j} | < 2$ をみたす組 $1 ≦ i < j ≦ n$ の個数の最大値を求めよ．

逆にグラフのように見えるが別なる視点から捉え直した方が良い問題も無論あります．

このように分野をクロスオーバーする問題は，ともすれば大外れした方針に嵌まり込んでしまう危険性もありますが，数学オリンピックの面白さの一つでもあります．地道に実験と考察を重ねて手がかりをつかみましょう．

練習問題

#1-1

★☆☆☆☆

有名事実

連結グラフにおいて最長のパスが $2$ つ存在するとき，これらはある共通の頂点を経由することを示せ．

#1-2

★★☆☆☆

有名事実

連結グラフの辺 $e$ について， $e$ が橋であることは $e$ を含む閉路が存在しないことと同値であることを示せ．

#1-3

★★☆☆☆

有名事実

グラフ $G$ に対して，ある $2$ 頂点の間に辺が存在しないとき新たに辺を張り，元々存在した辺を消去して得られるグラフ $\overset{―}{G}$ を補グラフ (complement graph) と呼ぶ． $G$ が非連結ならば $\overset{―}{G}$ は連結であることを示せ．

#1-4

判定中

AGC032 B問題

$n ≧ 3$ を整数とする．各頂点に $1 \sim n$ の番号が振られた $n$ 頂点の連結グラフであって，以下の条件をみたすものが存在することを示せ：隣接する頂点の番号の総和が頂点によらず等しい．

#1-5

★★★☆☆

有名事実

$V (G)$ の部分集合 $D$ が支配的 (dominating) であるとは，任意の頂点 $v \in V (G) ∖ D$ について $v$ と隣接する頂点 $w \in D$ が存在することである．任意のグラフ $G$ について支配的な集合は奇数個であることを示せ．

#1-6

判定中

有名問題

区分線形関数 $f : [0, 1] \to R_{≧ 0}$ は $f (0) = f (1) = 0$ をみたす． $2$ 点 $P, Q$ が初めそれぞれ座標 $(0, 0), (1, 0)$ におり， $2$ 点の $y$ 座標が常に一致するように曲線 $y = f (x)$ 上を連続に動く．適切に動くことで $2$ 点は出会えることを示せ．

#1-7

判定中

有名問題

$m \times n$ のマス目において，各マスが黒または白で塗られている．いま「あるマスを指定し，自身及び隣接するマスすべての白黒を反転させる」という操作を何回か行う．すべてのマスの白黒が反転した状態を作ることは可能か？

2. きほんの「木」

補題 2.1.

n

頂点

n - 1

辺からなる連結グラフ

G

には，次数

1

の頂点が

2

つ以上存在する．

証明. 高々

1

つを除いて頂点の次数が

2

以上とすると，辺数について

2 (n - 1) ≧ 2 (n - 1) + 1

より矛盾する．

定理 2.2.

n (≧ 2)

頂点からなる連結グラフ

G

において，以下の条件は互いに同値である：

　 $(1)$ $G$ は閉路を持たない

　 $(2)$ $G$ はちょうど $n - 1$ 辺からなる

　 $(3)$ $G$ の任意の $2$ 頂点について，これらを結ぶ道が一意に存在する

　 $(4)$ $G$ の辺はすべて橋である (すなわち $G$ からどの辺を取り除いても非連結となる) ¹⁰

証明.

(1) ⟺ (3)

は明らか (対偶を取ると良い)．

(1) ⟺ (4)

は練習1-2より．

(1) ⟹ (2)

：

n

個の頂点のみがある状況から辺を

1

本ずつ加えることを考えると，閉路を持たないという条件から辺を

1

本加えるごとに連結成分の個数はちょうど

1

ずつ減少する．同様の過程より逆も従う．

定理2.2.の条件の一つ (すなわちすべて) を満たすような連結グラフを木 (tree) と呼びます．以下の系は定理2.2.の証明よりただちに得られますが，系2.3.は不等式評価などで盲点になりがちですし，系2.4.も決して完全に自明ではありません．

系 2.3.

n

頂点からなるグラフ

G

が連結であるとき，

G

は

n - 1

本以上の辺を持つ．

系 2.4.

n

頂点からなる連結グラフ

G

は，

n

頂点からなる木を部分グラフに持つ．これを全域木 (spanning tree) と言う．

これらの性質をみたすグラフが「木」と呼ばれる所以を探りましょう．ある頂点を選び，それが一番「上」にあるとします．このとき，定理2.2.(3)を考慮すると， $2$ 頂点の間に「上下」の関係を考えることが出来ます¹¹．ここで一番「上」に定めた頂点を根 (root) と呼び，このような木を特に根付き木 (rooted tree) と呼びます¹²．木は任意の頂点を根として根付き木とみなすことができ，この操作によって扱いが良くなることが多いです．

$2$ 頂点 $u, v$ が隣接しており，かつ $u$ の方が $v$ より根に近いとき， $u$ は $v$ の親 (parent)， $v$ は $u$ の子 (child) と言います．一般に $v$ と根を結ぶ経路上に $u$ があるとき， $u$ は $v$ の祖先 (ancestor)， $v$ は $u$ の子孫 (descendant) と言います．

(根以外で) 次数 $1$ の頂点を葉 (leaf) と呼びます．「子を持たない」とも表現できます．補題2.1.より葉は必ず存在します．

深さ優先探索 (DFS)

根付き木の重要な応用例の一つとして深さ優先探索 (depth-first search) を紹介します．情報科学の用語ですが，その発想自体は数学オリンピックにも無用ではありません¹³．これは一般のグラフの頂点を全探索するアルゴリズムの一つです．

まず根付き木に対するDFSは定式的に以下のように表現されます．頂点 $u$ に対し操作 $o p (u)$ を以下で定めると，根 $r$ について $o p (r)$ によって全ての頂点を一度ずつ経由できることが確認できます．これがDFSです．

$o p (u)$ ： $u$ の子 $v$ それぞれについて $o p (v)$ を順に行う．ただし $u$ が葉のとき何もしない．

より噛み砕いて言語化すると以下のようになります．実際に適当な根付き木を描いて追ってみましょう¹⁴ ¹⁵．

根からスタートし，適当な子を選びながら下れるだけ下る．
葉に到達したら，一つずつ後戻りする．
訪れていない子が存在するとき，そこから適当な子を選びながら下れるだけ下る．
2.と3.を繰り返し，根に再び戻ってきたら終了する．

この方法を応用して，一般のグラフに対してもDFSを考えることが出来ます．

適当な頂点からスタートし，隣接する頂点であって過去に訪れていないものを適当に選びながら進めるだけ進む．
進める頂点が無くなったら，一つずつ後戻りする．
隣接する頂点であって過去に訪れていないものが存在するとき，1.に戻る．
最初にスタートした頂点に再び戻ってきたら終了する．

上の手順で明らかに全ての頂点を経由します．ここで途中で通った辺集合に着目すると，連結で閉路を含まないことから木，すなわち全域木をなしていることがわかります．DFSは全域木を取得する最も単純なアルゴリズムの一つでもあります．

ここでは取り扱いませんが，同様のアルゴリズムに幅優先探索 (breadth-first search) があります．これはある頂点から見た「深さ」が等しい頂点をすべて同時に見ていくことで探索を行います．DFSとBFSにはそれぞれの長所があります．

練習問題

#2-1

★☆☆☆☆

有名事実

$n$ 頂点のグラフのいくつかの辺を赤く塗る．任意の頂点で接続する赤い辺を奇数本に出来るか？

#2-2

★★★☆☆

JMO 2010 問3

$2010$ 個の島とそれらを繋ぐ $2009$ 本の橋が木をなしている．それぞれの島が $1$ 通の手紙をいずれかの島 (自身でも良い) に送付したところ，以下が成立した：

島 $A$ と $B$ が隣接しているとき， $2$ 島の手紙の送付先は隣接しているか同一である

このとき「自分自身に手紙を送った島」または「互いに手紙を交換した隣接する $2$ 島」の存在を示せ．

#2-3

判定中

USAMO 2007 問4

無限に広がるマス目のうち，連結な $2007$ 個以上のマスからなる集合を恐竜と呼ぶ．特に恐竜が原始的とは，二つ以上の恐竜に分割されないことを言う．原始的な恐竜に含まれるマス数の最大値を求めよ．

#2-4

判定中

出典不明

$n$ 頂点からなる単純 (外周が自己交差しない) 多角形 $P$ について，以下の条件をともにみたす対角線の存在を示せ：

$P$ の内部に完全に含まれる
二つに分けられた外周それぞれが $n / 3 - 1$ 個以上の頂点を含む (対角線の端点を除く)

3. 辺彩色

辺彩色 (edge coloring) とは，読んで字の如くグラフの辺をいくつかの色を用いて塗り分けることです．ここで (当然ですが) それぞれの辺全体は同じ色で塗るものとします．一般的に「辺彩色」と言えば「隣接する辺は異なる色で塗る」という制約が課されることがほとんどですが，ここではこの制約を課した辺彩色を特に最適辺彩色と呼んで区別するものとします．

Ramseyの定理

Ramseyの定理とは辺彩色における最も根本的な主張の一つで，一般には以下のように記述されます¹⁶ ¹⁷．

定理 3.1 (Ramsey).

k_{1}, \dots, k_{r} ≧ 2

を整数とする．このときある

R

が存在して以下をみたす：

n ≧ R

ならば，完全グラフ

K_{n}

の辺をどのように色

1, \dots, r

で彩色しても，ある

i

が存在して同色の辺からなるクリーク

K_{k_{i}}

が存在する．

ここでは最も単純な結果である¹⁸ 以下の定理について $2$ 通りの証明を与えます．いずれの証明も汎用性が高く，より複雑な問題にも容易く応用できるアイディアを含んでいます．なお「Ramseyの定理」で単に以下を指すこともあります．

定理 3.2 (Ramsey). 完全グラフ

K_{6}

の各辺を赤または青で塗るとき，同色からなるクリーク

K_{3}

が存在する．

証明 1. 適当な頂点

A

について，鳩の巣原理より接続する

5

辺のうち同色の

3

辺が存在する．一般性を失わずこれを赤とし，相手を

B, C, D

とする．これらのうち

2

頂点，例えば

B, C

を結ぶ辺が赤色ならば

A B C

が赤色の

K_{3}

となる．辺

C D, D B

が赤色のときも同様．そうでないとき，

B C D

が青色の

K_{3}

となる．

証明 2. 特に同色の

K_{3}

が

2

個以上存在することを示そう．相異なる

3

頂点の組

(X, Y, Z)

について考える (ここで

X

と

Z

の順序は区別しない)．特に辺

X Y

と

Y Z

の色が異なるとき，これを良い組と呼ぶ．

Y

を固定したとき良い組の個数の最大値は

3 \times 2 = 6

個であるから，全体では高々

6 \times 6 = 36

個．一方で同色でない

K_{3}

には良い組がちょうど

2

個ずつ含まれるから，同色の

K_{3}

は少なくとも

_{6} C_{3} - 36 / 2 = 2

個以上存在する．

最適辺彩色

あるグラフを出来るだけ少ない種類数の色で最適辺彩色することを考えます．グラフ $G$ を最適辺彩色するために必要な色の種類数の最小値を $γ (G)$ で表し，これを求めたいです．まず最もシンプルなケースとして以下が考えられます．

命題 3.3. グラフ

G

の最大次数を

Δ

とおく．

G

が木であるとき，

γ (G) = Δ

である．

この場合は明らかですが，実際には木のみならず，一般に二部グラフについても同様の主張が成立することが知られています． $γ (G) ≧ Δ$ は定義より明らかですが，二部グラフならば常に等号が成立する事実は十分な驚きをもって迎えられます．

定理 3.4 (König). グラフ

G

の最大次数を

Δ

とおく．

G

が二部グラフであるとき，

γ (G) = Δ

である．

証明. 辺数について帰納法．仮定より適当な辺

u - v

を取り除いたグラフは

Δ

色で最適辺彩色できる．

u, v

それぞれについて接続する辺の彩色に使われてない色が存在する．これが同じとき

e

をそれで塗れば良いから，異なるときを考える (

u, v

について赤・青とする)．

u

には青色の辺が接続しているから，

u

から始まり青赤青赤

\dots

と塗られている最長の道を考えると，これは閉路でなく，かつ

v

を通らないことがわかる (二部グラフの性質を用いた)．さらに最長性よりこの道に含まれる赤と青をすべて入れ替えても最適辺彩色が保たれることがわかるので，辺

u - v

を青色で塗ることが出来る．

さらに一般のグラフについても類似の主張が成立します．一般的にかなり高い効率で最適辺彩色が可能ということです．

定理 3.5 (Vizing). グラフ

G

の最大次数を

Δ

とおくと，

γ (G) = Δ

または

Δ + 1

である．

証明はこちらのPDFなどを参照してください．残念ながら具体的に $Δ$ なのか $Δ + 1$ なのかを一般的に判定することは困難ですが，一部のケースについては確定させることが出来ます．例えば完全グラフ $K_{n}$ などは良い演習になるでしょう (練習3-1)．解答は同じPDFに掲載されています．

練習問題

#3-1

判定中

有名問題

完全グラフ $K_{n}$ を最適辺彩色するのに必要な色の種類数の最小値，すなわち $γ (K_{n})$ を求めよ．

#3-2

★★★☆☆

KAMO 2019 問12

$K_{25}$ の各辺を赤または青で塗る．同色の辺からなるクリーク $K_{3}$ の個数の最大値を求めよ．

#3-3

★★☆☆☆

IMO 1964 問4

$17$ 人の人がそれぞれ他の全員と手紙をやり取りしている．それらの手紙は $3$ つの言語でやり取りされており，同じ $2$ 人の間でやり取りされる手紙は常に同じ言語で書かれている．互いに同じ言語で手紙をやり取りしている $3$ 人組が存在することを示せ．

#3-4

★★★☆☆

IMO 2016 SLP C3

$n$ を $6$ と互いに素な整数とする．正 $n$ 角形の各頂点を，どの色も奇数回使うように $3$ 色で塗り分けた．このとき，正 $n$ 角形の頂点からなる二等辺三角形であって，頂点の色がすべて異なるものの存在を示せ．

4. 二部グラフ

グラフ $G$ の頂点集合について，これを $n$ 個の部分集合に分割し (これらを独立集合 (independent set) と呼びます) 各部分集合内の頂点間には辺が張られていないように出来るとき， $G$ を $n$ 部グラフ (n-partite graph) と呼びます．

$n$ 部グラフは「最適頂点彩色」によって特徴付けされます¹⁹．すなわち，隣接する頂点が異なる色になるように頂点を「彩色」するとき，ちょうど $n$ 色を用いてこれが可能であるようなグラフが $n$ 部グラフです．ここから明らかに， $m > n$ に対して $n$ 部グラフは $m$ 部グラフであることがわかります．

異なる独立集合に属する頂点対すべてに辺を張った $n$ 部グラフを完全 $n$ 部グラフ (complete n-partite graph) と呼びます．特に各独立集合のサイズが $a, b$ である完全二部グラフを記号 $K_{a, b}$ で表します．

ここでは特に $n = 2$ とした二部グラフ (bipartite graph) の性質について見ていきます．「男女間の知り合い関係」などに代表されるように様々な設定から立ち現われる，極めて自然な対象です．

定理 4.1. 木は二部グラフである．

証明. 適当に根付き木とみなし，DFSなどの要領で順に交互に彩色すれば，閉路を持たないことから矛盾は起こらない．

二部グラフの最も重要な言い換えが以下の定理4.2.です．直感的に明らかに思えるようになると良いです．

定理 4.2. グラフ

G

は二部グラフである

⟺

G

は奇閉路(奇数本の辺からなる閉路)を持たない

証明.

(⟹)

：定義より明らか (対偶を取ると良い)．

(⟸)

：まず適当な全域木を取り，補題4.1.の要領で

2

色に彩色する．ここから残りの辺を

1

本ずつ追加すると，ある辺の両端点が同色になったとき奇閉路に含まれていることがわかる．

上の定理の意外な応用例を見ることが出来ます．なお実際のところ後半はただのオマケで，前半の方が本質的です²⁰．

定理 4.3.

d

を正整数とする．座標平面上の格子点全体を頂点とし，距離が

\sqrt{d}

である

2

点に辺を張ったグラフは二部グラフである．特に

n ≧ 3

を奇数としたとき，格子点のみを頂点とする正

n

角形は存在しない．

証明.

a^{2} + b^{2} = d

なる整数

(a, b)

の組について考える．

d \equiv 3 (m o d 4)

にはなり得ない．

d \equiv 0 (m o d 4)

のとき

a, b

はともに偶数である．連結成分ごとに考えて良いので，

x

座標と

y

座標の偶奇の組ごとに見ることで

d / 4

の場合に帰着される．

d \equiv 1 (m o d 4)

のとき

a

と

b

の偶奇が異なるから，

x

座標と

y

座標の和の偶奇によって分類し，

d \equiv 2 (m o d 4)

のとき

a

と

b

はともに奇数であるから，

x

座標の偶奇によって分類すればよい．後半は定理4.2.より従う．

Hallの結婚定理

あるグラフのマッチング (matching) とは，辺集合であって互いに端点を共有しないものを言います．特に二部グラフにおけるそれ (二部マッチング) は重要な興味です．唐突ですが合コンを想像してみましょう．同じ人数の男女が参加しており，各人には好みの異性が何人かいます．このとき全員が好みの異性と結ばれるような「マッチング」(完全マッチングと呼ばれます) は存在するでしょうか？これに対して簡潔な必要十分条件を与えるのが以下の定理です．

定理 4.4 (Hallの結婚定理). 頂点集合

A

に対し

Γ (A)

で

A

に属する頂点の隣接点の集合を表す．独立集合

U, V

からなる二部グラフ

G

に対して，

U

の頂点をすべてカバーするマッチングが存在するための必要十分条件は，任意の

U

の部分集合

A

に対し

| A | ≦ | Γ (A) |

が成立することである．

証明. 必要性は容易であるから十分性を帰納法で示す．任意の真部分集合

A

に対し

| A | < | Γ (A) |

であるとき，適当な辺を選びその両端点を取り除けば，残ったグラフは条件をみたすため求めるマッチングが得られる．以下

| A | = | Γ (A) |

なる真部分集合

A

が存在するとする．

A

と

Γ (A)

からなる二部グラフは条件をみたすため求めるマッチングが存在する．これらを取り除く．

U ∖ A

の部分集合

B

について

| A | + | B | = | A \cup B | ≦ | Γ (A \cup B) |

であることより，

| Γ (A \cup B) ∖ Γ (A) | ≧ | B |

が従う．よって残りのグラフにも求めるマッチングが存在する．

この定理の少し特殊な応用例の一つとして，各マスに $0$ または $1$ が書き込まれているマス目が題材となった問題があります．このとき，各行および各列に対応する頂点を作り， $1$ が書き込まれているマス目の行・列に対応する頂点間に辺を張った二部グラフを構築します．ここに何らかの形で上の定理を適用すると，常にでは無いにせよ，上手くはまることが少なくないです．以下の練習問題にもいくつか選んだのでチャレンジしてみてください．

練習問題

#4-1

判定中

Canada MO 2019 問5

$n$ 個の島があり，初めはどの島の間にも橋が架かっていない．橋の架かっていない $2$ 島を選びその間に橋を架ける操作を $2$ 人が交互に繰り返す．ただし以下の条件が常に満たされねばならない：

どの島からも奇数本の橋を渡って自身へ戻ってこれない．

先に橋を架けられなくなった方を負けとするとき，先手必勝となる $n$ をすべて求めよ．

#4-2

★★★☆☆

Poland MO 2018 問2

$n$ を奇数とし， $S$ を $n$ 個の座標平面上の格子点からなる集合とする．置換 $f$ ： $S \to S$ について次が成り立つとする：

任意の $A, B \in S$ に対し， $f (A)$ と $f (B)$ の距離は $A$ と $B$ の距離以上である．

このとき $f (X) = X$ なる $X \in S$ が存在することを示せ．

#4-3

判定中

AGC025 D問題

$d_{1}, d_{2}$ を正整数とする．座標平面上の点の集合 $S$ が良いとは， $S$ に属するどの $2$ 点間の距離も $\sqrt{d_{1}}$ および $\sqrt{d_{2}}$ でないことを指す． $n$ 個の格子点からなる集合に対し， $n / 4$ 点以上からなる良い部分集合が存在することを示せ．

#4-4

判定中

出典不明

マス目 $n \times n$ の各マスに $0, 1, - 1$ のいずれかが書き込まれており， $1$ および $- 1$ は各行および各列にちょうど $1$ つずつ書かれている．このとき，行および列をそれぞれ適当に入れ替えることで，元のマス目の $1$ と $- 1$ を完全に入れ替えられることを示せ．

#4-5

判定中

India TST 2017 Test1 問3

各マスに非負整数の書き込まれた $n \times n$ のマス目のうち，各行および各列に書かれた数の総和が $1$ 以上ですべて等しいものを不思議な配置，特に $n$ 個の $1$ と $n (n - 1)$ 個の $0$ からなるものを単純な配置と呼ぶことにする．任意の不思議な配置は有限個の単純な配置の和として表せることを示せ．

#4-6

判定中

出典不明

各マスに $0$ または $1$ が書き込まれた $n \times n$ のマス目が以下の条件をみたす

同行および同列のものを含まないような任意の $n$ マスからなる部分集合には，少なくとも $1$ が一つ以上存在する．

このとき， $i + j ≧ n + 1$ かつ共通部分の $i j$ マスにすべて $1$ が書かれているような $i$ 行および $j$ 列の存在を示せ．

5. 隣接行列

$n$ 頂点の有向グラフ $G$ に対し，頂点 $i$ から $j$ への辺が存在するとき $a_{i j} = 1$ ，それ以外のとき $a_{i j} = 0$ として $n \times n$ 行列 $A$ を定めます．ただし $a_{i i} = 0$ とします．これを $G$ の隣接行列 (adjacency matrix)と呼び，以下に挙げるような良い性質を持ちます．いずれも定義から容易に従うので各自で確認してみてください．

正整数 $k$ に対し，行列 $A^{k}$ の $i j$ 成分は「頂点 $i$ から $j$ に至る長さ $k$ の相異なる歩道の数」を表す．
成分がすべて $1$ の $n$ 次元列ベクトルを $I$ で表すと，列ベクトル $A I$ の $i$ 成分は頂点 $i$ の出次数を表す．
$A$ の転置を $A^{⊤}$ で表すと，列ベクトル $A^{⊤} I$ の $i$ 成分は頂点 $i$ の入次数を表す．
行列 $A A^{⊤}$ において， $i i$ 成分は頂点 $i$ の出次数を表し， $i j$ 成分 ( $i \neq j$ ) は「頂点 $i$ を始点とする辺と頂点 $j$ を始点とする辺で共通して終点となる頂点の数」を表す．
行列 $A^{⊤} A$ において， $i i$ 成分は頂点 $i$ の入次数を表し， $i j$ 成分 ( $i \neq j$ ) は「頂点 $i$ を終点とする辺と頂点 $j$ を終点とする辺で共通して始点となる頂点の数」を表す．

無向グラフに対しても同様に定められます．すなわち頂点 $i$ と $j$ が隣接しているとき $a_{i j} = 1$ ，それ以外のとき $a_{i j} = 0$ とします． $A$ が対称行列 (すなわち $A = A^{⊤}$ ) であることに留意すると，上の諸性質は以下のように書き換えられます．

正整数 $k$ に対し，行列 $A^{k}$ の $i j$ 成分は「頂点 $i$ と $j$ を結ぶ長さ $k$ の相異なる歩道の数」を表す．
成分がすべて $1$ の $n$ 次元列ベクトルを $I$ で表すと，列ベクトル $A I$ の $i$ 成分は頂点 $i$ の次数を表す．
行列 $A^{2}$ において， $i i$ 成分は頂点 $i$ の次数を表し， $i j$ 成分 ( $i \neq j$ ) は「頂点 $i$ と $j$ に共通して隣接する頂点の数」を表す．

このような値を演算で取り出せるのは扱いが良く，隣接行列の性質を調べることで問題が解けることもあります²¹．

判定中

KAMO 2019 問14

ある学校において，どの男女の組も互いに知り合いであるか知り合いでないかのいずれかである．どの男子もちょうど $n (≧ 2)$ 人の女子と知り合いであり，どの女子もちょうど $n$ 人の男子と知り合いである．また，どの $2$ 人の男子についても共通の知り合いである女子はちょうど $k (≧ 0)$ 人である．このとき，どの $2$ 人の男子についても共通の知り合いである女子はちょうど $k$ 人であることを示せ．

解答

生徒を頂点とみなし，知り合いである男女の間に辺を張った二部グラフを考えると，一つ目の条件から辺数を考えることで男子と女子の人数が等しいことがわかるので，これを $x$ とおく． $x \times x$ の単位行列を $E$ ，すべての成分が $1$ の $x \times x$ 行列を $I$ とおく． $i$ 人目の男子と $j$ 人目の女子が知り合いのとき $a_{i j} = 1$ ，それ以外のとき $a_{i j} = 0$ とすることで正方行列 $A$ を構成すると，各条件より $A A^{⊤} = k I + (n - k) E$ が従う (これを $T$ とおく) ²²． $x$ 本の列ベクトルの一次独立性より $T$ は正則で ²³，特に $A$ も正則である．また一つ目の条件より $A I = I A = n I$ であり ²⁴， $A E = E A = A$ と合わせて $A T = T A$ が従う．よって $A^{⊤} A = A^{- 1} T A = T$ であり，これが示すべきことであった．

もちろん線型代数を前提にした問題は数学オリンピックでは出題されませんから，基本的になんらかの純粋に組み合わせ論的な解法は存在するのですが，一つの武器として持ち合わせておくに越したことは全くありません．いくら「オーバーキル」のように見えたところで正解は正解です．好機を逃さないようにしましょう．

練習問題

#5-1

★★★★★

USAMO 2008 問6

何人かの数学者がおり，どの $2$ 人も互いに知り合いかそうでないかのいずれかである．彼らを次の条件をみたすように $2$ つのグループに分ける方法の場合の数は $2$ べき (ある非負整数 $k$ を用いて $2^{k}$ と表せる整数) であることを示せ：

どの数学者についても同じグループに知り合いが偶数人いる．

6. 雑多な話題たち

ハミルトン路

グラフ上のすべての頂点を一度ずつ通る路のことをハミルトン路 (Hamiltonian trail) と言い，特に閉路であるときハミルトン閉路 (Hamiltonian cycle) と呼びます．一般に与えられたグラフがハミルトン (閉) 路を持つための条件を記述するのは困難ですが，辺が「ある程度の密度で」存在すればハミルトン閉路を持つという事実にあまり不思議は無いでしょう．

定理 6.1 (Dirac).

n

頂点のグラフ

G

において，すべての頂点の次数が

n / 2

以上ならば，

G

はハミルトン閉路を持つ．

証明. 最小の連結成分を考えることで，

G

の連結性が従うことに注意する．

v_{0}, \dots, v_{k}

が

G

における最長の道であるとする．条件より

v_{1}, \dots, v_{k}

のうち

n / 2

個以上が

v_{0}

と隣接しており，

v_{0}, \dots, v_{k - 1}

のうち

n / 2

個以上が

v_{k}

と隣接しているから，鳩の巣原理より

v_{0}

と

v_{i + 1}

，および

v_{i}

と

v_{k}

がともに隣接しているような

i

が存在する．このとき

v_{0} v_{i + 1} v_{i + 2} \dots v_{k} v_{i} v_{i - 1} \dots v_{0}

は閉道であり，

G

の連結性からこれはハミルトン閉路でなければならない．

証明を観察すると，条件は弱められることがわかります．すなわち以下の拡張が容易に可能です．

定理 6.2 (Ore).

n

頂点のグラフ

G

において，隣接しない任意の

2

頂点

v, w

に対し

v

と

w

の次数の合計が

n

以上ならば，

G

はハミルトン閉路を持つ．

ハミルトン路のうち，特にすべての辺を一度ずつ通るものをオイラー路 (Eulerian trail) といい，特に閉路のときオイラー閉路 (Eulerian cycle) と呼びます．これはいわゆる「一筆書き」に相当するもので馴染み深く，簡潔な必要十分条件の存在も有名です．しかし特に「すべての次数が頂点が偶数のときオイラー閉路が存在する」という事実は盲点になりがちです．

定理 6.3 (Euler). ある連結グラフ

G

がオイラー路を持つための必要十分条件は，次数が奇数の頂点が

0

個または

2

個になっていることである．特に

0

個のときオイラー閉路になる．

証明. 必要性は容易．十分性を辺数による帰納法で示す．次数が奇数の頂点が

2

個 (

u, v

とする) のとき，オイラー路が存在するならばこれらが端点になる．

u

と

v

が隣接しているとき，これを除去すれば残りでオイラー閉路をとれる．

u

と

v

が隣接していないとき，

u

とその適当な隣接点

w

を結ぶ辺を除去すれば

w

の次数は奇数になるため，残りで

v

と

w

を端点とするオイラー路がとれる．

0

個のときは適当な辺を除去すれば，両端点を端点とするオイラー路がとれる．

クリーク

クリーク (clique) ²² とは，あるグラフの部分集合となっている完全グラフのことです．

定理 6.4 (Mantel).

n

頂点

m

辺からなるグラフ

G

がクリーク

K_{3}

を含まないとき，

m ≦ n^{2} / 4

である．

なお, $K_{3}$ を含まないという条件は「triangle-free」とも言います．実際 $K_{3}$ は完全グラフというよりかは単なる閉路として意識されるのが普通な気はします．

証明.

G

の頂点の次数の最大値を

Δ

とおき，次数

Δ

の適当な頂点

v

をとる．条件より

v

と接続する

Δ

個の頂点同士の間に辺は存在しないため，これらの頂点の次数は高々

n - Δ

である．またこれら以外の頂点

n - Δ

の次数は高々

Δ

であるから，これらより

m ≦ Δ (n - Δ)

の評価が得られる．特に右辺は

Δ = n / 2

で最大となる．

なお, 頂点を $n / 2$ ずつ独立集合に分けて構成される完全二部グラフを考えると，この評価はstrictです．

このMantelの定理の一般化として得られたのが，次のTuránの定理です．実際 $r = 2$ とすれば主張が一致します．

定理 6.5 (Turán).

n

頂点

m

辺からなるグラフ

G

がクリーク

K_{r + 1}

を含まないとき，

m ≦ (1 - \frac{1}{r}) \frac{n^{2}}{2}

である．

証明.

m

を最大化するような

G^{'}

を考える．いま関係

\sim

を「頂点

x

と

y

が隣接していないとき

x \sim y

」として定め，これが同値関係であることを示す．ある頂点

u, v, w

について，

u \sim v

かつ

v \sim w

だが

u \sim w

でないと仮定する．頂点

x

の次数を

d (x)

で表し，場合分けを行う．

$d (v) < d (u)$ のとき：頂点 $v$ を取り除き，代わりに $u$ の「コピー」(隣接している頂点の集合が一致する) $u^{'}$ を作る． $u$ と $u^{'}$ の間に辺を張らないと定めると，クリークのサイズの最大値は増加せず，辺の本数は増加することがわかる． $d (v) < d (w)$ の場合も同様．
$d (v) ≧ d (u)$ かつ $d (v) ≧ d (w)$ のとき：上と同様に， $u$ と $w$ を取り除き，代わりに $v$ の「コピー」を $2$ つ作ればよい．

以上より $\sim$ は同値関係である．したがってある $k$ が存在して $G^{'}$ は $k$ 部グラフであり，特にクリークの条件より $k ≦ r$ が必要である．残りは単なる不等式評価の範疇であるから割愛する．

またこの章立てとは直接関係ないですが，参考までにMantelの定理の別視点からの拡張である以下の結果を紹介します．

定理 6.6 (Reiman).

n

頂点

m

辺からなるグラフ

G

が長さ

4

の閉路

C_{4}

を含まないとき，

m ≦ \frac{n}{4} (1 + \sqrt{4 n - 3})

．

同じ対象を $2$ 通りで評価する，いわゆる「ダブルカウント」と呼ばれる手法を用います．他に練習3-4がその例です．

証明. 各頂点の次数を

d_{1}, \dots, d_{n}

で表す．相異なる

3

頂点の組

(X, Y, Z)

であって (

X

と

Z

の順序は区別しない)，

X Y

および

Y Z

の間にともに辺が存在するものからなる集合を

S

とする．このとき

Y

を固定することで

| S | = \sum_{d_{i}} C_{2}

がわかる．また

C_{4}

を含まないことより，

X

と

Z

の組を固定したとき

S

の元は高々

1

つであるから，

| S | ≦_{n} C_{2}

がわかる．Cauchy-Schwarzの不等式より

(2 m)^{2} = (\sum d_{i})^{2} ≦ n \sum d_{i}^{2}

であるから，

4 m^{2} ≦ n^{2} (n - 1) + 2 m n

が従う．

有向グラフをはじめ，ここでは統一的に取り上げなかったテーマは他にも多数存在します．興味のある人は探求してみると良いでしょう．なお以下の練習問題はこれらの内容も含めて総合的にチョイスしています．骨のある問題も多いですから，是非じっくり腰を据えて実力試しをしてみてください．

練習問題

#6-1

★★★★★

JMO 2004 問5

無向グラフ $G$ についてどの頂点の次数も $3$ であるとする． $G$ がハミルトン閉路をもつとき，それと異なる (経由する辺集合が一致しない) ハミルトン閉路が存在することを示せ．

#6-2

判定中

出典不明

#6-3

判定中

APMO 1989 問4

$n$ 頂点 $m$ 辺のグラフは $\frac{m (4 m - n^{2})}{3 n}$ 個以上のクリーク $K_{3}$ を持つことを示せ．

#6-4

判定中

Poland MO 2019 問3

$n$ 頂点からなる無向グラフ $G$ が次の条件をみたすとする：

任意の $4$ 頂点の組 ${A, B, C, D}$ について， $A$ と $B$ ， $B$ と $C$ ， $C$ と $D$ ， $D$ と $A$ の間に辺が存在するならば， $A$ と $C$ ，または $B$ と $D$ の間には辺が存在する．

$G$ の相異なる極大クリーク（あるクリークに真に含まれないクリーク）は高々 $n (n - 1) / 2$ 個であることを示せ．

#6-5

判定中

IMO 2004 SLP C8

ある無向グラフ $G$ に含まれるクリーク $K_{3}, K_{4}$ の個数をそれぞれ $f (G), g (G)$ とおく．このとき任意の $G$ に対して $c f (G)^{4} ≧ g (G)^{3}$ が成立するような正定数 $c$ の最小値を求めよ．

#6-6

判定中

有名事実

各辺がいずれか一方に向き付けされた完全グラフをトーナメントグラフ (tournament graph) と呼ぶ．トーナメントグラフは (有向グラフとしての) ハミルトン路をもつことを示せ．

#6-7

判定中

Iran MO 2006 Test2 問3

トーナメントグラフの各辺が赤または青で塗られている．このとき，次の条件をみたすような頂点 $v$ の存在を示せ：

任意の頂点 $w (\neq v)$ について， $v$ から $w$ への同色の道が存在する．

#6-8

判定中

Romania MO 2005 Test4 問2

凸多面体の各辺がいずれか一方に向き付けされており，すべての頂点について入次数と出次数がともに $1$ 以上であるとする．このとき，外周が閉路をなすような面の存在を示せ．

#6-9

判定中

JJMO 2016 問5

正整数 $n, m$ が $m (m + 1) < 2 n$ をみたす．ある国には $n$ 個の都市と $2$ つの航空会社 $X, Y$ がある．各航空会社は $2$ 都市間の（双方向とは限らない）直行便を開設しており，次の条件をともにみたしている：

どの都市 $C$ についても， $C$ から同じ会社のみを乗り継いで $C$ に戻ってこれない．
どの相異なる $2$ 都市についても，いずれかからもう片方へ，同じ会社のみを乗り継いで移動できる．

このとき，ある都市から出発して次の条件をみたすように $m$ 本の直行便を乗り継げることを示せ：

$Y$ の便の直後に $X$ の便に乗ることがない．

#6-10

判定中

JMO 2016 問5

$m, n$ は正の整数であり， $m ≧ 2, n < \frac{3}{2} (m - 1)$ をみたしている．ある国には $m$ 個の都市と $n$ 本の道路があり，どの道路も $2$ つの相異なる都市を結んでいる．同じ都市間を結ぶ複数本の道路があってもよい．

いま，都市を $2$ つのグループ $α, β$ に分割し，グループ $α$ の都市とグループ $β$ の都市を結ぶ道路をすべて高速道路とすることになった．このとき，以下の条件をみたす分類が存在することを示せ：

どちらのグループも都市を $1$ つ以上含む．
どの都市に対しても，その都市から出ている高速道路は $1$ 本以下である．

#6-11

判定中

JMO 2017 問4

$n ≧ 3$ 人の人がいて，そのうち $3$ 人以上が参加する集会が毎日ある．各集会では参加したどの $2$ 人も $1$ 回ずつ握手をする． $n$ 日目の集会が終わった時点でどの $2$ 人もちょうど $1$ 回ずつ握手していたとき，すべての集会に同じ人数が参加していたことを示せ．

#6-12

判定中

APMO 2016 問4

ある国は $2016$ 個の都市からなり，どの都市からもちょうど $1$ 本が出ているように都市間の（双方向とは限らない）直行便を開設したい．このとき開設の仕方によらず次の条件が成立するような最小の $k$ を求めよ：

開設の後，都市をうまく $k$ 個のグループに分けることで，任意の都市について，同じグループ内のどの都市にも $28$ 本以下の直行便を乗り継いで移動することが不可能なようにできる．

#6-13

判定中

Netherland TST 2018 問8

ある学校には $4$ 人以上の生徒がおり，どの $2$ 人も互いに友人であるか友人でないかのいずれかである． $4$ 人の生徒が円卓に座ったとき，選び方や座り方によらず，両隣が友人である，または両隣が友人でない生徒が存在したという．このとき，生徒全体を $2$ つのグループに分割し，一方はどの $2$ 人も友人であり，もう一方はどの $2$ 人も友人でないように出来ることを示せ．

#6-14

判定中

Saudi Arabia TST 2017 Practice Test1 問2

$4950$ 頂点からなる有向グラフ $G$ において，頂点 $A$ から $B$ ，および $B$ から $C$ にともに辺が張られているとき， $A$ から $C$ への辺も存在するという．このとき，以下の条件をみたす $n$ の最小値を求めよ：

頂点を $n$ 個のグループに分割して，各グループの頂点間には常に辺が存在するか存在しないかのいずれかに出来る．

#6-15

判定中

China TST 2015 Test1 問6

$a, b$ を正整数とする．じゃんけん大会が行われ，どの参加者のペアについても勝ち負け引き分けのいずれかを定めた．どの参加者も $a$ 回以上勝ち $b$ 回以上負けたとき， $i = 1, \dots, a + b$ に対して $Q_{i}$ が $Q_{i + 1}$ に勝ったような $a + b$ 人の参加者 $Q_{1}, \dots, Q_{a + b}$ の存在を示せ．

#6-16

★★★★☆

IMO 2019 問3

あるサービスには $2019$ 人のユーザーがおり，どの $2$ 人も互いに友人であるか否かのいずれかである．次のようなイベントが繰り返し起きる：

$A$ と $B$ ， $A$ と $C$ が友人であり， $B$ と $C$ は友人でないようなある $3$ 人組について， $B$ と $C$ が友人となり， $A$ と $B$ ， $A$ と $C$ はともに友人でなくなる．

友人の数が $1009$ 人であるユーザーが $1010$ 人，友人の数が $1010$ 人であるユーザーが $1009$ 人いたとする．イベントをうまく起こすことで，すべてのユーザーの友人の数が高々 $1$ 人になるように出来ることを示せ．

#6-17

★★★★☆

IMO 2020 問3

$4 n$ 個の小石があり，それぞれの重さは $1, 2, \dots, 4 n$ である．各小石は $n$ 色のうちのいずれか $1$ 色で塗られており，各色で塗られている小石はちょうど $4$ 個ずつある．小石をうまく $2$ つの山に分けることで，次の $2$ つの条件をともにみたせることを示せ：

各山に含まれる小石の重さの合計は等しい．
各色で塗られている小石は，各山にちょうど $2$ 個ずつある.

#6-18

判定中

IMO 2007 問3

ある無向グラフ $G$ に含まれるクリークの頂点数の最大値は偶数であることがわかっている．このとき頂点集合をうまく $2$ つの部分集合に分割することで，それぞれより誘導される部分グラフに含まれるクリークの頂点数の最大値を等しく出来ることを示せ．

#6-19

判定中

IMO 2005 問6

あるコンテストで $6$ 問が出題され，どの $2$ 問をとっても，それらに両方正解した人は参加者全体の $2 / 5$ より多かった．また $6$ 問すべてに正解した参加者はいなかった． $5$ 問に正解した参加者が $2$ 人以上いることを示せ．

ここから「辺彩色」（要するに路線）や「辺の重み（コスト）」（要するに所要時間）などの手段によって様々な種の情報を乗せていくことが出来ます． ↩︎
この定義は全く数学的ではありませんが，ここでは拘らないものとします．興味のある人は形式的な定義についても調べてみましょう．なお，頂点や辺に有限性を課す必要は実際にはありませんが，この記事内では基本的に無限グラフは考えないものとします． ↩︎
用語の命名や定義には種々の流儀が存在します．誤解を生みそうな用法は避けるか，厳密に定義しておくべきでしょう． ↩︎
用語こそ同じですが対象が違うので混同のおそれは無いでしょう． ↩︎
要するに「あるグラフの一部になっているグラフ」です． ↩︎
要するに「あるグラフからいくつか適当に頂点を選び，それらの間に存在する辺をすべて張って作られる部分グラフ」です． ↩︎
これを歩道 (walk) と総称することもあります．この辺りの定義は流儀によって特に齟齬が生じやすいところですが，命題1.3.が有用です． ↩︎
始点と終点が一致する道には閉道 (closed path) や単純閉路 (simple cycle) という名称もありますが，多くはこれらも単に閉路と呼ばれます． ↩︎
「ある $2$ 頂点の間に道が存在するか」は命題1.3.より同値関係となります．この関係による同値類として連結成分を定義してもよいです． ↩︎
日常的で直感的な好例に迷路があります．一般的に迷路の解が一意なのは閉路を持たないことから保障されており，逆も然りなわけです． ↩︎
図を描きましょう．すべての頂点間に「上下」関係が定まるわけではないことに留意してください．要するに「半順序」の関係です． ↩︎
視覚的には一番「下」に描いた方が「根」や「木」の語感は自然ですが，以下の用語のように家系図をイメージすると「上」の方が良いですね． ↩︎
一般に情報科学，もとい競技プログラミング方面の知識・発想は，グラフに限らず数学オリンピックの特にC分野やN分野で多く有用に働きます．同時に，逆も然りではないでしょうか． ↩︎
やはり迷路を想像すると良いでしょう．「行き止まりに突き当たるたびに引き返す」という(恐らく)自然で馴染み深い戦略がまさにそれです． ↩︎
この手順で得られた根から出て根へ戻る経路のことをオイラーツアー (Euler tour)と呼びます． ↩︎
実際にはこれはグラフに限らず組み合わせ論における広範的な主張で，さらなる一般化も可能です．詳細はWikipediaなどを参照して下さい． ↩︎
クリークについては第5章を参照して下さい． ↩︎
具体的には $k_{1} = k_{2} = 3$ のとき $R = 6$ で良いことを主張しています．逆に $K_{3}$ を含まない $K_{5}$ の $2$ 色での彩色を考えてみてください． ↩︎
単に「彩色」と言えば一般には「最適頂点彩色」を指すことが多いようです．確かに四色定理に代表されるように最も自然な対象ではあります． ↩︎
後半部分については，実は $n$ を偶数に広げても $n = 4$ に限られ，これには簡潔な証明が知られています： $n ≧ 5$ に対し格子点を頂点とする正 $n$ 角形の存在を仮定し，面積最小の $A_{1} \dots A_{n}$ をとると， $A_{i - 1} A_{i} A_{i + 1} B_{i}$ が平行四辺形となるような各 $B_{i}$ は格子点で， $B_{1} \dots B_{n}$ は完全に含まれる正 $n$ 角形となり矛盾． ↩︎
線型代数を以下しっかり使います．数学オリンピックでは大学以降の知識を援用しても何ら問題ありません．あくまで正しく使えてさえいれば… ↩︎
このように条件が二部グラフの場合は隣接行列を簡潔化できます．ただし上に挙げた諸演算で得られるものが少し変わるので注意して下さい． ↩︎ ↩︎
正確には $n > k$ が必要ですが， $n = k$ のとき $x = n$ で特に全ての男女が知り合いとわかります．コーナーケースには常に注意しましょう． ↩︎
固有値の匂いがしますね．その辺りの議論も実際グラフとは好相性です．これは記事の補強によってまた扱いたいと思っています． ↩︎