难度确实有点太高。证明有点难，但是也不算难。

评价：

思维： $\color{purple}\text{省选/NOI-}$

代码： $\color{red}\text{入门}$