首先我没理解错的话应该每次要更新 $T_1$ 到 $T_i$ 而不是到 $T_{i-1}$？

然后为啥 $T_i\le T_{i-1}+2$ 就有 $T_j\le T_i+2(j-i)$ 啊？这似乎不成立，比如这组数据：

3
1 0 2
1 0 2
0 2 1

初始 $T=[3,6,7]$，两次决策后依次变成 $[3,5,7]$ 和 $[3,4,7]$。可以看到此时满足 $T_2\le T_1+2$，但不满足 $T_3\le T_2+2$。