可满足性问题的充分必要条件

• 作者: 郭成
• 来源期刊: 中国西部科技
• 学科: 数学
• 关键词: 子句集 赋值 模 简单集 翻转 翻转同构
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 应用数学1
• 页码范围: 112-114
• 页数: 3页
• 分类号: O29
• 字数: 3268字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-6396.2007.12.050

摘要

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题.本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性.论文证明了可满足子句集的三个充要条件.并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭成	淮海工学院数理科学系	5	19	3.0	4.0