@[chen_zhe](/space/show?uid=8457) by Ameyax @ 2018-06-21 16:20:35
**而且这题在loj上只有256mb，还比较卡空间（针对2-sat的做法）。** **是不是要考虑减小空间？** by Ameyax @ 2018-06-21 16:36:13