Live2d Test Env
2017年11月16日
【整理】2-SAT
摘要： 2-satisfiability，我们一般将其缩写为 2-sat。 了解全名有助于我们对这个算法的理解。 百度翻译：‘satisfiability’ “可满足性，适定性”。 “合取范式可满足性问题（简称SAT问题）是一个NP完全问题。” “合取范式可满足性问题（简称SAT问题）是一个NP完全问题。” 阅读全文
posted @ 2017-11-16 17:11 nimphy 阅读(488) 评论(1) 推荐(1) 编辑