max(ai,bi,k⋅t)\max(a_i, b_i,k⋅t)max(ai,bi,k⋅t) 应改为 max(bi−ki×t,ai)\max(b_i-k_i\times t, a_i)max(bi−ki×t,ai)。