CodeForces CF1454F Array Partition 题目详解

$\mathrm{C}\mathrm{F}1454\mathrm{F}\mathrm{A}\mathrm{r}\mathrm{r}\mathrm{a}\mathrm{y}\mathrm{P}\mathrm{a}\mathrm{r}\mathrm{t}\mathrm{i}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$ 题目详解

$\mathrm{D}\mathrm{e}\mathrm{s}\mathrm{c}\mathrm{r}\mathrm{i}\mathrm{p}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}.$

给出一个数列 $A$，求出任意一组 $x,y,z$ 满足 $\mathrm{M}\mathrm{a}{\mathrm{x}}_1^{\mathrm{x}}=\mathrm{M}\mathrm{i}{\mathrm{n}}_{\mathrm{x}+1}^{\mathrm{y}}=\mathrm{M}\mathrm{a}{\mathrm{x}}_{\mathrm{x}+\mathrm{y}+1}^{\mathrm{z}}$ 并且 $x+y+z=n$.

$\mathrm{S}\mathrm{o}\mathrm{l}\mathrm{u}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}.$

首先看到关于最大值和最小值，因为原数组是静态的，所以我们可以用 $ST$ 来快速维护一个区间最值，效率非常高。之后我们考虑怎么得出满足条件的三元组。
首先第一个维度 $x$ 是无论如何都要枚举得到答案的，因为他是第一个数，没法加快这个进程。之后我们想，既然 $x+y+z=n$ 已经定了，那么显然我们如果能通过某种方式得出 y y y</