论文部分内容阅读
入境水处理菌剂的符合性检验和安全性评价
【出 处】
：
上海应用技术大学
【发表日期】
：
2020年01期
其他文献
可满足性问题（The Satisfiability Problem,SAT问题）是理论计算机科学中备受关注的重要问题。随机k-SAT问题中相变现象的理论分析和实验验证均表明,子句约束密度是一个影响公式可满足性的重要参数。当公式的子句约束密度接近相变点时可满足性问题是难以判断的,当远离相变点时可满足性问题是易于判断的。但正则（k,s）-SAT问题的NP完全性却表明,子句约束密度对可满足性问题求解难度