专栏文章
题解:P14475 大鱼吃小鱼
P14475题解参与者 2已保存评论 1
文章操作
快速查看文章及其快照的属性,并进行相关操作。
- 当前评论
- 1 条
- 当前快照
- 1 份
- 快照标识符
- @minb22eq
- 此快照首次捕获于
- 2025/12/01 23:29 3 个月前
- 此快照最后确认于
- 2025/12/01 23:29 3 个月前
不会做可以先做前置问题:ARC189D LuoguP9530
题目中 表示鱼的体型, 表示总数。
首先,任何时候鱼的状态一定是“吃完了一个区间位置中的所有鱼”。并且鱼的体型一定等于区间内鱼的初始体型之和。所以我们用这个区间来表示鱼的状态。以下,将区间内的鱼的体型之和简称为区间和。
我们称:
- 一个无法不用道具扩展的区间是自闭区间。(我们规定 也是)
- 区间和 的区间是大鱼区间。
- 区间和 的区间是小鱼区间。
显然,小鱼区间是不可能不用道具去吃任何鱼的(因为鱼的体型都非负)。
我们考虑任何一个鱼从初始吃完所有鱼的过程。这个过程中鱼的体型显然是单调不降的,存在一个时刻第一次变成大鱼,在这之前必然每一步吃鱼都要用道具。(或者可能整个序列都是小鱼,这种情况下答案为 。这种情况要特判。)我们从这个时刻把一个方案分成前后两段:
- 从最开始到第一个大鱼区间:使用道具次数是大鱼区间的长度减 。容易证明这第一个大鱼区间一定是序列上固定某个左端点或者右端点前提下的极短大鱼区间,不超过 种。因此只要双指针预处理出这些极短大鱼区间,想办法求出每个极短大鱼区间在后半段的最小道具数,再用单调队列更新每个 的答案即可。
- 从第一个大鱼区间到整个序列。剩下的问题是求出每个极短大鱼区间在后半段的最小道具数。
如果两个自闭区间相交但互不包含,可以证明它们的交集部分一定是小鱼区间。(否则,我们设它们按位置顺序是 ,其中 是单条鱼, 可以为空, 不为空,两个自闭区间分别是 和 。则,按自闭的定义有 。如果 就有 ,矛盾。)
另外,容易证明一个自闭的大鱼区间下一步用道具吃的一定是两侧相邻的鱼中体型较大的,因为吃了较大的那个后体型一定足够立刻吃较小的,这总是更优。
所以对于一个大鱼区间,所有包含它的自闭区间必然组成区间套,并且方案选择是固定的。
另外,这也容易证明大鱼自闭区间的总数不超过 个。我们考虑把一个大鱼自闭区间关联到它两侧相邻的鱼中较小的那个上,容易证明每个鱼在每一侧最多会被一个大鱼自闭区间关联。(,容易证明不可能有 和 都是大鱼自闭区间且有 。否则 ,矛盾)
现在问题有两个:
- 如何求出所有的大鱼自闭区间。
- 如何求出每个大鱼自闭区间扩展到全序列的最小操作次数(以下简称扩展到全序列的最小操作次数为“答案”)。
对于第一个问题,我们考虑分别对于每个位置求出每一侧与他相关联的那个大鱼自闭区间(若存在)。我们考虑从左往右枚举 ,并用双指针维护以 为右端点的极短大鱼区间记为 ,并在 增加过程中维护 左侧所有的点集 中可能成为左相邻点的,试图求出以 为右端点且关联到 的大鱼自闭区间。那么:
- 在 中,一个下标、体型都小的位置必然从当前 开始都永远不可能是(大鱼自闭区间的)左相邻点。所以我们首先用单调栈维护 ,只保留那些体型后缀最大的位置。
- 在 中,每次我们要查询 的最小鱼并判断,只有这条鱼和 有可能构成大鱼自闭区间。但是我们可以注意到, 中那些 的鱼对于更大的 也不可能是大鱼自闭区间的左相邻点(因为 就已经足够吃它了),所以我们这个查询直接在单调栈上删除元素即可。(注意有一种边界细节是,大鱼自闭区间是整个序列的前缀或后缀, 删空了。)
- 增大的时候 右移,新增的元素在单调栈里维护即可。
从左到右、从右到左分别做一遍这个过程就解决了第一个问题。
对于第二个问题,我们不妨设 表示区间 的答案。显然有 。然后对于一个大鱼自闭区间 ,按前文有 (当 )或者 (当 ),其中 表示包含这个区间的最小自闭区间。(按前文引理,包含一个大鱼区间的最小自闭区间是唯一的。)
所以我们只要查询出所有这些 然后递推计算就行了。用扫描线+单调栈处理一遍所有大鱼自闭区间即可求出所有需要的 。
前面所有步骤都是 ,所以这个问题的时间复杂度是 。
相关推荐
评论
共 1 条评论,欢迎与作者交流。
正在加载评论...