グラフ分割問題 その１

レポートで提出した問題で、このグラフのグラフ分割問題の上界（全列挙でも、メタ解法でもよい）と下界（SDP 緩和)を求めるというもの。簡単なようだが、今まで一度も最適化問題やソフトウェアに触れたことがない人には結構大変なようだ。上界はすぐにわかる（全列挙しても２０通りなので）。