CF2067E. White Magic

White Magic

题面

思路

动手模拟可以发现, 如果原序列中不含 0, 那么最长的子序列即为本身 (因为 \(\rm{mex}\) 恒为 0, 而 \(a_i\) 均为正整数).

现在来考虑包含 0 的情况. 我们记 \(cnt_0\) 表示序列中 \(a_i = 0\) 的数量, 那么答案至少为 \(n - cnt_0\), 有没有可能答案为 \(n - cnt_0 + 1\) 呢? 我们选择最左侧的 0 和非 0 元素组成的序列, 再在 \(\mathcal{O}(n)\) 的复杂度内检查一下即可, 若不合法, 答案即为 \(n - cnt_0\).

My Submission.