今天想部分分的时候看到一个模型：

一串 $01$ 序列，可以任意指定起点，每次可以走到一个相邻的位置并使该位置上的数 $xor$ $1$ ，问使得序列全部为 $1$ 的最小步数。

长度 $n \leq 5e5$ ，有 $O(n)$ 或者更优的解法吗？