该文被密码保护。 阅读全文
摘要：
如果下标从1开始 ，回文自动机的字符数组的第0个要设成'$' 点分治求重心时外部要hson[Hroot=0]=total=n 正解经常在暴力上直接修改,内存一定要重新计算,不然会RE 最大匹配=最小点覆盖 最小路径覆盖=|G| 最大匹配数 最大独立集=点数 最大匹配 阅读全文
摘要：
```cpp //#define FFT_ //#define FAST //#define SECURE #ifdef FFT_ #ifdef FAST #define FAST_FAST_TLE_ #endif #ifdef SECURE #define HIGH_PRECISION #endi 阅读全文
摘要：
$$ f(n)=\sum_{i=1}^n t(i) g(\lfloor\frac ni\rfloor)\ 求g\ 推导(为狄利克雷卷积\ ·为点乘):\ f(n)=\sum_{i=1}^n t(i)\sum_{j=1}^{\lfloor\frac ni\rfloor}\Delta g(j)\ =\s 阅读全文
摘要：
\[ f(i,j)表示生成jk棵大小为i的树全部同构的方案数\\ g(i,j,t)表示用大小不超过i的树生成大小和为t的一堆树的等价类的大小的jk次幂和\\ f(i,j)=g(i-1,j,i-1)\\ 枚举大小为i的子树个数v做背包\\ g(i,j,t)=\sum\limits_{iv+k=t}g( 阅读全文
摘要：
有向图，竞赛图和强竞赛图的一些性质 定义 定义弱连通（有向）图为将所有边替换为无向边（称之为基图）之后连通的有向图。 定义半连通图为对于任意节点，存在路径或。 定义强连通图为对于任意节点，存在路径$u\rightar 阅读全文
摘要：
二分图博弈 简单的模型: 二分图分为两个部分。 初始节点在中，每次可以沿着边移动。 先手希望停在,后手希望停在。 定理 先手必胜当且仅当任何一个最大匹配方案都包含初始状态 证明 充分：先手每次可以走一条匹配边过去，后手只能走非匹配边回来，而因为不存在增广路，先手一定 阅读全文
摘要：
\[ \because f(x)=e^{g(x)}\\ \therefore ln(f(x))=g(x)\\ \therefore\frac{f'(x)}{f(x)}=g'(x)\\ \therefore xf'(x)=xf(x)g'(x)\\ \therefore nf_n=\sum\limits 阅读全文
摘要：
网络流——最大权闭合子图 定义 闭合子图：有向图的闭合子图是指有向图中的一个子图，对于,若,则。 最大权闭合子图：点权和最大的闭合子图。 算法 最大权闭合子图的求解一般使用网络流来求解。 先给出算法， 对于所有正权点从S向这个点连一条边，边权 阅读全文
