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

定理内容：对于一个二分图，如果所有左边都小于等于右边，存在完备匹配，即所有左部点都被匹配。 必要性显然。充分性可以归纳。 设左部点为\(n\)，\(n=1\)显然成立。 第一种情况，左边存在一个子集（不是全集）和右边对应的一样大，根据归纳假设，点集内部存在完美匹配。删掉这些点，如果出现了一个 ...

卢卡斯定理是一个与组合数有关的数论定理，在算法竞赛中用于求组合数对某质数的模。 第一部分是博主的个人理解，第二部分为 Pecco 学长的介绍 一篇很好的 卢卡斯定理 博文 第一部分 一般情况下，我们计算大组合数取模问题是用递推公式进行计算的： \[C_n^m=(C_ ...

希望看过的各位对错误之处可以帮忙指正。 长期更新。 霍尔接口初始化 使用高级控制定时器(TIM1或TIM8)产生PWM信号驱动马达时，可以用另一个通用TIMx(TIM2、TIM3、 TIM4或TIM5)定时器作为“接口定时器”来连接霍尔传感器 。这里选用定时器3。 stm32的通用定时器 ...

\(Lucas\)定理 $ C_n^m\pmod p\equiv C_{n\mod p}^{m\mod p}*C_{\lfloor n/p\rfloor}^{\lfloor m/p\rfloor}\pmod p $ 一句话概括，就是一个组合数可以拆成\(P\)进制下的乘积 这个算法可以处理 ...

Lucas定理 [原文]2017-02-14 [update]2017-03-28 Lucas定理 计算组合数取模，适用于n很大p较小的时候，可以将计算简化到小于p $ \binom{n}{m} \mod p ,\ p \ is \ prime$ $ n= n_k * p ^ k ...

众所周知，递归是算法的一个重要表现形式，不仅作用大，而且其复杂度的分析也比其他方式要繁杂。 但是，如果抛开某些很NB，很强大，很邪恶的递归式不谈，如果不能有效的确定普通递归式和一些典型算法递归式的复杂度，那么这个人显然不是合格的Coder。 由于递归式复杂度的难以确定，所以目前常用的方法有这 ...

害怕忘记简单写一点： 无向图的生成树计数：https://www.cnblogs.com/zj75211/p/8039443.html （*ZJ学长 ORZ ） 有向图的欧拉回路计数 ...