如果有相同元素输出 $1$ 个即可。
只有一堆则先手必胜,从倒数第二堆开始逆推,如果进入下一堆先手必胜则 $a[i]=1$ 必败, $a[i]\neq1$ 必胜,若下一堆先手必败则肯定是必胜的。
给两个 $01$ 串, $3n/2n$ 个操作内要把前者变成后者,一次操作可以选择一个前缀, $01$ 反转,且区间翻转。
从后往前扫某一位需要改变如果第一个字符和它相同则直接操作这个前缀,否则先操作 $1$ ,再操作这个前缀,可以控制在 $2n$ 次内。 $C1$ 可以 $O(n^2)$ 暴力翻转过, $C2$ 要 $O(n\log n)$ 或线性(事实上写平衡树tle了)。于是可以记录 $l,r$ 即区间 $[1,i]$ 在数组里的真实位置和当前的反转状态即可。
C1代码
C2代码
合并两个数组是归并排序的那个操作,给出一个长度 $2n$ 排列判定能不能由两个长度 $n$ 的数组合并。
观察可以发现一个数字和后面连续的所有比它小的数字是必须在一起的,把它们打包为一组。dp看能不能选一些组长度和为 $n$
给定长度 $n$ 的数组 $b$ ,可选的组成元素有 $n+1$ 种,问有没有数组 $a$ 使得 $a[i]=b[i]$ 恰有 $x$ 个位置,而数组重新排序后 $a[i]=b[i]$ 可以有 $y$ 个(即构成有 $y$ 个相同)。
明显与打乱后可以不匹配的位置个数相关的是出现最多的元素的次数 $f$ (越少越好),所以固定 $x$ 个位置时用优先队列每次取出出现次数最多的。剩余 $n-x$ 个位置不match的下界将会是 $2f-(n-x)$ ,可以通过给数值排序后每个向后错 $\lfloor\frac{n-x}2\rfloor$ 位来实现。如果没有完全打乱不要紧,我们可以用一个没用过的数字 $\mathrm{noUse}$ 在填充 $n-y$ 个位置时补救一下,在那 $n-x$ 个中优先选取仍 $a[i]=b[i]$ 的。构造完毕后仍不满足条件即不能。