二部グラフ (bipartite graph)

グラフの頂点集合 \(V\) を \(V_1\cup V_2=V\) かつ \(V_1\cap V_2=\emptyset\) なる \(V_1\) と \(V_2\) に分割する. 辺集合 \(E\) の全ての辺 \((v_1,v_2)\) が \(v_1\in V_1\) かつ \(v_2\in V_2\) であるようなグラフ二部グラフ (bipartite graph) という.

関数の集合を次のような二部グラフで表したものをfactor graphという. \(V_1\) 中の頂点が変数,\(V_2\) 中の頂点が,これらの変数を引数とする関数の集合とする. 各関数と,その関数が引数にしている変数とを辺で結ぶ.

-- しましま

関連項目

リンク集

関連文献


トップ   編集 凍結 差分 履歴 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2010-02-11 (木) 16:12:39