ZigZagK的博客

题目概述有n个组，每个组有2个领导人（i组两人的标号为2*i-1和2*i），每个组只能选一个领导人参加会议。再给出m条关系x,y，表示x与y不和，不能同时参加会议，求字典序最小解。解题报告这道题就是经典的2-SAT字典序最小解啊，用暴力解法就可以水过去。 虽然看起来时间复杂度十分不正常，但要相信2-SAT暴力的玄学……WTF？这道题多组数据？题目里根本就没有说？？示例程序#include<cstd

题目概述有n场婚礼，每场婚礼开始时间为s，结束时间为t，需要时间D，且所有婚礼必须在s~s+D或t-D~t进行。求一种可行的方案使婚礼不冲突。解题报告把每场婚礼看作两场，一场开头，一场结尾，那么有些婚礼是不能同时举办的。我们可以把这些不能同时举办的婚礼看作限制，这样这道题目就变成了经典的2-SAT。由于数据较大，且只需要求任意解，所以刷Tarjan即可。示例程序#include<cstdio>#i

题目概述有两个中转点和n个谷仓，每个谷仓只能连向两个中转点的一个。某些谷仓中的牛互相厌恶，不能同时连向同一个中转点，某些谷仓中的牛是朋友，必须同时连向同一个中转点。求一种方案使得谷仓之间的曼哈顿距离的最大值最小。解题报告每个谷仓只能连接中转点1(S1)和中转点2(S2)的一个，并且还有很多限制条件，我们不难发现这是2-SAT。但无论是暴力还是Tarjan，都不具备求距离最大值最小的功能，而求最大值最

题目概述有 nn 个点， mm 条边和 KK 个国家（国家里的点已知）。每个国家只能选一个点作为首都，并且要保证最后所有边的两端至少有一个点是首都，问是否存在方案。解题报告每个点是首都或不是首都，只有两个状态，所以是2-SAT问题。mm 条边的限制很容易转化，就是每个国家只能选一个点为首都比较奇怪。 其实这是典型的前后缀优化建图，这里以前缀优化建图为例： 首先我们先增加 nn 个点，令 ii 的

定义2-SAT问题描述如下：有n个集合，每个集合里有两个元素且必须选一个，再给出若干条限制条件，比如选了i元素就不能j元素，求可行的选择方案。 ps：其实有k-SAT(k>=3)问题，但已经被证明是NPC问题，所以无视~分析首先我们要把给出的限制分析清楚。由于每个集合里有两个元素，所以如果某一个元素不能选，另一个就必须选。假设i集合的元素分别为2*(i-1),2*(i-1)+1（这两个元素可以相互

题目概述有 A,B,CA,B,C 三种车和 nn 场比赛，每场比赛有一个限制 chch 表示该比赛不能用第 chch 种车（若 chch 是 ′x′'x' ，表示没有限制，最多只有8个 ′x′'x' ）。还有 mm 个限制 i,hi,j,hji,h_i,j,h_j ，表示如果第 ii 场比赛用第 hih_i 种车，第 jj 场比赛就必须用第 hjh_j 种车。解题报告ps：考网上同步赛的时候我只想到