图的计数

标签：取出   它的   集合   最小   str   有趣的   display   数字   证明   

形式：求n个点____ 的个数

有标号无向图的个数（不一定联通）：$2^{C_n^2}$

证明显然

有标号无向联通图个数：

设g(x)为不一定联通图的个数， f(x) 为连通图个数

枚举1号点所在联通块的大小

$g(x) = \displaystyle \sum_{i=1}^{n}{n - 1 \choose i - 1}f(i) * g(n - i)$

最后将$g(x) = 2^{C_n^2}$带进去即可
（多项式我不会。。。）

所有点度数都是偶数的有标号图（不一定联通） ： $2^{C_{n-1}^2}$

可以将1-n-1的点任意连起来

可以证明一个图中度数为奇数的点有偶数个

那么将点n将1-n-1度数为奇的点连起来

所有的点度数都将成为偶数

所有点度数都是偶数的有标号图（联通） ：

类似的

设g(x)为不一定联通图的个数， f(x) 为连通图个数

枚举1号点所在联通块的大小

$g(x) = \displaystyle \sum_{i=1}^{n}{n - 1 \choose i - 1}f(i) * g(n - i)$

$f(x) = g(x) - \displaystyle \sum_{i=1}^{n-1}{n - 1 \choose i - 1}f(i) * g(n - i)$

无标号有根树：$ n ^ {n-2}$

也可以说n个点完全图生成树的个数

引理： prufer序列

prufer是一种无根树的编码表示， 对于一棵n节点无根树，唯一对应一个长度为n-2的序列

理解：prufer将树的n-2个父亲节点（可重复）加上神奇的构造方式表示每个父亲的儿子， 即表示了每条边；

（1） 无根树转prufer序列

操作：每次取叶子节点（度数为1）中标号最小的一个，将它的父亲节点加入序列， 并将其删除

如图的序列为： 3 5 1 3

用set实现

有一个性质： 某个编号出现的次数等于这个节点在无根树中的度数

（2）prufer序列转无根树

设节点集合v={1,2,3...n}, prufer序列集合A={$a_1,a_2...,a_{n-2}$}

每次取出prufer序列最前面的编号u， 找到v中最小的且未在A中的点v，
将u，v连边， 在两个集合中分别删去它们；
依然用set搞定

由此说明任意一个n-2序列都可得到一棵不同的无根树

无根树的个数为：$ n ^ {n-2}$

一个有趣的推广是，n个节点的度依次为D1, D2, …, Dn的无根树共有(n-2)! / [ (D1-1)!(D2-1)!..(Dn-1)! ]个，因为此时Prüfer编码中的数字i恰好出现Di-1次。

有标号有根树： $ n ^ {n-1}$

即每棵无根树的每个节点都可以当根， 再乘上n即可

学习ing

图的计数

标签：取出   它的   集合   最小   str   有趣的   display   数字   证明   

原文地址：https://www.cnblogs.com/Hs-black/p/11626121.html