期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
可满足性问题相变研究综述
1
作者 彭庆媛 王晓峰 +3 位作者 王军霞 华盈盈 唐傲 何飞 《计算机应用》 CSCD 北大核心 2024年第11期3503-3512,共10页
约束满足问题(CSP)是理论计算机科学领域的组合优化问题,可满足性问题(SAT问题)作为CSP中的一种特殊情形,是理论计算机科学、数理逻辑和人工智能等领域十分关注的热点问题。相变是SAT问题中存在的一种现象,而研究SAT问题的相变现象和相... 约束满足问题(CSP)是理论计算机科学领域的组合优化问题,可满足性问题(SAT问题)作为CSP中的一种特殊情形,是理论计算机科学、数理逻辑和人工智能等领域十分关注的热点问题。相变是SAT问题中存在的一种现象,而研究SAT问题的相变现象和相变机制对深入认识SAT问题的难解本质和一般数学现象以及设计更高效的算法求解SAT问题有重要的指导意义。因此,根据近年来国内外学者针对SAT问题的相变现象取得的一些重要研究成果,首先介绍了SAT问题相变的相关知识以及SAT问题的概率分析方法和实例生成模型,其次总结并分析了SAT问题的不可满足相变和可满足相变这两种相变的相变点求解方法和相变阈值,最后展望了SAT问题相变的研究趋势。 展开更多
关键词 可满足性问题 概率分析方法 实例生成模型 不可满足相变 可满足相变
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部