sshic

摘要： 原作者：http://blog.csdn.net/gotoac/article/details/8080204题目链接:http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemCode=3664题目大意:Bob可以在一个原始空矩形或由一条垂线分割出的空矩形中画一条水平线,反之画一条垂线.线画完之后,Bob会在原始矩形内选两个目标点,且目标点不会在画的线上,Alice可以删掉画的线使得两点在同一空矩形中,删掉的线必须保证两边都是空矩形,且不能使图不连通,求出删完线后最多能剩几个空矩形.题目思路:可以看出构造图的过程是一个二叉树建立的过程,要 阅读全文

摘要： 所谓2-SAT就是2元可满足性问题。首先，作为众所周知的，任何布尔表达式，都可以化为合取范式的形式，即化为： () and () and () ...and () 其中括号里面的是用析取符号or 连接的变量或者变量的非的形式。我们一般称，变量或者变量的非为“文字”,而括号里的叫做子句。可满足性问题是要给所有的变量一个赋值（真或假）使得表达式值为真。而2元可满足性问题，就是化为合取范式后，每个子句最多有两个文字的可满足性问题。 cook定理已经说明，一般地可满足性问题是NPC的。但是值得注意的是，2-SAT却是P的。简单分析一下2-SAT: 它要求每个子句的值都是真。考虑一个子句，a or... 阅读全文