环形区域染色问题的模型解法