点集合Vと辺集合Eの組Gのこと。

数学的に定義すると、

  • G:=(V,E)
  • V:空でない有限集合
  • E ¥subset V ¥times V

となる。

グラフと一口に言っても色々なグラフがあって、

  • 有向グラフ
    • 閉路のない有向グラフ (Directed Acyclic Graph; DAG)
  • 無向グラフ
  • 二部グラフ (bipertite)
  • 平面グラフ

などが挙げられる。

self-loop を含むか含まないか、閉路を許すか許さないか、などによって細分化できる。

ハイパーグラフ*1など、上記定義に含まれないグラフも多数存在する。

*リスト:リスト::数学関連

*1:1つの辺が2個以上の頂点を含むことがあるグラフ