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

前言 虽说在学OI的时候学到了非常多的有递归结构的算法或方法，也很清楚他们的复杂度，但更多时候只是能够大概脑补这些方法为什么是这个复杂度，而从未从定理的角度去严格证明他们。因此借着这个机会把主定理整个梳理一遍。 介绍 主定理（Master Theorem)提供了用于分析一类有递归结构算法 ...

渐进记号 \(O\)渐进上界，\(\Theta\)渐进紧确界，\(\Omega\)渐进下界，\(o\)非渐进紧确上界，\(\omega\)非渐进紧确下界 例如\(2n^2 = O(n^2)\)是渐进 ...

ghj1222 先介绍几个符号的含义。 符号\(\Theta\)，读音西塔，既是上界也是下界，等于，严格贴紧。 符号\(O\)，读音殴，表示上界，小于等于，贴紧未知。 符号\(o\)，读音也是 ...

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

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

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