Summary

题意很清楚:

小 \(C\) 在自己家的花园里种了一棵苹果树, 树上每个结点都有恰好两个分支.

经过细心的观察, 小 \(C\) 发现每一天这棵树都会生长出一个新的结点.

第一天的时候, 果树会长出一个根结点, 以后每一天, 果树会随机选择一个当前树中没有长出过结点的分支, 然后在这个分支上长出一个新结点, 新结点与分支所属的结点之间连接上一条边.

小 \(C\) 定义一棵果树的不便度为树上两两结点之间的距离之和, 两个结点之间 的距离定义为从一个点走到另一个点的路径经过的边数.

现在他非常好奇, 如果 \(N\) 天之后小 \(G\) 来他家摘苹果, 这个不便度的期望 \(E\) 是多少. 但是小 \(C\) 讨厌分数, 所以他只想知道 \(E \times N!\) 对 \(P\) 取模的结果, 可以证明这是一个整数.

Solution

一开始想用树形DP,但是发现子树间不是独立的,所以用不了。

首先可以发现,每次加上一个点以后,其父节点少了一个空位,但是他自己有提供了两个空位。

因此每增加一个节点,都会多一个空位。添加第$i$个点的时候,就有$i$个空位。

所以总方案数为$N!$。因此,$E\times N!$就是所有形态的树的的不便度总和。

根据这种题目的套路,应该考虑每条边的贡献。但是发现所有的边都是不确定的。

但是好好想想,其实只要一个点的子树大小确定了,其连向父节点的边的贡献也就定下来了。每一个子树内的点和子树外的点的搭配,都会经过这条边。因此,假设子树大小为$j$,那么那个点连向其父节点的边的贡献就是$j\cdot(n-j)$。

然后考虑每一个子树的根节点,设其为$i$。因为加点是有顺序的,我们不妨假设编号为$i$的点是第$i$个加入的。

那么这$i$个点的形态就有$i!$种。然后子树内,也有$j!$种形态。

但是子树内有哪些点呢?

首先这些点的组合肯定是$C_^$种。因为加点顺序是定下来的,所以不需要考虑加点顺序带来的不同的树。

然后只剩下了子树外的。

子树外呢,前$i-1$个点加完以后,有$i$个空位。有一个空位被$i$占掉了,那么还剩下$i-1$个空位。

因为除了$i$这棵子树,以及已经加过的点,还剩下$n-i-j+1$个点。

每次加一个点,多一个空位。所以每一多一个空位,直到加完,那么最后一次加点前的空位数为$i-1+n-i-j+1-1=n-j-1$,注意最后一次$-1$是因为最后一次还没有加点。

所以那些点的形态有$\prod \limits_^ k$个。

那么总共,第$i$个点的子树大小为$j$的贡献就是

\[
j\cdot(n-j)\cdot j! i!\cdot C_{n-i}^{j-1}\cdot \prod_{k=i-1}^{n-j-1}k
\]

这个东西再化一化,后面的连乘和前面的$i!,\ (n-j)$可以合并到一起,然候再拎出中间重复的。

\[
ij(i-1)\cdot j!\cdot (n-j)!\cdot C_{n-i}^{j-1}
\]

然候就可以$O(n^2)$ 枚举$i,\ j$,计算出来了。

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#define REP(i,a,n) for(register int i=a;i<=n;++i)
#define dbg(...) fprintf(stderr,__VA_ARGS__)
typedef long long ll;
const int N=2000+7;
int n,P,C[N][N],fac[N],ans;
inline void SADD(int&x,const int&y){x+=y;x>=P?x-=P:0;}//´íÎó±Ê¼Ç£º-=µÈºÅÍü´òÁË
inline int SMOD(int x){return x>=P?x-P:x;}
inline void Preprocess(){
C[0][0]=fac[0]=1;
REP(i,1,n){
C[i][0]=1;fac[i]=(ll)fac[i-1]*i%P;
REP(j,1,i)C[i][j]=SMOD(C[i-1][j-1]+C[i-1][j]);
}
}
int main(){
scanf("%d%d",&n,&P);
Preprocess();
REP(i,2,n)REP(j,1,n-i+1)SADD(ans,(ll)j*i*(i-1)%P*fac[j]%P*fac[n-j]%P*C[n-i][j-1]%P);
printf("%d\n",ans);
}

[BZOJ5305] [HAOI2018] 苹果树 数学 组合计数的更多相关文章

  1. 【BZOJ5305】[HAOI2018]苹果树(组合计数)

    [BZOJ5305][HAOI2018]苹果树(组合计数) 题面 BZOJ 洛谷 题解 考虑对于每条边计算贡献.每条边的贡献是\(size*(n-size)\). 对于某个点\(u\),如果它有一棵大 ...

  2. [BZOJ5305][HAOI2018]苹果树(DP)

    首先注意到每种树都是等概率出现的,于是将问题转化成计数求和问题. f[n]表示所有n个点的树的两两点距离和的总和. g[n]表示所有n个点的树的所有点到根的距离和的总和. h[n]表示n个点的树的可能 ...

  3. BZOJ5305 HAOI2018苹果树(概率期望+动态规划)

    每种父亲编号小于儿子编号的有标号二叉树的出现概率是相同的,问题相当于求所有n个点的此种树的所有结点两两距离之和. 设f[n]为答案,g[n]为所有此种树所有结点的深度之和,h[n]为此种树的个数. 枚 ...

  4. BZOJ5305 [Haoi2018]苹果树 【组合数学】

    题目链接 BZOJ5305 题解 妙啊 要求的是所有可能的树形的所有点对距离和 直接考虑点的贡献肯定想不出,这样的所有点对距离问题通常转化为边的贡献 考虑一条边会产生多少贡献 我们枚举\(i\)节点的 ...

  5. [BZOJ5305][Haoi2018]苹果树 组合数

    题目描述 小 C 在自己家的花园里种了一棵苹果树, 树上每个结点都有恰好两个分支. 经过细心的观察, 小 C 发现每一天这棵树都会生长出一个新的结点. 第一天的时候, 果树会长出一个根结点, 以后每一 ...

  6. [BZOJ5305][HAOI2018]苹果树 组合数学

    链接 小 C 在自己家的花园里种了一棵苹果树, 树上每个结点都有恰好两个分支. 经过细心的观察, 小 C 发现每一天这棵树都会生长出一个新的结点. 第一天的时候, 果树会长出一个根结点, 以后每一天, ...

  7. BZOJ5305: [HAOI2018]苹果树

    传送门 果然只有我这种菜鸡才会用这种菜鸡做法QwQ 对于一类要求期望的题目,有一个无脑的做法: 设概率为 \(f\),期望为 \(g\) 每次合并两个二元组 \(<f_1,g_1>,< ...

  8. [总结]数论和组合计数类数学相关(定理&证明&板子)

    0 写在前面 0.0 前言 由于我太菜了,导致一些东西一学就忘,特开此文来记录下最让我头痛的数学相关问题. 一些引用的文字都注释了原文链接,若侵犯了您的权益,敬请告知:若文章中出现错误,也烦请告知. ...

  9. [HAOI2018]苹果树(组合数学,计数)

    [HAOI2018]苹果树 cx巨巨给我的大火题. 感觉这题和上次考试gcz讲的那道有标号树的形态(不记顺序)计数问题很类似. 考虑如果对每个点对它算有贡献的其他点很麻烦,不知怎么下手.这个时候就想到 ...

随机推荐

  1. JAVA学习纲要

    这份面试题,包含的内容了十九了模块:Java 基础.容器.多线程.反射.对象拷贝.Java Web 模块.异常.网络.设计模式.Spring/Spring MVC.Spring Boot/Spring ...

  2. ward's method分层聚类凝聚法

    ward's method是分层聚类凝聚法的一种常见的度量cluster之间距离的方法,其基本过程是这样的(参考:http://blog.sciencenet.cn/blog-2827057-9217 ...

  3. 动态规划 List

    例题 #A 传纸条(Accepted)    #B 乘积最大 (Unaccepted)    #C 石子合并 (Accepted)    #D 加分二叉树 (Unaccepted)    #E 没有上 ...

  4. 30个有关Python的小技巧,给程序员的 30 个基本 Python 贴士与技巧

    30个有关Python的小技巧 2013/07/04 · Python, 开发 · 4 评论 · Python 分享到: 66 本文由 伯乐在线 - Kevin Sun 翻译.未经许可,禁止转载!英文 ...

  5. 002-JS-SDK开发使用,网页获取授权,扫一扫调用

    一.概述 在申请响应的公众号之后,实名认证或者企业认证之后,可以进行对应开发 二.开发步骤 2.1.开发前提[服务号]-域名设置 登录后台之后→左侧设置→公众号设置→功能设置,设置好“JS接口安全域名 ...

  6. 解决Win7部分便笺的元数据已被损坏的方法

    Win7部分便笺的元数据已被损坏的方法 我们使用键盘上"Win+F"组合键搜索功能,直接找到"inkobj.dll"这个文件,一般会搜索出来好多,先随便选一个. ...

  7. 2017/2/27-Laravel_资源控制器命令

    用于处理关于图片存储的 HTTP 请求,使用 Artisan 命令 make:controller,我们可以快速创建这样的控制器 : php artisan make:controller Photo ...

  8. [转]Scikit-learn使用总结

    1 scikit-learn基础介绍 1.1 估计器(Estimator) 估计器,很多时候可以直接理解成分类器,主要包含两个函数: fit():训练算法,设置内部参数.接收训练集和类别两个参数. p ...

  9. 【Unity 系统知识】 各种路径

    一.Assets下的Resources(Unity系统文件夹) :路径 Application.dataPath/Resources 可以使用Resources.Load("文件名字,注:不 ...

  10. JSP基础--动作标签

    JSP动作标签 1 JSP动作标签概述 动作标签的作用是用来简化Java脚本的! JSP动作标签是JavaWeb内置的动作标签,它们是已经定义好的动作标签,我们可以拿来直接使用. 如果JSP动作标签不 ...