大型补档计划 题目链接 根据题意,显然只有新郎这边可能存在矛盾,考虑这边怎么放即可,新娘那边的放法与这边正好相反且一一对应. 显然对于两个约束条件是一对矛盾,开始我以为可以用并查集,后来发现输出方案的时候,如果两者都可以的话不会选了只能乱选,有可能会限制死某些变量,需要指数级别 \(dfs\) 搞,然后就放弃了. 设 \([0, n - 1]\) 是这个位置放妻子,\([n, 2 * n - 1]\) 是这个位置放丈夫. 对于这种矛盾 \(a, b\),构建 2-SAT 模型就是连边 \((a,