传送门：http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=4879
因为詹姐怒拿这道题的FB，所以让我对这题很感兴趣，当时看完题后思路是根据位运算性质能推到出什么，不过因为随后开荒魔谷山，就搁置了......
今天仔细读题，哎呦，这不是原题么......
原题传送门：http://poj.org/problem?id=3678
感觉蛮坑爹的，regional出这样赤裸的原题.....
主要就是2-SAT，没有学过2-SAT的同学请先移步GOOGLE........
思路不难：但考虑a和b的其中一位，那么a[i]只有两种取值0或1，矩阵b对应的是一系列对a的约束条件。取b[i][j]的某个位，0代表a[i]a[j]对应操作为假，1则为真，那么.....我们不难得出上面原题里面的关系吧，于是一个2-SAT模型出来了.....
一个int有32位，但我们不难得出每一位是相互独立的结论，所以我们对每一位做一次2-SAT,出现矛盾就是NO，而对角线的0需要另处理，建图可以跳过。
实现8s.....我果断代码写的很很丑.....5秒+....
最低0.47元/天 解锁文章
1034
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
