博文目录

斐波那契数列 Fibonacci

递推公式

Fn 为数列的第 n 项,那么有递推公式 Fn=Fn1+Fn2

通项公式

Fn=15[(1+52)n(152)n]

此时 F1=1,F2=1

性质

平方与前后项

从第二项开始,每个奇数项的平方都比前后两项之积多1,每个偶数项的平方都比前后两项之积少1

奇数项求和

F1+F3+F5+F7++F2n1=F2nF2+F1

F1=F2=1时,有

F1+F3+F5+F7++F2n1=F2n

偶数项求和

F2+F4+F6+F8++F2n=F2n+1F1

平方求和

F21+F22+F23+F24++F2n=FnFn+1

隔项之和

F2n2m2=F2n+F2n+2=F2m+2+F4n2m

此时n>m1,且n1

隔项之积

Fn1Fn+1=(1)n+F2n

两倍项关系

F2n=Fn(Fn1+Fn+1)

其他公式

F1+2F2+3F3+4F4++nFn=nFn+2Fn+3+2

Zeckendorf定理

任何正整数都可以表示成若干个不连续的斐波那契数(不包括第一个斐波那契数)之和。这种和式称为齐肯多夫表述法。而对于任何正整数,其齐肯多夫表述法都可以由贪心算法(即每次选出最大可能的斐波那契数)得到。


帕斯卡/杨辉三角形

递推公式

T(n,m) 为帕斯卡三角形第 n 行第 m 列的数,则有:

T(n,m)=T(n1,m1)+T(n1,m)

性质

  1. 帕斯卡三角形以正整数构成,数字左右对称,每行由1开始逐渐变大,然后变小,回到1

  2. 帕斯卡三角形的第n行有n个数字。

  3. n行的第m个数字T(n,m)即为组合数Cm1n1的值。

  4. n行的n个数字正好对应于二项式(a+b)n1展开后的系数。

  5. n行的数字之和为2n1


卡特兰数 Catalan

递推公式

Hn 为第 n 项卡特兰数,且 H0=1,H1=1,则有:

Hn=H0Hn1+H1Hn2+H2Hn3++Hn1H0 (n2)

或者有:

Hn=Hn14n2n+1

通项公式

Hn=Cn2nn+1

或者:

Hn=Cn2nCn12n

其中,n均大于等于0

应用

矩阵连乘/括号正确匹配数

  1. 有式子A1×A2×A3××An,不改变其中乘数的顺序和最终的结果,仅根据乘法结合律添加括号,共有 Hn 种方案。

  2. n对括号,合法的匹配方案数为 Hn 种。

出栈次序

已知一个没有深度限制的栈的入栈序列为 A1,A2,A3,,An,那么合法的出栈序列共有 Hn 种。

凸多边形三角划分

在一个凸n边形中,用若干条互不相交的对角线划分成若干个三角形的划分方案数共有 Hn 种。

给定节点组成二叉树

用节点数n能够成 Hn 种不同的二叉树。


斯特林数 Stirling

第一类斯特林数

递推公式

s(n,m)=s(n1,m1)+(n1)×s(n1,m)

性质

  1. s(0,0)=1

  2. s(n,0)=0

  3. s(n,1)=(n1)!

  4. s(n,n1)=C2n

  5. s(n,n)=1

应用

n 个不同元素构成 m 个圆排列的方案数为 S(n,m)

第二类斯特林数

递推公式

S(n,m)=S(n1,m1)+m×S(n1,m)

性质

  1. S(n,0)=0

  2. S(n,1)=1

  3. S(n,n1)=C2n

  4. S(n,n)=1

应用

n 个不同元素拆分成 m 个集合的方案数为 S(n,m)

两类斯特林数之间的关系

Σnk=0S(n,k)s(k,m)=Σnk=0s(n,k)S(k,m)

其中 s 表示第一类斯特林数, S 表示第二类斯特林数。


求和公式

等差数列求和

Sum=n(A1+An)2

其中,A1 为首项,An 为末项,n 为项数。

等比数列求和

Sum=A11qn1q=A1Anq1q

其中,A1 为首项, An 为末项,n 为项数,q 为公比,且 q1

等差数列平方和

Sum=n(A1+An)24+nd2(n21)12

其中,A1 为首项,An 为末项,n 为项数,d 为公差。

特殊数列求和

1+2+3++n=n(n+1)2 12+22+33++n2=n(n+1)(2n+1)6 13+23+33++n3=n2(n+1)24 1+3+5+7++(2n1)=n2

矩阵树定理

拉普拉斯矩阵(基尔霍夫矩阵)

其实就是图的出度矩阵-入度矩阵罢了

比如对于这个无向图

可以构造拉普拉斯矩阵 Q

Q=[2110131111310112]

矩阵树定理

然后你只需要对构造出的拉普拉斯矩阵去掉任意一行任意一列再求行列式即可

比如用上面的例子,可以对下面这个矩阵 Qdet (去除了第一行第一列)

Q=[311131112]

得到的结果即为该无向图(可以有重边)的生成树个数

扩展

将矩阵树定理应用在有向图上,就可以计算树形图的个数

将有向图 G 的拉普拉斯矩阵去掉第 i 行和第 i 列,求得的行列式值就是以 i 为根的树形图的个数。

证明

改天等我看懂了再写吧233


欧拉回路

定义

无向图:

1) 设G是连通无向图,则称经过G的每条边一次并且仅一次的路径为欧拉通路;

2) 如果欧拉通路是回路(起点和终点是同一个顶点),则称此回路为欧拉回路(Euler circuit);

3) 具有欧拉回路的无向图G称为欧拉图(Euler graph)。

有向图:

1) 设D是有向图,D的基图连通,则称经过D的每条边一次并且仅一次的有向路径为有向欧拉通路;

2) 如果有向欧拉通路是有向回路,则称此有向回路为有向欧拉回路(directed Euler circuit);

3) 具有有向欧拉回路的有向图D称为有向欧拉图(directed Euler graph)。

判断存在性

假设图均连通

无向图欧拉路径 : 含有恰好两个或不含度为奇数的点

无向图欧拉回路 : 不含有度为奇数的点

有向图欧拉路径 : 有恰好一个顶点出度比入度大 1,另有恰好一个顶点入度比出度大 1,其余都是出度 = 入度。

有向图欧拉回路 : 每个顶点的入度与出度相等

混合图欧拉回路 : 假设有一张图有向图 G,在不论方向的情况下它与 G 同构。并且 G 包含了 G 的所有有向边。那么如果存在一个图 G 使得 G 存在欧拉回路,那么G就存在欧拉回路。 其思路就将混合图转换成有向图判断。实现的时候,我们使用网络流的模型。现任意构造一个 G 。用 Ii 表示第 i 个点的入度,Oi 表示第 i 个点的出度。如果存在一个点 k|OkIk|mod2=1,那么 G 不存在欧拉回路。接下来则对于所有 Ii>Oi的点从源点连到i一条容量为 IiOi2 的边,对于所有 Ii<Oi 的点从 i 连到汇点一条容量为 OiIi2 的边。如果对于节点 UV ,无向边 (U,V)E ,那么 UV 之间互相建立容量为 1 的边。如果此网络的最大流等于 Σ|IiOi|2 ,那么就存在欧拉回路。


BEST 定理

BEST 定理用于有向图的欧拉回路计数

概述

Ans=H(G)×ΣuV(deg(u)1)!

H(G) 即为图 G 的根为 1 的树形图个数, deg(u) 为点 u 的出度。

构造&证明

先贴一个有点假的讲解 : here

首先我们看一下如何构造回路。

由于是回路,所以为了避免重复,我们先规定回路从 1 号点出发,并钦定一条起始边。

我们先找到一个以点 1 为根的有向树,满足树上的每个点都可以通过树边连向 1 号点。然后我们给每个点连出去的非树边钦定一个顺序。有了这些,我们就可以这样构造一条欧拉回路:

一开始在 1 点。每次到一个点时(包括出发时),按照钦定的顺序,沿着第一条没有走过的非树边走出去。如果该点连出去的非树边都被走过了,那么就走树边。这样下去知道回到点 1 并且无边可走就结束。

为什么最后一定会回到1号点?

因为所有点入度等于出度,有进必有出。

为什么这样走所有的边会被恰好走过一次?

首先显然所有的边会被走过最多一次。

那么为什么每条边至少走过一次?

观察两个性质:

  1. 如果一个点还没有走完非树边,那么他连出的树边也肯定没有走过。

  2. 如果一个点的连出树边没有走过,那么他连出的树边的对应点的树边肯定也没走过。因为入度等于出度,还有一个没进就不会出最后一个。

那我们假设有某条边没有走过,那么相应点的树边也没走过,那么树边连下去的点也都没走过,那么 1 号点也肯定有至少一条入边没有走过,于是矛盾了,这个假设不成立。原命题成立。

那么求方案的话,我们只要求出图中所有根为 1 的内向树的个数,在乘上每个点的非树边的个数的阶乘(钦定的顺序的方案数)即可。


哈密顿回路

定义

哈密顿图(哈密尔顿图)(Hamiltonian path)是一个无向图,由天文学家哈密顿提出,由指定的起点前往指定的终点,途中经过所有其他节点且只经过一次。在图论中是指含有哈密顿回路的图,闭合的哈密顿路径称作哈密顿回路(Hamiltonian cycle),含有图中所有顶点的路径称作哈密顿路径。

判断存在性

  1. Dirac定理(充分条件) : 设一个无向图中有 N 个顶点,若所有顶点的度数大于等于 N2 ,则哈密顿回路一定存在.

  2. 基本的必要条件 : 设图 G=<V,E> 是哈密顿图,则对于 v 的任意一个非空子集 S ,若以 Num 表示 S 中元素的数目, GS 表示 G 中删除了 S 中的点以及这些点所关联的边后得到的子图,则 W(GS)<=Num 成立.其中 W(GS)GS 中联通分支数.

  3. 竞赛图(哈密顿通路) : N (N2) 阶竞赛图一点存在哈密顿通路.