论文部分内容阅读
可满足性问题是计算机和人工智能领域内的一个重要的问题，是第一个被证明是NPC的问题。本文主要把子句集进行分类，给出翻转定义、简单集定义，翻转同构定义，并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。
可满足性问题的充分必要条件
【摘 要】
：
可满足性问题是计算机和人工智能领域内的一个重要的问题，是第一个被证明是NPC的问题。本文主要把子句集进行分类，给出翻转定义、简单集定义，翻转同构定义，并且证明翻转同构不改
【机 构】
：
淮海工学院数理科学系
【出 处】
：
中国西部科技
【发表日期】
：
2007年9期
【基金项目】
：
淮海工学院校内基金（项目号：1200532）
其他文献
目的：探讨急性高原肺水肿的特殊临床病理特点和发生心律失常时安全有效的治疗方法。方法：对急性高原肺水肿患者47例进行回顾性调查分析。结果：发现急性高原肺水肿患者心动过速发
尊敬的王勇副主任，各位领导、各位董事、同志们：$$ 今天，国资委隆重召开中国铁建董事会试点工作会议，标志着中国铁建董事会试点工作进入了实质性启动的新阶段。刚才，王勇副主任
报纸
全球医学科技和信息技术的突飞猛进,推动了医疗市场的快速发展。而我国医疗卫生体制改革的逐步深入,又加剧了医院的市场竞争压力。湖南省儿童医院作为省内儿科医疗领导品牌,
针对和睦山铁矿通风系统存在的问题,开展了分区采矿、分区进风、集中回风的通风系统优化研究。通过合理匹配两个分区之间的回风机站风机,提出了分区进风用风、集中回风的通风
目的：探讨组织间插植放疗复发性宫颈癌的近期疗效及毒副反应。方法：选取中晚期宫颈癌局部复发患者15例,行组织间放射治疗。结果：15例复发性宫颈癌患者中,完全缓解11例（73.3%）,部分
近7年收治新生儿产伤150例，对产伤的相关因素进行分析，为预防和减少新生儿产伤的发生提供参考。
目的：2型糖尿病可出现多种并发症,糖尿病足是其中之一,可能存在血液和免疫学方面异常。本文的目的在于比较2型糖尿病足患者和正常对照者血液和免疫学方面是否存在异常。方法：将
先天性心脏病（CHD）是胎儿期心脏及大血管发育异常而致的先天畸形,是小儿最常见的心脏病。脑积水是过量的脑脊液产生高压,因而扩大正常脑积液所占有的空间,特征是头颅大而且增长