十一月
开这个坑已经是月底了，记录一下几个题目。
Atcoder Beginning Contest 330 E - Mex and Update
我认为这是一道不错的性质题。
当时在考场上看出了这道题有性质，但是并没有推导出性质。性质主要就是对于一个长度为 $n$ 的数组，其 $\text{mex}$ 一定是在 $0$ 到 $n$ 内的，至于怎么证明……简单抽屉原理。
然后就是怎么维护这个 $\text{mex}$ ，可以用 $\text{set}$ 记录没有在数组中的 $0$ 到 $n$ 的数的集合，因为 $set$ 可以自动排序，所以查询就是 $\text{set.begin}$ ，维护时还需要维护每个数在数列中的出现次数，不然会误加元素进 $\text{set}$。没了。
Codeforces 1900 E - Transitive Graph
最考码力の一题。
首先还是有个性质（还没严格证明）：如果一堆点在原图SCC内，那么最后它们一定能化成一个完全图——这个SCC内每个点，都能直接互相到达。
因此，我们可以先缩点，然后对于缩出来的点建DAG跑拓扑排序，答案也可以在拓扑过程中更新。That’s all.