芒果布丁

摘要： 关于2-SAT(2-Satisfiability)资料的话就是伍昱的《由对称性解2-SAT问题》PPT和赵爽的《2-SAT 解法浅析》PDF。关于2-SAT的模板可参考[1]、[2]简要意思就是给定N个组（每个组2个元素）、M个互斥关系，从每个组里挑1个使得给定的不满足任何互斥关系。但是解决这类问题的关键还是在于建模，基本建模就是对于两个不相容的点i、j，构图方式为：i->j'(i和j冲突，选i只能选j')和j->i'（i和j冲突，选j只能选i'）。解2-SAT方法是，对原图求一次强连通分量，然后看每组中的两个点是否属于同一个强连通分量，如果存在这种 阅读全文