论文部分内容阅读
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。引入了一个饱和合取范式的概念，利用饱和合取范式的性质，对SAT问题的本质进行了研究。在此基础上，证明了一个SAT问题有解的充要条件．它为SAT问题完全算法和非完全快速算法的深入研究提供了一条新的思路。
一个SAT问题有解的充要条件
【摘 要】
：
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。引入了一个饱和合取范式的概念，利用饱和合取范式的性质，对SAT问题的本质进行了研究。在此基础上，证明了一个SAT问题有解
【机 构】
：
中山大学电子与通信工程系
【出 处】
：
中山大学学报：自然科学版
【发表日期】
：
2004年2期
【基金项目】
：
广东省自然科学基金重点项目资助(021753)
其他文献
经济转型实质是利益关系的调整。通过一系列调整，我国转型和发展的收益被快速分享，成本被分担，但同时也出现了成果分享不均和成本分摊不合理的现象。转型后期，必须修正“放权让利
改革开放30多年来，我国现代化建设取得了巨大成就，经济发展、创业致富成为时代主旋律，中国社会实现了历史性进步，改革开放被称为中国现代历史上最重要的事件。同时，我们也要看到，在
非税收入是政府参与国民收入分配和再分配所获得的收入，是政府收入的重要补充形式，在政府财政收入中所占比重较大。随着我国市场经济体制的逐步完善，非税收入快速增长，加强非税收
本文就互联网金融背景下大学生校园借贷的现状进行分析,对校园借贷在发展的过程中出现的伤害大学生身心健康和财产权益等问题进行研究,并针对各种问题提出科学的、稳妥的解决
在半经典密度矩阵理论的基础上，理论研究了多纵模CO2-9B(30)光泵小型腔式NH3分子远红外激光的spike尖峰现象，提出spike现象是由于AC Stark分裂的双光子过程产生竞争效应，导致一
在通信工程不断发展的背景下，通信工程监理行业也逐步成为人们关注的焦点。“互联网+”行动计划的提出给通信工程监理行业带来机遇，同时也暴露了该行业目前存在的问题。本文从
圆盘青钱柳Cyclocarya scutellata Guo为郭双兴（1979）建立于海南岛长昌盆地长昌组的新种，但根据果柄、果的大小以及所谓的“翅脉”等特征，作者认为郭双兴（1979）建立的“圆盘青钱柳C
为确保核废料运输安全以及长期耐久性，采用正交化配比设计，在混凝土中单掺和混掺钢纤维、聚丙烯纤维、粉煤灰，分别在常温下和受热150℃后进行弯曲韧性试验，通过极差和方差分析，量
俄罗斯与中国比邻而居山水相连，成为我国对俄贸易的桥头堡和枢纽站，近年来依托国家互联网+、大数据、云计算及供给政策改革等方针的指引，对俄跨境电商取得了飞速发展。但是大家
本文针对高速公路机械化施工组织的意义及其特点进行了论述，介绍了高速公路机械化施工的组织方法，最后提出了高速公路机械化施工的管理措施。