結果 : graph coloring integer programming