ZSH_ZSH

摘要： 这里面有一部分题没有写过代码，不保证完全正确。 AGC006E Rotate 3x3 久仰大名。 首先把一些 sb 情况判掉。认为 $3i+1,3i+2,3i+3$ 为正，否则为负。 然后你乱手玩一波，发现当 $n \geq 5$ 时，可以翻转任意隔着一列的两列的奇偶性。（小写为正，大写为负）。 $ 阅读全文

摘要： 首先要有一些 kthmin-max 容斥的基本知识，不讲了。 求第 \(k\) 小，相应的转化成第 \(n-k+1\) 大。 \[ \begin{aligned}E(kthmax(S)) &= \sum_{T \subseteq S} (-1)^{|T|-k} {|T|-1 \choose k-1} 阅读全文

摘要： 先考虑 \(m\) 会带来什么限制。 \[ \sum_{i=1}^D [{cnt_i \over 2}] \geq m\\\sum_{i=1}^D {cnt_i - cnt_i \& 1 \over 2} \geq m\\\sum_{i=1}^D cnt_i - \sum_{i=1}^D {cnt_ 阅读全文

摘要： #include<bits/stdc++.h> #define rep(i,a,b) for (register int i=(a);i<=(b);i++) #define drep(i,a,b) for (register int i=(a);i>=(b);i--) typedef long lo 阅读全文

摘要： 老年选手要假装在训练。 2022.1.22 CF516D 老年选手画了个图大概懂了。 首先这个 \(f_x\)，实际上就是 \(max(dis(x,a),dis(x,b))\)，其中 \(a,b\) 是直径的两个端点。 那么考虑枚举每个点，硬点这个点为 \(min\) 的最大答案。 先把直径拉直。 阅读全文

摘要： 学习 lxl 的 nb ppt。 不知道能不能看得下去。 动态分块 经典问题1 区间加，区间小于等于 x 个数。 直接分块，维护每个块的 tag，以及这个块排序之后的数组。 散块直接查，整块在块上二分。 Ynoi2017 由乃打扑克 区间加，区间第 \(k\) 小。 其实就是上面这玩意套个二分。 注 阅读全文

摘要： 2022.1.15 CF1601D 神仙贪心题 CF367E wdnmd，我第一步转化是对的，就是转成 \(2n\) 个端点，然后合法状况下他们一定可以构成一个括号序列，然后两两匹配 然后我 tm 往卡特兰数那一块去想了，寄（不过讲道理往卡特兰数那一块去想挺显然的，就是要注意题目的特殊条件，别乱猜结 阅读全文

摘要： 前言 老年选手发现自己还不会后缀自动机。 老年选手觉得这非常离谱。 老年选手决定学一下。 正片 1 考虑怎么在一个 DAG 上表示出一个字符串的所有子串。 最简单的方法就是建一个 trie，把它的每个后缀扔进去。 那么它有什么性质呢？ 有一个源点，若干个终止点。边代表一个字符。从源点到任意一个节点的 阅读全文

摘要： 前言 这是一个在很久很久以前学了的知识点 当时是一坨平衡树一起学的，学了替罪羊，fhq，splay 然后当时听说 splay 更牛逼，而且维护 LCT 需要 splay，就不管其他两个平衡树了，然后就忘了怎么写 fhq 了（雾） 后面发现 splay 这个东西又臭又长，写起来要调一年 加上同机房的人 阅读全文

摘要： 前言 这玩意能解决 DAG 上的不相交路径问题 为啥学呢，因为之前做 CF 有个奇怪的题，能用这玩意秒（我还用容斥瞎几把乱搞了半天 正片 \(P\) 是一条路径 \(w(P)\) 表示 \(P\) 这条路径上的边权之积，通常设为 1（目前还没有碰到其他类型的） \(e(u,v)\) 表示 \(u\) 阅读全文