結果 : backtracking algorithm for constraint satisfaction problem