ハイパーグラフ

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索
ハイパーグラフの例: X = \{v_1, v_2, v_3, v_4, v_5, v_6, v_7\}, E= \{e_1,e_2,e_3,e_4\} =\{\{v_1, v_2, v_3\}, \{v_2,v_3\}, \{v_3,v_5,v_6\},\{v_4\}\}.

ハイパーグラフ: Hypergraph)とは、数学におけるグラフを一般化(拡張)したもので、エッジ(枝)が任意個数のノード(頂点)を連結できる。形式的には (X,E) という対で表され、X はノードあるいは頂点と呼ばれる要素の集合、E はハイパーエッジ(hyperedge)と呼ばれる X の空集合でない部分集合の集合である。従って、E\mathcal{P}(X) \setminus \{\emptyset\} の部分集合であり、\mathcal{P}(X)X冪集合である。通常のグラフのエッジは2つのノードの対で表されるが、ハイパーエッジは任意のノードの集合で表され、任意個のノードを含む。

グラフとは異なり、ハイパーグラフは紙上に図示するのが困難である。そのため、グラフ理論のような図解をされることは少なく、集合論の用語で表される傾向がある。


概要[編集]

グラフ理論の多くの定理はハイパーグラフでも成り立つ。典型例としてラムゼーの定理がある。グラフの対称性に関する研究もハイパーグラフに拡張して適用可能である。ハイパーグラフが準同型であるとは、あるハイパーグラフの頂点集合から別のそれへの写像があり、1つのエッジがもう一方のエッジに対応することを意味する。ハイパーグラフが同型であるとは、逆向きにも準同型である場合をいう。ハイパーグラフが自己同型であるとは、頂点集合がラベルを付け直した頂点集合と準同型であることをいう。ハイパーグラフの自己同型の集合 H (= (XE)) は、合成についてとなり、ハイパーグラフの自己同型群と呼ばれ Aut(H) で表される。ハイパーグラフの集まりは、としてのハイパーグラフ準同型の集まりからなるである。

ハイパーグラフ H = (X, E) の「横断(transversal)」または「ヒッティングセット(hitting set)」T\subseteq X とは、どのエッジとも、積集合が空ではない集合のことである。すなわち、Tと各エッジの間に共通なノードが必ず存在する。横断 T は、その真部分集合として横断と呼べるものがない場合に「最小」であるという。H の「横断ハイパーグラフ」は (X, F) で表されるハイパーグラフであり、FH の全最小横断からなる。横断ハイパーグラフの計算は、機械学習などの計算機科学分野で応用されており、ゲーム理論データベースのインデックス付け、充足可能性問題最適化などと関連する。

各エッジの濃度(元の個数)が k であるようなハイパーグラフを「k一様(k-uniform)」または「kハイパーグラフ(k-hypergraph)」と呼ぶ。グラフは2一様なハイパーグラフである。頂点 v次数 d(v) とは、その頂点が属するエッジの個数である。全ての頂点の次数が k であるハイパーグラフを「k正則(k-regular)」であるという。

ここで、V = \{v_1, v_2, ~\ldots, ~ v_n\}E = \{e_1, e_2, ~ \ldots, ~ e_m\} があるとする。全てのハイパーグラフには n \times m の「接続行列(incidence matrix)」A = (a_{ij}) があり、以下が成り立つ。

a_{ij} = \left\{ \begin{matrix} 1 & \mathrm{if} ~ v_i \in e_j \\ 0 & \mathrm{otherwise} \end{matrix} \right.

接続行列の転置行列 A^t により定義されるハイパーグラフ H^* = (V^*, E^*)H の「双対(dual)」であるといい、V^*m 個の元からなる集合、E^*n 個の V^* の部分集合からなる集合である。v^*_j \in V^*e^*_i \in E^* について a_{ij} = 1 であるときのみ ~ v^*_j \in e^*_i である。一様なハイパーグラフの双対は、正則であり、逆も成り立つ。双対を考えることで新たな発見があることが多い。

ハイパーグラフの彩色[編集]

ハイパーグラフの彩色は次のように定義される。H=(V,E) というハイパーグラフは \Vert V\Vert = n であるとする。C=\{c_1, c_2, \ldots, c_n\}H の妥当な彩色であるとは、全ての e \in E, \vert e\vert > 1 について任意の頂点 v_i, v_j \in ec_i \neq c_j となる場合のみを指す。

関連項目[編集]

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目hypergraphの本文を含む