文件名称:2-sat
介绍说明--下载内容均来自于网络,请自行研究使用
可以解决2sat问题,时间复杂度最坏的情况下是n*n-Can solve the 2-sat problem, time complexity worst case is n* n-sat问题,时间复杂度最坏的情况下是n*n-Can solve the 2-sat problem, time complexity worst case is n* n
(系统自动生成,下载前可以参看下载内容)
下载文件列表
2-sat.cpp
新建文本文档.txt