正经的
显然这道题思路显然，代码显然，证明不显然。
思路的话我认为多看一会还是能看出来是区间dp的，和板子比较像，没有非常难。
显然这个思路难以证明，问题在于证明是做题最不重要的部分，对了写过了就行了，即便证明非常难，也应中和思路和代码的难度，感觉蓝就差不多，紫太虚高了。
