本帖主要针对 2-SAT 做法。

1. 2-SAT 求完后有可能找到的初始解是一边有所有人一边没人，初始解不一定是合法的。但这也并不意味着无解，因为有人的这边可以抽一个人扔到无人的那边。

2. 向另一边扔人的时候要注意扔完之后自己这边人数非零。但这只适用于一边朝另一边单方面扔人的情况，因为双方互相扔，每边的人数最终不变。