嘘...一只bug

Map Labeler 题意 有一些点，现在要对每个点构建一个正方形，这个点可以作为此正方形的上边界的中点或者是下边界的中点，对每个点构建的正方形的边长是相等的，要求构建的这些正方形不可以重叠，但是边界可以重叠，求可以构建的正方形的最大边长是多少？ 题解 对于一个点，要么向上构建正方形，要么向下构建正方形，只有两种情况，二分答案，用2-Sat判断是否满足。2-Sat最关键的也是最难的就是建图了： 对于点i,x是向上构建，x^1是向下构建。点j对于y雷同，尝试当前边长m 1.如果abs(Xi-Xj)>.

Bit Magic 题意 已知一位数组a[]和二维数组b[][]满足以下关系 给定数组b[][],问是否存在数组a[],如果存在，输出"YES",否则输出"NO" 题解 写的是2-Sat的专题，想了好久都没想到怎么和2-Sat扯上关系，后来看了题解，说是按位进行2-Sat,就知道要怎么做了。因为位数最多不超过31位i，我一开始想的是从数组b[][]中找到条件，对这31位综合起来只进行一次2-Sat,后来T掉了，但是想了想复杂度是不会T的，现在还想不明白。后来只好对每一位建图，对每一位进行一次2-Sat.