论文部分内容阅读
新疆阿克苏地区农户正规信贷约束与农业技术效率的分析
【出 处】
：
塔里木大学
【发表日期】
：
2021年01期
其他文献
可满足性问题（The Satisfiability Problem,SAT问题）是理论计算机科学中备受关注的重要问题。随机k-SAT问题中相变现象的理论分析和实验验证均表明,子句约束密度是一个影响公式可满足性的重要参数。当公式的子句约束密度接近相变点时可满足性问题是难以判断的,当远离相变点时可满足性问题是易于判断的。但正则（k,s）-SAT问题的NP完全性却表明,子句约束密度对可满足性问题求解难度