[CF1713B Optimal Reduction] 题解

[CF1713B Optimal Reduction] 题解

水一篇题解

可以发现一个数列 $a$ 的最少操作次数的下限是是 f ( a ) ≥ max ⁡ { a [ i ] } f(a) \ge \max\{a[i]\} f(a)≥max{a[i]} ，因为需要把最大的数减为 $0$ 。所以对于 $a$ 的某个排列 $b$ ，其中 max ⁡ { a [ i ] } = max ⁡ { b [ i ] } \max\{a[i]\}=\max\{b[i]\} max{a[i]}=max{b[i]} ， 既 $f(b)\ge \max a[i]$。

为了方便，我们设数值等于 max ⁡ { a [ i ] } \max\{a[i]\} max{a[i]} 其中一个的脚标为 $k$ 。

在 $a$ 的排列中，操作数为 $a[k]$ 的存在性：

将 $a$ 排序，得到序列 $b$ ， $b$ 的操作次数为 max ⁡ { b [ i ] } = max ⁡ { a [ i ] } \max\{b[i]\}=\max\{a[i]\} max{b[i]}=max{a[i]} ，所以一定存在。

辣么如何判断一个序列 $a$ 的操作次数是否为 $a[k]$ （期望最少操作次数）呢。

对于最大数 $k$ 的左侧，每次操作完 $l$ 应该不动或向右移，既左侧单调不减。同理，对于 $k$ 右侧，每次 $r$ 应不动或向左移，既右侧单调不增。所以只需判定 $a[0]\le a[1]\le a[2]\cdots \le a[k],a[k]\ge a[k+1]\ge a[k+2]\cdots a[n-2]\ge a[n-1]$ 。

贴上核心代码：
（貌似我的脚标从 $0$ 开始）

int l = 0, r = n - 1;
while (l < n -1 && arr[l + 1] >= arr[l])
	l++;
while (r >= 1 && arr[r - 1] >= arr[r])
	r--;
if (l >= r)
	cout << "YES" << endl;
else
	cout << "NO" << endl;