就 Arghariza 的题解，他说 $i$ 前缀能放的 $1$ 的数量的下界是 $l_i\coloneqq\max(0,i-(r_i-c_{r_i}))$。但是对于数据

7 2
1110000
1 3
2 7

无论如何 01 串的第一位都是 $1$，所以应该有 $l_4=1$，但是他这么算出来的是 $0$？

但是这么 dp 又是正确的，算法给出了 $l_1=1$，所以 $\mathrm{dp}_{1,0}=0$，自然 $\mathrm{dp}_{4,0}=0$，这个正确性是怎么保证的？就是如何证明，令 $I_i$ 表示 $i$ 前缀能放 $1$ 的数量的区间，那么

？