摘要：洛谷传送门 AtCoder 传送门 考虑对于一个确定的串怎么判断合法性。 容易发现删到某个时刻若 \(1\) 的个数大于 \(0\) 的个数了，因为我们肯定不会蠢到在不是全 \(1\) 的时候删 \(111\)，所以 \(c_1 - c_0\) 在不是全 \(1\) 的时候至少是不会变小的。 所以我 阅读全文