bzoj1494【Noi2007】生成树计数
题意: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】生成树计数的更多相关文章
- BZOJ1494 [NOI2007]生成树计数
题意 F.A.Qs Home Discuss ProblemSet Status Ranklist Contest 入门OJ ModifyUser autoint Logout 捐赠本站 Probl ...
- [BZOJ1494][NOI2007]生成树计数 状压dp 并查集
1494: [NOI2007]生成树计数 Time Limit: 5 Sec Memory Limit: 64 MBSubmit: 793 Solved: 451[Submit][Status][ ...
- [NOI2007]生成树计数环形版
NOI2007这道题人类进化更完全之后出现了新的做法 毕姥爷题解: 于是毕姥爷出了一道环形版的这题(test0814),让我们写这个做法 环形的情况下,k=5的时候是162阶递推. 求这个递推可以用B ...
- NOI2007 生成树计数
题目 首先我要吐槽,这题目就是坑,给那么多无用的信息,我还以为要根据提示才能做出来呢! 算法1 暴力,傻傻地跟着提示,纯暴力\(40\)分,高斯消元\(60\)分. 算法2 DP!一个显然的东西是,这 ...
- [BZOJ1494]生成树计数
[BZOJ1494] [NOI2007]生成树计数 Description 最近,小栋在无向连通图的生成树个数计算方面有了惊人的进展,他发现:·n个结点的环的生成树个数为n.·n个结点的完全图的生成树 ...
- 【BZOJ1494】【NOI2007】生成树计数(动态规划,矩阵快速幂)
[BZOJ1494][NOI2007]生成树计数(动态规划,矩阵快速幂) 题面 Description 最近,小栋在无向连通图的生成树个数计算方面有了惊人的进展,他发现: ·n个结点的环的生成树个数为 ...
- 【BZOJ1002】【FJOI2007】轮状病毒(生成树计数)
1002: [FJOI2007]轮状病毒 Time Limit: 1 Sec Memory Limit: 162 MBSubmit: 1766 Solved: 946[Submit][Status ...
- SPOJ 104 HIGH - Highways 生成树计数
题目链接:https://vjudge.net/problem/SPOJ-HIGH 解法: 生成树计数 1.构造 基尔霍夫矩阵(又叫拉普拉斯矩阵) n阶矩阵 若u.v之间有边相连 C[u][v]=C[ ...
- Luogu P5296 [北京省选集训2019]生成树计数
Luogu P5296 [北京省选集训2019]生成树计数 题目链接 题目大意:给定每条边的边权.一颗生成树的权值为边权和的\(k\)次方.求出所有生成树的权值和. 我们列出答案的式子: 设\(E\) ...
- Loj 2320.「清华集训 2017」生成树计数
Loj 2320.「清华集训 2017」生成树计数 题目描述 在一个 \(s\) 个点的图中,存在 \(s-n\) 条边,使图中形成了 \(n\) 个连通块,第 \(i\) 个连通块中有 \(a_i\ ...
随机推荐
- [MYSQL笔记0]MYSQL的安装
mysql是一种关系型数据库管理系统.以mysql5.7版本为例,安装过程如下: 首先百度出mysql的官网,进入:(以下是自己安装失败的过程,直接下拉最后看大佬的安装过程吧,就是那个红红的网址) 找 ...
- springboot整合mybatis笔记
1首先创建一个springboot项目 创建项目的文件结构以及jdk的版本 选择项目所需要的依赖 之后点击finish,完成创建 2以下是文件结构 看一下啊pom.xml; <?xml vers ...
- Linux - bashrc之alias
1. cd ~ 2. touch .bashrc // 若该文件不存在的话 3. vim .bashrc ----------------复制粘贴如下文本--------------- # alias ...
- Go Doc文档
Go为我们提供了快速生成文档和查看文档的工具,很容易编写查看代码文档.在项目协作过程中,可以帮助我们快速理解代码. 查看文档方式有两种:一种是通过终端查看,使用go doc命令,一种是通过网页查看,使 ...
- 交换机基础配置之跨交换机划分vlan
我们以上面的拓扑图来进行实验 四台pc机都在同一网段 pc1和pc2在同一台交换机上 pc3和pc4在同一台交换机上 现在我们实验的目的就是将pc1和pc3划分到同一vlan pc2和pc4划分到同一 ...
- 安装python虚拟运行环境,linux下轻松切换python2和python3
一.查询系统采用的python版本 $ python --version Python 3.7.3 系统采用的python版本为3.7.3 以下查询py3和py2的目录: $ which python ...
- Android stadio Switch repository Android stadio切换仓库
Android stadio 有时候,有很多module. 这些module 都有自己的仓库.也就是不在一块.那么,Android stadio 默认管理的就是根git. 如图,画对号的就是默认的. ...
- 《Cracking the Coding Interview》——第14章:Java——题目1
2014-04-26 18:20 题目:从继承的角度,把构造函数设成private有什么意义? 解法:就不能继承了.单体模式里也这么干,目的是为了不让使用者自主生成对象,进行限制. 代码: // 14 ...
- DOS程序员手册(十四)
附录A ASCII字符集 十进制 十六进制 二进制 AscII 控制 按键 X10 X16 ...
- CodeIgniter学习笔记三:扩展CI的控制器、模型
一.扩展CI中的控制器 有时需要对CI中的控制器作统一操作,如进行登录和权限验证,这时就可以通过扩展CI控制器来实现. 扩展CI控制器只需要在application/core文件夹中建一个继承自CI_ ...