见本人的题解（可能还没过审核）与 QOJ ac 记录。

首先加解密的过程就不是容易想出来的，毫无引导，在其他题中也没有类似的做法，属于典型的 Ad-hoc 类题目。以及题目本身没有给出任何可能的构造思路，这与 P9311 等有着本质的区别。

其次，关于证明部分，感性理解或不严谨证明相对容易，然而严格证明的难度简直飞天。例如以下结论：

所有极小集合 $S$ 满足 $t+2m-1\notin S$。

关于此结论，我造出过四五个伪证甚至是真伪未知的证明，文末的证明便是一例；甚至文中列出的证明也可能是有瑕疵乃至错误的（认为结论显然的请自己推推看，并保证证明过程中不要夹杂感性理解）。

这道题需要处理许多个这样的结论，以及代码本身还有环形值域相关还要精细实现等，这些都把这道题的难度提升一个档次。

以上为我的全部证词，综上建议升紫。