取第一个满足 di+1<0d_{i+1}<0di+1<0 的 iii。若前缀 d1+⋯+did_1+\cdots+d_id1+⋯+di 为正，就从第 iii 人向第 i+1i+1i+1 人转一枚硬币；其绝对值减一而其他项不变。若此前缀不正，极小性迫使 d1=⋯=di=0d_1=\cdots=d_i=0d1=⋯=di=0。