少了一个条件，就是在操作过程中序列a的数字都必须非负。（把我这种懒得看英文的人给坑了）