什么样的 2-SAT 问题可以在数据规模较大的时候较为容易地跑出字典序最小的解。

即让 $x_1$ 尽可能为 $0$，再尽可能让 $x_2$ 为 $0$……