图着色问题的回溯算法