BZOJ 3925 [Zjoi2015]地震后的幻想乡

题目：http://www.lydsy.com/JudgeOnline/problem.php?id=3925

题意：给定一个$n$点$m$边的无向图，没有重边和自环，每条边的权值为$[0,1]$之间的随机变量，求最小生成树中最大边的期望权值。
$n\le10,m\le\frac{n(n-1)}{2}$。

题解：根据期望的线性性，我们可以算出随机选前$k$小的那些边使图恰好连通的概率，则答案为概率之和除以$(m+1)$，因为对于$m$个$[0,1]$之间的随机变量$x_1,x_2,...,x_m$，第$k$小的那个的期望值是$\frac{k}{m+1}$。
此题略卡精度，所以我们可以考虑先算出可行方案数，再除以总方案数得到概率。
令$cnt[i]$表示点集$i$之间的无向边边数，$f[i][j]$表示点集为$i$，选用$j$条边使点集不连通的方案数，$g[i][j]$表示点集为$i$，选用$j$条边使点集连通的方案数，那么显然有$f[i][j] + g[i][j] = \binom{j}{cnt[i]}$，而计算$f$的方法，可以是通过枚举包含点集里某个定点的连通块大小来不重不漏的计数。
对于计算$f[S]$，考虑包含点集$S$中某个定点$P$的点集$T$，则$T$为$S$的真子集且$T$和$S-T$之间没有连边，就可以不重不漏地代表$S$不连通的所有情况，但是两个子点集的边数任意，只用保证$T$是连通的，那么就有

代码：

#include <cstdio>
const int maxn = 11, maxm = 46;
int n, m, e[maxn], sz[1 << maxn], cnt[1 << maxn];
long long c[maxm][maxm], f[1 << maxn][maxm], g[1 << maxn][maxm];
double ans;
int main()
{
    scanf("%d%d", &n, &m);
    for(int i = 0; i < m; ++i)
    {
        int u, v;
        scanf("%d%d", &u, &v);
        --u;
        --v;
        e[u] |= 1 << v;
        e[v] |= 1 << u;
    }
    c[0][0] = 1;
    for(int i = 1; i <= m; ++i)
    {
        c[i][0] = c[i][i] = 1;
        for(int j = 1; j < i; ++j)
            c[i][j] = c[i - 1][j - 1] + c[i - 1][j];
    }
    for(int s = 1; s < 1 << n; ++s)
    {
        sz[s] = sz[s >> 1] + (s & 1);
        if(sz[s] == 1)
        {
            g[s][0] = 1;
            continue;
        }
        for(int i = 0; i < n; ++i)
            if((s >> i) & 1)
                cnt[s] += sz[e[i] & s];
        cnt[s] >>= 1;
        int lowbit = s & -s;
        for(int t = (s - 1) & s; t; t = (t - 1) & s)
            if(t & lowbit)
                for(int i = 0; i <= cnt[t]; ++i)
                    for(int j = 0; j <= cnt[s ^ t]; ++j)
                        f[s][i + j] += g[t][i] * c[cnt[s ^ t]][j];
        for(int i = 0; i <= cnt[s]; ++i)
            g[s][i] = c[cnt[s]][i] - f[s][i];
    }
    for(int i = 0; i <= m; ++i)
        ans += (double)f[(1 << n) - 1][i] / c[cnt[(1 << n) - 1]][i];
    ans /= m + 1;
    printf("%.6f\n", ans);
    return 0;
}