#191 sea(动态规划)

  假设已经求出了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;
}
上一篇:Java实现文件的读写,复制


下一篇:深入了解SQL注入绕过waf和过滤机制