P8125 The short shank
定义一个不会自己暴动的人 会被 个人影响导致暴动,那么发现题目中所有的区间 之间都只有两种关系:包含和不相交。
这个结论十分好证明,不妨假设 满足 ,那么显然根据定义 也就不存在不包含但是相交的关系了。
假设
那么将 设为 的儿子。
显然这样建出的森林如果选择叶子节点,那么注定从根节点到叶子节点都不会出现暴动,直接使用长链剖分维护就可以了,时间复杂度为 。
收获:优化 DP 不一定只能是 DP。
定义一个不会自己暴动的人 会被 个人影响导致暴动,那么发现题目中所有的区间 之间都只有两种关系:包含和不相交。
这个结论十分好证明,不妨假设 满足 ,那么显然根据定义 也就不存在不包含但是相交的关系了。
假设
那么将 设为 的儿子。
显然这样建出的森林如果选择叶子节点,那么注定从根节点到叶子节点都不会出现暴动,直接使用长链剖分维护就可以了,时间复杂度为 。
收获:优化 DP 不一定只能是 DP。