【摘 要】
：
通过构造适当的极小不可满足公式以实现在多项式时间内将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中国心脏康复与二级预防指南》里指出,心脏康复是防治心血管疾病的重要措施,其中高血压病也