結果 : graph coloring problem using backtracking state space tree