1 条题解
-
0
制高 题解
思路
设结点 在均匀随机选择所有父亲时成为制高点的概率为 。根结点必为制高点,所以 。
对于 ,父亲在 中等概率选择。只有父亲本身是制高点且高度不超过 时,结点 才是制高点,因此
$$p_i=\frac{1}{r_i-l_i+1}\sum_{j=l_i}^{r_i}[h_j\le h_i]p_j.$$所有分母都小于模数,可以在模 意义下使用逆元。设方案总数为
则线性期望给出答案 。
做法
把结点按 从小到大排序,并用树状数组维护已经算出的 ,下标为结点编号。
处理结点 时,树状数组中已经包含所有高度小于 的结点,以及高度等于 且编号更小的结点。查询区间 时,区间中的编号本来就都小于 ,所以查询结果恰好是递推式中的和。算出 后,再在位置 加入它。
另一种满分实现可以按编号顺序建立以高度为下标的可持久化线段树。用版本 减版本 ,即可查询编号区间内高度不超过 的概率和。
子任务算法
- 时枚举所有父亲组合并直接统计。
- 当父亲选择数乘积不超过 时,区间长度大于一的结点很少;所有这些区间长度之和不超过其乘积,可以直接扫描递推式。
- 高度单调不降时,任意父子边都满足高度条件,所有结点都是制高点,答案为 。
- 高度严格下降时,除根外没有制高点,答案为 。
- 时直接扫描每个父亲区间,时间复杂度为 。
正确性证明
对任意非根结点 ,它成为制高点的事件可以按父亲选择划分。父亲为 的概率为 ;在此前提下,结点 成为制高点当且仅当 是制高点且 。对所有可能父亲求和,得到上述 递推式。
按 排序处理时,递推式中每个满足 且 的结点都已经加入树状数组;任何已经加入但编号不在 中的结点又会被区间查询排除。因此算法求得的区间和与递推式完全一致,所有 均正确。
每棵可能的树出现概率相同。由期望的线性性,单棵树制高点数量的期望为 ;乘以方案总数 ,就得到所有树中制高点数量的总和。故最终答案正确。
复杂度分析
排序和树状数组操作的总时间复杂度为 ,空间复杂度为 。
- 1
信息
- ID
- 938
- 时间
- 2000ms
- 内存
- 512MiB
- 难度
- 10
- 标签
- 递交数
- 1
- 已通过
- 0
- 上传者