摘要：
今天看到讲2-SAT比较好的blog，感觉微微的理解了2-SAT 传送门 参考： https://blog.csdn.net/leolin_/article/details/6680144 题意： 你有2*n把钥匙，但是在每一对钥匙中，用了a，就不能用b。你要用这么多钥匙去开尽可能多的门。开门的规则 阅读全文
摘要：
传送门： 题意： 给出m条关系，表示n个牛中的崇拜关系，这些关系满足传递性。问被所有牛崇拜的牛有几头； 思路： 先利用tarjan缩点，同一个点中的牛肯定就是等价的了，建立新的图，找出其中出度为0的点。如果这个点唯一，那么答案就是这个缩点中包含的所有点。 如果不唯一，那么答案不存在。因为有两个点出度 阅读全文