Wflower的Blog //What are you waiting for?

定义2-SAT问题如下：给出nnn个集合，每个集合内有两个元素（例如：truetruetrue和falsefalsefalse），要求每个集合内必须取且只能取一个元素，并且给出一些限制条件，例如选iii就不能选jjj，求一种合法方案。分析首先如果集合iii中有两个元素，那么可以把它们标号为2∗(i−1)2∗(i−1)2*(i-1)和2∗(i−1)+12∗(i−1)+12*(i-1)...

[二分+2-SAT]POJ 2749 Building roads 题解题目大意给出nnn个谷仓和2个中转站的坐标，要求每个谷仓都必须连且只连接其中一个中转站，有k1k1k1对谷仓由于某种原因不能连在同一个中转站，还有k2k2k2对谷仓由于另某种原因一定要连载同一个中转站，平面上两点路径等于两点的曼哈顿距离，问所有谷仓连接后所有两个谷仓的最长路的最小值是多少。解题分析“连且只连接其中一个中...