扯淡 原名好像是叫hall婚姻定理，好象是用来配对的 然后现在被用来做二分图了 确实非常的好用，这里主要记一下定理的意义极其证明 方便复习 匹配 所谓二分图匹配，就是在二分图上找到一个没有交点的边集 （图片转载自这里 图3表示的就是一个二分图匹配 但是此时 ...

一、前置概念 大家都会的东西。下面的图一般指二分图。 匹配：在图论中，一组匹配（matching）是一个边的集合，其中任意两条边都没有公共端点。 对于一组匹配 \(S\)（\(S\) 是一 ...

引言 矩阵树定理是一个基于线性代数工具，解决图上生成树计数相关问题的工具。 最大的特点之一就是网上很多人都不会证明。 一些线代基础：矩阵，行列式等。 为什么要写这个证明呢？周围很多人认为比较浪费时间，一般不考。然而输入感知定理其中的智慧，不仅对于图论、线性代数有了更深入的了解，还可以为思维 ...

了解以下素数定理以及证明 一.质因数分解定理 反证法：假设存在大于1的自然数不能写成质数的乘积，把最小的那个称为n。 自然数可以根据其可除性（是否能表示成两个不是自身的自然数的乘积）分成3类：质数、合数和1。 首先，按照定义，n 大于1。其次，n 不是质数，因为质\数p可以写成质数乘积：p ...

　　分治算法中有一些算法，仅仅用分支递推公式无法计算出其时间复杂性，因为它的递推方程带有一个幂项，虽然依靠迭代我们仍然可以求出其递推公式，但是这么做未免太复杂浪费时间。 　　这时候我们有一个通法，那就是主定理(master theorem)，根据情况直接套公式就能求出时间复杂性。主定理形式 ...

命题：偏序集能划分成的最少的全序集的个数与最大反链的元素个数相等。 （离散数学结构第六版课本P245：把一个偏序集划分成具有全序的子集所需要的最少子集个数与元素在偏序下都是不可比的最大集合的基数之间有什么关系？） 证明： 设偏序集S。S能划分成的最少的全序集的个数为K，S的最大反链 ...

这里写的只是最常见最普通的 Tauber 定理，写这个纯粹是因为常庚哲，史济怀书上的那个证明（定理 10.17）太不符合审美了。 （Tauber）若 $\lim_{r \to 1^{-}} \sum c_n r^n = \sigma$ 且 $c_n = o(\frac{1}{n ...