今天终于完整看完石子合并的优化证明。想问：从严格意义上来说，对于不同类型的转移方程和贡献计算函数，是否每一个都要进行从贡献函数、状态函数到单调性这样一个完整的证明过程，才可以说明其可以使用这个优化方法。（PS：我知道可以打表判断，但是想问严格意义上来说是不是不同类型需要不同的严格证明）