首页 > 代码库 > 2-sat

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