线段树dp，我觉得式子很显然，推出来也没有问题，但是WA，而且数据点1很大没法调
注：WA都是输出-1