【摘 要】
：
通过构造适当的极小不可满足公式以实现在多项式时间内将3-CNF公式归约转换为一个正则(3,4)-CNF公式,转换后的公式与原公式具有相同的可满足性,同时公式的结构也发生相应的变
【基金项目】
：
国家自然科学基金(61762019)
论文部分内容阅读
通过构造适当的极小不可满足公式以实现在多项式时间内将3-CNF公式归约转换为一个正则(3,4)-CNF公式,转换后的公式与原公式具有相同的可满足性,同时公式的结构也发生相应的变化。图的社区结构反映了图的模块特性,文中将CNF公式转化为相应的图,研究公式图的模块特性与公式某些性质之间的关系。将归约前后的两类公式转换为相应的图并研究其模块特性,发现转换后得到的正则(3,4)-CNF公式具有较高的模块度。此外,在使用DPLL(Davis Putnam Logemann Loveland)算法求解CNF公式的过程
其他文献
代数知识是在算术知识的基础上发展起来的，其特点是用字母表示数，使数的概念及其运算法则抽象化和公式化。初中一年级刚接触代数时，学生要经历由算术到代数的过渡，这里的主要标志
设计4种胀接工艺方案用于集中式空调系统的管壳式热交换器,并进行胀接对比试验,结果显示:除不开槽一次胀接外,其余3种方案胀接节点均满足胀接要求,但在工作量和工作效率方面,
电力多经企业向“老乡”学点什么？王广庆，黄元生电力多经企业在快速发展中，始终面临着采用何种经营管理机制的问题。因为它是在电力主业扶持、资助之下诞生和成长的，始终要围绕主
随着新课改的实施，学生在体育课上的自主发展空间进一步加大，从而给我们的体育教学增加了不少安全隐患。因此，怎样提高学生的安全意识，避免安全事故发生是小学体育教学中的一项重
1物联网安全的重要性物联网系统领域涵盖甚广,涉及多种应用。在确保物联网设备向云系统报告真实数据方面,安全功能起着关键的作用。例如,由于缺乏安全监管导致了Mirai僵尸网络攻击事件的发生,黑客入侵了美国东北部闭路电视摄像监控系统的管理账户。黑客在摄像头中安装了恶意软件,使摄像头对互联网中的目录服务器发起了拒绝服务攻击,从而导致美国大部分地区的网络瘫痪数小时。
创造和培育良好的“小气候”高前元企业的思想政治工作，就其根本目的讲是要最大限度地调动和激发全体职工的社会主义劳动积极性，而积极性就其本意讲，是指人在社会活动中体力、智
本文着重分析再造烟叶纸机设备平均有效作业率的计算方法,介绍进行再造烟叶纸机设备平均有效作业率统计、分析的优势所在。
在技校体育教学中运用多媒体，为教学注入生机与活力，表现了强大的教学优势；但同时由于教师自身素养的影响，也给教学带来一些负面影响，成为教学的干扰源。以多媒体为代表的现代技术
我国粮食生产已经“十七连丰”,全国粮食总产量连续6年稳定在1.3万亿斤以上,口粮完全自给。但从中长期看,粮食供求仍将处于一种紧平衡态势,14亿人吃饭问题始终是头等大事。要
高血压是患病率较高的慢性疾病之一,也是心脑血管疾病的最重要危险因素。在《2018中国心脏康复与二级预防指南》里指出,心脏康复是防治心血管疾病的重要措施,其中高血压病也