二部グラフ
bipartite graph
2部グラフ
ホールの定理
DM分解
https://ja.wikipedia.org/wiki/2部グラフ