グラフ (データ構造)
グラフ（英: Graph）とは、ノード（頂点）群とノード間の連結関係を表すエッジ（枝）群で構成される抽象データ型、and・orその実装である具象データ型である。グラフ理論を基盤として、なんらかの証明が可能であったり、豊富なアルゴリズムが利用できること、などが特徴である。
グラフは "G=(V,E)" で表され、"V" は頂点（vertices）の集合、"E" は頂点と頂点をつなぐエッジ（edges）の集合である。形式的には、グラフ "G" は順序対 "G=(V,E)" で定義され、"V" は有限の集合、"E" は "V" から選んだ2つの元からなる集合の集合である。