绝望的乐园

题意：给出n个组，每组有两个球心，在每个组中选一个球心，然后选一个半径R，令这些球的半径为R，并且保证这些球不相交，求最大的半径R。思路：二分枚举半径R，然后用2-SAT判定是否有解。由于每个组都要选，并且只能选一个，很容易能想到2-SAT模型，构图的时候只要枚举任意两个组，将两组之间的球心两两组合，如果这两个球心不能同时选中，则添加相应条件，然后跑2-SAT看有没有解就行了。 代码:

题意：用一个矩阵给出n个数之间&、|、^的关系，问是否有一组数满足条件。思路：数的范围是2^31-1，因此可以按位算，想到2-SAT的话建图其实也很简单。但是这题时限有点高，刚开始把所有位一起建图写超时了，后来看别人题解一位位计算，如果遇到矛盾，直接break掉，这样写1600ms+过掉了。2-SAT貌似可以用tarjan优化的，可惜我还不会……有时间看看论文吧…… 代码：#i