程序员充电站（itcharge）

题目大意： 有N个候选人，有M组要求，每组要求关系到候选中的两个人A和B，"+A +B"表示A和B中至少 有一人被选中，"-A -B"表示A和B中至少有一人不被选中。"+A -B"表示A被选中和B不被选中两 件事至少发生一件。"-A +B"表示A不被选中和B被选中至少发生一件。那么问题来了：是否存在 M组要求全部符合的方案。 思路：在本题中，每个人都有两种状态，一种是选中，一种是不选中。可以把一个人i拆成两个点 Pi和P(i+N)，分别表示当选和落选。那么两个人i和j的关系就可以表示为以下四种： i和j至

题目大意： 制作地图是一件很复杂的工作，其中一项任务就是为地图上的城市制作标示——在地图上每个 城市的所在位置附近贴上一个文字标签。标签的一个要求就是亮亮不能重叠。本题中，假设每 个城市都是平面上的一个点，坐标为(x，y)，他的标签是一个平行于xy轴的正方形，现在要求 代表每个城市的点处于正方形标签的顶边正中央或是底边正中央，如下图所示。对于一个好的 地图，所有的标签大小都应该相同，并且任意两个标签之间没有重叠，但是可以有公共边。 那么问题来了：给定所有城市在平面上的坐标(全部为整数)，计算出符合上述要求的

摘自http://www.cnblogs.com/kuangbin/archive/2012/10/05/2712429.html 现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x] && A[y] = 0、A[x] || A[y] || A[z]=1等，要确定A[0..N-1]的值，使得其满足所有限制关系。这个称为SAT问题，特别的，若每种限制关系中最多只对两个元素进行限制，则称为