2.1. グラフの定義
本書では単純グラフと呼ばれる種類のグラフを最初に考える。名前の通り、単純グラフは非常に単純な定義を持つ:
有限集合 と の部分集合 の組 を単純グラフ (simple graph) と呼ぶ。
復習しておくと、 は二つの要素を持つ の部分集合全体からなる集合を表す。つまり単純グラフとは組 であり、 は有限集合、 は の異なる二要素からなる の部分集合をいくつか集めた集合を表す。これから本章では「単純グラフ」を単に「グラフ」と呼ぶ。ただし、以降の章 (第 3 章) では単純グラフより高度で一般的な「グラフ」の概念を学ぶ。
単純グラフの例を示す:
任意の に対して、 および
と定める。このとき組 は単純グラフである。この単純グラフを 次の共素性グラフ (-th coprimality graph) と呼び、 と表記する。
単純グラフは有限集合の要素間の関係を符号化するのに利用される ── 正確に言えば、単純グラフが符号化するのは反射的でない (自分自身とは成立しない) 対称的 (相互的) な二項 (二つの要素間の) 関係である。例えば、例 2.2.2 のグラフ は有限集合 上の「互いに素」という関係 (共素性) を符号化する。 別の例として、 を人類全体の集合、 を集合 と定めると、 は単純グラフとなる。2022 年でさえ自分自身との婚姻は不可能なので、全ての婚姻関係は 要素の部分集合で符号化できる1。
次の記法はグラフ の要素 と を参照する簡単な手段を提供する:
を単純グラフとする。
-
集合 を の頂点集合 (vertex set) と呼び、 と表す。
-
の要素を の頂点 (vertex) またはノード (node) と呼ぶ。
-
集合 を の辺集合 (edge set) と呼び、 と表す。
-
の要素を の辺 (edge) と呼ぶ。 の二要素 , に対して、 を と省略する表記をこれからしばしば用いる。この記法を使うと、 の各辺は の異なる二要素 , を使って と書ける。また、当然 が成り立つ。
-
, を の二つの頂点とする。 のとき、つまり が の辺のとき、 と は (互いに相手と) 隣接する (adjacent) と言う。同じ状況で、辺 は と を結ぶ (join)、あるいは接続する (connect) と言う。頂点 , を辺 の端点 (endpoint) と呼ぶ。グラフ が文脈から明らかでないときは、単に「隣接する」とは言わずに「 で隣接する」と言うことがある。
-
の二頂点 , が隣接しないとき、つまり のとき、 と は (互いに相手と) 非隣接 (non-adjacent) と言う。
-
を の頂点 (つまり ) とする。このとき、 の頂点 であって を満たすものを の隣接頂点 (neighbor) と呼ぶ。言い換えれば、 の隣接頂点とは と隣接する の頂点である。
を (例 2.1.2 と同じ) 次の単純グラフとする:
このとき、 の頂点集合 と辺集合 は次の通りである:
最後の行では を と省略する記法を使っている。頂点 と頂点 は ( なので) 隣接する。しかし頂点 と頂点 は ( なので) 隣接しない。 の隣接頂点は と であり、辺 の端点は と である。
-
これより一般的な社会的グラフの例として「友達関係グラフ」がある。ここでも は人類全体の集合であるものの、 は集合 となる。当然、この定義は友達関係が必ず相互的であることを仮定している (Facebook では正しいが、現実世界では疑わしい)。 ↩︎