题面



$ solution: $

首先做个推销:带负数的压位高精度(加减乘+读写)

然后:由 $ N $ 个节点组成的无向图的总数为: $ 2^{N\times (N-1)/2} $ (也就是说这个图总共有 $ N\times (N-1)/2 $ 条边,每一条边选或不选就可以得出来)

然后我们直接开始分析题目,因为这道题需要求无向连通图的方案数,这道题似乎也不是一个结论题, $ wch $ 决定去找找规律,是不是 $ n $ 和 $ n-1 $ 有什么关系,但是 $ wch $ 发现他打不出表。 然后 $ wch $ 想到了分治合并,但如果将它分为两份 $ \frac{n}{2} $ 似乎更不好合并了。但是他依旧觉得这题肯定可以用分开合并的方法(于是他觉得应该直接DP)。(说白了就是他比较傻,现在才想到直接DP)。

然后他试图写出转移方程,然后他懵了。他发现很难不重不漏的把所有情况算进去(两个联通图暴力连边会导致重复),但是他发现如果两个联通图中间不连边就可以组成一个不连通图,于是他恍然大悟:似乎可以用所有图的方案数减去不连通的方案数!而一个不连通图一定有若干个连通图组成,我们可以围绕一个连通图来数方案,于是一个转移应运而生:我们钦定有 $ k $ 个节点在左边某个联通图里(可以用组合数选 $ k $ 个),剩下的 $ i-k $ 个节点在右边的图里,但是这样仔细一想也会重复。为什么呢?我们围绕的那个 $ k $ 个节点组成的连通图是不确定的,他有可能被后面的枚举中( $ i-k $ 所组成的图)取到。所以我们要把它固定下来,(在算法竞赛里称为找基准点,并围绕它构造一个不可划分的整体)于是我们钦定一号节点在左边那个连通图中,这样我们就能不重不漏的算下左右情况了!

设 $ F[i] $ 表示有 $ i $ 个节点组成的联通图的个数有多少个,我们考虑这个怎么转移过来的:首先枚举左边的连通图的大小 $ 1<k<i $ ,然后我们要钦定一号结点在里面,所以我们只需要从剩下的 $ i-1 $ 个 节点里选出 $ k-1 $ 个即可(显然可以选 $ C^{k-1}_{i-1} $ 种),然后这 $ k $ 个节点是需要组成一个连通图的,所以再乘上一个 $ F[k] $ 然后我们还需要乘上后面的 $ i-k $ 个节点组成的任意图即: $ 2^{(i-k)\times (i-k-1)/2} $ 于是转移方程即为:

$ F[i]=2^{i\times (i-1)/2}-\sum{i-1}_{k=1}{C{k-1}_{i-1}\times F[k]\times 2^{(i-k)\times (i-k-1)/2}} $



$ code: $

#include<iostream>
#include<cstdio>
#include<iomanip>
#include<algorithm>
#include<cstring>
#include<cstdlib>
#include<ctime>
#include<cmath>
#include<vector>
#include<queue>
#include<map>
#include<set> #define ll long long
#define db double
#define inf 0x7fffffff
#define rg register int using namespace std; int n; struct gj{ bool fu; //是否是负数
int tt,mod; //高精的长度
int s[1005]; //压位用的数组 inline gj(){ //整体初始化
fu=0; tt=0; mod=1e9;
memset(s,0,sizeof(s));
} inline gj read(){ register char ch; //高精度读入
while(!isdigit(ch=getchar()))if(ch=='-')fu=1;
char _[100005]; rg l=0,r=-1; _[0]=ch;
while(isdigit(_[++l]=getchar()));; tt=l/9-!(l%9);
for(rg i=(l-1)%9+1;i;--i) (s[tt]*=10)+=_[++r]^48;
for(rg i=tt-1;i>=0;--i)for(rg j=0;j<9;++j)(s[i]*=10)+=(_[++r]^48);
while(tt&&!s[tt])--tt;; return (*this);
}
inline void print(){ //高精度输出
if(fu)putchar('-');
printf("%d",s[tt]);
for(rg i=tt-1;i>=0;--i)
printf("%09d",s[i]);
putchar('\n');
} inline bool operator >(const gj &x){ //定义大于
if(tt!=x.tt)return tt>x.tt;
for(rg i=tt;i>=0;--i)
if(s[i]!=x.s[i])return s[i]>x.s[i];
return 0;
}
inline bool operator <(const gj &x){ //定义小于
if(tt!=x.tt)return tt<x.tt;
for(rg i=tt;i>=0;--i)
if(s[i]!=x.s[i])return s[i]<x.s[i];
return 0;
} inline gj operator =(int x){ //int的等于
while(tt)s[tt]=0,--tt;
s[0]=x%mod; s[1]=x/mod;
if(s[1])tt=1;; return *this;
}
inline gj operator =(ll x){ //int的等于
while(tt)s[tt]=0,--tt;
while(x)s[tt]=x%mod,x/=mod,++tt;
if(!s[tt])--tt;; return *this;
} inline void add(const gj &x){ //加法的底层
rg sign=0; if(x.tt>tt)tt=x.tt;
for(rg i=0;i<=tt;++i){
s[i]+=x.s[i]+sign; sign=0;
if(s[i]>mod)s[i]-=mod,sign=1;
}if(sign)s[++tt]=1;
} inline void cut(const gj &x){ //减法的底层
if(fu)cout<<54564<<endl;
rg sign=0;
for(rg i=0;i<=tt;++i){
s[i]-=x.s[i]+sign; sign=0;
if(s[i]<0)s[i]+=mod,sign=1;
}while(tt&&!s[tt])--tt;
if(!tt&&!s[tt]) fu=0;
} inline void mul(const gj &x){ //乘法的底层
gj y; ll num; y.tt=tt+x.tt;
for(rg i=0;i<=tt;++i){ num=0;
for(rg j=0;j<=x.tt;++j){
num=(ll)s[i]*x.s[j]+y.s[j+i]+num;
y.s[j+i]=num%mod; num/=mod;
} if(num)y.s[x.tt+i+1]=num;
}if(num)++y.tt;; *this=y;
} inline void operator +=(gj x){ //赋值加法重载
if(fu==x.fu){(*this).add(x); return;}
if(*this>x) (*this).cut(x);
else x.cut(*this),*this=x,fu^=1;
}
inline gj operator +(const gj &x){ //加法正常重载
gj y=*this; y+=x; return y;
} inline void operator -=(gj x){ //赋值减法重载
if(fu!=x.fu){(*this).add(x); return;}
if(*this>x){(*this).cut(x); return;}
x.cut(*this); *this=x; if(s[tt])fu^=1;
}
inline gj operator -(const gj &x){ //减法正常重载
gj y=*this; y-=x; return y;
} inline void operator *=(gj x){ //赋值乘法重载
if(!s[tt]||!x.s[x.tt]){gj y; *this=y;}
if(fu!=x.fu)fu=1;else fu=0;; (*this).mul(x);
}
inline gj operator *(const gj &x){ //乘法正常重载
gj y=*this; y*=x; return y;
} inline gj operator *(int x){ gj y; y=x; return (*this)*y;}
inline void operator *=(int x){gj y; y=x; (*this)*=y;}
inline gj operator +(int x){ gj y; y=x; return (*this)+y;}
inline void operator +=(int x){gj y; y=x; (*this)+=y;}
inline gj operator -(int x){ gj y; y=x; return (*this)-y;}
inline void operator -=(int x){gj y; y=x; (*this)-=y;}
}f[51],pf[1235],c[51][51]; inline int qr(){
register char ch; register bool sign=0; rg res=0;
while(!isdigit(ch=getchar())) if(ch=='-')sign=1;
while(isdigit(ch)) res=res*10+(ch^48),ch=getchar();
return sign?-res:res;
} int main(){
//freopen("in.in","r",stdin);
//freopen("out.out","w",stdout);
pf[0]=1; n=50;
for(rg i=0;i<=50;++i) c[i][0]=1;
for(rg i=0;i<=1225;++i) pf[i+1]=pf[i]*2;
for(rg i=1;i<=50;++i)
for(rg j=1;j<=50;++j)
c[i][j]=c[i-1][j]+c[i-1][j-1];
f[1]=1; f[2]=1;
for(rg i=3;i<=n;++i){
f[i]=pf[i*(i-1)/2];
for(rg j=1;j<i;++j)
f[i]-=f[j]*c[i-1][j-1]*pf[(i-j)*(i-j-1)/2];
} while((n=qr()))f[n].print();
return 0;
}

POJ 1737 Connected Graph(高精度+DP递推)的更多相关文章

  1. poj 1737 Connected Graph

    // poj 1737 Connected Graph // // 题目大意: // // 带标号的连通分量计数 // // 解题思路: // // 设f(n)为连通图的数量,g(n)为非连通图的数量 ...

  2. POJ 1737 Connected Graph (大数+递推)

    题目链接: http://poj.org/problem?id=1737 题意: 求 \(n\) 个点的无向简单(无重边无自环)连通图的个数.\((n<=50)\) 题解: 这题你甚至能OEIS ...

  3. POJ 1737 Connected Graph 题解(未完成)

    Connected Graph Time Limit: 1000MS   Memory Limit: 30000K Total Submissions: 3156   Accepted: 1533 D ...

  4. hdu2089(数位DP 递推形式)

    不要62 Time Limit: 1000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submis ...

  5. HOJ 2148&POJ 2680(DP递推,加大数运算)

    Computer Transformation Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 4561 Accepted: 17 ...

  6. POJ 2229 sumset ( 完全背包 || 规律递推DP )

    题意 : 给出一个数 n ,问如果使用 2 的幂的和来组成这个数 n 有多少种不同的方案? 分析 :  完全背包解法 将问题抽象==>有重量分别为 2^0.2^1.2^2…2^k 的物品且每种物 ...

  7. hdu 2604 Queuing(dp递推)

    昨晚搞的第二道矩阵快速幂,一开始我还想直接套个矩阵上去(原谅哥模板题做多了),后来看清楚题意后觉得有点像之前做的数位dp的水题,于是就用数位dp的方法去分析,推了好一会总算推出它的递推关系式了(还是菜 ...

  8. Power oj2498/DP/递推

    power oj 2498 /递推 2498: 新年礼物 Time Limit: 1000 MS Memory Limit: 65536 KBTotal Submit: 12 Accepted: 3  ...

  9. BZOJ4321queue2——DP/递推

    题目描述 n 个沙茶,被编号 1~n.排完队之后,每个沙茶希望,自己的相邻的两 人只要无一个人的编号和自己的编号相差为 1(+1 或-1)就行:  现在想知道,存在多少方案满足沙茶们如此不苛刻的条件. ...

随机推荐

  1. 花匠(codevs 3289)

    题目描述 Description 花匠栋栋种了一排花,每株花都有自己的高度.花儿越长越大,也越来越挤.栋栋决定把这排中的一部分花移走,将剩下的留在原地,使得剩下的花能有空间长大,同时,栋栋希望剩下的花 ...

  2. jQuery事件委托之Safari失效的解决办法--摘抄

    什么是事件委托 事件委托是Jquery中一种事件绑定的方式,不同于常见的事件绑定方式将事件绑定在目标元素上,而是将事件绑定在父级元素上通过事件冒泡来执行绑定函数. //常见的事件绑定(Jquery) ...

  3. 简单说明PHP的垃圾收集机制是怎样的?

    腾讯 对变量有个引用计数,计数到0时变量被销毁. ———————————————————————— 每一种语言都有自己的自动垃圾回收机制,让程序员不必过分关心程序内存分配,但是在OOP中,有些对象需要 ...

  4. 关于FileZilla Server的安装问题

    网上很多FileZilla Server教程到最后一步在本机上测试访问成功就没了,实际上还是不完整的,一般情况下外网还是访问不了,外网访问同样很重要. 可能有点童鞋会说安装的时候防火墙提示的时候我也点 ...

  5. ZOJ - 4016 Mergeable Stack (STL 双向链表)

    [传送门]http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemCode=4016 [题目大意]初始有n个空栈,现在有如下三种操作: (1) ...

  6. 当传入数据只有一个时mybatis中<if>判断会出现There is no getter for property named 'subjectId' in 'class java.lang.Intege

    用"_parameter"代替当前参数 正确: <select id="selectSubjectByPId" parameterType="j ...

  7. JStorm学习

    一.简介 JStorm是一个分布式实时计算引擎.JStorm是一个类似于Hadoop MapReduce的系统,用户按照指定的接口实现一个任务,然后将这个任务交给JStorm系统,JStorm将这个任 ...

  8. 如何删除xcode启动主页面项目列表

    Open Xcode, leave the splash screen up and choose "File", "Open Recent Projects" ...

  9. Git多账号登陆

        最近工作上遇到了使用git+repo的情况,需要用公司的邮箱和账号名重新申请ssh公私密钥,而我本身在github上也有一些开源项目,这里就是记录一下我是如何实现git多账号登陆的.   取消 ...

  10. C语言连接MySQL(codeblocks)

    #include <stdio.h> #include <winsock2.h> #include <mysql.h> /*数据库连接用宏*/ #define HO ...