摘要：
链接：https://ac.nowcoder.com/acm/contest/317/E来源：牛客网 题目描述 小a正在玩一款即时战略游戏，现在他要用航空母舰对敌方阵地进行轰炸 地方阵地可以看做是n×mn×m的矩形 航空母舰总共会派出qq架飞机。 飞机有两种，第一种飞机会轰炸以(xi,yi)(xi, 阅读全文
摘要：
2-SAT算法本身并不难，关键是连边，不过只需要充分理解好边的概念：a->b即选a必选b。 a、b不能同时选：选了a就要选b'，选了b就要选a'。 a、b必须同时选：选了a就要选b，选了b就要选a，选了a'就要选b'，选了b'就要选a'。 a、b必须选一个：选了a就要选b'，选了b就要选a'，选了a 阅读全文