2-sat

标签：

时间很紧……没办法写总结……

切了poj6题和bzoj2题，总的来说这个东西不难，而且变形也不多。主要是要会建图，建图的话要找到每个东西的两种状态，然后再对限制条件建边。

推荐博客：http://blog.csdn.net/jarjingx/article/details/8521690（废话多但是里面总结的挺到位的，特别是建边四种模型，建议先看论文和课件再看这个博客）

然后也不多了……也就是最后答案是否要输出？如果不用就直接判断，如果用那是否需要字典序最小，如果不需要那就拓扑直接搞，如果需要就直接暴力染色判断（没写过但是白书里面有而且翻到两个大神的代码似乎还不错？：http://blog.csdn.net/u013532224/article/details/39739959；http://blog.163.com/shengrui_step/blog/static/20870918720141201262750/……）

更多的有时间再来吧……

就不吐槽最近的进度，而且小高一一来机房好吵！！！

2-sat

标签：

原文地址：http://www.cnblogs.com/Macaulish/p/4185683.html