关于SAT问题物理模型猜想的一个反例

• 作者: 赵孝武 黄文奇
• 来源期刊: 华中理工大学学报(自然科学版)
• 学科: 工学
• 关键词: 合取范式 可满足性 势能函数
• 年，卷（期）: 2000,（11）
• 页码范围: 25-27
• 页数: 3页
• 分类号: TP301|O242
• 字数: 3178字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2000.11.010

摘要

针对关于SAT问题物理模型的一个猜想，得到了该猜想成立的必要条件.然后构造出反例，说明该猜想是不成立的.同时指出，考虑到"算法吸引区"的存在，这并不降低应用该物理模型求解SAT问题的良好的现实效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵孝武	华中理工大学计算机科学与工程学院	1	8	1.0	1.0
2	黄文奇	华中理工大学计算机科学与工程学院	1	8	1.0	1.0