《グラフ・ネットワーク》 - 版の履歴

2007年8月7日 (火) 00:36にOrsjwikiによる

2007-08-07T00:36:39Z

2007年8月6日 (月) 17:02にKuwashimaによる

2007-08-06T17:02:33Z

2007年8月6日 (月) 14:48にTetsuyatominagaによる

2007-08-06T14:48:32Z

Orsjwiki: "《グラフ・ネットワーク》" を保護しました。 [edit=sysop:move=sysop]

2007-07-19T13:04:55Z

"《グラフ・ネットワーク》" を保護しました。 [edit=sysop:move=sysop]

2007年7月18日 (水) 06:44に122.17.2.240による

2007-07-18T06:44:10Z

2007年7月18日 (水) 06:42に122.17.2.240による

2007-07-18T06:42:56Z

2007年7月4日 (水) 11:11にOrsjwikiによる

2007-07-04T11:11:47Z

2007年7月4日 (水) 07:51にOrsjwikiによる

2007-07-04T07:51:08Z

122.26.167.76: 新しいページ: ''''【ぐらふ・ねっとわーく (graphs and networks) 】''' 　グラフ（グラフ理論の）}{グラフ}(graph)は，点（グラフの）}{点}の集合$V$，[[枝]...'

2007-07-04T02:53:09Z

新しいページ: ''''【ぐらふ・ねっとわーく (graphs and networks) 】''' 　グラフ（グラフ理論の）}{グラフ}(graph)は，点（グラフの）}{点}の集合$V$，[[枝]...'

新規ページ

'''【ぐらふ・ねっとわーく (graphs and networks) 】'''

　グラフ（グラフ理論の）}{グラフ}(graph)は，点（グラフの）}{点}の集合$V$，[[枝]]の集合$A$および各枝$a\in A$の始点と終点を指定する二つの写像$\partial^+: A \to V$と$\partial^-: A \to V$からなる複合概念であり，グラフ$G=(V,A;\partial^+,\partial^-)$のように記される．また，しばしば$G=(V,A)$のように略記される．グラフは平面上に，点を丸で，枝を矢線で描き，幾何学的に表現される．枝$a$の矢線の始点が$\partial^+a$を，終点が$\partial^-a$を表している．$u=\partial^+a$で$v=\partial^+a$であるとき，枝$a$は点$u$から点$v$への枝といわれる．すべての２点$u$, $v$に対して点$u$から点$v$への枝が高々１本だけであるとき, 点$u$から点$v$への枝があればそれを$(u,v)$のように点の順序対で表現することも多い．これからも分かるようにグラフはその点集合上の２項関係を表すものであると考えることができる．様々なシステムの構造を捕らえるとき, それらのシステムの構成要素の間の２項関係を考えることはもっとも基本的であり, モデル化も容易である．枝$(u,v)$は$u$から$v$へのものの流れ（の存在）を表現したり, $u$から$v$への因果関係，通信ケーブルや道路などのリンクの存在などを表現したりする．日常的にも用いられる「・・・ネットワーク」や「・・・網」といわれるものはグラフ構造を持つものである．

　取り扱う問題によっては, 各枝の始点と終点がどちらであるかを気にしない（すなわち対称な２項関係を考える）こともある．このようなとき，平面上の幾何学的表現では各枝を表現する矢線から矢印を取って，そのグラフを表現する．このようなグラフは[[無向グラフ]] (undirected graph) と呼ばれる．最初に定義した通常のグラフを無向グラフと対比して示したいとき, これを[[有向グラフ]] (directed graph あるいは digraph) という．グラフの用語については，日本語および英語の両方とも，必ずしも統一されていない．点は，頂点，節点とも呼ばれ，枝は，辺，弧，線などとも呼ばれる．英語では，点はvertex, node, 枝は edge, arc などがよく用いられる（枝に対し有向グラフでarc, 無向グラフでedgeを用いる流儀もある）．グラフの枝（や点）にそれに付随する容量，長さ，費用などの属性を付与してグラフ中のものの流れなどを考える場合, これを[[ネットワーク]] (network)と呼ぶ．

　グラフ$G=(V,A)$上の点$u$から点$v$へ枝の向きは無視して接続する点と枝をたどって到達できるとき，たどる順に得られる点と枝の交互列を点$u$から点$v$への道（あるいは路）(path) という．その道上の枝がたどる向きにすべて揃っているとき，そのような道を有向道（あるいは有向路）(directed path)という．道および有向道は，少なくとも１本の枝を含み, その始点と終点が一致するとき，閉路(closed path (cycle))および有向閉路(directed closedpath (directed cycle))と呼ばれる．平面上に枝を交差させることなく幾何学的に表現することが可能なグラフを[[平面グラフ]] (planar graph) という．閉路を含まない連結なグラフを[[木]] (tree)という．グラフ$G$の点集合$V$のある２分割$\{U,W\}$が存在して，各枝が$U$の点と$W$の点を結ぶとき，このグラフ$G$を[[2部グラフ]] (bipartite graph) という．$U$と$W$の点の数がそれぞれ$m$と$n$であって，$U$の各点と$W$の各点を結ぶ枝が丁度１本存在するとき，この２部グラフを完全２部グラフと言い, ${\rm K}_{m,n}$のように表す．グラフ$G$が自己閉路（１本の枝からなる閉路）を含まず, そのすべての相異なる２点に対してそれらを結ぶ丁度１本の枝が存在するとき，このグラフを[[完全グラフ]] (complete graph)（あるいは完備グラフ）という．ここで，$V$の点の数が$n$であるとき，これを$n$点完全グラフと呼び, ${\rm K}_n$のように表す．

　二つのグラフ$G_1=(V_1,A_1;\partial^+_1,\partial^-_1)$と$G_2=(V_2,A_2;\partial^+_2,\partial^-_2)$に対して, グラフ$G_1$の点と枝の接続関係は保ったまま$V_1$の各点の名前（ラベル）を変えて$V_2$とし，同時に$A_1$の各枝の名前（ラベル）を変えて$A_2$としてグラフ$G_1$からグラフ$G_2$を得ることが可能であるとき, これらの二つのグラフは同形性（グラフの）[[同形である]] (isomorphic)という．また，二つのグラフ$G_1=(V_1,A_1;\partial^+_1,\partial^-_1)$と$G_2=(V_2,A_2;\partial^+_2,\partial^-_2)$に対して, $V_2\subseteq V_1$, $A_2\subseteq A_1$であり，$\partial^+_2$が$\partial^+_1$を，$\partial^-_2$が$\partial^-_1$を，それぞれ，$A_2$上に制限したものになっているとき, グラフ$G_2$をグラフ$G_1$の部分グラフという．与えられたグラフ$G$の幾何学的表現から，いくつかの枝を消し，いくつかの孤立して残る点を消して得られる幾何学的表現に対応するグラフが元のグラフ$G$の部分グラフである．

----

'''参考文献'''

[1] C. Berge, ''Graphes et Hypergraphes'', Dunod, 1970. 伊理正夫他訳，『グラフの理論, I～III』, サイエンス社，1976.

[2] J. A. Bondy and U. S. R. Murty, ''Graph Theory with Applications'', North-Holland, 1976.

[3] F. Harary, ''Graph Theory'', Addison-Wesley, 1969. 池田貞雄訳，『グラフ理論』, 共立出版，1971.

[4] 伊理正夫, 藤重悟, 大山達雄，『グラフ・ネットワーク・マトロイド』,産業図書，1986.

← 古い版		2007年8月7日 (火) 00:36時点における版
24行目:		24行目:
	[5] 伊理正夫, 藤重悟, 大山達雄，『グラフ・ネットワーク・マトロイド』,産業図書，1986.		[5] 伊理正夫, 藤重悟, 大山達雄，『グラフ・ネットワーク・マトロイド』,産業図書，1986.

−		+	[[Category:グラフ･ネットワーク\|ぐらふ・ねっとわーく]]
−	[[Category:~~グラフ・ネットワーク~~\|ぐらふ・ねっとわーく]]

← 古い版		2007年8月6日 (月) 17:02時点における版
23行目:		23行目:

	[5] 伊理正夫, 藤重悟, 大山達雄，『グラフ・ネットワーク・マトロイド』,産業図書，1986.		[5] 伊理正夫, 藤重悟, 大山達雄，『グラフ・ネットワーク・マトロイド』,産業図書，1986.
		+
		+
		+	[[Category:グラフ・ネットワーク\|ぐらふ・ねっとわーく]]

@@ 18行目: / 18行目: @@
 [2] J. A. Bondy and U. S. R. Murty, ''Graph Theory with Applications'', North-Holland, 1976.
-[3] F. Harary, ''Graph Theory'', Addison-Wesley, 1969. 池田貞雄 訳，『グラフ理論』, 共立出版，1971.
+[3] R.Diestel, ''Graph Theory'', 3rd ed., Springer, 2005.
-[4] 伊理正夫, 藤重悟, 大山達雄，『グラフ・ネットワーク・マトロイド』,産業図書，1986.
+[4] F. Harary, ''Graph Theory'', Addison-Wesley, 1969. 池田貞雄 訳，『グラフ理論』, 共立出版，1971.

← 古い版		2007年7月18日 (水) 06:44時点における版
7行目:		7行目:
	グラフ<math>G=(V,A)\, </math>上の点<math>u\, </math>から点<math>v\, </math>へ枝の向きは無視して接続する点と枝をたどって到達できるとき，たどる順に得られる点と枝の交互列を点<math>u\, </math>から点<math>v\, </math>への道（あるいは路）(path) という．その道上の枝がたどる向きにすべて揃っているとき，そのような道を有向道（あるいは有向路）(directed path)という．道および有向道は，少なくとも１本の枝を含み, その始点と終点が一致するとき，閉路(closed path (cycle))および有向閉路(directed closedpath (directed cycle))と呼ばれる．平面上に枝を交差させることなく幾何学的に表現することが可能なグラフを[[平面グラフ]] (planar graph) という．閉路を含まない連結なグラフを[[木]] (tree)という．グラフ<math>G\, </math>の点集合<math>v\, </math>のある２分割<math>\{U,W\}\, </math>が存在して，各枝が<math>u\, </math>の点と<math>W\, </math>の点を結ぶとき，このグラフ<math>G\, </math>を[[2部グラフ]] (bipartite graph) という．<math>u\, </math>と<math>W\, </math>の点の数がそれぞれ<math>m\, </math>と<math>n\, </math>であって，<math>u\, </math>の各点と<math>W\, </math>の各点を結ぶ枝が丁度１本存在するとき，この２部グラフを完全２部グラフと言い, <math>{\rm K}_{m,n}\, </math>のように表す．グラフ<math>G\, </math>が自己閉路（１本の枝からなる閉路）を含まず, そのすべての相異なる２点に対してそれらを結ぶ丁度１本の枝が存在するとき，このグラフを[[完全グラフ]] (complete graph)（あるいは完備グラフ）という．ここで，<math>v\, </math>の点の数が<math>n\, </math>であるとき，これを<math>n\, </math>点完全グラフと呼び, <math>{\rm K}_n\, </math>のように表す．		グラフ<math>G=(V,A)\, </math>上の点<math>u\, </math>から点<math>v\, </math>へ枝の向きは無視して接続する点と枝をたどって到達できるとき，たどる順に得られる点と枝の交互列を点<math>u\, </math>から点<math>v\, </math>への道（あるいは路）(path) という．その道上の枝がたどる向きにすべて揃っているとき，そのような道を有向道（あるいは有向路）(directed path)という．道および有向道は，少なくとも１本の枝を含み, その始点と終点が一致するとき，閉路(closed path (cycle))および有向閉路(directed closedpath (directed cycle))と呼ばれる．平面上に枝を交差させることなく幾何学的に表現することが可能なグラフを[[平面グラフ]] (planar graph) という．閉路を含まない連結なグラフを[[木]] (tree)という．グラフ<math>G\, </math>の点集合<math>v\, </math>のある２分割<math>\{U,W\}\, </math>が存在して，各枝が<math>u\, </math>の点と<math>W\, </math>の点を結ぶとき，このグラフ<math>G\, </math>を[[2部グラフ]] (bipartite graph) という．<math>u\, </math>と<math>W\, </math>の点の数がそれぞれ<math>m\, </math>と<math>n\, </math>であって，<math>u\, </math>の各点と<math>W\, </math>の各点を結ぶ枝が丁度１本存在するとき，この２部グラフを完全２部グラフと言い, <math>{\rm K}_{m,n}\, </math>のように表す．グラフ<math>G\, </math>が自己閉路（１本の枝からなる閉路）を含まず, そのすべての相異なる２点に対してそれらを結ぶ丁度１本の枝が存在するとき，このグラフを[[完全グラフ]] (complete graph)（あるいは完備グラフ）という．ここで，<math>v\, </math>の点の数が<math>n\, </math>であるとき，これを<math>n\, </math>点完全グラフと呼び, <math>{\rm K}_n\, </math>のように表す．

−	二つのグラフ<math>G_1=(V_1,A_1;\partial^+_1,\partial^-_1)\, </math>と<math>G_2=(V_2,A_2;\partial^+_2,\partial^-_2)\, </math>に対して, グラフ<math>G_1\, </math>の点と枝の接続関係は保ったまま<math>V_1\, </math>の各点の名前（ラベル）を変えて<math>V_2\, </math>とし，同時に<math>A_1\, </math>の各枝の名前（ラベル）を変えて<math>A_2\, </math>としてグラフ<math>G_1\, </math>からグラフ<math>G_2\, </math>を得ることが可能であるとき, これらの二つのグラフは[[同形性 (グラフの)]] (isomorphic)という．また，二つのグラフ<math>G_1=(V_1,A_1;\partial^+_1,\partial^-_1)\, </math>と<math>G_2=(V_2,A_2;\partial^+_2,\partial^-_2)\, </math>に対して, <math>V_2\subseteq V_1\, </math>, <math>A_2\subseteq A_1\, </math>であり，<math>\partial^+_2\, </math>が<math>\partial^+_1\, </math>を，<math>\partial^-_2\, </math>が<math>\partial^-_1\, </math>を，それぞれ，<math>A_2\, </math>上に制限したものになっているとき, グラフ<math>G_2\, </math>をグラフ<math>G_1\, </math>の部分グラフという．与えられたグラフ<math>G\, </math>の幾何学的表現から，いくつかの枝を消し，いくつかの孤立して残る点を消して得られる幾何学的表現に対応するグラフが元のグラフ<math>G\, </math>の部分グラフである．	+	二つのグラフ<math>G_1=(V_1,A_1;\partial^+_1,\partial^-_1)\, </math>と<math>G_2=(V_2,A_2;\partial^+_2,\partial^-_2)\, </math>に対して, グラフ<math>G_1\, </math>の点と枝の接続関係は保ったまま<math>V_1\, </math>の各点の名前（ラベル）を変えて<math>V_2\, </math>とし，同時に<math>A_1\, </math>の各枝の名前（ラベル）を変えて<math>A_2\, </math>としてグラフ<math>G_1\, </math>からグラフ<math>G_2\, </math>を得ることが可能であるとき, これらの二つのグラフは[[同形性 (グラフの)\|同形である]] (isomorphic)という．また，二つのグラフ<math>G_1=(V_1,A_1;\partial^+_1,\partial^-_1)\, </math>と<math>G_2=(V_2,A_2;\partial^+_2,\partial^-_2)\, </math>に対して, <math>V_2\subseteq V_1\, </math>, <math>A_2\subseteq A_1\, </math>であり，<math>\partial^+_2\, </math>が<math>\partial^+_1\, </math>を，<math>\partial^-_2\, </math>が<math>\partial^-_1\, </math>を，それぞれ，<math>A_2\, </math>上に制限したものになっているとき, グラフ<math>G_2\, </math>をグラフ<math>G_1\, </math>の部分グラフという．与えられたグラフ<math>G\, </math>の幾何学的表現から，いくつかの枝を消し，いくつかの孤立して残る点を消して得られる幾何学的表現に対応するグラフが元のグラフ<math>G\, </math>の部分グラフである．

← 古い版		2007年7月18日 (水) 06:42時点における版
7行目:		7行目:
	グラフ<math>G=(V,A)\, </math>上の点<math>u\, </math>から点<math>v\, </math>へ枝の向きは無視して接続する点と枝をたどって到達できるとき，たどる順に得られる点と枝の交互列を点<math>u\, </math>から点<math>v\, </math>への道（あるいは路）(path) という．その道上の枝がたどる向きにすべて揃っているとき，そのような道を有向道（あるいは有向路）(directed path)という．道および有向道は，少なくとも１本の枝を含み, その始点と終点が一致するとき，閉路(closed path (cycle))および有向閉路(directed closedpath (directed cycle))と呼ばれる．平面上に枝を交差させることなく幾何学的に表現することが可能なグラフを[[平面グラフ]] (planar graph) という．閉路を含まない連結なグラフを[[木]] (tree)という．グラフ<math>G\, </math>の点集合<math>v\, </math>のある２分割<math>\{U,W\}\, </math>が存在して，各枝が<math>u\, </math>の点と<math>W\, </math>の点を結ぶとき，このグラフ<math>G\, </math>を[[2部グラフ]] (bipartite graph) という．<math>u\, </math>と<math>W\, </math>の点の数がそれぞれ<math>m\, </math>と<math>n\, </math>であって，<math>u\, </math>の各点と<math>W\, </math>の各点を結ぶ枝が丁度１本存在するとき，この２部グラフを完全２部グラフと言い, <math>{\rm K}_{m,n}\, </math>のように表す．グラフ<math>G\, </math>が自己閉路（１本の枝からなる閉路）を含まず, そのすべての相異なる２点に対してそれらを結ぶ丁度１本の枝が存在するとき，このグラフを[[完全グラフ]] (complete graph)（あるいは完備グラフ）という．ここで，<math>v\, </math>の点の数が<math>n\, </math>であるとき，これを<math>n\, </math>点完全グラフと呼び, <math>{\rm K}_n\, </math>のように表す．		グラフ<math>G=(V,A)\, </math>上の点<math>u\, </math>から点<math>v\, </math>へ枝の向きは無視して接続する点と枝をたどって到達できるとき，たどる順に得られる点と枝の交互列を点<math>u\, </math>から点<math>v\, </math>への道（あるいは路）(path) という．その道上の枝がたどる向きにすべて揃っているとき，そのような道を有向道（あるいは有向路）(directed path)という．道および有向道は，少なくとも１本の枝を含み, その始点と終点が一致するとき，閉路(closed path (cycle))および有向閉路(directed closedpath (directed cycle))と呼ばれる．平面上に枝を交差させることなく幾何学的に表現することが可能なグラフを[[平面グラフ]] (planar graph) という．閉路を含まない連結なグラフを[[木]] (tree)という．グラフ<math>G\, </math>の点集合<math>v\, </math>のある２分割<math>\{U,W\}\, </math>が存在して，各枝が<math>u\, </math>の点と<math>W\, </math>の点を結ぶとき，このグラフ<math>G\, </math>を[[2部グラフ]] (bipartite graph) という．<math>u\, </math>と<math>W\, </math>の点の数がそれぞれ<math>m\, </math>と<math>n\, </math>であって，<math>u\, </math>の各点と<math>W\, </math>の各点を結ぶ枝が丁度１本存在するとき，この２部グラフを完全２部グラフと言い, <math>{\rm K}_{m,n}\, </math>のように表す．グラフ<math>G\, </math>が自己閉路（１本の枝からなる閉路）を含まず, そのすべての相異なる２点に対してそれらを結ぶ丁度１本の枝が存在するとき，このグラフを[[完全グラフ]] (complete graph)（あるいは完備グラフ）という．ここで，<math>v\, </math>の点の数が<math>n\, </math>であるとき，これを<math>n\, </math>点完全グラフと呼び, <math>{\rm K}_n\, </math>のように表す．

−	二つのグラフ<math>G_1=(V_1,A_1;\partial^+_1,\partial^-_1)\, </math>と<math>G_2=(V_2,A_2;\partial^+_2,\partial^-_2)\, </math>に対して, グラフ<math>G_1\, </math>の点と枝の接続関係は保ったまま<math>V_1\, </math>の各点の名前（ラベル）を変えて<math>V_2\, </math>とし，同時に<math>A_1\, </math>の各枝の名前（ラベル）を変えて<math>A_2\, </math>としてグラフ<math>G_1\, </math>からグラフ<math>G_2\, </math>を得ることが可能であるとき, ~~これらの二つのグラフは同形性（グラフの）~~[[~~同形である~~]] (isomorphic)という．また，二つのグラフ<math>G_1=(V_1,A_1;\partial^+_1,\partial^-_1)\, </math>と<math>G_2=(V_2,A_2;\partial^+_2,\partial^-_2)\, </math>に対して, <math>V_2\subseteq V_1\, </math>, <math>A_2\subseteq A_1\, </math>であり，<math>\partial^+_2\, </math>が<math>\partial^+_1\, </math>を，<math>\partial^-_2\, </math>が<math>\partial^-_1\, </math>を，それぞれ，<math>A_2\, </math>上に制限したものになっているとき, グラフ<math>G_2\, </math>をグラフ<math>G_1\, </math>の部分グラフという．与えられたグラフ<math>G\, </math>の幾何学的表現から，いくつかの枝を消し，いくつかの孤立して残る点を消して得られる幾何学的表現に対応するグラフが元のグラフ<math>G\, </math>の部分グラフである．	+	二つのグラフ<math>G_1=(V_1,A_1;\partial^+_1,\partial^-_1)\, </math>と<math>G_2=(V_2,A_2;\partial^+_2,\partial^-_2)\, </math>に対して, グラフ<math>G_1\, </math>の点と枝の接続関係は保ったまま<math>V_1\, </math>の各点の名前（ラベル）を変えて<math>V_2\, </math>とし，同時に<math>A_1\, </math>の各枝の名前（ラベル）を変えて<math>A_2\, </math>としてグラフ<math>G_1\, </math>からグラフ<math>G_2\, </math>を得ることが可能であるとき, これらの二つのグラフは[[同形性 (グラフの)]] (isomorphic)という．また，二つのグラフ<math>G_1=(V_1,A_1;\partial^+_1,\partial^-_1)\, </math>と<math>G_2=(V_2,A_2;\partial^+_2,\partial^-_2)\, </math>に対して, <math>V_2\subseteq V_1\, </math>, <math>A_2\subseteq A_1\, </math>であり，<math>\partial^+_2\, </math>が<math>\partial^+_1\, </math>を，<math>\partial^-_2\, </math>が<math>\partial^-_1\, </math>を，それぞれ，<math>A_2\, </math>上に制限したものになっているとき, グラフ<math>G_2\, </math>をグラフ<math>G_1\, </math>の部分グラフという．与えられたグラフ<math>G\, </math>の幾何学的表現から，いくつかの枝を消し，いくつかの孤立して残る点を消して得られる幾何学的表現に対応するグラフが元のグラフ<math>G\, </math>の部分グラフである．

← 古い版	2007年7月19日 (木) 13:04時点における版
(相違点なし)

@@ 1行目: / 1行目: @@
 '''【ぐらふ・ねっとわーく (graphs and networks) 】'''
-　[[グラフ (グラフ理論の)|グラフ]] (graph)は，[[点 (グラフの)|点]]の集合$V$，[[枝]]の集合$A$および各枝$a\in A$の始点と終点を指定する二つの写像$\partial^+: A \to V$と$\partial^-: A \to V$からなる複合概念であり，グラフ$G=(V,A;\partial^+,\partial^-)$のように記される．また，しばしば$G=(V,A)$のように略記される．グラフは平面上に，点を丸で，枝を矢線で描き，幾何学的に表現される．枝$a$の矢線の始点が$\partial^+a$を，終点が$\partial^-a$を表している．$u=\partial^+a$で$v=\partial^+a$であるとき，枝$a$は点$u$から点$v$への枝といわれる．すべての２点$u$, $v$に対して点$u$から点$v$への枝が高々１本だけであるとき, 点$u$から点$v$への枝があればそれを$(u,v)$のように点の順序対で表現することも多い．これからも分かるようにグラフはその点集合上の２項関係を表すものであると考えることができる．様々なシステムの構造を捕らえるとき, それらのシステムの構成要素の間の２項関係を考えることはもっとも基本的であり, モデル化も容易である．枝$(u,v)$は$u$から$v$へのものの流れ（の存在）を表現したり, $u$から$v$への因果関係，通信ケーブルや道路などのリンクの存在などを表現したりする．日常的にも用いられる「・・・ネットワーク」や「・・・網」といわれるものはグラフ構造を持つものである．
+　[[グラフ (グラフ理論の)|グラフ]] (graph)は，[[点 (グラフの)|点]]の集合<math>V\, </math>，[[枝]]の集合<math>A\, </math>および各枝<math>a\in A\, </math>の始点と終点を指定する二つの写像<math>\partial^+: A \to V\, </math>と<math>\partial^-: A \to V\, </math>からなる複合概念であり，グラフ<math>G=(V,A;\partial^+,\partial^-)\, </math>のように記される．また，しばしば<math>G=(V,A)\, </math>のように略記される．グラフは平面上に，点を丸で，枝を矢線で描き，幾何学的に表現される．枝<math>a\, </math>の矢線の始点が<math>\partial^+a\, </math>を，終点が<math>\partial^-a\, </math>を表している．<math>u=\partial^+a\, </math>で<math>v=\partial^+a\, </math>であるとき，枝<math>a\, </math>は点<math>u\, </math>から点<math>v\, </math>への枝といわれる．すべての２点<math>u\, </math>, <math>v\, </math>に対して点<math>u\, </math>から点<math>v\, </math>への枝が高々１本だけであるとき, 点<math>u\, </math>から点<math>v\, </math>への枝があればそれを<math>(u,v)\, </math>のように点の順序対で表現することも多い．これからも分かるようにグラフはその点集合上の２項関係を表すものであると考えることができる．様々なシステムの構造を捕らえるとき, それらのシステムの構成要素の間の２項関係を考えることはもっとも基本的であり, モデル化も容易である．枝<math>(u,v)\, </math>は<math>u\, </math>から<math>v\, </math>へのものの流れ（の存在）を表現したり, <math>u\, </math>から<math>v\, </math>への因果関係，通信ケーブルや道路などのリンクの存在などを表現したりする．日常的にも用いられる「・・・ネットワーク」や「・・・網」といわれるものはグラフ構造を持つものである．
-　取り扱う問題によっては, 各枝の始点と終点がどちらであるかを気にしない（すなわち対称な２項関係を考える）こともある．このようなとき，平面上の幾何学的表現では各枝を表現する矢線から矢印を取って，そのグラフを表現する．このようなグラフは[[無向グラフ]] (undirected graph) と呼ばれる．最初に定義した通常のグラフを無向グラフと対比して示したいとき, これを[[有向グラフ]] (directed graph あるいは digraph) という．グラフの用語については，日本語および英語の両方とも，必ずしも統一されていない．点は，頂点，節点とも呼ばれ，枝は，辺，弧，線などとも呼ばれる．英語では，点はvertex, node, 枝は edge, arc などがよく用いられる（枝に対し有向グラフでarc, 無向グラフでedgeを用いる流儀もある）．グラフの枝（や点）にそれに付随する容量，長さ，費用などの属性を付与してグラフ中のものの流れなどを考える場合, これを[[ネットワーク]] (network)と呼ぶ．
+　取り扱う問題によっては, 各枝の始点と終点がどちらであるかを気にしない（すなわち対称な２項関係を考える）こともある．このようなとき，平面上の幾何学的表現では各枝を表現する矢線から矢印を取って，そのグラフを表現する．このようなグラフは[[無向グラフ]] (undirected graph) と呼ばれる．最初に定義した通常のグラフを無向グラフと対比して示したいとき, これを[[有向グラフ]] (directed graph あるいは digraph) という．グラフの用語については，日本語および英語の両方とも，必ずしも統一されていない．点は，頂点，節点とも呼ばれ，枝は，辺，弧，線などとも呼ばれる．英語では，点はvertex, node, 枝は edge, arc などがよく用いられる（枝に対し有向グラフでarc, 無向グラフでedgeを用いる流儀もある）．グラフの枝（や点）にそれに付随する容量，長さ，費用などの属性を付与してグラフ中のものの流れなどを考える場合, これを[[ネットワーク]] (network) と呼ぶ．
-　グラフ$G=(V,A)$上の点$u$から点$v$へ枝の向きは無視して接続する点と枝をたどって到達できるとき，たどる順に得られる点と枝の交互列を点$u$から点$v$への道（あるいは路）(path) という．その道上の枝がたどる向きにすべて揃っているとき，そのような道を有向道（あるいは有向路）(directed path)という．道および有向道は，少なくとも１本の枝を含み, その始点と終点が一致するとき，閉路(closed path (cycle))および有向閉路(directed closedpath (directed cycle))と呼ばれる．平面上に枝を交差させることなく幾何学的に表現することが可能なグラフを[[平面グラフ]] (planar graph) という．閉路を含まない連結なグラフを[[木]] (tree)という．グラフ$G$の点集合$V$のある２分割$\{U,W\}$が存在して，各枝が$U$の点と$W$の点を結ぶとき，このグラフ$G$を[[2部グラフ]] (bipartite graph) という．$U$と$W$の点の数がそれぞれ$m$と$n$であって，$U$の各点と$W$の各点を結ぶ枝が丁度１本存在するとき，この２部グラフを完全２部グラフと言い, ${\rm K}_{m,n}$のように表す．グラフ$G$が自己閉路（１本の枝からなる閉路）を含まず, そのすべての相異なる２点に対してそれらを結ぶ丁度１本の枝が存在するとき，このグラフを[[完全グラフ]] (complete graph)（あるいは完備グラフ）という．ここで，$V$の点の数が$n$であるとき，これを$n$点完全グラフと呼び, ${\rm K}_n$のように表す．
+　グラフ<math>G=(V,A)\, </math>上の点<math>u\, </math>から点<math>v\, </math>へ枝の向きは無視して接続する点と枝をたどって到達できるとき，たどる順に得られる点と枝の交互列を点<math>u\, </math>から点<math>v\, </math>への道（あるいは路）(path) という．その道上の枝がたどる向きにすべて揃っているとき，そのような道を有向道（あるいは有向路）(directed path)という．道および有向道は，少なくとも１本の枝を含み, その始点と終点が一致するとき，閉路(closed path (cycle))および有向閉路(directed closedpath (directed cycle))と呼ばれる．平面上に枝を交差させることなく幾何学的に表現することが可能なグラフを[[平面グラフ]] (planar graph) という．閉路を含まない連結なグラフを[[木]] (tree)という．グラフ<math>G\, </math>の点集合<math>v\, </math>のある２分割<math>\{U,W\}\, </math>が存在して，各枝が<math>u\, </math>の点と<math>W\, </math>の点を結ぶとき，このグラフ<math>G\, </math>を[[2部グラフ]] (bipartite graph) という．<math>u\, </math>と<math>W\, </math>の点の数がそれぞれ<math>m\, </math>と<math>n\, </math>であって，<math>u\, </math>の各点と<math>W\, </math>の各点を結ぶ枝が丁度１本存在するとき，この２部グラフを完全２部グラフと言い, <math>{\rm K}_{m,n}\, </math>のように表す．グラフ<math>G\, </math>が自己閉路（１本の枝からなる閉路）を含まず, そのすべての相異なる２点に対してそれらを結ぶ丁度１本の枝が存在するとき，このグラフを[[完全グラフ]] (complete graph)（あるいは完備グラフ）という．ここで，<math>v\, </math>の点の数が<math>n\, </math>であるとき，これを<math>n\, </math>点完全グラフと呼び, <math>{\rm K}_n\, </math>のように表す．
-　二つのグラフ$G_1=(V_1,A_1;\partial^+_1,\partial^-_1)$と$G_2=(V_2,A_2;\partial^+_2,\partial^-_2)$に対して, グラフ$G_1$の点と枝の接続関係は保ったまま$V_1$の各点の名前（ラベル）を変えて$V_2$とし，同時に$A_1$の各枝の名前（ラベル）を変えて$A_2$としてグラフ$G_1$からグラフ$G_2$を得ることが可能であるとき, これらの二つのグラフは同形性（グラフの）[[同形である]] (isomorphic)という．また，二つのグラフ$G_1=(V_1,A_1;\partial^+_1,\partial^-_1)$と$G_2=(V_2,A_2;\partial^+_2,\partial^-_2)$に対して, $V_2\subseteq V_1$, $A_2\subseteq A_1$であり，$\partial^+_2$が$\partial^+_1$を，$\partial^-_2$が$\partial^-_1$を，それぞれ，$A_2$上に制限したものになっているとき, グラフ$G_2$をグラフ$G_1$の部分グラフという．与えられたグラフ$G$の幾何学的表現から，いくつかの枝を消し，いくつかの孤立して残る点を消して得られる幾何学的表現に対応するグラフが元のグラフ$G$の部分グラフである．
+　二つのグラフ<math>G_1=(V_1,A_1;\partial^+_1,\partial^-_1)\, </math>と<math>G_2=(V_2,A_2;\partial^+_2,\partial^-_2)\, </math>に対して, グラフ<math>G_1\, </math>の点と枝の接続関係は保ったまま<math>V_1\, </math>の各点の名前（ラベル）を変えて<math>V_2\, </math>とし，同時に<math>A_1\, </math>の各枝の名前（ラベル）を変えて<math>A_2\, </math>としてグラフ<math>G_1\, </math>からグラフ<math>G_2\, </math>を得ることが可能であるとき, これらの二つのグラフは同形性（グラフの）[[同形である]] (isomorphic)という．また，二つのグラフ<math>G_1=(V_1,A_1;\partial^+_1,\partial^-_1)\, </math>と<math>G_2=(V_2,A_2;\partial^+_2,\partial^-_2)\, </math>に対して, <math>V_2\subseteq V_1\, </math>, <math>A_2\subseteq A_1\, </math>であり，<math>\partial^+_2\, </math>が<math>\partial^+_1\, </math>を，<math>\partial^-_2\, </math>が<math>\partial^-_1\, </math>を，それぞれ，<math>A_2\, </math>上に制限したものになっているとき, グラフ<math>G_2\, </math>をグラフ<math>G_1\, </math>の部分グラフという．与えられたグラフ<math>G\, </math>の幾何学的表現から，いくつかの枝を消し，いくつかの孤立して残る点を消して得られる幾何学的表現に対応するグラフが元のグラフ<math>G\, </math>の部分グラフである．
 ----
 '''参考文献'''