AGC008F 题解
设 表示以 为中心距离不超过 的点集
考虑对每个点分别统计答案,令当前处理的点 是当前树根
令 为 所有子树中,与 最远距离最
大值,
令 为 所有子树中,与 最远距离的次大值,
我们只在 最小的时候计数,而且不计算全集
先考虑所有点都是关键点的情况
翻译一下两个条件,是
- 不存在 的儿子 ,使得
为什么条件 可以满足 最小的要求?
首先考虑简单情况,如果 对儿子 , ,则子树外没有填满,或者子树内没有填满,所以有
然后我们考虑其它结点 ,在 的儿子 的子树内
考虑使用反证法, 反正它是对的
假设 但是
由于在 子树内延伸方向不一样, 一定能填满 子树,
由于 所以 子树外没有填满,所以
现在处理条件
可以发现 只在 填满了 之外所有子树的时候发生
同时我们要求了条件 ,所以 只能具有离 最远距离的儿子
在 子树外,一个点被 访问到的充要条件是被 访问到
所以
对一个关键点,
我们再考虑一个非关键点 的贡献,
观察得到 是一个 关键点 的覆盖,并且 最小,
则有 完全覆盖 所处的子树中
于是我们记 为到此点的关键点子树的最大深度的最小值(若此点为关键点则 )。
则
作者:cdsidi
出处:https://www.cnblogs.com/cdsidi/p/17262215.html
版权:本作品采用「署名-非商业性使用-相同方式共享 4.0 国际」许可协议进行许可。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 单线程的Redis速度为什么快?
· 展开说说关于C#中ORM框架的用法!
· Pantheons:用 TypeScript 打造主流大模型对话的一站式集成库
· SQL Server 2025 AI相关能力初探
· 为什么 退出登录 或 修改密码 无法使 token 失效