CF1969E Unique Array 题解

CF1969E Unique Array

题意

给你一个长度为 $n$ 的数组 $a$。定义 $a$ 的子数组是其连续子序列之一(即数组 $a_l,a_{l+1},...,a_r$ ,其中 $l$ 和 $r$ 是某两个整数，使得 $1\le l<r\le n$ )。如果一个整数在子数组中出现的次数正好是一次，那么这个子数组就是合法的。

你有一种操作，每次可以将任意一个 $a_i$ 替换为任意整数，求最小的操作次数时的 $a$ 的所有子序列都合法。

解析

引理1：

假设将 $a_x$ 替换成 $y$，若 $y$ 都不同于 $a$ 中的所有元素，那么凡是包含 $x$ 的区间都变得合法。

证明显而易见，因为 $y$ 在包含 $x$ 的区间中都只出现了一次。

那么有了引理1，相当于每次操作相当于将数组 $a$ 从 $x$ 处断开，将两端分开考虑。

我们就可以得到一个显然的贪心策略，将遍历 $1\to n$，当遍历到 $i$ 时，前缀数组由合法变得不合法，那就在 $i$ 处断开。

证明也很简单，因为 $i$ 是最晚断开且满足合法的下标，即在 $i$ 之后断开会变得不合法，在 $i$ 之前断开一定不会最优（因为断开的数少了）。

接下来就是如何快速查询前缀数组是否合法。

假设 $ls{t}_{a_i}$ 表示 $a_i$ 上一次出现的位置，$nx{t}_{a_i}$ 表示 $a_i$ 下一次出现的位置，显然 $a_i$ 在区间 $[l,r]$ 中唯一出现的必要条件就是 $l\in (ls{t}_{a_i},i]$ 且 $r\in [i,nx{t}_{a_i})$。

我们还很容易发现，对于一个 $a_j$，若 $nx{t}_{a_j}<i$，左端点 $l\in (ls{t}_{a_j},i]$ 必然合法。

关键是我们还是从左往右遍历的，也就是每次新加入一个 $i$ 时，我们只需要判断以 $i$ 为右端点的区间是否都合法，根据上面的结论，我们只需要一个数组 $x$，其中 $x_j$ 表示区间 $[j,i]$ 中有多少个数是唯一的。

当我们遍历到 $a_i$ 的时候，区间 $[l,r]$ $l\in (ls{t}_{ls{t}_{a_i}},ls{t}_{a_i}],r=i$ 中的 $a_i$ 变得不在唯一，则对这段区间 $-1$；区间 $[l,r]$ $l\in (ls{t}_{a_i},i],r=i$ 变得唯一，则对这段区间 $+1$。

若 $\exists j\in [1,i]$，若 $x_j=0$ 则不合法。

主体思路就完了，最后我们发现 $x$ 数组可以用线段树维护，最后时间复杂度为 $O(n{\log }_{2}n)$

代码太丑了，不放了。