以下讨论建立在不存在0且至少存在一个-1的基础上：记录1和-1的出现次数分别为a, b，注意到当a >= b的时候，一定可以构造（任意>0个1可以与1个 -1消掉）当a < b的时候，可以发现两个-1也可以变成一个1, 相当于把b的一部分借给a，因此a < b也可能有解let x := b借给a的数量then a + x >= b - 2x移项得 3x >= b - a注意：b - 2x > 0 ——> x <= (b - 1) / 2（下取整）同时x >= 0 ， 故x范围是[0, (b - 1) / 2（下取整）]则只需要 3 *...