P10164 [DTCPC 2024] 戈布

对于 $01$ 序列 $\{a_n\}$，找到最小的 $k$ 满足存在一组 $\{(l_k,r_k)\}$使得以下条件成立。 - $\forall i\in[1,n]$，$a_i=1$ 当且仅当 $\exist j\in[1,k]$，$i\in[l_j,r_j]$。 可以证明满足条件的 $\{(l_k,r_k)\}$ 仅有一个。 一个 $01$ 序列 $\{a_n\}$ 是好的当且仅当 $\forall i\in[1,k)$，$r_i-l_i

一行一个长为 $n$（$n\leq 800$） 的 $01$ 序列 $\{a_n\}$。

一行一个数字，表示答案。