グラフの頂点集合 \(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\) 中の頂点が,これらの変数を引数とする関数の集合とする. 各関数と,その関数が引数にしている変数とを辺で結ぶ.
-- しましま