春季测试2023游寄

赛前

又来到了熟悉的 LNBS，前一天睡得不是很好，在半夜醒了好几次，可能还是21年的NOIP太过惨烈，心理压力很大，去对面的罗森买了可乐和薄荷糖，希望能提提神。

遇到同学们之后聊了聊天，充分地转移了注意力，心态稍微放松了一些。

再进考场之前，试图在众目睽睽之下开把皇室，结果随便拿了套卡组去打活动，然后被电车摸塔了，心态彻底爆炸了！

然后小声诵读完了玛卡巴卡之歌，希望能获得花园宝宝之力的救赎。

进考场后，发现不出所料，抽到了答辩键盘！不过经过我的找茬，发现键盘空格的左卫星轴寄了，以此为正当理由找老师换了个键盘。

然后发现试机时承诺的虚拟机没了……把环境变量配好以后，cmd可以编译了，但是VSCode内的终端不行！就只能老老实实地用dev，然后电脑分辨率巨低，体验有待提高。

赛时

拿到题，本来想通读一遍题，结果发现前两题过于一眼。就直接开始写了，和 T1 大样例的换行符斗智斗勇一会后，8:37 确保自己万无一失（然后就发现有个 m 写成了 n)。T2写完发现要容斥，于是打了个补丁，再验证了一下特殊情况，8:53解决。

然后看了T3和T4，一眼T3区间dp，感觉T4可能是个有难度的数据结构。

然后就开始思考如何证明T3的结论，我在那越想越不对，越想越不对，然后就把自己绕死了……观察样例发现，方案大体上是直接绕一个环，但是样例4直接从 2->1000，最后再绕到 1。当时我断言，一定是拆分成两个区间，然后每个环自己按顺序绕环，然后由两个环的最近点对相连。为什么是按顺序绕环呢，因为可以归纳发现，选出的路径一定不会自交。然后我思考了10分钟如何快速找出最近点对，然后把自己hack了……然后蓦然回首，这个不会自交的结论不就证明了区间dp的正确性吗。然后写了个 \(O(2^n \times n^2)\) 的暴力，写了 SPJ，然后再写了 \(O(n^2)\) 的 dp，过了大样例，发现自己不会造数据……就只能多次肉眼检查，放弃对拍…… 9:57解决。

接下来就是我与 T4 斗智斗勇的过程。

K<=2 是送的，然后对于 k=3 思考， 经过 5 分钟的思考，提出了一个 二分优化建图2sat 的高端做法，然后花 5 分钟把自己hack了……

先对着部分分想想暴力怎么写，结果只获得了 \(O(k^n \times nk)\) 和 \(O(n^{k+1} \times k)\) 的想法，心态就出现了小小的问题。就先去把40分的暴力打了，然后感觉要被全国人民吊打了，又要在省选之前收获“天胡开局”了。因为心态的爆炸，短暂地失去了思考的能力。

然后垂死病中惊坐起，发现之前那个 2sat 做法跑两遍就对了！我们只需建出一个 14n 个点，30n 个点的图，然后跑 tarjan 就行了。确实想不出其它的做法了，只能硬着头皮写，从 11:30 开写，调到 12:58 ，总算在最后一分钟调出来了……真·速度与激情。

期望得分 100+100+100+65=365

赛后

由于来不及写任何骗分，在任意民间数据均是 365，只能说还好最后一分钟调出来了，没有被区分太多。

前两年都是CSP和省选DAY2超常发挥，DAY1正常发挥，NOIP 爆炸。今年没在春测当场退役，就算大获全胜了。