NOI 2024 前做题纪要
快退役了，最后一集了
退役前还能做多少呢
2024.5.24
AGC025D Choosing Points
讲过
关键性质是距离 \(\sqrt{d}\) 的点为二分图，于是每次选二分图较大的一边即可做到 \(n^2\)。
证明：考察 \((x_1 - x_2)^2 + (y_1 - y_2)^2 = d\) 奇偶性，\(d\) 为奇数时 \(x_1 - x_2\) 和 \(y_1 - y_2\) 一奇一偶，则 \(x_1 - y_1\) 与 \(x_2 - y_2\) 一奇一偶，直接可以按照 \(x_1 - y_1\) 奇偶性划分二分图。\(d\) 为偶数时，考察其 \(\bmod 4\) 的值，若 \(d \bmod 4 = 2\)，则发现一定有 \(x_1 - x_2\) 和 \(y_1 - y_2\) 都是奇数，此时 \(x_1\) 与 \(x_2\) 奇偶性不同，\(y_1\) 与 \(y_2\) 奇偶性不同，可以划分二分图。否则，可以将 \(x_1, x_2, y_1, y_2\) 除以 \(2\)，\(d\) 除以 \(4\)，然后可以规约到前面的情况。
P9531 [JOISC2022] 复兴计划
想不到题解做法
注意到一条边存在的宽度是一段区间，考虑求出这段宽度，然后就好做了。
考察一个宽度 \(t\) 能不能包含第 \(i\) 条边，那么我们就是将小于 \(|t - w_i|\) 的所有边加入后，然后看第 \(i\) 条边是否能加上，我们钦定边权相同的先加左边再加右边，那么注意到小于 \(|t - w_i|\) 的所有边一定形成一个以 \(w_i\) 为右端点的后缀（或以 \(w_i\) 为左端点的前缀），那么我们可以直接枚举这个前缀或后缀，看看能不能加入，然后再计算最小或最大的宽度即可，这立即得到了一个 \(O(m^2 \alpha(n))\) 的做法。注意到 \(n\) 比较小，所以我们可以尝试找出有用的 \(n\) 条边，也就是对于一个前缀，从后往前依次加入得到的生成树，这可以直接从前往后依次加边维护出来，如果不连通则直接把这个边加上，否则就把路径上宽度最小的删除，这样就能维护出每个前缀得到的生成树了。
总复杂度 \(O(nm \alpha + m \log n)\)。但是这个做法好像没法优化到 \(O(m(\log n + \log m) + m \log n)\)。
没脑子，想了一上午加下午半个多小时
题解做法太深刻了，就是考虑直接从大到小加入每条边，然后考察这条边能被加入的条件，假如加入 \(w\) 时路径上边权最大的边是 \(w'\)，那么当 \(x < \frac{w + w'}{2}\) 时当前边可以加入，否则不能加入，根据此可以得出每条边加入的区间。
AGC021D Reversed LCS
这啥啊，这咋紫的
注意到一定选回文子序列，直接 DP 即可，复杂度 \(O(n^3)\)。
2024.5.25
vp 了一些 pkusc
太深刻了
PKUSC 2024 D1T1
枚举个回文中心 manacher 然后二分个哈希就行了，没写
PKUSC 2024 D1T2
不知道有没有更简单的做法，口胡的，好像有人这么写过了，所以应该可行
先枚举一个正方形中点到一个角的向量，正方形在凸多边形内就是四个角在凸多边形内，于是满足条件的中点就是满足这个点加四个方向的向量都在凸多边形内的整点（或者是 \(\frac{1}{2}\) 一类的东西吧），然后可以把凸多边形沿这四个方向移动一下取个交，得到的新凸多边形就是中点可以在的位置，然后统计凸多边形内整点就行了。因为交完之后凸多边形可能不是格点凸多边形，所以可能需要类欧统计整点啥的。
这我写个屁。
PKUSC 2024 D1T3
只会 48 分暴力
肯定 DP 套 DP 一类的，考虑朴素 DP：
直接对这个做肯定太差了，考虑某种方式把贡献拆开，那就瞎变换一会，考虑 \(f_{u, 1} - f_{u, 0}\)：
发现具有良好的形式，令 \(g_u = max(0, f_{u, 1} - f_{u, 0})\)，则有 \(g_u = \max(0, a_u - \sum_{v} g_v)\)。同时注意到 \(f_{u, 0} = \sum_v f_{v, 0} + g_v\)，那么可以得到 \(\max(f_{1, 0}, f_{1, 1}) = \sum g_u\)，那么就把贡献拆开了，且每个 \(g_u\) 值域只有 \(m\)，可以 \(O(nm^2)\) DP 了。这个东西的大致意义就是从下到上考虑每个点选比不选会多出多少贡献，然后求和就是答案。
优化不会。好像是可以推一通发现答案的生成函数一定满足 \(G_u(x) = \frac{F_u(x)}{(1-x)^{siz_u}}\)，其中 \(F_u(x)\) 是一个 \(siz_u\) 次多项式，然后信息量只有 \(O(n)\) 了，推一下咋转移的好像就行了，好像还要研究怎么把多项式模 \(x^{m+1}\)，太困难了我摆了。
PKUSC 2024 D2T1
考虑依次维护每个前缀复原所需的操作次数与复原后对剩下的后缀的操作序列。注意到交换相邻两个操作不会使得局面改变，所以可以直接维护对每个点操作了多少次，每次从 \([1, i]\) 拓展到 \([1, i + 1]\)，考虑 \(i+1\) 是否能还原，如果此时 \(i+1\) 操作了奇数次则不能，需要再进行一轮，将所有操作全部乘 \(2\) 即可，然后偶数就直接操作，把操作次数平分到两个后继。可以通过一些打 tag 操作优化到 \(O(n)\) 次操作，然后需要高精度，压位高精即可做到 \(O(\frac{n^2}{w})\)。
PKUSC 2024 D2T2
我的 \(O(n \log^2 n)\) 做法：注意到复合函数是单调的，所以 \(n\) 个函数复合只有 \(O(n)\) 段，可以直接线段树维护复合函数，单次复合可以做到 \(O(n)\) 或 \(O(n \log n)\)，线段数每一层总段数是 \(O(n)\) 的，所以线段树可以 \(O(n \log n)\) 或 \(O(n \log^2 n)\) 建树，然后查询直接依次查询每个区间的分段函数，\(O(q \log^2 n)\) 可以实现。
正解：这函数形式太优美了，就是一个值域区间 \(+1\)，操作完后大小关系不会改变，所以直接拿个数据结构维护当前所有询问，然后对函数扫描线直接模拟即可 \(O(n \log n)\)。
PKUSC 2024 D2T3
不会。
P7563 [JOISC 2021 Day4] 最悪の記者 4 (Worst Reporter 4)
首先是基环树，分别计算每一个连通块的答案，显然环上全部相等，然后树部分可以树形 DP 一下，设 \(f_{u, i}\) 表示 \(u\) 点的点权 \(\le i\) 的最小代价，然后 DP 就是修改当前点权，把所有儿子加起来之后再全部加 \(c_u\)，或者不修改点权，然后做一个后缀 \(\min\)。注意到是单调的，所以后缀 \(\min\) 可以二分一下拆掉改成区间覆盖。
那么现在要维护的操作就是区间覆盖，全局加，合并。可以线段树合并来做，由于涉及到区间操作，线段树合并需要注意当一个点被区间操作后需要特殊处理才能保证复杂度。
具体来讲，我们可以对每个节点维护当前区间是否全部等于某个值，或者这个区间的加法标记，加法标记可以直接下传，区间赋值的时候需要把区间等于某个值的标记下传。合并的时候先看看其中两个子树是否存在全部等于某个值的点，如果有就给另一棵子树打一个加法标记，这样就避免了递归下去新建节点，线段树合并的复杂度就对了。
复杂度 \(O(n \log n)\) 或 \(O(n \log^2 n)\)，看二分怎么写的。我比较懒直接暴力二分了。
好像也可以直接维护区间 \(\min\) 的标记，感觉有点混乱就改成区间赋值了。
2024.5.26
昨晚打了 cf，把分上回来了，终于回红了，感动了。
赛时想到了 G 题怎么做了，不过我想的做法常数有点太大了导致赛时被卡常了 ;-;
上午有场模拟赛。感觉诡异，不知道要不要写。反正是空间爆了+卡常卡 WA 了+卡常了，哈哈。T1 并没有很理解，5k 给出了一个很神秘的条件，我感觉完全没啥对的道理，但是确实过了而且拍不掉，不懂了
CF1975G Zimpha Fan Club
考虑分几种情况讨论：
- 两个串都没有
*：这个很好判断，\(O(n)\) 扫一遍即可； - 两个串都有
*：注意到*之内的所有内容都是容易被另一个串的*匹配的，所以我们只需要满足开头和结尾能够被匹配上，也是扫一遍即可； - 一个串有
*一个串没有*。
我们现在只考虑第三种情况，钦定 \(T\) 串是有 * 的那个串。那么问题相当于，将 \(T\) 串按照 * 划分开后，每一段要匹配到 \(S\) 上的一部分，问能否匹配。贪心地考虑，我们每次找到这个串在 \(S\) 中的第一次匹配位置，并把它在这里匹配上即可。带通配符的匹配是经典的，参考 残缺的字符串。但是我们并不能每次都把整个 \(S\) 与 \(T\) 匹配，否则复杂度变成 \(O(n^2 \log n)\) 了。但是我们只需要找到最靠前的匹配位置，所以可以考虑每次只尝试匹配一小段。具体的，我们每次将 \(T'\) 串与 \(S\) 串的长为 \(2|T'|\) 的前缀进行匹配，如果不能匹配则删去一个长为 \(|T'|\) 的前缀。然后这样复杂度就做到 \(O(n \log n)\) 了。
我赛时想法是直接倍增找能匹配的第一个位置，这样也是 \(O(n \log n)\) 的，但是有两倍或更大的常数，然后就爆炸了，呃呃
2024.5.27
膜拜 happyguy
happyguy：我往简单里出的，但是看来大家好像都不太会
happyguy：看来大家都没做过凸包的题
T1 思考到了大概九点会了，然后想了一会实现细节感觉巨大难写，不觉得自己能写完点分治（那个傻逼 I 之后我都不敢写点分了，觉得这玩意至少写 2h+），然后先看 T2，结果把 T2 题看错了想了半天，，T3 交互，被大家薄纱了，呃呃了 然后还写了 T2 假做法，写完之后发现贪心假了，结果下午得知是凸包，我只需要把我的单调栈改成凸包就做完了，，，是不是之前有一个题也是找了个单调栈然后假了然后结果做法是凸包，流汗了
QOJ2070 Heavy Stones
每堆石子只会被合并一次，先把这个贡献计算掉。然后就是考虑每个点要被合并多少次，显然如果第 \(i\) 堆合并的石子会被合并 \(n - i\) 次，那么问题就变成了，每次选左边或者右边的一个数，然后给其赋 \(n-i\) 的系数，使得和最小。考虑某一种操作序列，按照在左边选或者在右边选划分成若干连续段。我们考虑相邻两端能否交换使得答案更优，即假如有相邻两端长度分别为 \(n, m\)，权值分别为 \(a_i, b_j\) 的序列，比较 \(\sum_{i=1}^n -i a_i + \sum_{i=1}^m -(i+n) b_i\) 与 \(\sum_{i=1}^m -i b_i + \sum_{i=1}^n -(i+m) a_i\) 的大小关系，相减即可发现这等价于比较两个序列的平均数。那么我们实际上就是要求每一段的平均数递增，平均数相当于二维平面上的点 \((i, \sum a_i)\) 的斜率，于是我们要做的实际上就是对这个东西求凸包。
那么对前缀维护出一个凸包，后缀维护出凸包，现在要维护两者按照平均数排序后的 \(\sum (n-i) a_i\) 的答案，考虑求出从 \(k\) 到 \(k+1\) 后区间的变化，使用一些 ds 维护贡献即可。
赛时以为两边贪心选更小的，然后整了个前缀和后缀单调栈，直接给假完了，但是优化啥的都写完了，流汗
UOJ682 UR #22 月球铁轨
happyguy 分享好题。
首先考虑按位确定答案，即确定一个前缀，考虑下一位以 \(0\) 开头的有多少，如果超过 \(k\) 则确定为 \(0\)。否则确定为 \(1\)。
那么现在就是固定了一个前缀，问有多少区间的最大值前缀等于这个前缀。首先把问题转换一下，改成找出区间的 \(a_i\) 的异或和，再从区间内若干 \(c_i = a_i \oplus b_i\) 中选出若干数异或起来，得到的最大值，再把 \(a_i\) 前缀和 \(d_i\)，那么就是说，将 \(d_r \oplus d_{l - 1}\) 在区间 \(c_i\) 的线性基中的最大值。
考虑固定每一个左端点 \(l\) 计算所有 \(r\) 的答案。不难发现固定左端点后不同的线性基只有 \(O(m)\) 种，我们可以对每一个线性基考虑答案。
问题变为：现在有一个线性基，我们要判断一个区间 \([L, R]\) 内的所有 \(d_i \oplus d_{l-1}\) 再从线性基中获得的最大值有多少以 \(V\) 为前缀。我们首先判断 \(V\) 是否能够在线性基中得到更大的数，如果能则不可能以 \(V\) 为前缀，否则我们只需要判断能够异或出 \(V\)，如果能异或出则此时一定是最大值（考虑不能得到更大的数的条件：对线性基高斯消元后所有基底所在位全为 \(1\)），那么我们只需判断能否异或出 \(V\)，这等价于有多少 \(d_i\) 异或上 \((V \oplus d_{l-1})\) 能否在线性基中异或出 \(0\)。有结论：令 \(\max(x)\) 表示 \(x\) 在线性基中异或出的最大值，那么前面的问题等价于 \(\max(d_i) \oplus \max(V \oplus d_{l-1}) = 0\)。同样是考虑线性基中最大值的性质，一定是消元后所有基底位等于 \(1\)。如果异或出来不等于 \(0\) 则不可能等于 \(0\)。那么我们先把 \(\max(V \oplus d_{l-1})\) 给求出来，这部分是 \(O(nm^2)\) 的，然后此时我们问题变成了有多少 \(\max(d_i)\) 的前若干位与 \(\max(V \oplus d_{l-1})\) 相同。（或者可以直接用 \(\max(d_r \oplus d_{l - 1}) = \max(d_r) \oplus \min(d_{l - r})\) 拆开，证明方法类似）
考虑维护所有的 \(\max(d_i)\)。注意到每个点所在的前缀线性基只会更改 \(O(m)\) 次，所以我们可以暴力进行修改。每次将 \(l\) 变成 \(l-1\)，然后从 \(l-1\) 开始遍历所有 \(r\)，若某一时刻插入一个数后线性基不变则停止，因为显然这之后也不会再增长了。最后我们需要查询某个区间内的 \(\max(d_i)\) 中以某个数为前缀的有多少，这个可以用 Trie 维护。同时加一些数后可能会使得两个区间的线性基相同，将两个 Trie 合并起来即可。这部分都是可以预处理一遍出来的，可以发现上面的复杂度都是 \(O(nm^2)\)。
现在问题在于一共要查询 \(O(nm^2)\) 次，且需要存 \(O(nm)\) 个数的 Trie，直接暴力时空分别为 \(O(nm^3), O(nm^2)\)，两个都爆了。前者由于每次只会改变 \(V\) 的最后一位，故 \(\max(V \oplus d_{l-1})\) 也只修改一位，所以不需要每次都重新在上面查一次。空间我们可以先不把整棵树建出来，每次 \(V\) 多加一位后再往下建一层，只维护这一位为 \(0\) 与这一位为 \(1\) 的集合即可。另外并不需要合并两个 Trie，因为只有在不变的前一个区间线性基与其相同，直接暴力插入到下一个线性基里即可。具体实现上可以先跑一遍把所有插入与询问操作全离线下来，挂到 Trie 对应的子树上，每次往下拓展一层即可。
QOJ2208 Flow
首先发现最后答案只有可能是每一层流的相同，要不然肯定不是最大流。没想怎么严谨证明，反正挺对的。
那么我们可以考虑直接把左右部的点缩到一起，直接考虑一张 \(n\) 个点的图，那么现在我们就是要在这个图上跑一个类似于最大流的东西，不过这是一个无源汇的流，不能直接用最大流来跑。我们实际上是要让所有边的流量之和尽可能大，那么可以看作是一个费用流的问题，每条边的费用为 \(1\)，求最大费用流。考虑先把所有边流满，然后改为最少减少多少流，使得流量平衡，这就变成了最小费用最大流问题，建模与上下界的平衡流量是一样的。
2024.5.28
上午 yugyppah 大神讲课，迟到了
太困难，待会再写
咋讲了这么多题 不想写了 咕了。
CF1610H Squid Game
考虑如果允许 \(1\) 的误差怎么做，即我们可以先任意选取一个点，然后考虑选取这个点后的最优解是什么。我们以这个点为根，发现此时剩下的限制只有祖孙限制了，这样贪心一下就好了。问题在于多选的这个点怎么办，我们仍然只考虑所有祖孙限制跑一遍贪心，然后看有没有没被覆盖的非祖孙链，如果有则答案 \(+1\)。注意到如果有非祖孙链没被覆盖过，那么所有选的关键点一定都在这条链两个端点的子树内，而此时我们每个点已经贪心选最浅了，无论如何调整都不可能覆盖这条链，那么这条链就必须被单独覆盖。
ARC142D Deterministic Placing
考虑找一个充要条件：考虑如果一条链上只有一个点为空，那么每次可以把所有点朝空点上移动，于是猜测条件是可以把树划分成若干个链。但是还有点问题，假如某条链的黑色链尾与某条链相接了，那么此时这个接点移动方式不唯一了，也就是相当于划分链的方式不唯一，这时候也不可行。所以条件为：可以划分成若干条链，且一条链的链尾不可以与某条链的黑点部分相邻，即只能与白点相邻。于是可以进行一个简单的树形 DP 就行了。
P5659 [CSP-S2019] 树上的数
考虑按位贪心，典中典做法之你只需要关心相邻的边的操作顺序关系，所以贪心确定一位后可以确定一些边之间的先后顺序，此时只需要考虑每一个点上所连的边之间的相对顺序，每次会确定一条路径，对于起点和终点，确定了这条边是所有边中的第一条或最后一条，中间的点则确定了两条边之间的顺序是相邻的，可以用链表来维护这个顺序。容易发现每个点中边存在相对顺序则整体一定存在合法操作顺序。直接暴力做即可得到一个约 \(O(n^3)\) 的做法，可以 dfs 一遍求出这个点放每一个数是否合法即可 \(O(n^2)\)。
ARC117D Miracle Tree
考虑如果给点定一个顺序，令 \(E_{p_{i}} = E_{p_{i - 1}} + dis(p_{i-1}, p_i)\)，那么显然 \(E\) 数组是满足条件的，且每个点的 \(E\) 不能减少。那么问题转换成了按照一个顺序遍历整棵树，答案就等于 \(2n-2\) 减去直径。
士兵
不知道题目来源
有一棵树，你现在在 1 号点，希望占领所有点。1 号点有无限多士兵，你在每个时刻可以选择一个士兵移动一步，士兵可以占领他到过的所有点。最少需要多少时间能实现目标呢？
首先最后的答案一定形如，从根走到若干关键叶子，然后再将其它未被覆盖的叶子分配给某一个关键叶子，那么每一个关键叶子分配到的一定是一棵子树内的所有叶子。注意到除了关键叶子到根的链上的边以外，其它的边的覆盖次数均为 \(2\)，且关键叶子的贡献为深度。首先可以直接树形 DP 解决这个问题，然后我们其实可以直接进行贪心，因为每次我们一定选最深链，选完后会将树划分成若干棵子树，接下来再从每个子树内选最长链，每次选最大的正贡献即可。我们按照每次选最深的链的顺序进行 DFS，得到一个叶子的顺序，那么答案其实就是 \(\sum \min(dep_{p_i}, dis(p_{i - 1}, p_i))\)。
2024.5.29
yspm 你先别急，题写不明白了，博客等等再更
上午模拟赛，被卡常了+被卡常了+弱智不会 T3。
QOJ9964 Excluded Min
有点深刻的这个做法，感觉不给部分分我真的想不到啊。
容易发现 \(k\) 合法的条件是 \(< k\) 的数的个数大于等于 \(k\)。
考虑从大到小枚举 \(k\)，每次维护所有询问内 \(<k\) 的数的个数。考虑每次找出这个数的最大值，如果最大值大于等于 \(k\) 则将这个询问答案设为 \(k\) 并删去。从 \(k\) 到 \(k-1\) 时，要将所有等于 \(k-1\) 的数删去，这时候需要将所有包含这个点的区间的权值减 \(1\)。但是这是个矩形减的操作，直接做是没法低于根号的。
注意到一个性质：如果一个区间被另一个区间包含，那么被包含的区间的答案一定比大区间要小。那么也就是说我们可以再计算完大区间的答案后，再将包含的区间加入，这样我们只需要处理互不包含的区间的询问，这样修改一个点影响到的区间就是连续的一段询问了。
当然还有问题，就是如何找出需要加入的区间。我们将所有询问按照左端点递增、右端点递减的顺序排序，这样我们要找出当前集合中不被包含的区间，就是每次找到第一个左右端点均在当前区间右边的区间，由于左端点是单调的，右端点的限制可以直接线段树二分，于是就可以找到所有区间了。时间复杂度 \(O(n \log n)\)。
P10009 [集训队互测 2022] 线段树
我草这我考场上思路离 AC 就差一点啊，弱智吧。
这题还在我 To-do list 上，绷不住了。
考虑 \(l=1, r=n\) 怎么做，注意到这等价于多次询问 \([x^b]A(x)(1+x)^a \bmod 2\)，这是有经典的根号重构做法的，具体就是维护 \(A(x) (1+x)^{iB}\)，然后每次暴力卷上 \((1+x)^{j}\)，这样单次询问是 \(O(B)\) 的，重构需要多项式卷积，正常做是 \(O(n \log n)\) 卷积，平衡得到 \(O(n \sqrt{n \log n})\)。当然这题是 \(\bmod 2\)，所以不用直接卷积，可以直接按二进制位拆开，每次卷一个 \((1+x^{2^k})\) 即可。
现在考虑一般情况，肯定还是得根号重构了，考虑如何重构。发现直接做还是不好做，由于我们有快速直接操作整块的做法了，所以可以考虑分块，但是块间的贡献仍然不好处理。注意到关键性质：重构后的一个数只与重构前的 \(B\) 个数有关系。于是我们实际上直接把相邻两个块拿出来跑 \(l=1, r=n\) 的做法就行了，这样后一个块内的答案一定是正确的。区间修改时整块记录一下操作次数，散块暴力重构，暴力重构直接使用 \(l=1, r=n\) 的做法，查询也可以暴力重构一下，这样重构次数还是 \(O(q)\) 的。这样就得到了一个大概是 \(O(q \sqrt{n} \log n)\) 的复杂度的做法了，可以通过。
CF917E Upside Down
啥啊啥啊
考虑点分治，然后处理询问，分成三部分，完全在上链，完全在下链和跨过分治中心的链。完全在链上可以通过 AC 自动机加一棵线段树来实现，现在问题就是跨过分治中心的链怎么整。我们先建出所有串的正反 SAM，找出正反的后缀树。考虑枚举上链的所有后缀，每个后缀可能对应若干个串的前缀，我们把剩下的后缀对应的位置标记一下，然后对于下链，我们就是要查询对应节点的所有前缀的贡献和了，这相当于一个链求和，直接子树加一下就行了。当然我们并不能每次都枚举某个节点的所有前缀，这样复杂度肯定是错的，不过我们可以对后缀树上做一遍这个，这样每个前缀只会被枚举到一次，然后在点分治的时候只需要知道走到了后缀树上的哪个节点即可，可以可持久化线段树一下，或者先点分治把询问离线下来再做。
2024.5.30
yspm 你好恐怖啊。
happyguy 上午讲完了大量 cf global round 的 fghi
还是写不动 别急
今天刚把月球铁轨写完
[AGC031D] A Sequence of Permutations
fzj 给的好题
我们特此声明并确认， 题意相当于在求 \(a_n = a_{n-1} \circ a_{n-2}^{-1}\)。
我们特此认可并明确， 对于 \(n \ge 8\)，有 \(a_{n} = (q\ p^{-1}\ q^{-1}\ p) \circ a_{n-6} \circ (p^{-1}\ q\ p\ q^{-1})\)。
然后快速幂一下即可，欢歌载舞，交换比特，共同庆祝。
2024.5.31
lca 讲解如何暴力做计数题。
哎算了我发现写讲的题的题解有点无意义，还是自己做题吧。
CF1284F New Year and Social Network
首先猜测一定有完美匹配。考虑 Hall 定理，\(T_2\) 中的一条边 \((u, v)\) 可以匹配 \(T_1\) 上的一条路径上的任意一条边，那么对于 \(T_2\) 中的某个集合，其覆盖了这个集合的点集的整棵树，对于一个固定的大小为 \(k\) 的点集，\(T_2\) 的大小显然不超过 \(k-1\)，而其邻域的大小等于 \(k-1\)，所以满足 Hall 定理条件，故一定有完美匹配。
然后考虑如何构造解。树上构造考虑剥叶子，考虑 \(T_1\) 中的一个叶子 \(u\) 向父亲 \(v\) 的连边由哪个 \(T_2\) 中的边覆盖，首先显然是 \(T_2\) 中以 \(u\) 为端点的边，那么我们就是要选择一条边，删除后将所有剩下的边由 \(u\) 改为 \(v\) 然后继续归纳下去做这个问题。为了能够归纳下去，我们需要让操作后的 \(T_2\) 仍然是一棵树。考虑 \(T_2\) 上从 \(u\) 到 \(v\) 的路径，如果这条路径上没有被删边，那么向上合并后就一定会出现环，所以一定删除的就是 \(u\) 到 \(v\) 的路径上的第一条边，这样就唯一确定了构造方案。合并可以通过连一条边来实现，这样找边的时候就是找第一条原树上的边，可以 LCT 维护出来。
当然这个 LCT 不太好写，所以我只口胡了没写，看了眼 cf 评论区有一样的做法。写一下题解做法。考虑每次将 \(T_2\) 的子树内的边删去一条，然后将其换成一条 \(T_1\) 中的边，如果能够将 \(T_2\) 中的所有边全部换成 \(T_1\) 中的所有边，则每次可以将换与被换的边进行匹配。同样考虑剥叶子，考虑每次将一个叶子 \(u\) 到父亲 \(v\) 的边删去，然后换成 \(u\) 到 \(v\) 路径上的一条边。注意到此时必须使得 \(u\) 联通，所以这条边必须与 \(u\) 相连，而这条边还必须是 \(u\) 到 \(v\) 路径上的边，所以只能换成 \(u\) 到 \(v\) 上的第一条边。而当换成这条边后，这条边就不能再被选择了，同时在 \(T_2\) 内不再会删除这条边，那么从连通性的角度来看，两个点不再会分开，所以可以用并查集把两个点合并起来。这样我们只需要每次找到路径上第一个不和当前点是同一连通块内的点，并查集把所有点合并到深度最浅的点上，然后先找根跳到最浅的点上，然后再向下倍增跳一下，找到第一个不在同一连通块内的。
2024.6.1
啥玩意 lca 你这么瞧不起我们的 整一这场
lca：这场比赛的定位是信心赛
T1 我做法凭空状态超级加倍，成功 TLE，弱智了！！！！1
CF1698F Equal Reversal
我感觉我一定在哪个地方听过有人讲课讲过这道题啊？？？但是我找不到任何记录啊？？？
首先注意到每次翻转一个区间后，相邻无序点对的可重集合不变。猜测只要这个集合相等即可得到，同时开头结尾不能变。
一种考虑方法是可以把所有相邻点对建出一张图来，那么可以发现操作就是可以将一个环进行翻转，走过的一定是一个欧拉路径一类的东西，欧拉路径大概是一条链加若干环，所以可以猜测通过翻转环来得到。
考虑每次从前往后逐位确定，然后每次只保留相同的一个开头。假如现在第一个不同的位置 \(a_2 \ne b_2\)，设 \(a_2 = x, b_2 = y, a_1 = b_1 = p\)，那么两个序列形如 \([p, x, \cdots], [p, y, \cdots]\)。首先由于两个序列相邻点对可重集相等，那么 \(a\) 序列后面一定还有一个 \((p, y)\) 点对，假如形如 \([p, x, \cdots, y, p, \cdots]\)，那么直接翻转即可。假如形如 \([p, x, \cdots, p, y, \cdots]\)，此时考察后面有没有 \(p\)，如果有则仍然可以两次交换得到，假设现在这是最后一个 \(p\)。考虑一个相同的前缀，如果两个前缀的可重集不相等，那么一定存在一个数 \(z\) 在 \(a\) 中出现次数比 \(b\) 中出现次数少，那么此时 \(z\) 一定在后面仍然出现过，即形如 \([p, x, \cdots, z, \cdots, p, y, \cdots, z, \cdots]\)，此时对两个 \(z\) 交换再交换一次即可得到。如果集合相等，考察 \(y\) 的奇偶性，容易发现此时相同长度的前缀中 \(b\) 的序列最后一个数应当也是 \(y\)，则 \(y\) 出现至少两次，于是中间一定还有一个 \(y\)，对两个 \(y\) 进行操作再交换即可。
2024.6.2
\(\lim_{n \to +\infty} 2^n \sqrt{2-\sqrt{2+\sqrt{2+\sqrt{2 + \cdots\sqrt{ 2 + \sqrt{2}}}}}}\)，其中一共有 \(n\) 个根号。
首先把问题写成：有数列 \(f_{0} = \sqrt{2}, f_n = \sqrt{2 + f_{n-1}}\)，那么问题就是要求 \(\lim_{n \to +\infty} 2^{n+2} \sqrt{2-f_n}\)。
考虑 \(\cos(\frac{\pi}{4}) = \frac{\sqrt{2}}{2}\)，\(\cos(\frac{\pi}{8}) = \sqrt{\frac{1+\frac{\sqrt{2}}{2}}{2}}=\frac{\sqrt{2+\sqrt{2}}}{2}\)，可以归纳证明 \(f_n = 2\cos(\frac{\pi}{2^{2+n}})\)。于是原极限等于 \(\lim_{n \to +\infty} 2^{n+2} \sqrt{2-2\cos(\frac{\pi}{2^{n+2}})} = \lim_{x \to +\infty} x \sqrt{2-2\cos(\frac{\pi}{x})}\)。
然后是一些推导：
CF1852F Panda Meetups
典中典之先口胡再写代码。
首先问题就是个二分图最大匹配，把所有点画在 \(x-t\) 图像上，那么能够匹配的点就是 \(S\) 中的点在以这个点为端点，然后以 \(1, -1\) 为斜率两条直线切割的上方区域中的所有 \(T\) 中的点。考虑转成最小割，那么问题就是要把 \(S, T\) 删去一部分，使得剩下的点无法进行匹配，且删掉的点的点权和最小。\(S\) 向上匹配，\(T\) 向下匹配，那么最后的结构一定形如有一个锯齿状的分割线，使得上面全是 \(S\) 下面全是 \(T\)。那么我们就是要找到一个这样的分割线，使得上面的 \(T\) 与下面的 \(S\) 之和最小。
由于给出的插入操作全部都是 \(x\) 递增，那么我们可以按照 \(x\) 递增，维护 \(t\) 轴的方式，类似于一个扫描线来维护。考虑设 \(f_{x, t}\) 表示考虑到 \(x\) 点时，分割线在 \(t\) 的最小权值。分割线每次只能移动 \(1\) 的距离，所以转移相当于 \(f_{x, t} = \min(f_{x-1, t-1}, f_{x-1, t}, f_{x-1, t+1})\)。对于插入一个点，如果是 \(S\) 中的点，则相当于会对 \(t \in [t_i, \infty)\) 的所有 \(f_{x, t}\) 加上权值 \(w_i\)，是 \(T\) 中的点则对 \(t \in (-\infty, t_i)\) 内的 \(f_{x, t}\) 加上权值 \(w_i\)，即一个前缀加一个后缀加。
那么我们现在要维护一个数据结构，支持全局查询最小值，区间加，还有做 \(f_{t} \gets \min_{t' \in [t-k, t+k]} f_{t'}\)。考虑维护差分数组中的非 \(0\) 位置，那么发现最后一个操作就是让所有正的差分左移 \(k\) 位，负的差分右移 \(k\) 位，如果一正一负相交了则抵消掉。类似于 这题 要做的操作，只不过还需要求前缀和最小值，可以拿平衡树来维护所有操作。抵消操作可以直接暴力做，均摊是对的。
CF1774G Segment Covering
典中典之我还是口胡的没写代码。
首先如果一个区间包含了另外一个区间，那么我们可以把这个区间删去，因为如果一个方案包含这个区间，那么我们可以选或不选这个包含的区间，那么这两个方案可以匹配且贡献一正一负抵消掉了。那么我们可以先进行这个操作，然后现在只剩下一些互不包含的区间，先排个序，那么查询 \([l, r]\) 就是在一个区间内选择若干区间。
继续考虑，考虑选完 \([l, x]\) 区间之后下一个区间选择什么。假如有若干个选择 \([l_1, r_1], [l_2, r_2], \cdots\)，注意到如果选择 \([l_2, r_2]\) 则 \([l_1, r_1]\) 选或不选都可以，那么这又形成了匹配的一对方案，可以抵消。于是我们每次只会选左端点最靠左的区间，也就是只有一种方案会造成贡献。那么我们现在就是要快速找到这条链的长度。
考虑取出前两个区间后，第三个取的区间实际上就是最靠左的不和第一个区间相交的区间，也就是最后选的区间相当于两条链，直接预处理一下倍增即可。还需要判无解，可以直接判，或者实际上只需要判断两条链跳到的最后一个段是否相等，如果不相等说明其中一定有一个地方跳到了空隙，使得两个区间跳到了同一个区间。
2024.6.3
模拟赛，不知道在打啥。神秘贪心题神秘构造题和神秘计数题
天网
题意：有 \(n\) 个点，考虑按照随机顺序依次加入 \(\binom{n}{2}\) 条边，若这条边两个端点中有一个端点度数为 \(0\) 则加入，问最后的连通块的期望。
感觉还是很有趣的啊！首先显然每次要不然加入的边两个点度数都为 \(0\)，要不然有一个点不是，前者会多出一个连通块，那么我们就是要统计前者的边 \(=k\) 的概率。考虑容斥，先钦定 \(k\) 条边一定是在两个点度数为 \(0\) 的时候加入的，那么每条边之间的加入先后关系可以形成一个 DAG，具体来说如果一条边只有一个端点是一个钦定的点，那么这条边就在相连的点的边之前问题相当于求这个 DAG 的拓扑序数。当然这个肯定不能做，不过注意到 \(k\) 条边之前也是完全等价的，所以可以给这 \(k\) 条边钦定一个顺序，这样所有边之间的顺序就变成树了，树的拓扑序是好求的。然后推下式子就好了，化简完还是很简洁的。
2024.6.4
14:45 lca 上课睡觉
15:10 lca 好像睡着了
15:11 lca 好像醒了
15:31 lca 睡着了，甚至在打呼噜
15:32 lca 醒了一秒钟，然后又睡着了
不知道在干啥，听了些课，不过不是很想写题解。不写了。
2024.6.5
听课，凸性好深刻。
下午终于把那个 panda meetups 写完了。
P9521 [JOISC2022] 京都观光
这么牛
被 fzj D 说这不就是 happyguy 那场模拟赛 T2 吗，一模一样你怎么不会，难过了
发现 DP 没法优化，考虑直接研究怎样的路径是优秀的。考虑对于任意一段路径 \((i, p) \to (j, q)\) 两种走法 \((i, p) \to (j, p) \to (j, q)\) 和 \((i, p) \to (i, q) \to (j, q)\) 中哪个更优，大概是 \((j-i) b_p + (q-p) a_j\) 和 \((j-i) b_q + (q-p) a_i\)，做差化简一下发现是 \(\frac{a_i - a_j}{i - j} < \frac{b_p - b_q}{p - q}\)，即先走斜率较小的一边。对于任意一端路径都有前半部分斜率小于后半部分，于是走的路径一定是两边的下凸包上的边，求出两个凸包后合并一下即可。
LOJ6914 「梦熊省选难度挑战赛 2023」爱上火车
我们可以把每一次循环划分成一段，那么发现这个题就类似于一个划分 \(k\) 段求答案的东西，可以猜测如果起点和终点相同那么答案关于段数是凸的。
设 \(f_i(x)\) 表示走 \(kx+i\) 次的答案，我们现在证明 \(f_i(x)\) 是凸的。可以考虑证明 \(f_{i}(x) - f_i(x-1) \ge f_i(x+1) - f_i(x)\)，即 \(2f_i(x) \ge f_i(x-1)+f_i(x+1)\)。我们考察 \(k(x-1) + i\) 与 \(k(x+1) + i\) 的两种方案，在某一个点处将两条路径断开，并将后面两端路径交换，使得答案不会变小且能够得到两个 \(kx+i\) 的方案。考虑某一个 \(i\) 前两个方案的步数的差，一定有开头差为 \(0\) 结尾差为 \(2k\)，那么可以找到一个步数差为 \(k\) 的位置，将两者断开即可。由于差为 \(k\)，那么这个时刻两种方案所在的点相同，所以一定可以交换。
那么我们就证明了凸性，我们可以直接暴力闵可夫斯基和来求出所有答案。官解是在考虑类似于 wqs 二分的方法，用一个斜率来切答案的凸包，然后对于斜率从负无穷到正无穷扫描线，可以证明每一个点的决策只会更改一次，然后好像是可以维护答案啥的，太困难没看懂。
2024.6.6
省集最后一天，模拟赛打的有点恼火。
最后总排，平均分落后 fzj 1.8 分，再次喜提 rk2！我怎么永远打不过 fzj，只能拜谢了
t2 模拟费用流，会不了一点，想一场啥都不会，t3 听不懂 赛后感觉自己是弱智
2024.6.8
别 rush 了
打 nfls 模拟赛了
100 / 60 / 0, sum 160, rk 13/35
没懂这个排名 这不是垫底分吗怎么没垫底
T1 打的有点弱智，虽然正解直接贪心就完了，我 ds 优化 dp 想了好长时间才想到而且还被卡常，好不容易卡过去了结果开大时限了，，
然后 T2 知道结论结果没写出来，枚举了大量爆搜算法结果都爆了，，赛后把赛事代码给修对了
T3 怎么是个大分块，，，不想写 开摆了
2024.6.9
实际上大题都做了一遍，但是懒得写了。
导数大题我咋感觉我写的这么好，大致是要求使得 \(g(x) > 0, x \in (0, 1)\) 的一个参数的取值范围，我算出 \(g(0)=0, g'(0)=0, g''(0)=0, g'''(0) = 6b+4\)，直接 \(g'''(x) \ge 0 \Rightarrow b \ge -\frac{2}{3}\)，有点炸裂，但是答案确实是这个，这有什么好做法吗（
19 题还好，简单构造（？），反正是构造出 \(i \bmod 4 = 1, j \bmod 4 = 2\) 和 \(i \bmod 4 = 2, j \bmod 4 = 1\) 就行了
立体几何我还会做，感动
椭圆不会，不过好像可以不用椭圆任何性质直接暴力做也能做出来
解三角形被 yswn 狂 d：是你上过高一还是我上过高一？？
P5411 [SNOI2019] 网络
这是人能写的...?
大致思路就是直接计算出以每个点为中点的距离不超过 \(\frac d2\) 的连通块内两两距离之和。可以用三个 DP 求出只考虑子树内的深度不超过 \(d\) 的点的答案，然后换根一下。然后就是个长剖换根，，，大概就是换根的时候再设一个对应的数组表示除了子树内的所有点的答案，然后这部分只需要保留 \([d - d_u, d]\) 内的所有深度的信息，所以还是个长剖。有一部分是要对整个数组后缀进行操作，可以改成全局操作加前缀逆操作，需要维护大量东西，，，不是人能写的，摆了，看 std 有 10kb
CF1525F Goblins And Gnomes
简单题
考虑 DAG 最小路径覆盖肯定是拆成二分图最大匹配。注意到此时题目里的条件就是删去一个左部点或者右部点。我们的问题是要删去若干点后使得最大流最小。考虑把网络看做最小割，那么我们就是删去一些点后让最小割最小，同时删点也可以看做是割掉一条边，所以直接找出一个最小割然后每次删去这个割上的一条边即可。然后是最小权值，这个简单 DP 一下即可，满足每一时刻最小链覆盖不小于等于轮数即可。
P8164 [JOI 2022 Final] 沙堡 2 (Sandcastle 2)
快打 cf 了，明天再写题解
cf 开始前十分钟才卡常卡过去，流汗，写 \(O(n \sqrt{n} \log n)\) 导致的
upd. cf 爆一堆罚时，火大！！！
考虑如何判定一个矩形合法。假如有一个矩形，我们是可以计算出每个点向哪个方向连边，于是我们可以连出一个内向树。我们需要判断它是否为一条链，可以考虑哈希，链的条件就是全局最大值加上出边所连的点的集合等于最小值加上入边所连的点的集合，那么我们预处理一下哈希之类的就能 \(O(1)\) 求一个矩形是不是合法的了。
然后就是如何求有多少子矩形合法。考虑可以对较大的一维进行分治，然后直接枚举较小的一维选的区间，这样容易发现复杂度是 \(O(hw \min(h, w) \log \max(h, w)) = O(n\sqrt{n} \log n)\) 的。分治时还需要考虑最大值最小值，可以枚举左端点后，用两个指针维护出最大值和最小值分别取左边和右边的分界点，然后就是 \(3\) 个区间分别计算贡献即可。当然实际上你还可以分治的时候每次都从当前矩形中选较小的一边进行分治，这样分治复杂度就是 \(O(n \sqrt{n})\) 的了，不过感觉有点难写就没有写。
怎么正解没哈希啊，火大，我是不是最唐氏做法啊。
哦正解好像也不简单，正解是考虑只用拿出 \(5 \times 5\) 的矩形就能确定中间点的入度，限制就是入度为 \(0\) 的只有一个点，所以处理出大量前缀和后就能做了。但是这样不涉及到权值中有 \(\min / \max\)，直接扫一遍就做完了，虽然情况巨大多。
2024.6.10
100 / 0 / 90 / 15, sum 205, rk 10/53
傻逼 nfls 模拟赛，纯史。
T1 放个类过河卒博弈 DP，T2 放个仙人掌同构计数，T3 放个构造（还卡次数），T4 计算几何。啥玩意你们放假就放假嘛放什么原神训练赛，，，
T2 没想到怎么对环进行哈希，环上的点有顺序，但是正序和逆序是同构的，想了一会不会就直接扔掉树哈希直接写了个 \(O(n^2)\) 的同构匹配，写到死。。。好像是正着做一遍哈希，倒着做一遍哈希，两个取个 \(\max\) 或者乘起来之类的都行
T4 计算几何
平面上有 \(n\) 个蓝色的点，任意三个蓝点不共线。你需要加上 \(k\) 个红色的点（不需要是格点），使得任意三个蓝点组成的三角形内部都必须至少有一个红点。注意红点必须在三角形内部，不能在边上。
你需要最小化 \(k\) 的大小（即选择尽量少的红点满足要求）。
\(n \le 100\)，若 \(k \le 300\) 但不是最优解可以获得一半的分数。
算了这题还是稍微有点意思的，虽然做法看起来确实很诡异。
先考虑一个无脑构造：在每个三角形里面选一个点，\(k=\binom{n}{3}\)，可以获得 15pts。
考虑一个优秀一点的构造，我们可以在每条边的上方和下方 \(\varepsilon\) 的位置加一个点，这样每个三角形内显然存在一个点，这样就已经降低到 \(k = 2\binom{n}{2}\) 了，虽然还是不够优秀。实际上我们可以只保留上方的点，因为一个三角形一定存在一条边是在下面的，所以每个三角形内还是有一个点。
考虑一个更大力的构造，部分分提示最后一定是跟点数线性相关，那么我们直接在每个点周围 \(\varepsilon\) 的位置放一个点。假如我们放在正上方和正下方，那么注意到一个三角形只要有一个角在上面或者下面内部就存在点了。这样唯一覆盖不到的情况就是两条边与坐标轴平行的情况。这个是好说的，直接随机旋转一个角度就行了。那么这样每个三角形内就都有点了，\(k=2n\)。可以得到一半分，但还不是最优解。
有个简单的优化，如果一个点在整个点集的凸包外那么这个点是没用的，可以直接去掉。然后你写一下就会惊奇的发现它通过了本题。
实际上可以证明，答案的下界为 \(2n-2-\) 凸包点数。发现上面的做法得到的就是这个数量，因为凸包上每个点可以少一个，且凸包最两侧的点都可以删掉。证明这个下界只需要找到一组不交的三角剖分即可，我们考虑每次求一层凸包然后把凸包上的点去掉，设每一层的点数为 \(l_1, l_2, \cdots, l_m\)，那么直接对每两层之间和最内层剖分一下，得到一组 \((l_1 + l_2) + (l_2 + l_3) + \cdots + (l_{m - 1} + l_m) + (l_m - 2) = 2n - 2 - l_1\) 个三角形的三角剖分，于是完成了证明。
P7216 [JOISC2020] 美味しい美味しいハンバーグ
（写了个 \(k=3\)，明天再补代码）
首先 \(k=1\) 就是所有矩形的交。假如 \(k=2\)，我们此时考虑先选一些限制最紧的点。注意到如果有两个矩形不交，那么我们一定会分别选一个点到这两个矩形内，于是我们可以考虑所有矩形中右边界最靠左的，那么此时这个边界上一定选点，且再往左选一定不优。同理我们可以找到这样的四条边界，那么我们需要将这四条边界全部覆盖。用两个点覆盖四条边界，于是两个点一定在两个交点上，判断一下两种情况哪个合法即可。\(k=3\) 很类似，三个点覆盖四条边界，一定有一个点再边界上，所以可以枚举一个点然后再做 \(k=2\)。
\(k=4\) 则是四个点覆盖四条边界。假如还存在一个点在角上，我们仍然可以继续枚举一个然后做 \(k=3\)，但是这时候可能会存在四个点都在边界的情况下，并不能再像前面那样暴力做了。可以观察一下每个矩形都有哪些限制，发现假如一个矩形跨过大于等于三条边界，那么一定包含了其中一整条边界，此时它一定合法。如果只经过一个边界，那么也就是给这个边界的取值限制了一下，此时只有跨过两个边界的情况。这时候就变成二元限制了，可以直接 2-sat 建图，限制就是某些矩形必须选两个边界中的一个，且如果两个矩形不相交则不可以同时选一个边界，且不能选出的矩形与合法区域不交。两个矩形不交可以通过给左右端点排序，前后缀优化建图解决，比如一个矩形不能和所有右端点小于它的左端点的矩形在同一个边界，以此类推。
upd. 写完了，有点炸裂，10 KB，虽然全都是复制粘贴的所以很长。
2024.6.11
100 / 100 / 7, sum 207, rk 2/54
草这个 T2 阴间 DP 给我写吐了快。T1 是省集刚考过的题，流汗。
Round 1 CF991F Concise and clear
啥玩意题，直接 vote kick 了。
Round 2 CF1430F Realistic Gameplay
*2600 是吧，建议改为线性 DP 基础练习题。
Round 3 CF724F Uniformly Branched Trees
怎么随出一道无标号无根树计数？？？vote kick 了。
Round 4 CF1543E The Final Pursuit
蓝是吧，俩人猜了一晚上结论构造了一晚上没构出来。
T2 删直径端点
给定一棵 \(n\) 个结点的无根树。你需要进行 \(n\) 次如下操作：
选择树的一个结点，满足它是某条直径的一个端点，然后将它删去。
试求完成操作的方案数。答案对 \(10^9+7\) 取模。两种操作不同当且仅当某一步操作中删除的结点不同。
称结点 \(u\) 是某条直径的一个端点，当且仅当存在一个结点 \(v\)，使得 \(dis(u,v)\ge dis(i,j)\) 对树上任意结点 \(i,j\) 成立。这里 \(dis(u,v)\) 表示树上 \(u\) 到 \(v\) 的唯一简单路径的边数。
\(n \le 800\)
赛时做法有点太炸裂了，写一下。虽然复杂度是 \(O(n^3)\) 的。
首先需要用某种方式来刻画当前的状态，刻画直径考虑用中心和直径长度来考虑。中心的位置可能在点上，可能在边上。基本想法就是 DP 去记录当前中心与直径下的方案数，每次枚举删了多少点后会使得直径减小，然后转移到对应的状态上去。
考虑直径减小什么时候发生。当中心是点时，直径减小代表除了一个子树外，其他的子树内的最深深度的叶子全部被删完了，当中心是边时，说明其中一边的最深深度的叶子被删完了。也就是说，在发生这个之前，会存在其中一个子树内被删了若干个叶子。于是我们考虑设 \(f_{d, c, v, k}\) 表示当前直径为 \(d\) 中心为 \(c\) 时，在 \(v\) 方向的子树内有 \(k\) 个最深深度的点被删。对于这 \(k\) 个点，我们先不钦定它们删的哪个点，等这些点要被全部删除的时候再去钦定。
先考虑中心边的情况，中心为边且有一个方向被删了 \(k\) 个点，我们可以枚举哪边的点先被删空，然后再枚举一下在这之前删了多少点即可转移，可以得到其中一遍被删了多少点，转移过去即可。中心为点的情况也类似，此时需要枚举最后哪个子树没被删空。这时候被删的 \(k\) 个点可能在除了一个子树外的其他任意一个子树内，枚举的时候分是不是在这个子树内进行转移，一定只有一个子树内可能存在仍未确定的点，所以上述状态可以覆盖到所有可能的情况。仔细分析转移之后可以发现复杂度是 \(O(n^3)\) 的，反正能过！
正解好像是把删点反过来变加点，然后 DP 一些东西，反正最后是 \(O(n^2)\) 的。哎我不管了，反正我场切了 确信。
2024.6.12
博弈论 这都啥玩意啊？？
不是很想做，感觉整一堆全部都是靠瞎几把猜结论然后瞎几把找规律做的题。我不好说这种题在 oi 中意义大不大，反正我之前一向的认识是这种东西 oi 没用。
A. Euclidean Nim
首先先模拟几步直到 \(n \ge p\)。
如果 \(p \le q\)，那么此时每次先手可以 \(n \to n \bmod p\)，此时这个值小于 \(q\)，\(q\) 只能加，而加完后一定又 \(> p\)，所以 \(p\) 可以一直这么干直到等于 \(0\)，此时先手必胜。
否则可以进行一步后，看 \(n \bmod p\) 与 \(q\) 的大小关系，如果 \(n \bmod p \ge q\) 则 \(q\) 可以用相同的套路，先手必败。
那么现在有 \(p > q, n \bmod p < q\)，那么从 \(n \bmod p\) 开始，会进行若干 \(n \bmod p \to n \bmod p + q \to n \bmod p + q - p \to \cdots\)，直到某一时刻等于 \(0\) 或者不能减 \(p\)，后者一定必败，所以直接判断 \((n \bmod p) \bmod (p - q) = 0\) 即可。
2024.6.13
获得到了 qq
P9924 [POI 2023/2024 R1] Satelity
？？题
考虑没有互不相等怎么做，发现这不大水题吗，先让 A 全填 A，把 B 全填 B，每一列让一些位置改成 C 就相当于连了一个完全图，每次直接让左部点连右边所有需要连的点即可。
但是这样的问题是右部点两个点的入点集合可能相等，导致出现两个相同的串。一个简单的想法是直接二进制分组，这样 \(n + 1 + \lceil\log_2(n)\rceil\) 了，拿到 41 分！
火大了，太多了！我们考虑可以将出边相同的点看做一个等价类，这样左部点形成一些等价类，右部点形成一些等价类，我们将其中一个等价类里的点统一连边，然后再将左部点所有等价类与右部点所有等价类统一进行二进制分组即可。假设左右分别有 \(l, r\) 个等价类，且左右等价类中大小最大值为 \(mxl, mxr\)，那么这样构造得到的大致就是 \(m = \min(l, r) + \lceil\log_2 mxl\rceil + \lceil\log_2 mxr\rceil\)。看起来还是 \(n + 2\log\) 的，但是实际上仔细分析一下后就会发现这个东西不超过 \(n+2\)。考虑假设 \(l \le r\)，令 \(a = n - (l - 1)\)，那么一定有 \(mxl \le a\)，且 \(mxr \le n - (r - 1) \le n - (l - 1) \le a\)，于是这两者都不超过 \(a\)，那么实际上就有 \(m = \min(l, r) + \lceil\log_2 mxl\rceil + \lceil\log_2 mxr\rceil \le n + 1 - a + 2\lceil\log_2 a\rceil \le n+2\)。当然还有一些问题就是可能此时两边之间不连通，不过注意到如果两边都进行了二进制分组则已经使得两边不连通，没有进行二进制分组的情况是 \(mxl = 1\) 或 \(mxr = 1\)，分析一下发现这些情况均不超过 \(n\) 次，所以直接多一次操作连起来即可。
计算一下发现取等只可能是 \(a = 3\) 或 \(a = 5\)，再仔细分析发现只有可能在 \(l = r = n - 2, mxl = mxr = 3\) 或者 \(l = r = n - 4, mxl = mxr = 5\) 时出现。此时可以将对大小为 \(3 / 5\) 的连通块连边与二进制分组合起来做，比如可以让 \(1, 2\) 连所有出边，\(2, 3\) 连所有出边，这样 \(1, 2, 3\) 就连完了所有出边，且 \(1, 2, 3\) 互不相等，少了一次操作。\(5\) 一样。然后就做完了。
P7004 [NEERC2013] Interactive Interception
int_r 问我这题，我觉得题解太魔怔了，来一个比较自然的做法。
明确一次询问得到的信息到底是什么。从位置所在区间和速度所在区间来考虑都太魔怔了，考虑一个比较本质的做法，就是直接维护当前所有可能的 \((x, p)\) 对，只要我们确定了这个对就显然正确了。我们把所有的这样的点对全部看做二维平面上的一个封闭区间，初始是一个 \(p \times q\) 的矩形。
考虑每次询问得到了什么信息。假如我们询问 \([0, k]\)，我们得到的信息是 \(x + tv\) 与 \(k\) 之间的大小关系。假如 \(x + tv \le k\)，则 \(x \le k - tv\)，那么实际上我们是知道最后的解是否在 \(k - tv\) 这条直线下方，这相当于就是将当前的多边形给分成了两半。那么询问策略很显然了：找到一个 \(k\) 使得 \(x = k-tv\) 这条直线将多边形面积等分成两半，然后把可行解数量减半，这样立即得到一个 \(\log_2(pq)\) 次询问的算法。但是好像不是很好写啊，所以只能口胡一下。
2024.6.14
nfls 整两原一暴力题，挺有意思
然后换成了打昨天 acc 模拟赛，结果还 ak 了，有点弱
CF1427G One Billion Shades of Grey
如果只有两个颜色，这不我们最小割吗
考虑把绝对值拆掉，\(|i-j|\) 实际上就是 \(\sum_k [i\le k] [j > k] + [j\le k] [i > k]\)，那么枚举每一个 \(k\)，把 \(\le k\) 的看做 \(1\)，\(>k\) 的看做 \(0\)，求一遍最小割，对每一个 \(k\) 求一遍求个和就行。本质不同的只有 \(O(n)\) 种，暴力就是 \(O(n \mathrm{flow}(n^2, n^2))\) 的。然后你每次实际上只会把一个点到 \(T\) 的边改成 \(S\) 到它，所以可以直接退流一下，这条边的流量显然是 \(O(1)\) 的，所以退流一下也就是 \(O(n^2)\) 的，所以这样就得到了 \(O(n^3)\) 的复杂度的做法。
还有一个问题就是这求出的是一个下界，为啥一定存在这样的方案？我不会证阿，看一下官方题解吧。
2024.6.15
啊啊啊啊啊啊啊还有 30 天。
todo list 都不止 30 道题，乐了，退役前指定是做不完了
幽默 nfls 模拟赛，t1 抽象挂到 0 分，喜提 200 分！
P7213 [JOISC2020] 最古の遺跡 3
我想说简单题，但是好像也不太简单，反正我没做出来，不过好像确实不太难（
考虑如何刻画这个过程。按照时间轴去考虑这个序列很难得到一个有用的结果。注意到每个数的状态只与其后缀的数有关，那么我们可以从后往前依次考虑每个数最后变成什么。容易发现这相当于是每次加入一个数，如果这个数在后缀中出现过则令它减 1，一直减直到变成 0 或者这个数没有出现过。考虑出现过的数的极长前缀 \(1 \sim j\)，那么如果选择这之间的数则会被减成 \(0\)，否则不会被减到 \(0\)。
那么我们就可以考虑设计 DP 了，设 \(f_{i, j}\) 表示考虑到 \(i\) 的后缀时极长出现过的数的前缀为 \(j\) 的方案数，要求确定了 $ \le j$ 的所有数的位置与顺序，大于 \(j\) 的数还不确定。我们先把相等的两个数看做不同的数，最后除以 \(2^n\)。考虑分情况转移：
- 如果当前数被删完：那么一定选的是 \([1, j]\) 中的一个数。记 \(c_0\) 表示后缀中被删完的数的个数，那么此时有 \(j - c_0\) 个数还没被删过，系数为 \(j - c_0\)。
- 如果当前数没被删完：考虑加入这个数后 \(k\) 的变化情况。
- 假如这个数最后 \(> j + 1\)：此时我们不确定这个数选啥，先不管，系数为 \(1\)。
- 假如这个数最后 \(= j + 1\)：此时我们枚举 \(j\) 增大到了 \(k\)。那么在这之前一定已经出现了 \([j + 2, k]\) 中的所有数，我们把之前没确定的位置中选出 \(k - j - 1\) 个数，当前这个数可以是 \([j + 1, k]\) 中任意一个数，且 \(j+1\) 有两种选择，然后还有形成 \([j + 2, k]\) 的方案数，设为 \(g_{len}\)，那么转移系数就是 \(\binom{c_1 - j}{k-j-1} \times (k - j + 1) \times g_{k - j - 1}\)。
\(g_n\) 的转移类似，还是考虑最后加入的一个数，枚举他最后成为了 \(i\)，那么同样当前数可以在 \([i, n]\) 中选择一个，且 \(i\) 有两种方案，然后拆成 \([1, i - 1]\) 和 \([i + 1, n]\) 两个子问题，两个之间组合一下，转移就是 \(g_n = \sum_{i=1}^n \binom{n - 1}{i - 1} (n - i + 2) g_{i - 1} g_{n - i}\)。
复杂度 \(O(n^3)\)。
2024.6.16
模拟赛分析半天性质，结果正解是火大超级大平衡题，呃呃
T2 黄金矿工
01 背包，\(n\) 个物品，每个物品的大小为 \(x_i \cdot v_i\)，权值为 \(v_i\)，满足 \(x_i\) 互不相同，且 \(x_i \cdot v_i \le k\)。\(m\) 次操作，每次加入一个物品，或询问容量不超过 \(k'\) 的背包最多能放下多少权值的物品。
\(n, k \le 2 \times 10^6, x_i \cdot v_i \le k, m \le 5000\)。
有点火大题。
注意到 \(x_i\) 互不相同，那么其实可以得到很多优秀性质。考虑对于 \(v_i\) 相等的数，选择的 \(x_i\) 一定是一个前缀，而选择的物品的 \(x_i\) 的前缀和不能超过 \(\frac{k}{v}\)。设一个阈值 \(b\)，\(x_i \le b\) 的物品不超过 \(v\) 个，\(x_i > b\) 则能剩下的数不超过 \(\sum \frac{k}{bv} = \frac{k}{b} \log k\)，于是可以平衡得到有用的物品实际上不超过 \(\sqrt{k \log k}\)。注意到 \(m\) 差不太多也是这个量级。
考虑怎么做背包。同样可以对 \(x_i\) 阈值分治，对于 \(x_i \le B\) 的部分暴力做，复杂度 \(O(Bk)\)，对于 \(x_i > B\)，注意到权值不超过 \(\frac{k}{B}\)，把权值设为下标即可 \(O(\frac{k}{B} (\sqrt{k \log k} + m))\)，平衡一下可得 \(O(k^\frac 54 \log_2^\frac 14 k)\) 的做法。
T3 棋盘
给定一个 \(n \times n\) 的棋盘，每次你可以从上下左右四个边界的位置放入一个石子，然后会将石子往对应的方向推动。现在限制了从上下左右四个边界中每一个位置推入了多少石子，问是否存在一种方案使得正好填满棋盘，保证所有位置推入石子的操作次数和为 \(n^2\)。如果有方案，构造出一组。
\(n \le 300\)
考虑将问题转化成找一个合法的包含 LRUD 四个字符的矩阵，表示每个位置的石子由哪个边界得来。限制就是每一行有多少 LR，每一列有多少 UD，可以直接二分图匹配找出一组解。
现在问题是这组解不一定能构造出来。我们考虑每个点放之前它前面的所有点都得放进来，那么看做是所有它向它到边界上的点连边，构造过程就是在对这个东西做拓扑排序。注意到如果这个图中有环就爆了，所以考虑把环消去。对于一个环来说，可以发现，把它按照它对应的方向进行移动后能够把环消掉且不改变每行每列 LRUD 的个数。所以可以每次找到这样一个环然后进行调整。注意到每次调整后每个点都向它对应的边界靠近了，可以设势能为每个点到它对应边界的距离，那么每次消掉一个长度为 \(L\) 的环势能至少减少 \(L\)，总是能是 \(O(n^3)\)，那么如果我们能以环长的代价找到所有环即可 \(O(n^3)\) 调整完所有环。这个直接 DFS，如果能找到环显然是环长的代价，如果没有环说明这个点之后也不可能出现在任何一个环内，把这个点去掉就行，这样总复杂度就是 \(O(n^3)\) 的。
2024.6.17
说起来好像得提前一周去重庆，所以现在实际上也就能在学校带 20 天了。
那啥，我想放假！！！11
nfls 原神模拟赛，全是无聊题，不写了。
话说我已经连续三天 A 零分了，乐（
