グラフ理論のソースを表示

{{pathnav|数学|frame=1}}

　グラフ理論（Graph theory）とは、グラフの持つ様々な性質を解明し、日常の様々な場面で利用することを目的とする数学分野の1つである。
== グラフとは ==

　グラフ理論における'''グラフ''' （Graph）とは、'''頂点'''(node)と'''辺'''(edge)により構成された図形のことである。グラフは主に、'''有向グラフ''' （directed graph）と'''無向グラフ''' （undirected graph）の2つに分類される。有向グラフとは、頂点と向きを持つ辺（矢印）により構成されたグラフであり、無向グラフとは、頂点と辺により構成されたグラフである。有向グラフの辺を有向辺、無向グラフの辺を無向辺という。また、ある2頂点が辺で結ばれている場合、その2頂点は隣接するという。この教科書では、特に利用分野の多い無向グラフについて説明する。そのため、この教科書では、無向グラフを単にグラフと記述することとする。

=== グラフの表記 ===

　グラフは頂点の集合と辺の集合の2つの順序対で構成される。グラフ<math>G</math>を構成する頂点の集合を<math>V</math>、辺の集合を<math>E</math>とし、<math>G=(V,E)</math>と表記する。頂点を<math>u</math>や<math>v</math>で表すことが多く、頂点<math>u,v</math>を結ぶ辺を<math>\{u,v\}</math>または、<math>uv</math>と表す。しかし、紛らわしい表記であるため、この教科書では、<math>\{u,v\}</math>と表記することとする。ただし、<math>\{u,v\}</math>と<math>\{v,u\}</math>はどちらでも構わない。

=== グラフの作図 ===

　「グラフの定義」で説明したとおり、グラフは頂点と辺により構成される。とは言うものの、実際にどのように作図すればいいのかわからないだろう。この節では、グラフの作図について説明する。まず、頂点を丸で表し、辺を直線または、曲線で表す。そのとき、マルの大きさや直線の長さ、曲線の曲がり具合はグラフの本質には関係ないので、厳密に作図する必要はない。以下にグラフの作図例を紹介する。
<gallery widths="200px">
ファイル:Wikibooks graph theory.png|作図例
</gallery>
頂点の周囲に<math>u</math>や<math>v</math>などと記すと、グラフを表記するとき、便利である。頂点の中にラベル（重み）を記す場合があるが、まず、グラフの基本から説明する必要があるため、この節で紹介するのはやめておく。

=== 例題1 ===

(1)　以下のグラフ<math>G_1</math>を<math>G_1=(V_1,E_1)</math>の形式で表せ。
<gallery widths="200px">
ファイル:Wikibooks graph theory2.png|<math>G_1</math>
</gallery>
<math>V_1=\{v_1,v_2,v_3,v_4\}</math>, <math>E_1=\{\{v_1,v_3\},\{v_1,v_4\},\{v_2,v_3\},\{v_2,v_4\}\}</math>であるから、<br />
<math>G_1=(\{v_1,v_2,v_3,v_4\},\{\{v_1,v_3\},\{v_1,v_4\},\{v_2,v_3\},\{v_2,v_4\}\})</math><br /><br />
(2)　グラフ<math>G_2=(\{v_1,v_2,v_3,v_4\},\{\{v_1,v_2\},\{v_1,v_3\},\{v_1,v_4\},\{v_2,v_3\},\{v_3,v_4\}\})</math>を作図せよ。
<gallery widths="200px">
ファイル:Wikibooks graph theory3.png|<math>G_2</math>
</gallery>

=== 問題1 ===

(1)　以下のグラフ<math>G_3</math>を<math>G_3=(V_3,E_3)</math>の形式で表せ。
<gallery widths="200px">
ファイル:Wikibooks graph theory4.png|<math>G_3</math>
</gallery>
(2)　グラフ<math>G_4=(\{v_1,v_2,v_3,v_4,v_5\},\{\{v_1,v_3\},\{v_2,v_3\},\{v_2,v_5\},\{v_3,v_4\},\{v_3,v_5\},\{v_4,v_5\}\})</math>を作図せよ。

== 位数とサイズ ==
　頂点の数を位数（order）、辺の数をサイズという。
== 次数 ==
　グラフにおける次数（degree）とは、ある頂点に結ばれている辺の数である。
== 道と閉路 ==
　あるグラフにおいて、<math>\{v_0,v_1\},\{v_1,v_2\},\cdots,\{v_{n-1},v_n\}</math>がすべて辺であるとき、それぞれの辺の集合を頂点<math>v_0</math>
と頂点<math>v_n</math>を結ぶ'''道'''(path)と言う。

== 同型のグラフ ==
　ある2つのグラフが同型（isomorphism）であるということは、それぞれのグラフを構成する頂点と辺の結びつきが同じであるということである。
== 連結なグラフ ==
　連結(connected)なグラフとは、任意の2頂点間に道が存在するグラフのことである。

== 完全グラフ ==
　完全グラフ（complete graph）とは、すべての頂点同士が辺で結ばれているグラフのことである。頂点数<math> n </math>の完全グラフを<math> K_n </math>と表す。
== 特殊なグラフとその構成 ==
オイラーグラフ：　オイラー閉トレイルが存在するグラフをオイラーグラフと呼ぶ。

オイラー閉トレイル：　グラフのすべての辺とすべての点を含む閉トレイルをオイラー閉トレイルと呼ぶ。

オイラートレイル：　グラフのすべての辺とすべての点を含むトレイルをオイラートレイルと呼ぶ。

ハミルトングラフ：　ハミルトン閉路を含むグラフをハミルトングラフと呼ぶ。

ハミルトン閉路：　グラフのすべての頂点を含む閉路をハミルトン閉路と呼ぶ。

== 木 ==
根（root）という頂点を持ち、
=== 順序木 ===
== 問題の解答 ==
　問題の解答を記載しておく。
=== 問題1 ===
(1)<br />
<math>G_3=(\{v_1,v_2,v_3,v_4,v_5\},\{\{v_1,v_3\},\{v_1,v_5\},\{v_2,v_3\},\{v_2,v_4\},\{v_2,v_5\},\{v_3,v_5\}\})</math><br />
(2)
<gallery widths="200px">
ファイル:Wikibooks graph theory5.png|<math>G_4</math>
</gallery>
== ファイルのダウンロード ==
以下のURLにアクセスするとファイルをダウンロードすることができる。もちろん、自由に利用して構わない。<br />
https://skydrive.live.com/redir.aspx?cid=322baa2fe886dd76&resid=322BAA2FE886DD76!230&parid=root (リンク切れ)<br />
この教科書に利用されているファイルWikibooks graph theory*.pngはgraph*.svgやgraph*.png,graph*.epsの3種類の形式で保存されている。そのため、様々な用途に利用できる。フォルダとして一括でダウンロードすることも可能である。

[[Category:数学|くらふりろん]]
[[Category:離散グラフ]]