グラフの性質検査
Bicliqueなグラフ: 二部グラフのある左から全ての右、ある右から全ての左に繋がってる
（イメージ: ニューラルネットワークの二層をグラフにしたみたいなものはbiclique）
違反枝、違反非枝の個数を用いる
#性質検査 情報科学の達人.icon