文件名称:2-sat
介绍说明--下载内容均来自于网络,请自行研究使用
所为2-sat问题,就是2判断问题。该算法是用拆点的方式建图,用找强连通子图的方法推出矛盾,用以判断2-sat是否可行。经典实现,-2-sat, is a matter of judgment. The algorithm is used to find a demolition point built strongly connected subgraph launched contradictions, used to determine whether the 2-sat. Classic achieve
(系统自动生成,下载前可以参看下载内容)
下载文件列表
2-sat.txt