题意:http://www.lydsy.com/JudgeOnline/problem.php?id=1494

sol  :前排膜拜http://blog.csdn.net/qpswwww/article/details/45362639

   虽然dalao们说了一些最小表示法啊什么k=5时只有52种状态啊balabala,然而我并不会.......

   因为k很小,可以考虑用状压来记录联通块信息,考虑dp

   dp[i][j]表示前i个点,最后k个点联通情况为j时的方案数

   由于n很大,考虑采用矩阵快速幂优化,用并查集判环&维护

   那么最终可以构造函数f[x][y]表示状态x向状态y转移有多少种合法的连接方式

   初始函数g[x]是一个行向量,每个位置代表一个初始状态

   这样就可以做了........最后输出A[1][1]即可

#include<iostream>
#include<algorithm>
#include<cstdio>
#include<cstring>
#define ll long long
using namespace std;
const int Mx=;
const int p=;
using namespace std;
ll n;
int K,tot/*状态总数*/,Tr_siz[]={,,,,,}/*完全图的生成树个数*/;
int fa[Mx],siz[Mx]/*第i个联通块的大小*/,status[],hash[<<]/*hash[S]=状态S的编号*/; struct Matrix
{
int n,m; ll num[Mx][Mx];
Matrix() { n=m=; memset(num,,sizeof(num)); }
}A,trans;
Matrix operator*(Matrix a,Matrix b)
{
Matrix c;
c.n=a.n,c.m=b.m;
for(int k=;k<=a.m;k++)
for(int i=;i<=c.n;i++)
for(int j=;j<=c.m;j++)
c.num[i][j]=(c.num[i][j]+a.num[i][k]*b.num[k][j]%p)%p;
return c;
}
void Pow(ll c)
{
while(c)
{
if(c&) A=A*trans;
trans=trans*trans;
c>>=;
}
} void dfs(int x,int sta) //当前要加入第x个点的联通状态,当前的状态为sta
{
if(x==K+)
{
memset(siz,,sizeof(siz));
A.num[][++tot]=;
for(int i=;i<=K;i++)
siz[sta>>((i-)*)&]++;
for(int i=;i<K;i++)
A.num[][tot]*=Tr_siz[siz[i]];
status[tot]=sta;
hash[sta]=tot;
return;
}
int tmp=-; //联通块的最大编号,联通块编号的区间是[0,K-1]
for(int i=;i<x;i++) //!!!当前的sta里只保存了1~pos-1这些点的连通性
tmp=max(tmp,sta>>((i-)*)&);
for(int i=;i<=tmp+&&i<K;i++)
dfs(x+,sta<<|i);
} int find(int x)
{
if(fa[x]==x) return x;
return fa[x]=find(fa[x]);
} int Get_Status() //用当前的并查集来求出新的点2到点k+1的最小表示
{
int sta=,tot=;
bool vis[Mx]; memset(vis,false,sizeof(vis));
for(int i=K+;i>=;i--)
if(!vis[i])
{
vis[i]=true,sta|=tot<<((i-)*);
for(int j=i-;j>=;j--)
if(find(i)==find(j))
vis[j]=true,sta|=tot<<((j-)*);
tot++;
}
return hash[sta];
} void cal(int sta,int addsta) //用加边状态addsta去更新最小表示法sta,addsta里的第i位为1表示第k+1个点要和点i+1连新边
{
for(int i=;i<=K+;i++) fa[i]=i;
for(int i=;i<=K;i++) //枚举点对(i,j)是否在最小表示法里的同一联通块内,将最小表示法中的连通性用并查集表示
for(int j=i+;j<=K;j++)
if((status[sta]>>((i-)*)&)==(status[sta]>>((j-)*)&))
{
int rooti=find(i),rootj=find(j);
if(rooti!=rootj) fa[rooti]=rootj;
}
for(int i=;i<=K;i++)
if(addsta&(<<(i-)))
{
int rooti=find(i),rootj=find(K+);
if(rooti==rootj) return; //判环,加的新边的两端点原来就是联通的,加入新边后会出现环
fa[rooti]=rootj;
}
bool flag=false; //flag=true表示有点和点1联通
for(int i=;i<=K+;i++)
if(find(i)==find())
{
flag=true; break;
}
if(!flag) return; //点1不链接后面的点,那么这个生成树不联通
trans.num[sta][Get_Status()]++;
} int main()
{
scanf("%d%lld",&K,&n);
dfs(,); A.n=; A.m=trans.n=trans.m=tot;
for(int i=;i<=tot;i++)
for(int j=;j<(<<K);j++) cal(i,j);
Pow(n-K); printf("%lld\n",A.num[][]);
return ;
}

bzoj1494【Noi2007】生成树计数的更多相关文章

  1. BZOJ1494 [NOI2007]生成树计数

    题意 F.A.Qs Home Discuss ProblemSet Status Ranklist Contest 入门OJ ModifyUser  autoint Logout 捐赠本站 Probl ...

  2. [BZOJ1494][NOI2007]生成树计数 状压dp 并查集

    1494: [NOI2007]生成树计数 Time Limit: 5 Sec  Memory Limit: 64 MBSubmit: 793  Solved: 451[Submit][Status][ ...

  3. [NOI2007]生成树计数环形版

    NOI2007这道题人类进化更完全之后出现了新的做法 毕姥爷题解: 于是毕姥爷出了一道环形版的这题(test0814),让我们写这个做法 环形的情况下,k=5的时候是162阶递推. 求这个递推可以用B ...

  4. NOI2007 生成树计数

    题目 首先我要吐槽,这题目就是坑,给那么多无用的信息,我还以为要根据提示才能做出来呢! 算法1 暴力,傻傻地跟着提示,纯暴力\(40\)分,高斯消元\(60\)分. 算法2 DP!一个显然的东西是,这 ...

  5. [BZOJ1494]生成树计数

    [BZOJ1494] [NOI2007]生成树计数 Description 最近,小栋在无向连通图的生成树个数计算方面有了惊人的进展,他发现:·n个结点的环的生成树个数为n.·n个结点的完全图的生成树 ...

  6. 【BZOJ1494】【NOI2007】生成树计数(动态规划,矩阵快速幂)

    [BZOJ1494][NOI2007]生成树计数(动态规划,矩阵快速幂) 题面 Description 最近,小栋在无向连通图的生成树个数计算方面有了惊人的进展,他发现: ·n个结点的环的生成树个数为 ...

  7. 【BZOJ1002】【FJOI2007】轮状病毒(生成树计数)

    1002: [FJOI2007]轮状病毒 Time Limit: 1 Sec  Memory Limit: 162 MBSubmit: 1766  Solved: 946[Submit][Status ...

  8. SPOJ 104 HIGH - Highways 生成树计数

    题目链接:https://vjudge.net/problem/SPOJ-HIGH 解法: 生成树计数 1.构造 基尔霍夫矩阵(又叫拉普拉斯矩阵) n阶矩阵 若u.v之间有边相连 C[u][v]=C[ ...

  9. Luogu P5296 [北京省选集训2019]生成树计数

    Luogu P5296 [北京省选集训2019]生成树计数 题目链接 题目大意:给定每条边的边权.一颗生成树的权值为边权和的\(k\)次方.求出所有生成树的权值和. 我们列出答案的式子: 设\(E\) ...

  10. Loj 2320.「清华集训 2017」生成树计数

    Loj 2320.「清华集训 2017」生成树计数 题目描述 在一个 \(s\) 个点的图中,存在 \(s-n\) 条边,使图中形成了 \(n\) 个连通块,第 \(i\) 个连通块中有 \(a_i\ ...

随机推荐

  1. Maven - 依赖范围<scope></scope>

    6种:

  2. 正则(re 模块)

    就其本质而言,正则表达式(或 RE)是一种小型的.高度专业化的编程语言,(在Python中)它内嵌在Python中,并通过 re 模块实现.正则表达式模式被编译成一系列的字节码,然后由用 C 编写的匹 ...

  3. Python面向对象--高级(二)

    ## 使用__slots__限制类的属性 - 之前说到,可以通过在类外部实例或者类名任意定义实例属性或者类属性或者方法 class Person(object): pass Person.name = ...

  4. Swoole 创建服务

    1: 创建TCP 服务器 $serv = new swoole_server(‘127.0.0.1’,9501); 2:创建UDP服务器 $serv =  new swoole_server('127 ...

  5. 开始体验第一个JAVA程序吧!

    一.准备工作(配置环境) 1.安装JAVA开发工具(JDK) a.下载符合自己电脑系统的Java开发软件:http://www.oracle.com/technetwork/java/javase/d ...

  6. python爬虫-简单使用xpath下载图片

    首先 1.为方便以下进行 谷歌浏览器里要安装xpath脚本 2.下载一个lmxl     命令:pip install lxml 3. 以下三张图是一个,当时爬的 <糗事百科>里的图片 值 ...

  7. python语法练习题之九九乘法表

    九九乘法表 for...in方法实现 # 方法一 for i in range(1, 10): for j in range(1, i+1): print('{}*{}={:<4}'.forma ...

  8. dategrip破解

    https://blog.csdn.net/weixin_39428938/article/details/81078806

  9. 笔记-python-functool-@wraps

    笔记-python-functool-@wraps 1.      wraps 经常看到@wraps装饰器,查阅文档学习一下 在了解它之前,先了解一下partial和updata_wrapper这两个 ...

  10. webstorm git提交不成功的

    git pull git pull origin master git pull origin master --allow-unrelated-histories