如何通过长尾关键词优化2Sat问题求解的算法效率？

本文共计209个文字，预计阅读时间需要1分钟。

关于2-SAT，其实它就是一些仅对每个问题有两种可能解的问题。通常会给出问题之间的关系，比如and、or、not等关系，来判断是否存在解。具体可以参考http://blog.csdn.net/jar/2Sat小结+关于2-sat，了解更多信息。

关于2-sat，其实就是一些对于每个问题只有两种解，一般会给出问题间的关系，比如and，or，not等关系，判定是否存在解的问题。。具体看http:blog.csdn.netjar 2Sat小结 关于2-sat，其实就是一些对于每个问题只有两种解，一般会给出问题间的关系，比如and，or，not等关系，判定是否存在解的问题。。具体看http:blog.csdn.netjar