摘要：
题意：给出n对钥匙，每对钥匙只能选其中一个，在给出每层门需要的两个钥匙，只要一个钥匙就能开门，问最多能到哪层。思路：了解了2-SAT判定的问题之后主要就是建图的问题了，这里建图就是对于2*n个钥匙，分别分成a和a'两组，即选了比如a，b一组钥匙，选择了a则必须选择b'，那么进行连边，而对于每层门，若... 阅读全文
摘要：
开始学习2-Sat，前面看了对称性解决2-sat的ppt，很有帮助。题意:n对夫妻，夫妻需要出席一人，给出不相容的关系，求每对是否能完成出席方案。思路：通过关系建图，Tarjan缩点，然后进行判断：条件：若有一对夫妻在同一个连通分量中，即不可组成方案。代码：#include #include #in... 阅读全文
摘要：
题意：给你一个无向连通图，每次加一条边后，问图中桥的数目。思路：先将图进行双联通缩点，则缩点后图的边就是桥，然后dfs记录节点深度，给出（u,v）使其节点深度先降到同一等级，然后同时降等级直到汇合到同一个点为止。途中直接进行删边处理且桥的数目减少。代码：#include#include#includ... 阅读全文