頂点 (グラフ理論)

数学のグラフ理論の分野における頂点（ちょうてん、）あるいは節点（せってん、）とは、グラフを形成する基本的な構成単位である。頂点の数を位数（）と呼ぶ。
無向グラフは頂点の集合と辺（、向き付けのされていない頂点のペア）の集合で構成され、有向グラフは頂点の集合と弧（arc、向き付けのされている頂点のペア）の集合で構成される。グラフを図示する際、頂点は通常ラベル付けのされた円で表され、辺は各頂点から別の頂点へと伸びる直線あるいは矢で表される。
グラフ理論において、頂点は決まった形の無いそれ以上分割の出来ない物体として扱われるが、それらが応用される場面においては他の構造が付け加えられることもある。例えば、意味ネットワークのグラフにおいては、頂点は概念やオブジェクトの類を表す。
辺を形成する二つの頂点は、その辺の端点（endpoint）と呼ばれ、その辺はそれらの頂点に接続（incident）していると言われる。ある頂点 "w" が別の頂点 "v" に隣接（adjacent）しているとは、グラフが辺 ("v","w") を含むことを言う。ある頂点 "v" のとは、"v" に隣接するすべての頂点によって形成される誘導部分グラフのことを言う。
頂点の種類.
ある頂点の次数とは、その頂点に接続する辺の数のことである。孤立点（isolated vertex）とは、次数がゼロの頂点のことである。葉頂点（leaf vertex）あるいはペンダント頂点（pendant vertex）とは、次数が 1 の頂点のことである。有向グラフにおいては、入次数（indegree、入ってくる辺の数）と出次数（outdegree、出ていく辺の数）が区別される。源点（source vertex）とは入次数がゼロの頂点のことであり、沈点（sink vertex）とは出次数がゼロの頂点のことである。
（cut vertex）とは、それを除くと残されたグラフが非連結となるような頂点のことである。（vertex separator）とは、それらを除くと残されたグラフがそれぞれ小さな断片へとなることで非連結となるような頂点の集まりのことである。k-頂点連結グラフとは、"k" より少ない数の頂点を除くだけでは依然として連結であるようなグラフのことである。独立集合とは、どの二つの頂点も隣接していないような頂点の集合のことであり、頂点被覆とは、グラフの各辺の端点を含むような頂点の集合のことである。グラフのとは、グラフの頂点に対応する基底ベクトルの集合を備えるベクトル空間のことである。
任意の頂点を他の任意の頂点へと写すような対称性が存在するとき、そのグラフは頂点推移的であると言われる。やグラフ同型の文脈において、ラベル付けされた頂点とされていない頂点を区別することは重要である。ラベル付けされた頂点は、それを他のラベル付けされた頂点と区別することを可能にするような外的な情報を備えるものである。二つのグラフは、それらの頂点が等しいラベルを備えるもの同士でペアとされるような対応性が存在している状況に限り、同型であると見なされる。ラベル付けのされていない頂点は、そのグラフ内での隣接関係にのみ依存し、他の外的な情報には依存せず、他のラベル付けのされていない頂点と交換することが可能である。
グラフにおける頂点は、多角形の頂点と同様なものであるが、同一ではない。多角形のは、その頂点がグラフの頂点となるようなグラフを形成する。しかし、多角形の頂点は、グラフ理論では存在しないものとされるような付帯的な構造（幾何的な配置）も備えている。多角形の頂点のは、グラフにおける頂点の近傍と相似である。
有向グラフにおいて、ある頂点 formula_1 の forward star は、その外向きの辺として定義される。頂点の集合 formula_2 と辺の集合 formula_3 を備えるグラフ formula_4 において、formula_1 の forward star は
と表される。