摘要:
题目链接:CodeForces-528C Data Center Drama 题意 给出一个无向图(连通,可能有重边和自环),要求加尽量少的边,并给每条边定向,使每个结点的入度和出度都是偶数。 思路 对于度数为奇数的结点,加边依次连接,例如结点$1,2,3,4$的度数为奇数,则连接$(1,2)$,$ 阅读全文
摘要:
SAT是适定性(Satisfiability)问题的简称。一般形式为k-适定性问题,简称 k-SAT。而当$k>2$时该问题为NP完全的,所以我们只研究$k=2$时情况。 定义 2-SAT,简单的说就是给出$n$个集合,每个集合有两个元素,已知若干个$\langle a, b \rangle$,表示 阅读全文