2014年9月12日
2-Sat问题
摘要： 二分+2-Sat判断是否可行输出字典序最小的解输出字典序可行解其实这些都是小问题，最重要的是建图，请看论文。特殊的建边方式，如果a b是一对，a必须选，那么就是b->a建边。HDU 3062 Party模板题#include #include #include #include #include u... 阅读全文
posted @ 2014-09-12 11:12 Naix_x 阅读(222) 评论(0) 推荐(0) 编辑