为了方便辨认，把cnf文件取名为k.v.c.cnf,例如，一个合取范式里有20个元素，40个子句，所以子句和元素的比例为2，这个文件名就为2.20.40.cnf。这些数据作为初步测试，测试结果的截图放在“第一步测试”文件夹中，测试结果表明，当k=2和3的时候，3SAT基本可解，但当k=4,5的时候，3SAT部分可解，当k=6的时候，3SAT基本不可解：结果如下：
上一篇：ASP.NET基于WCF的通用权限管理系统的设计与实现
下一篇：ASP.net+sqlserver在线留言板系统的设计与实现

浅谈高校行政管理人员的...

提高教育质量,构建大學生...

STC89C52单片机NRF24L01的无线病房呼叫系统设计

浅论职工思想政治工作茬...

酵母菌发酵生产天然香料...

压疮高危人群的标准化中...

上海居民的社会参与研究

从政策角度谈黑龙江對俄...

基于Joomla平台的计算机学院网站设计与开发

AES算法GPU协处理下分组加...