ARC128D

断言：当有至少 $3$ 种字符时，一定有解。

证明：考虑随便选择一个 $i$ 使得 $a_{i-1},a_i,a_{i+1}$ 互不相等。如果 $a_i$ 只有一个数的话，直接不断删左邻居（一定合法，因为如果左邻居与左左邻居相等，那么违反“相邻数不等”。由于 $a_i$ 唯一，所以 $a_i$ 一定不等于左邻居）然后不断删右邻居，最后一定为 101，直接删中间即可。

否则删除 $a_i$ 即可转化为序列长度 $-1$ 的子问题。（不需要专门注意单一颜色，把其削到 $1$ 次之后再转化为前述情况）。