可以严格证明一下蓝书上说的“\(l\)~\(r\)的每一堆石子都被合并了”
利用数学归纳法,假设某一时刻的每一堆石子都是由最开始连续的一堆石子合并而成的(比如说现在有三堆石子,分别是由最开始的第一到第三堆,第四到第五堆,第六到第十堆组成),那么接下来的合并操作无论合并哪两堆,最终得到的每一堆石子仍然是由最开始连续的一堆石子合并而成的
这也就证明了DP的正确性,也就是任意一堆石子都可以由一个闭区间来描述