我推出了一个状态转移方程 $dp_i = \max \limits_{1 \le j < i} dp_j + \sum \limits_{j < l_k \le r_k = i} a_j$，然后认为这个式子会漏。

然后看了一下题解，题解说这种方法其实是不重不漏的。

我有一个问题，就是为什么这种方法可以不重不漏呢？