假设已经求出了i个点j个桥的连通图数量f[i][j],容易由此推出最终答案,套路地枚举1号点所在连通块大小即可。
假设已经求出了i个点的边双连通图数量h[i],考虑由此推出f[i][j]。可以枚举其中一座桥将图划分成两个部分,固定1号点在其中一端,将桥两端的部分方案数相乘即可。这样每种方案被考虑的次数就是其中桥的个数,最后再除一下桥个数即可。
考虑求h[i]。事实上直接将连通图数量减去f[i][1~i-1]即可。连通图计数就是经典题了,套路差不多。
#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
#define ll long long
#define P 1000000007
#define N 55
char getc(){char c=getchar();while ((c<'A'||c>'Z')&&(c<'a'||c>'z')&&(c<'0'||c>'9')) c=getchar();return c;}
int gcd(int n,int m){return m==0?n:gcd(m,n%m);}
int read()
{int x=0,f=1;char c=getchar();while (c<'0'||c>'9') {if (c=='-') f=-1;c=getchar();}while (c>='0'&&c<='9') x=(x<<1)+(x<<3)+(c^48),c=getchar();return x*f;
}
int n,m,f[N][N],g[N][N],h[N],C[N][N],inv[N],p[N*N],ans;
void inc(int &x,int y){x+=y;if (x>=P) x-=P;}
int main()
{freopen("sea.in","r",stdin);freopen("sea.out","w",stdout);n=read(),m=read();C[0][0]=1;for (int i=1;i<=n;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])%P;}inv[0]=inv[1]=1;for (int i=2;i<=n;i++) inv[i]=P-1ll*inv[P%i]*(P/i)%P;p[0]=1;for (int i=1;i<=n*n;i++) p[i]=(p[i-1]<<1)%P;h[1]=1;for (int i=2;i<=n;i++){for (int j=1;j<i;j++)inc(h[i],1ll*h[j]*C[i-1][j-1]%P*p[C[i-j][2]]%P);h[i]=(p[C[i][2]]-h[i]+P)%P;}f[1][0]=1;g[1][0]=1;for (int i=2;i<=n;i++){for (int j=1;j<i;j++){for (int x=1;x<i;x++)for (int y=0;y<j;y++)inc(f[i][j],1ll*f[x][y]*f[i-x][j-y-1]%P*x%P*(i-x)%P*C[i-1][x-1]%P);g[i][j]=f[i][j]=1ll*f[i][j]*inv[j]%P;for (int x=1;x<i;x++)for (int y=0;y<=j;y++)inc(g[i][j],1ll*g[i-x][j-y]*f[x][y]%P*C[i-1][x-1]%P);}f[i][0]=h[i];for (int j=1;j<i;j++) inc(f[i][0],P-f[i][j]);g[i][0]=p[C[i][2]];for (int j=1;j<i;j++) inc(g[i][0],P-g[i][j]);}int ans=0;for (int i=0;i<=m;i++) inc(ans,g[n][i]);cout<<ans;return 0;
}