摘要：题目传送门 题意： 有n个人，k盏灯，灯有红蓝两种颜色，每个人都猜了三种灯的颜色，问如何安排灯的颜色，使得每个人猜的灯至少有两个是对的。 思路： 很容易想到2-sat，但是显然枚举每个人猜对的情况是不显示的，因为猜对两个和猜对三个两种情况就很难搞了。所以我们枚举每一个人猜的灯错的是哪一盏，如果某一盏 阅读全文

摘要：题目传送门 题意：在一个圆上顺时针安放着n个点，给出m条线段连接端点，要求线段不相交，线段可以在圆内也可以在圆外，问是否可以。 思路：假设一条线段，放在圆外是A,放在园内是A'，那么两条线段如果必须一个放圆内一个放圆外的条件就是 端点区间相交（严格相交），所以就建立了2-SAT模型，然后跑2-SAT 阅读全文

摘要：题目传送门 题目大意： 给出n*n的网格，l栈灯，每盏灯可以选择照亮竖着的2*r+1的范围，或者横着的2*r+1的范围，要求一个格子不会同时被一盏以上的横着的灯照亮，也不能被一盏以上的竖着的灯照亮，所有灯必须亮着，问是否可行。 思路：2-sat的题目，如果两盏灯之间不能同时横着放，则代表必须一横一竖 阅读全文