結果 : constraint satisfaction problem map coloring python code