摘要：
（点击此处查看原题） 题意 有n个变量，编号为0~n-1，每个变量只会取0和1，此时有m对关系：a b c operator ，表示变量a,b满足 a operator b == c ，问对n个变量是否存在一种赋值，使得m对关系全部满足 解题思路 由题意就知道，这是一个2-SAT问题，给出了两个变量 阅读全文
摘要：
（点击此处查看原题） 题意 有n个点按顺序排列在一个圆上，编号依次为0~n-1，在n点之间有m条边，这些边可以在圆内连接两点，也可以在圆外连接两点（如下图所示），问是否存在一种连接法，使得m条边不相交。 解题思路 我们发现对于每条边，只存在两种状态：圆内、圆外，而且某些边之间存在矛盾关系，显然，这是 阅读全文