stay hungry,stay foolish

摘要： 题目链接：http://poj.org/problem?id=2513思路：题目还是很简单的，就是判断是否存在欧拉路径，我们给每个单词的头和尾映射序号，统计度数。对于给定的无向图，当且仅当图连通并且奇数度数为0或者2。一开始我报着一丝的希望用map映射，结果毫不犹豫的TLE，然后改成字典树映射就过了。http://paste.ubuntu.com/5992411/ 阅读全文

摘要： 题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1956思路：先将无向边定向，比如13，可以定它的方向为1->3，1的出度++，3的入度++即可。读入的时候如果遇到无向边，把这条边加入待建的网络中，流量为1。读入完后，然后用出度减入度得到x，如果x为奇数，肯定不存在欧拉回路，如果没有奇数，就用最大流求解。如果x大于0，则建一条s（源点）到当前点容量为x/2的边，如果x小于0，建一条从当前点到 t（汇点）容量为|x/2|的边。然后求最大流，如果是满流（即s出的流==t入的流即可，s指的是建图的时候连接s的边的容量和）就满足欧拉回路。http:/ 阅读全文

摘要： 题目链接：http://poj.org/problem?id=1270思路：就是一简单的dfs+拓扑排序，然后就是按字典序输出所有的情况。http://paste.ubuntu.com/5987294/ 阅读全文

摘要： 题目链接：http://poj.org/problem?id=3683思路：对于每个结婚仪式，只有在开始或结束时进行这两种选择，我们可以定义xi为真当且仅当在开始时进行。于是我们可以通过时间先后确定矛盾关系，然后通过矛盾关系建图。至于输出一组可行解，就可以2次dfs（一次沿正向边，一次沿反向边）求出拓扑序，然后根据拓扑序输出可行解。http://paste.ubuntu.com/5983686/ 阅读全文

摘要： 题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=4421思路：枚举32位bit,然后2-sat判断可行性，这里给出2-sat矛盾关系构图：1、a&b=0 : a->~b,b->~a;2、a&b=1 : ~a->a,~b->b;3、a|b=0 : a->~a,b->~b;4、a|b=1 : ~a->b,~b->a;5、a^b=0 : a->b,b->a,~a->~b,~b->~a;6、a^b=1 : a->~b,b->~a,~b->a,~a-&g 阅读全文

摘要： 题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1816思路：首先将每把钥匙i拆成两个点i和i+2n,分别表示选与不选,对于被分成n对的钥匙,由于只能选择其中的一把,所以加边(i,j+2n),(j,i+2n)对于每道门所对应的两把钥匙,两边中选一把，当i不选时，则必须选择j.反之，同理。所以加边(i+2n,j),(j+2n,i）.二分所能打开门的数量,再用2-sat来判断可行性 . http://paste.ubuntu.com/5976255/ 阅读全文

摘要： 题目链接：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思路：建图 阅读全文