摘要：之前的解法 其实二分图染色问题可以看成2-SAT问题的一个特例，只需要稍微修改一下板子，在对每个连通块dfs的时候每个点黑白都试一下，取个最小值即可，因为二分图染色比较特殊，各个连通块相互独立，因此不存在回溯的问题（一般情况下2-SAT问题对每个点的黑白染色都分别判断的话需要回溯） 1 #inclu 阅读全文

摘要：题目链接 题意：有n个决议和m个人，每个人给至多4个方案投票，问是否存在一种方案使每个人超过一半的投票生效 当一个人投票数小于等于2时，他的每一票都必须生效，否则至多有一票不生效，“至多有一票不生效”等价于“任意两票不能同时不生效”，这样就转化成了一个2-SAT问题 题目还要求输出每一种方案的所有可 阅读全文

摘要：题目链接 很明显的2SAT问题，和树上距离有关显然要考虑树分治。由于2-SAT不具有容斥性，点分治不方便处理，不过我们可以边分治。 边分治，分治过程中对每条边t左右两侧各建立一棵线段树，线段树上每个区间结点u(设代表的区间范围为[l,r])开两个条件结点p[u][0]和p[u][1]，分别代表”边t 阅读全文

摘要：题目链接 题意：有n架飞机，每架飞机有两个着陆时间点可以选，要求任意两架飞机的着陆时间之差不超过k，求k的最大值。 解法：由于每架飞机都有两个选择，并且必选且只能选其中一个，时间冲突也是发生在两架飞机之间的，因此二分答案，对冲突的时间建边处理，然后跑2SAT即可。 阅读全文