摘要:
[关键字]:2-sat[题目大意]:http://poj.org/problem?id=3648//=====================================================================================================[分析]:http://blog.csdn.net/l04205613/article/details/6673512这个博客对于2-sat的题目总结的不错。[代码]:View Code #include<iostream>#include<cstring>#include 阅读全文
posted @ 2012-02-04 16:46
procedure2012
阅读(205)
评论(0)
推荐(0)
摘要:
[关键字]:2-sat[题目大意]:有n场婚礼,牧师可以在每场婚礼开始后的di分钟主持,也可以在结束前的di分钟主持,问是否有一种方案可以让牧师主持所有婚礼。//=====================================================================================================[分析]:2-sat求解方案的问题。把每场婚礼看成一组点(A,A'),然后对所有有矛盾的点处理:A->B'(A与B有矛盾)、A->B(A与B’有矛盾)……,然后利用2-sat求解,具体方法可见《由对称性解2- 阅读全文
posted @ 2012-02-04 16:28
procedure2012
阅读(441)
评论(0)
推荐(0)