坑了好多天的题,终于补上了

首先发现 \(i\) 这个点和 \(i-k\) 之前的点没有边,所以 \(i-k\) 之前的点肯定联通,只要处理中间 \(k\) 个点的联通状态就好了。我们用最小表示法,\(f[i]\) 表示最小的与 \(i\) 联通的点编号,发现状态最多有52种,然后枚举下一个点与那些点之间连边,得到转移方程,矩阵快速幂优化转移即可

(反正怎么说估计都听不懂,还是贴代码比较靠谱)

#include<stdio.h>
#include<cstring>
#include<cstdlib>
#include<algorithm>
#include<vector>
#include<map>
#include<set>
#include<cmath>
#include<iostream>
#include<queue>
#include<string>
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
typedef long double ld;
typedef unsigned long long ull;
typedef pair<long long,long long> pll;
#define fi first
#define se second
#define pb push_back
#define mp make_pair
#define rep(i,j,k) for(register int i=(int)(j);i<=(int)(k);i++)
#define rrep(i,j,k) for(register int i=(int)(j);i>=(int)(k);i--) ll read(){
ll 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*10+c-'0';c=getchar();}
return x*f;
} const int mod=65521; ll n,k;
int tot,f[20],sta[100][20],a[20],cnt[100],num[20],edge[20]; struct Matrix{
int mat[60][60];
Matrix(int x){
memset(mat,0,sizeof(mat));
if(x) rep(i,1,tot) mat[i][i]=1;
}
Matrix operator*(Matrix ano){
Matrix ret(0);
rep(i,1,tot)
rep(j,1,tot)
rep(k,1,tot)
ret.mat[i][j]=(ret.mat[i][j]+mat[i][k]*1ll*ano.mat[k][j])%mod;
return ret;
}
Matrix operator^(ll k){
Matrix ret(1),xx(0);
memcpy(xx.mat,mat,sizeof(mat));
while(k){
if(k&1) ret=ret*xx;
xx=xx*xx;k>>=1;
}
return ret;
}
void pr(){
rep(i,1,tot){
rep(j,1,tot){
printf("%d ",mat[i][j]);
}
puts("");
}
puts("");
}
} trans(0); int ksm(int x,int p){
int ret=1;
while(p){
if(p&1) ret=ret*x;
x=x*x;
p>>=1;
}
return ret;
}
//处理当前状态的生成树个数
//公式 大小为n的完全图生成树个数为n^(n-2)
void calc(int x){
memset(f,0,sizeof(f));cnt[x]=1;
rep(i,1,k) f[sta[x][i]]++;
for(int i=1;f[i];i++) if(f[i]>2) cnt[x]*=ksm(f[i],f[i]-2);
}
//前x个分成了s个联通块的方案
void dfs1(int x,int s){
if(x==k+1){
tot++;
rep(i,1,k) sta[tot][i]=a[i];
calc(tot);return;
}
for(int i=1;i<=s+1;i++) a[x]=i,dfs1(x+1,max(i,s));
} inline bool issame(int x[],int b[]){
rep(i,1,k) if(x[i]!=b[i]) return 0;
return 1;
}
//求此时的状态是什么
inline void get1(int id){
memcpy(a,sta[id],sizeof(a));
rep(i,1,k){
if(edge[i]){
if(!a[k+1]) a[k+1]=a[i];
else{
int x=a[i];
rep(j,1,k) if(a[j]==x) a[j]=a[k+1];
}
}
}
rep(i,1,k) a[i]=a[i+1];
memset(num,0,sizeof(num));int num1=0;
rep(i,1,k){
if(!num[a[i]]) num[a[i]]=++num1;
a[i]=num[a[i]];
}
rep(i,1,tot) if(issame(a,sta[i])){
trans.mat[id][i]++;
return;
}
}
//求id能够转移到什么状态
void dfs2(int id,int x){
if(x==k+1){
get1(id);return;
}
dfs2(id,x+1); //不连k+1到x的边
if(!f[sta[id][x]]){ //k+1到这个联通块目前没有边,可以连
//连k+1到x的边
f[sta[id][x]]=1;edge[x]=1;
dfs2(id,x+1);
f[sta[id][x]]=0;edge[x]=0;
}
} int main(){
k=read(),n=read();
dfs1(1,0);
//处理转移
rep(i,1,tot){
memset(f,0,sizeof(f));
memset(edge,0,sizeof(edge));
bool flag=1;
rep(j,2,k) if(sta[i][j]==1){
flag=0;break;
}
if(flag){
//没有出现过与1相连的边,所以下一条边必须和1相连
f[1]=1;edge[1]=1;dfs2(i,2);
}
else dfs2(i,1);
}
trans=trans^(n-k);
ll ans=0;
rep(i,1,tot) ans=(ans+trans.mat[i][1]*1ll*cnt[i])%mod;
printf("%lld\n",ans);
return 0;
}

bzoj 1494 生成树计数的更多相关文章

  1. BZOJ 1494 生成树计数(生成树计数-矩阵)

    题目链接:http://www.lydsy.com/JudgeOnline/problem.php?id=1494 题意: 思路: int SIZE; struct matrix { i64 a[N] ...

  2. BZOJ 1016 生成树计数

    现在给出了一个简单无向加权图.你不满足于求出这个图的最小生成树,而希望知道这个图中有多少个不同的最小生成树.(如果两颗最小生成树中至少有一条边不同,则这两个最小生成树就是不同的).由于不同的最小生成树 ...

  3. BZOJ 1002 生成树计数&高精度

    给你定义一种特殊的图 这种图总共有n个节点 假设编号为0~n-1 首先1~n-1排成环形 每个点与相邻的两个点有边 其次这n-1个节点每个和0节点有一条边 每次询问你一个n 要回到当前n节点的特殊图有 ...

  4. BZOJ1494 [NOI2007]生成树计数

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

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

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

  6. @总结 - 7@ 生成树计数 —— matrix - tree 定理(矩阵树定理)与 prüfer 序列

    目录 @0 - 参考资料@ @0.5 - 你所需要了解的线性代数知识@ @1 - 矩阵树定理主体@ @证明 part - 1@ @证明 part - 2@ @证明 part - 3@ @证明 part ...

  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\) ...

随机推荐

  1. 自定义带图标input样式

    <!DOCTYPE html> <html> <head> <meta charset="UTF-8"> <title> ...

  2. Android自动化测试怎么填写Xpath

    aaarticlea/png;base64,iVBORw0KGgoAAAANSUhEUgAAA5sAAAJYCAIAAABjAmXpAAAgAElEQVR4nOzdeZhb5Z0veNV/M88sz7 ...

  3. Python:条件判断

    条件控制:if...elif...else if condition_1: statement_1 elif condition_2: statement_2 else: statement_3 判断 ...

  4. BZOJ-4488:最大公约数(GCD)

    给定一个长度为 N 的正整数序列Ai对于其任意一个连续的子序列{Al,Al+1...Ar},我们定义其权值W(L,R )为其长度与序列中所有元素的最大公约数的乘积,即W(L,R) = (R-L+1) ...

  5. POJ2154 Color【 polya定理+欧拉函数优化】(三个例题)

    由于这是第一天去实现polya题,所以由易到难,先来个铺垫题(假设读者是看过课件的,不然可能会对有些“显然”的地方会看不懂): 一:POJ1286 Necklace of Beads :有三种颜色,问 ...

  6. 采用Psyco实现python执行速度提高到与编译语言一样的水平

    本文实例讲述了采用Psyco实现python执行速度提高到与编译语言一样的水平的方法,分享给大家供大家参考.具体实现方法如下: 一.安装Psyco很简单,它有两种安装方式,一种是源码方式,一种是二进制 ...

  7. 2.CSS 颜色代码大全

    确实使用,不用重复造轮子了!!! 摘自:http://www.cnblogs.com/circlebreak/p/6140602.html

  8. Android开发技巧--引用另一个工程

    现在已经有了一个Android工程A.我们想扩展A的功能,但是不想在A的基础上做开发,于是新建了另外一个Android工程B,想在B中引用A. 1:把工程A做成纯Jar包,这样其他的工程就可以直接引用 ...

  9. 【219】◀▶ IDL 数学函数说明

    参考:Math - Miscellaneous Routines参考:Math - Statistical Tools Routines 01   ABS 绝对值. 02   SQRT 平方根. 03 ...

  10. Alien Flowers

    题意: 求含有A个"RR",B个"RB",C个"BB",D个"BR"的字符串个数. 解法: 首先考虑"BR&q ...