*2600核心：每种颜色只会染色一次。染色前的区间必定是单种颜色。把颜色相同的段先缩起来。因为他们一定会同时被选。此时m还是很大，可以构造序列[1...n]一直重复。考虑另外一个性质，一次操作类似ODT分析，最多会把边界位置加上\(a_i\neqa_{i+1}\)的情况。所以这样的位置上