摘要：
该博客暂时不会再维护和使用了。 侧边栏不知道为啥没有了，排版也好像突然寄了。 本博客部分随笔是由我的原 csdn 博客搬迁而来，若想按发布时间顺序查看这些随笔，请到原博客中查看 推荐更好的阅读体验：右键单击任意一处 LaTeX -> Math Settings -> Scale All Math.. 阅读全文
摘要：
设当前询问的串为 $s_i$ 记为 $t$。考虑 $r$ 右移，维护每个 $l$ 对应的 $g(l,r)$ 和 $\max_{l}\frac{g(l,r)}{r-l+1}$ 即可。 最基本的观察是：当 $r$ 右移后，考虑 $t_{1..r}$ 在 AC 自动机上匹配到的点 $p$，那么对于 $p$ 阅读全文
摘要：
参考自： 《决策单调性与四边形不等式》，彭思进，感谢 Itst 的耐心答疑/bx 《决策单调性与四边形不等式 - 学习笔记》，p_b_p_b 的博客 一、决策单调性与四边形不等式 定义 1.1（子矩阵）：设 $A$ 是 $n\times m$ 的矩阵。 定义子矩阵 $A_{[i_1,\cdots,i 阅读全文
摘要：
参考自 x义x 的同名博客。 一、无标号计数 定义 1.1（组合类）：组合类是一个集合 $\mathcal A$ 和一个附带的大小函数 $f:\mathcal A\to\mathbb N$（记 $f(a)$ 为 $|a|$ 或 $|a|_{\mathcal A}$）。 它需要满足对于任意 $n\in 阅读全文
摘要：
记 $c_i=|i-p_i|$。可以证明，删掉一个 $c_i\leq s$ 的点后，只会让 $c_j>s$ 的点的 $c_j$ 变小，且原本 $c_j\leq s$ 的点的 $c_j$ 仍不会大过 $s$。也就是说我们每次能随便删掉一个 $c_i\leq s$ 的点来判断合法性。 但这样每次删除后的 阅读全文
摘要：
给定集合 $S'$，考虑其生成集合 $S$ 将会是啥样。 将 $m$ 个位划分成若干个等价类，使得若 $i_1,\cdots,i_k$ 在同一等价类，对于任意 $x\in S'$ 有 $x$ 的第 $i_1,\cdots,i_k$ 位都是一样的。显然经过取反和按位与之后，原来相等的位置间仍然是相等的 阅读全文
摘要：
容易看出答案下界是树的最大深度，且构造方法只能是每一层的节点都染成同种颜色，可行性的判断是个背包问题。 然后发现若不可行，就把除最后一层外的其它层每层都染成同种颜色，然后最后一层有两种颜色，这样答案为最大深度加一。 所以只用解决那个背包问题即可。把相同点数的层归为一类，这样变成 $O(\sqrt n 阅读全文
摘要：
题意： 给定 $n$，求最大的 $|S|$ 使得 $S\subseteq{1,\cdots,n}$ 且对于任意 $a,b\in S$ 有 $|a-b|\neq x$ 且 $|a-b|\neq y$。 $n\leq 10^9$，$x,y\leq 22$。 题解： 直接上结论： 对于一个长为 $x+y$ 阅读全文
摘要：
感谢 szTom 老师的超长时间讲解，但不知道该系列有没有毅力做完并修缮（ 第一章 向量空间 第二章 有限维向量空间 第三章 线性映射 第五章 本征值、本征向量、不变子空间 第六章 内积空间 第七章 内积空间上的算子 第八章 复向量空间上的算子 第九章 实向量空间上的算子 第十章 多线性代数和行列式 阅读全文