グラフ彩色問題ソルバー