首先，抛开很难的证明不讲。

如果一道题没思路的话，那我们不应该是优先考虑暴力对吧？而且这道题结论很好想，且有多种思路，感觉没蓝。（一开始还以为评黄的）

再者，如果非要每题都有证明才可以写的话，那么很多绿不得都升蓝紫（很多比赛的题也是可以打表出规律的，且这个式子在直播间听闻还是随机变量数生成出来的（雾））？