论文部分内容阅读
植物乳杆菌发酵苦荞酸面团中蛋白质降解规律及其营养饼干的制备
【出 处】
：
上海应用技术大学
【发表日期】
：
2021年01期
其他文献
可满足性问题（The Satisfiability Problem,SAT问题）是理论计算机科学中备受关注的重要问题。随机k-SAT问题中相变现象的理论分析和实验验证均表明,子句约束密度是一个影响公式可满足性的重要参数。当公式的子句约束密度接近相变点时可满足性问题是难以判断的,当远离相变点时可满足性问题是易于判断的。但正则（k,s）-SAT问题的NP完全性却表明,子句约束密度对可满足性问题求解难度