[HNOI2008][bzoj 1005]明明的烦恼(prufer序列)
1005: [HNOI2008]明明的烦恼
Time Limit: 1 Sec Memory Limit: 162 MB
Submit: 7121 Solved: 2816
[Submit][Status][Discuss]
Description
自从明明学了树的结构,就对奇怪的树产生了兴趣......给出标号为1到N的点,以及某些点最终的度数,允许在
任意两点间连线,可产生多少棵度数满足要求的树?
Input
第一行为N(0 < N < = 1000),
接下来N行,第i+1行给出第i个节点的度数Di,如果对度数不要求,则输入-1
Output
一个整数,表示不同的满足要求的树的个数,无解输出0
Sample Input
1
-1
-1
Sample Output
HINT
两棵树分别为1-2-3;1-3-2
题解:
树的计数题目,可以想到是用prufer序列来求解。
先来科普一下prufer的性质:
- 每个prufer序列都唯一对应着一棵树。
- prufer序列的长度等于它所对应的树的节点数-2。
- 每个数在prufer序列中出现的次数等于该节点在树中的度数-1。
其实有了这些性质我们就可以做题了(想要证明的自行度娘),现在我们在来观察一下这道题,如果他给出的是所有点的度数,那么这道题就是一个不全相异的全排列个数(戳这里),但是他给出的点的度数只是一部分的,那我们就可以先当别的点不存在,先把这一部分的方案数求出来,设$tot=\Sigma{d[i]-1}$,$tot$即为已经确定度数的点在prufer序列里所占的个数,这一部分方案数为$C_{n-2}^{tot}$,但是别忘了我们还要处理重复的部分,处理第一个数向$tot$个数中插的方案数为$C_{tot}^{d[1]-1}$,同理处理第二个数的方案数是$C_{tot-(d[1]-1)}^{d[2]-1}$,剩下的以此类推。
但是别忘了我们还有没确定度数的点,但是这很好处理,我们设未确定的点数为$cnt$,这就相当于在$n-2-tot$的空间中随便选$cnt$个,那么答案即为$cnt^{n-2-tot}$
然后我们根据乘法原理可以的出答案
$ans=C_{n-2}^{tot}*C_{tot}^{d[1]-1}*C_{tot-(d[1]-1)}^{d[2]-1}*\cdots*C_{d[i]-1}^{d[i]-1}*cnt^{n-2-tot}$
我们把组合数公式展开来一波化简就得到了结果(数学公式崩了,凑或者看吧qwq)
这样再用一个高精就阔以了。
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<queue>
#include<vector>
using namespace std;
#define int long long
const int N=;
int d[N];
struct BigInt{
int m[N];
friend void operator *= (BigInt &a,int b){
int x=;
for(int i=;i<=a.m[];i++){
int y=a.m[i]*b+x;
a.m[i]=y%;
x=y/;
}
while(x){
a.m[++a.m[]]=x%;
x/=;
}
}
friend void operator /= (BigInt &a,int b){
int x=;
for(int i=a.m[];i>=;i--){
x+=a.m[i];
a.m[i]=x/b;
x%=b;
x*=;
}
while(a.m[a.m[]]==&&a.m[]>) a.m[]--;
}
friend void print(BigInt a){
for(int i=a.m[];i>=;i--) printf("%lld",a.m[i]);
puts("");
}
}x;
signed main(){
int n;
scanf("%lld",&n);
x.m[]=x.m[]=;
int cnt=,num=;
if(n==){
int k;
scanf("%lld",&k);
if(!k){puts("");}
else puts("");
return ;
}
for(int i=;i<=n;i++){
int mm;
scanf("%lld",&mm);
if(!mm){puts("");return ;}
if(mm==-) cnt++;
else {d[i]=mm-;num+=d[i];}
}
for(int i=;i<=n-;i++) x*=i;
//for(int i=1;i<=num;i++) x*=i;
//for(int i=2;i<=/*n-cnt-2*/num;i++) x*=i;
for(int i=;i<=n--num;i++) x*=cnt,x/=i;
for(int i=;i<=n;i++){
if(d[i]>){
for(int j=;j<=d[i];j++) x/=j;
}
}
print(x);
}
[HNOI2008][bzoj 1005]明明的烦恼(prufer序列)的更多相关文章
- BZOJ 1005 明明的烦恼(prufer序列+高精度)
有一种东西叫树的prufer序列,一个树的与一个prufer序列是一一对应的关系. 设有m个度数确定的点,这些点的度为dee[i],那么每个点在prufer序列中出现了dee[i]-1次. 由排列组合 ...
- BZOJ 1005 明明的烦恼 Prufer序列+组合数学+高精度
题目大意:给定一棵n个节点的树的节点的度数.当中一些度数无限制,求能够生成多少种树 Prufer序列 把一棵树进行下面操作: 1.找到编号最小的叶节点.删除这个节点,然后与这个叶节点相连的点计入序列 ...
- bzoj1005: [HNOI2008]明明的烦恼 prufer序列
https://www.lydsy.com/JudgeOnline/problem.php?id=1005 给出标号为1到N的点,以及某些点最终的度数,允许在任意两点间连线,可产生多少棵度数满足要求的 ...
- 【bzoj1005】[HNOI2008]明明的烦恼 Prufer序列+高精度
题目描述 给出标号为1到N的点,以及某些点最终的度数,允许在任意两点间连线,可产生多少棵度数满足要求的树? 输入 第一行为N(0 < N < = 1000),接下来N行,第i+1行给出第i ...
- [BZOJ]1005 明明的烦恼(HNOI2008)
BZOJ的第一页果然还是很多裸题啊,小C陆续划水屯些板子. Description 自从明明学了树的结构,就对奇怪的树产生了兴趣......给出标号为1到N的点,以及某些点最终的度数,允许在任意两点间 ...
- BZOJ 1005 明明的烦恼
Description 自从明明学了树的结构,就对奇怪的树产生了兴趣...... 给出标号为1到N的点,以及某些点最终的度数,允许在任意两点间连线,可产生多少棵度数满足要求的树? Input 第一行为 ...
- BZOJ 1005 明明的烦恼 (组合数学)
题解:n为树的节点数,d[ ]为各节点的度数,m为无限制度数的节点数. 则 所以要求在n-2大小的数组中插入tot各序号,共有种插法: 在tot各序号排列中,插第一个节点的 ...
- bzoj 1005: [HNOI2008]明明的烦恼 prufer编号&&生成树计数
1005: [HNOI2008]明明的烦恼 Time Limit: 1 Sec Memory Limit: 162 MBSubmit: 2248 Solved: 898[Submit][Statu ...
- BZOJ 1005 [HNOI2008]明明的烦恼 (Prufer编码 + 组合数学 + 高精度)
1005: [HNOI2008]明明的烦恼 Time Limit: 1 Sec Memory Limit: 162 MBSubmit: 5786 Solved: 2263[Submit][Stat ...
随机推荐
- 定义vue目录别名
- @Autowired注解与@Qualifier注解搭配使用----解决多实现选择注入问题
问题:当一个接口实现由两个实现类时,只使用@Autowired注解,会报错,如下图所示 实现类1 实现类2 controller中注入 然后启动服务报错,如下所示: Exception encount ...
- Glide优化
几乎所有的 OOM 错误都是因为宿主应用出了问题,而不是 Glide 本身. 应用里两种常见的 OOM 错误分别是: 过大的内存分配 (Excessively large allocations) 内 ...
- 两个链表的第一个公共结点——牛客offer
题目描述: 输入两个链表,找出它们的第一个公共结点. 题目分析: 只是数据域相同不是公共节点.公共结点代表该节点在两个链表中的数据域和指针域都是相同的,这意味着从该公共节点开始,后面的结点都是两个链表 ...
- 【spring Boot】spring boot1.5以上版本@ConfigurationProperties取消location注解后的替代方案
前言 =========================================== 初步接触Spring Boot ===================================== ...
- OnMouseWheel的通常处理
BOOL CMainWindow::OnMouseWheel(UINT nFlags, short zDelta, CPoint point) { BOOL bUp = TRUE; int nDelt ...
- How to enable remote connections to SQL Server
<img src="https://miro.medium.com/max/1400/1*18lrHvJ8YtADJDT7hxIThA.jpeg" class="g ...
- Css文字效果
1.文字样式:font-family 字体:sans-serif(字体醒目):serif(笔画的开始和结束有额外的修饰部分,易读性较强) *页面设计最好有多个备选字体 2.文字大小:font-size ...
- JavaSE基础知识之继承
一.概述 继承描述的是事物之间的所属关系,这种关系是: is-a 的关系.例如,图中的兔子属于食草动物,食草动物又属于动物.继承可以使多种事物之间形成一种关系体系,让父类更通用,子类更具体. 1.1 ...
- Springboot Hikari Centos 首次连数据库很慢
前言: springboot项目默认使用了hikari作为数据库连接池,在开发机器上一切正常. 但是把程序部署到Centos7 x64上之后发现,每次首页登录的时候都要停顿几十秒. 于是,在程序启动后 ...