【摘 要】
：
由鸽巢原理定义的鸽巢公式PH nn＋1是著名的消解难例之一,研究该公式的结构和性质有助于其他难例的构造.证明了PH nn＋1是一个极小不可满足公式,根据其极小不可满足性,给出了最大
【基金项目】
：
国家自然科学基金(60863005,61111130186)
论文部分内容阅读
由鸽巢原理定义的鸽巢公式PH nn＋1是著名的消解难例之一,研究该公式的结构和性质有助于其他难例的构造.证明了PH nn＋1是一个极小不可满足公式,根据其极小不可满足性,给出了最大可满足真值指派的两种标准形式,Haken关于PH nn＋1的难解证明用到了其中一种标准形式.公式PH nn＋1具有良好的子结构同构性质,如果DPLL算法中允许使用同构规则,则存在PH nn＋1的反驳证明,其复杂性可以降至O（n^3）.
其他文献
随着人类社会步入全球化、信息化、知识化的时代,学习已经成为人们生存和发展不可或缺的条件,成为人们生活的重要方式。由于成人在社会经济和科技进步中发挥着主体力量的作用
目的探讨壮族地区中小学生心理健康状况及影响因素。方法对壮族地区3739名中小学生施测心理健康诊断测验(MHT)。结果①广西中小学生总分阳性检出率为1.75%,各维度阳性总检出
科学技术是一把双刃箭,它造福于人类的同时,又给人类的生存带来了危害。实现人与自然、人与社会、人与人之间的协调发展是科学技术的价值追求,造福于人类是它的价值目标,实现
车辙是渠化交通的高等级公路沥青路面的主要病害类型之一,另外,当车辙达到一定深度时,由于辙槽内积水,极易发生汽车漂滑而导致交通事故。车辙一般是在温度较高的季节,沥青路
从社会背景、主要影响因素、用户需求特点、图书馆的作用等方面对图书馆未来的发展环境进行了多层面的分析,在此基础上,重点考察了国内外图书馆的主要战略,在综合国外相关研
动力电池企业希望补贴政策两年一调“核电是目前唯一可以大规模代替煤炭,为电网提供稳定可靠电力的能源,在中国绿色低碳能源体系建设中不可或缺。”今年两会期间全国人大代表
在论述了荷电效应、损伤、边缘效应这三种常见的扫描电子显微镜图像缺陷的基础上,分析了其产生的原因及解决方法,并展示了其结果.
【正】马克思说过:“一切作为前提和条件的东西,在过程结束时则必然出现.“异化”思想,作为马克思建构其科学理论体系的一个起点,作为困扰有史以来无数智者的哲学难题,还有很
7月初，中国信息化百人会与德勤有限公司联合发布了《2016全球制造业竞争力指数》报告中文版。报告指出，2016年中国仍是全球最具竞争力的制造业国家。据报告统计，
日前,格力电器董事长董明珠请大家在不知品牌的情况下,分别品尝多款电饭煲煮的米饭并给出分数,最后格力“大松”击败了之前国人热捧的日本、韩国电饭煲,一战成名脱颖而出,再