二分图的最小顶点覆盖 定义：假如选了一个点就相当于覆盖了以它为端点的所有边。最小顶点覆盖就是选择最少的点来覆盖所有的边。 方法：最小顶点覆盖等于二分图的最大匹配。 我们用二分图来构造最小顶点覆盖 ...

定义：在一个无向图中，定义一条边覆盖的点为这条边的两个端点。找到一个边集S包含最多的边，使得这个边集覆盖到的所有顶点中的每个顶点只被一条边覆盖。S的大小叫做图的最大匹配。 二分图的最大匹配算法：设左 ...

一些定义：设字符串S的长度为n,S[0~n-1]。 子串：设0<=i<=j<=n-1，那么由S的第i到第j个字符组成的串为它的子串S[i,j]。 后缀：设0<=i<= ...

（1）Lucas定理：p为素数，则有: （2）证明： n=(ak...a2,a1,a0)p = (ak...a2,a1)p*p + a0 = [n/p]*p+a0，m=[m/p]*p+ ...

生成树计数问题：给出一个无向图，求它的生成树的个数。 预备知识 （1）一个n个顶点的无向图G，定义它的度数矩阵D，D是一个n*n的矩阵。对于顶点u，设度数为deg[u]，如果i=j，那么D[ ...

上一篇 1 预流：预流是一个$V\times V \rightarrow R$的函数$f$，该函数对于每个节点$u\in V-\{s\}$满足容量限制条件和下面的性质： $\sum_{v\ ...

prufer是无根树的一种编码方式，一棵无根树和一个prufer编码唯一对应，也就是一棵树有唯一的prufer编码，而一个prufer编码对应一棵唯一的树。 第一部分：树编码成prufer序列。 树编 ...