值域线段树优化 dp，还要推一下式子，怎么可能是绿呢。。