《算法竞赛进阶指南》0x5C计数类DP AcWing307n个点的连通无向图数量

Posted WA自动机~

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了《算法竞赛进阶指南》0x5C计数类DP AcWing307n个点的连通无向图数量相关的知识,希望对你有一定的参考价值。

题目链接:

考虑拿掉点1时点2的情况,设此时点2所在连通块共k各点,这k个点以及剩下的n-k个点分别处在一个连通块中,
其方案数为F(k)*F(n-k),点2需在除去点1和2的点中取k-1个点构成连通块,故方案数为C(n-2,k-1),
而这总共k个点与剩下除去点1的n-k-1个点必须通过点1才能连通,即这k个点与点1至少有1条边连通,
这样的方案数为2^k-1,故这样的情况总共有F(k)*F(n-k)* C(n-2,k-1)*( 2^k-1)种。

因此可得递推公式为:

F(n)=Sum(F(k)*F(n-k)* C(n-2,k-1)*( 2^k-1) | 1<=k<n)。

反向来的话就是,所有的情况减掉不连通的情况,不连通的情况可以看点1有多少个点和它是在一个连通块中的,另外的可以随便排。
但是这种实现起来更加复杂了一点。
代码:
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
const int N = 60;
const int S = 600;
int n;
struct A{
    int a[S],len;
    inline A operator / (const int x)const {//大数除以一个整数 
        int num=0;
        A res;
        memset(res.a,0,sizeof res.a);
        res.len=0;
        for(int i=len;i;i--){
            num=num*10+a[i];
            res.a[i]=num/x;
            num%=x;
            if(!res.len && res.a[i])res.len=i;//第一位不是0的数 
        }
        if(!res.len)res.a[1]=0,res.len=1;
        return res;
    }
    inline A operator + (const A &x)const {
        A ans;
        memset(ans.a,0,sizeof ans.a);
        for(int i=1;i<=max(len,x.len);i++){
            ans.a[i]+=a[i]+x.a[i];
            ans.a[i+1]=ans.a[i]/10;
            ans.a[i]%=10;
        }
        ans.len=max(len,x.len);
        if(ans.a[ans.len+1])ans.len++;
        return ans; 
    }
    inline A operator * (const A &x)const {
        A ans;
        memset(ans.a,0,sizeof ans.a);
        for(int i=1;i<=len;i++)
            for(int j=1;j<=x.len;j++){
                ans.a[i+j-1]+=a[i]*x.a[j];
                ans.a[i+j]+=ans.a[i+j-1]/10;
                ans.a[i+j-1]%=10;
            }
        ans.len=len+x.len-1;
        if(ans.a[ans.len+1])++ans.len;
        return ans;
    }
    inline A operator - (const A &x)const {
        A ans;
        ans.len=len;
        for(int i=1;i<=len;i++)ans.a[i]=a[i];
        for(int i=1;i<=x.len;i++){
            ans.a[i]-=x.a[i];
            if(ans.a[i] < 0)ans.a[i]+=10;
            ans.a[i+1]--;
        }
        while(!ans.a[ans.len])ans.len--;
        return ans;
    }
}f[N],p[N];
inline A C(int x,int y){
    A ans;
    ans.len=ans.a[1]=1;
    for(int i=y,j=1;j<=x;i--,j++){
        int t=i;
        A tmp;
        tmp.len=0;
        while(t){
            tmp.a[++tmp.len]=t%10;
            t/=10;
        }
        ans=ans*tmp/j;//任意连续n个自然数的积一定是[1,n]的倍数 
    }
    return ans; 
}
inline void print(A &x){
    for(int i=x.len;i;i--)printf("%d",x.a[i]);
    cout<<endl;
}
int main(){    
    for (int i = 1; i <= 50; i++) {
        ll t = (1ll << i) - 1;
        while (t) {
            p[i].a[++p[i].len] = t % 10;
            t /= 10;
        }
    }
    f[1].len = f[2].len = f[1].a[1] = f[2].a[1] = 1;
    for (int i = 3; i <= 50; i++)
        for (int j = 1; j <= i - 1; j++)
            f[i] = f[i] + C(j - 1, i - 2) * f[j] * f[i-j] * p[j];
    while (cin >> n && n) print(f[n]);
    return 0;
}

 

 

以上是关于《算法竞赛进阶指南》0x5C计数类DP AcWing307n个点的连通无向图数量的主要内容,如果未能解决你的问题,请参考以下文章

0x50 动态规划(0x5C 计数类DP)例题3:装饰围栏(题解)(计数类DP讲解,确定第k个排列)

《算法竞赛进阶指南》0x51线性DP POJ3666分级

《算法竞赛进阶指南》0x56状态压缩DP AcWing529 宝藏

《算法竞赛进阶指南》0x59单调队列优化DP AcWing 299裁剪序列

《算法竞赛进阶指南》0x51线性DP Cookies

《算法竞赛进阶指南》0x51线性DP 照相馆排列