摘要：
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1815题意：给出n个牛棚、两个特殊点S1,S2的坐标。S1、S2直连。牛棚只能连S1或S2，还有，某些牛棚只能连在同一个S，某些牛棚不能连在同一个S。求使最长的牛棚间距离最小 距离是曼哈顿距离，使最大值最小。思路：二分的经典应用，二分枚举最大值limit，然后重新构图，用2-SAT判定可行性。用Xi表示第i个牛棚连到S1,~Xi表示连到S2，检查每一个约束条件，构图：1.hate关系的i,j Xi->~Xj ~Xi->Xj Xj->~Xi ~Xj->Xi2.friend关系的 阅读全文
摘要：
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=3715思路：二分深度，2-sat判断可行性，根据矛盾关系建图：设a=0,a'=1,b=0,b'=1;如果c[i]==0,则a,b矛盾，连边a->b',b->a';如果c[i]==1,则a,b'矛盾，连边a->b,b’->a',a',b矛盾，连边a'->b',b->a;如果c[i]==2,则连边a'->b,b'->a,然后就是强连通判断即可。http://paste. 阅读全文
摘要：
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=3622思路：二分是容易想到的，由于题目中有明显的矛盾关系，因此可以用2-sat来验证其可行性。关键是如何建图：对于每两对炸弹的（u,u')和（v,v'),如果u,vi的距离小于2*mid,则连边u->v',v->u‘。然后强连通判断可行性。http://paste.ubuntu.com/5972769/ 阅读全文
摘要：
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=3062思路：根据矛盾关系连边（如果a与b矛盾，则连边a'->b,b'->a)，然后强连通缩点，判断同一对夫妻是否在同一个连通分量中，如果是，则不能同时列席，否则可以。2-sat学习资料：http://wenku.baidu.com/view/b96a07d9ce2f0066f533226c.htmlhttp://paste.ubuntu.com/5972060/题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1824思路：建图 阅读全文