Day -3 ~ -1

期中考试。

Day 0

秋游。

Day 1

先开T1，简单题，15 min 写完，小样例过了，大样例挂了？！冷静下来，发现题读假了，改了改就过了大样例。

看 T2，什么抽象题面。想了一下发现 $\neg(\neg x_i)=x_i$，然后 $\neg U=U$，然后没啥想法。看部分分，第 1~2 个点 $3^n$ 搜索，第 3~4 个点直接赋值，第 7~8 用 $\neg U=U$ 判。

然后 T3+T4 暴力中的暴力，根本不想思考部分分。

回头冲 T2。想了下，发现好像是连通性问题（后来知道好像可以一个点拆成五个点 $2-SAT$）。然后想怎样在知道联通块内若干值后，快速求出其他点的值。先写了并查集，但是被环给创飞了，然后写 $dfs$ 染色，又挂了。拓扑排序又懒得写。

上个厕所冷静一下，然后回来发现可以多执行几次那 $m$ 条语句。于是写了第 5~6 个点，执行次数选了 $500$，$O(6 \times 500m)$ 抽象复杂度。

最后十分钟测大样例发现第 7~8 个点的部分分写挂了，寄大了，查不出问题，草草检查完文件和 T1 大样例就结束了。

出考场，大家的 T1 复杂度为什么都那么优秀？！怎么人均 T3+T4 打了 $35+28$？！

END!

后记

自己估了 $100+40+10+8=158$

小图灵 $100+60+0+0=160$

洛谷 $100+90+10+8=208$ （差距有点大）

感觉自己太菜了，不过至少比 CSP-S 好。T2 是图论，T4 是 Atcoder dp-W，经典题还是没做透。

upd on 2023.11.25：分数出来了，$100+50+0+0=150$，反正比 CSP-S 打得好（