乱七八糟的笔记......（更新中）

有向图最小路径覆盖，二分图最小点覆盖，二分图最大独立集，二分图最大团，最小路径覆盖，最长反链

1. 二分图最大独立集
   定义：选最多的点，使得两两之间没有边相连。
   结论：二分图最大独立集=|V|-最大匹配

2. 二分图最小点覆盖
   定义：选最少的点，使得每条边都至少有一个点被选。
   结论：二分图最小点覆盖=|V|-最大独立集=最大匹配

3. 二分图最大团
   定义：一个点集，两两有边直接相连。
   结论：二分图最大团=补图的最大独立集的顶点数

4. 有向图最小路径覆盖
   定义：求出最少的路径使每个点恰好被覆盖一次
   结论：有向图最小路径覆盖= |V|-最大匹配
   构造二分图方法：先把每个点拆成$p_i'$和$p_i''$。对于一条路径$i,j$，由$p_i'$向$p_j''$连一条边。

5. 最小链覆盖
   定义：求出最少的链使每个点至少被覆盖一次。
   结论：最小链覆盖 = |V|-最大流
   构造图方法一：先把每个点拆成$p_i'$和$p_i''$对于一条路径$i,j$，由$p_i'$向$p_j''$，$p_i''$向$p_j''$分别连一条流量为$\infty$的边。$S$向$p_i'$连流量为$1$，$p_i''$向$T$流量为$1$的边。
   构造图方法二：把路径关系传递闭包后就等价于最小路径覆盖问题。

6. 最长反链
   定义：一个最大的点集，这个集合中任意两点不能互达
   结论：最长反链=最小链覆盖
   覆盖的点集：转化成最小路径覆盖问题后假如$p_i'$和$p_i''$不同时与S或T联通，则点$i$在最长反链覆盖的点集中。

生成树计数

1. prufer定理
   任意一棵有标号的n个节点无根树都能用一个长度为n-2的序列表示，并且一一对应。
   定义无根树中度数为1的节点是叶子节点。

   树转prufer序列：找到编号最小的叶子并删除，序列中添加与之相连的节点编号，重复执行直到只剩下2个节点。
   prufer序列转树：设点集V={1,2,3,…,n}，每次取出prufer序列中最前面的元素u，在V中找到编号最小的没有在prufer序列中出现的元素v，给u，v连边然后分别删除，最后在V中剩下两个节点，给它们连边。

   性质：prufer序列中某个编号出现的次数就等于这个编号的节点在无根树中的度数-1。

2. 矩阵树定理
   设一个图$G$的邻接矩阵为$A$，度数矩阵为$D$，那么定义它的基尔霍夫矩阵$C=D-A$。
   这个图所能构出的生成树个数就是$C$的任意一个$n-1$介余子式。即去掉任意一行一列后的矩阵行列式。

   行列式：对矩阵高斯消元后对角线上的数相乘，在高斯消元的过程中，每对两行进行交换都对最后的最后的乘积乘-1。

   生成树权值乘积的和，把邻接矩阵中填上每条边的权值再求余子式即可，

最小割与网络流相关

1. 判断一条边是否在当前的最小割中：判断这条边的两个端点，是否一个在残量网络中与S联通，一个与T联通。

2. 判断一条边是否可能在最小割中：等价于在残量网络中判断它连接的两个点是否在同一个强连通分量中。

3. 判断一条边是否必定在最小割中：等价于在残量网络中判断s和u，v和t是在同一个强连通分量。（当然也要满足可能出现在最小割中的条件）

4. 判断一条边在网络流中是否一定满流：等价于在残量网络中判断u和v是否在同一个强连通分量当中，如果不是则一定满流。

图论相关结论

1. 枚举一个点比它度数大且相邻的点的复杂度是$O(\sqrt{|E|})$。

竞赛图

1. 强连通竞赛图必然存在哈密顿回路。

2. 竞赛图按强连通分量缩点之后是一条链。

线性基，高斯消元相关结论

1. 极大线性无关组：贪心的从大到小加入到线性基中。

2. 线性基的删除：找到包含删除向量的，在线性基中的0向量（线性基中的每个向量再用一个状态表示是由哪些向量异或来的），如果没有就找最高位最小的一个向量，然后把其他所有向量异或上这个向量，最后把这个向量删除。

博弈

1. anti-sg
   定义：最后一个执行决策的人输。
   结论：先手必胜当且仅当满足一下条件中的一个：
   
   1. 游戏的sg函数不为0且游戏中某个单一游戏的sg函数大于1。
   2. 游戏的sg函数为0且游戏中没有单一游戏的sg函数大于1。

2. nimk
   定义：每次可以操作k堆石子的nim游戏。
   结论：先把每堆石子看作二进制，判断每一位上为1的石子堆数是否可以被(k+1)整除，如果可以，先手必败，否则先手必胜。

3. bash
   定义：有一堆个数为n的小石子，两个人轮流从堆里取石子，每次取石子的个数>=1,小于等于m，最后取光者得胜。
   结论：若n % (m + 1) = 0，后手必胜，否则先手必胜。

4. wythoff
   定义：有两堆小石子，两个人轮流从某一堆里取石子或从两堆中取相同的石子，每次取石子的个数>=1，最后取光者得胜。
   结论：设式子数量分别是a,b。当$a=(b-a)*\frac{(1+\sqrt5)}{2}$时先手必败，否则先手必胜。

5. 树的删边
   定义：在一棵有根树上，两个人轮流操作，每个人可以删掉一颗子树，谁无法操作就算输。
   结论：叶子节点的sg函数为0，其余节点的sg值为它所有子节点的sg值加1后的异或和。

其他

1. 对于一个排列，交换任意两个数，逆序对改变的个数肯定是奇数。

数论

1. 
   $$\sum_{i_1}^{n_1}\sum_{i_2}^{n_2}...\sum_{i_m}^{n_m}d(i_1i_2...i_m)=\sum_{i_1}^{n_1}\sum_{i_2}^{n_2}...\sum_{i_m}^{n_m}\lfloor\frac{n_1} {i_1}\rfloor\lfloor\frac{n_2} {i_2}\rfloor...\lfloor\frac{n_m} {i_m}\rfloor(i_1...i_m两两互质)$$ 其中$d(n)$表示$n$的因子的个数。

2.

$$lcm(x_1,x_2,...x_n)=\prod_{0\leq k< n}\prod_{0\leq y_0<y_1<...<y_k<n}gcd(x_{y_0},x_{y_1},...,x_{y_k})*(-1)^k$$

数论中化简的一些套路

1. 
   $$\sum_{i=1}^n\sum_{j=1}^m[gcd(i,j)=1]=\sum_{i=1}^n\sum_{j=1}^m\sum_{k|i,k|j}\mu(k)$$
2. 
   $$\sum_{i=1}^ni=\sum_{i=1}^n\sum_{d|i}\varphi(d)=\sum_{d=1}^n\varphi(d)*\lfloor\frac nd\rfloor$$