题解 [Luogu P6596] How Many of Them

luogu link

部分表述来源于李煜东的《算法竞赛进阶指南》。

题意

求满足如下条件的无向连通图数量：

1. 由 $n$ 个节点组成，每个节点有编号，编号为 $1\sim n$;
2. 割边数量 $\le m$ 条；
3. 无自环，无重边。

数据范围 $2\le n\le 50,0\le m\le \frac{n\ast (n-1)}{2}$，输出答案对 $10^9+7$ 取模的值。

题解

首先有个结论：

在无向图中，不含割边的极大连通子图称为双连通分量。若把每个双连通分量看做一个节点，则所有双连通分量和割边构成一棵树。

很容易理解：如果最后不构成树（有环），则环上的所有双连通分量必定能构成一个更大的双连通分量。

---

设 $f_{i,j}$ 表示 $i$ 个点包含 $j$ 条割边的无向连通图数量。首先考虑 $j>0$（下面解释为什么）。

计数 dp 有个思想：“围绕基准点构造一个整体”。我们以编号为 $1$ 的节点为“基准点”，枚举 $1$ 所在双连通分量节点数 $k$。这个双连通方案的构造方案数为 $f_{k,0}\times C_{i-1}^{k-1}$（$i-1$ 个节点选 $k-1$ 个与 $1$ 构成大小为 $k$ 的双连通分量）。

如果 $j=0$，那么 $k$ 只能取 $i$ 按照上式，$f_{i,j}=f_{k,0}\times C_{i-1}^{k-1}$，我等于我自己了。

现在不考虑 $j=0$，考虑图中其他部分。去掉 $1$ 号节点所在的双连通分量，无向图会分成若干连通块，从每个连通块出发都有一条边连接到 $1$ 号点所在的双连通分量上（这条边即为割边）。

设 $g_{i,j,k}$ 表示 $i$ 个点包含 $j$ 条割边的有 $k$ 个连通块的“有根”无向图数量，其中的“根”即为与 $1$ 号点所在的双连通分量连边的那个节点。在此处处理更加简便。则去掉 $1$ 号点所在的双连通分量后，图中剩余部分方案数为 g i − k , j − x , x g_{i-k, j-x,x} g