「グラフ理論の基礎」の編集履歴（バックアップ）一覧はこちら
「グラフ理論の基礎」(2012/10/15 (月) 18:04:04) の最新版変更点
追加された行は緑色になります。
削除された行は赤色になります。
**グラフ理論の「グラフ」とは？？
一般的に「グラフ」と言われれば思い浮かぶのは「棒グラフ」とか「円グラフ」みたいなデータの整理に使うグラフだと思います。
が。ここでいうグラフというのは、つぎの２つの構成要素からなる「図形」です。
1)&bold(){点}(vertex)…その名の通り点。
2)&bold(){辺}(edge)…点と点を繋ぐ奴。
点と点は繋がっている前提みたいな書き方をしましたが、別に点がどこの点ともつながらずに自分の殻に閉じこもっていても構いません。
このような点の事を&bold(){孤立点}(isolated vertex)といい、孤立点があるようなグラフの事を&bold(){非連結グラフ}(disconnected graph)と言います。反義語は&bold(){連結グラフ}(connected graph)ですね。
また、ある点から生え出てる辺の数を&bold(){次数}(degree)と言います。下のグラフで考えてみましょう。
#image(http://www58.atwiki.jp/dooooornob/?cmd=upload&act=open&page=%E3%82%B0%E3%83%A9%E3%83%95%E7%90%86%E8%AB%96%E3%81%AE%E5%9F%BA%E7%A4%8E&file=graph.png)
例えば(a)のグラフについて点Bの次数は3で
$$ deg(B)=3 $$
と表記します。ちなみに孤立点の次数は0です。
さて、ここでグラフという概念で重要な概念として「同形性」があります。
実は上の２つの(a)(b)というグラフは―"見た目"が全然違うにも関わらず―グラフ理論という体系の中では「ある種同じもの」として考えられるのです。
**グラフの行列による表記
グラフは次の２つの行列にその情報を対応付けることができます。
1)&bold(){隣接行列}…ij成分に「点iと点jを結んでいる辺の数」を入れたもの。
2)&bold(){接続行列}…ij成分に「点iから辺jが生えているならば１、そうでないなら０」を入れたもの。
上にグラフの隣接行列を$$A$$、接続行列を$$M$$とすると（ただし、点A⇒点1、点B⇒点2と読む）
$$ A=\begin{bmatrix} 0&0&1&0&1 \\ 0&0&1&1&1 \\ 0&1&0&1&1 \\ 0&1&1&0&0 \\ 1&1&0&0&0 \end{bmatrix}\ M=\begin{bmatrix} 1&1&0&0&0&0 \\ 0&0&1&1&0&1 \\ 1&0&1&0&1&0 \\ 0&0&0&1&1&0 \\ 0&1&0&0&0&1 \end{bmatrix}$$
さて、これらの行列は(a)も(b)も全く同じであります。
つまり、点同士のつながり方も、点と辺の繋がり方も一緒であれば、それらは「&bold(){位相的同形}」であるといえるわけです。
隣接行列について、上では対角成分がすべて0になっていますが「点iから出て点iに入るような辺」っていうのも考えることができます。このような辺を自分に帰ってきているという意味で&bold(){ループ}と言います。
また対角行列について、すべて成分は1以下となっていますが、別に２つや３つの辺で点同士が繋がっていても構いません。このような辺を&bold(){多重辺}といいます。
これらの特殊な要素（多重辺およびループ）を含まないようなグラフの事を&bold(){単純グラフ}(simple graph)といいます。
**グラフが平面であるとは？？
たとえ同形であっても、色々な書き方があるというのは上の例でみたとおりです。
ここで(a)のように辺同士が交差しているに対して、(b)のように辺同士のクロスがないグラフを&bold(){平面グラフ}と言います。
今までは点と辺だけで考えてきたので、隣接行列や接続行列で完全にその特徴を記述できました。しかし、次のような概念もグラフ理論においては重要です。
・&bold(){面}(face)・・・辺で分割された１つの領域
これは明らかに、上の例で言う(a)と(b)ではこの数に差があることが分かります。
さて。そこで、連結で且つ平面グラフであるようなグラフについてだけ、面の数f、点の数n、辺の数mについて次のような性質が成り立ちます。
$$ f=2-n+m $$
このような関係式を&bold(){オイラーの関係式}と言います。
**グラフ理論の「グラフ」とは？？
一般的に「グラフ」と言われれば思い浮かぶのは「棒グラフ」とか「円グラフ」みたいなデータの整理に使うグラフだと思います。
が。ここでいうグラフというのは、つぎの２つの構成要素からなる「図形」です。
1)&bold(){点}(vertex)…その名の通り点。
2)&bold(){辺}(edge)…点と点を繋ぐ奴。
点と点は繋がっている前提みたいな書き方をしましたが、別に点がどこの点ともつながらずに自分の殻に閉じこもっていても構いません。
このような点の事を&bold(){孤立点}(isolated vertex)といい、孤立点があるようなグラフの事を&bold(){非連結グラフ}(disconnected graph)と言います。反義語は&bold(){連結グラフ}(connected graph)ですね。
また、ある点から生え出てる辺の数を&bold(){次数}(degree)と言います。下のグラフで考えてみましょう。
#image(http://www58.atwiki.jp/dooooornob/?cmd=upload&act=open&page=%E3%82%B0%E3%83%A9%E3%83%95%E7%90%86%E8%AB%96%E3%81%AE%E5%9F%BA%E7%A4%8E&file=graph.png)
例えば(a)のグラフについて点Bの次数は3で
$$ deg(B)=3 $$
と表記します。ちなみに孤立点の次数は0です。
さて、ここでグラフという概念で重要な概念として「同形性」があります。
実は上の２つの(a)(b)というグラフは―"見た目"が全然違うにも関わらず―グラフ理論という体系の中では「ある種同じもの」として考えられるのです。
**グラフの行列による表記
グラフは次の２つの行列にその情報を対応付けることができます。
1)&bold(){隣接行列}…ij成分に「点iと点jを結んでいる辺の数」を入れたもの。
2)&bold(){接続行列}…ij成分に「点iから辺jが生えているならば１、そうでないなら０」を入れたもの。
上にグラフの隣接行列を$$A$$、接続行列を$$M$$とすると（ただし、点A⇒点1、点B⇒点2と読む）
$$ A=\begin{bmatrix} 0&0&1&0&1 \\ 0&0&1&1&1 \\ 0&1&0&1&1 \\ 0&1&1&0&0 \\ 1&1&0&0&0 \end{bmatrix}\ M=\begin{bmatrix} 1&1&0&0&0&0 \\ 0&0&1&1&0&1 \\ 1&0&1&0&1&0 \\ 0&0&0&1&1&0 \\ 0&1&0&0&0&1 \end{bmatrix}$$
さて、これらの行列は(a)も(b)も全く同じであります。
つまり、点同士のつながり方も、点と辺の繋がり方も一緒であれば、それらは「&bold(){位相的同形}」であるといえるわけです。
隣接行列について、上では対角成分がすべて0になっていますが「点iから出て点iに入るような辺」っていうのも考えることができます。このような辺を自分に帰ってきているという意味で&bold(){ループ}と言います。
また対角行列について、すべて成分は1以下となっていますが、別に２つや３つの辺で点同士が繋がっていても構いません。このような辺を&bold(){多重辺}といいます。
これらの特殊な要素（多重辺およびループ）を含まないようなグラフの事を&bold(){単純グラフ}(simple graph)といいます。
**グラフが平面であるとは？？
たとえ同形であっても、色々な書き方があるというのは上の例でみたとおりです。
ここで(a)のように辺同士が交差しているに対して、(b)のように辺同士のクロスがないグラフを&bold(){平面グラフ}と言います。
今までは点と辺だけで考えてきたので、隣接行列や接続行列で完全にその特徴を記述できました。しかし、次のような概念もグラフ理論においては重要です。
・&bold(){面}(face)・・・辺で分割された１つの領域
これは明らかに、上の例で言う(a)と(b)ではこの数に差があることが分かります。
さて。そこで、連結で且つ平面グラフであるようなグラフについてだけ、面の数f、点の数n、辺の数mについて次のような性質が成り立ちます。
$$ f=2-n+m $$
このような関係式を&bold(){オイラーの関係式}と言います。
#javascript(){{
<!-- admax -->
<script type="text/javascript" src="http://adm.shinobi.jp/s/2378325e5782e4336b0932b16cb17597"></script>
<!-- admax -->
}}
