论文部分内容阅读
本文中引入了一个求解满足性问题的随机算法。在该算法中，利用CNF公式转换为其对偶式——DNF公式，通过对满足DNF公式的真值赋值数Y作出估计。根据Y与2”比较结果，对CNF公式的可满足性进行估计并对其满足性进行判断。
一个求解SAT问题的随机算法
【摘 要】
：
本文中引入了一个求解满足性问题的随机算法。在该算法中，利用CNF公式转换为其对偶式——DNF公式，通过对满足DNF公式的真值赋值数Y作出估计。根据Y与2”比较结果，对CNF公式的可
【机 构】
：
贵州大学计算机科学与技术学院计算机科学系
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
2007年6期
【基金项目】
：
贵州省自然科学基金项目（黔科合J字[2007]2003号）
其他文献
随着信息时代的发展,以计算机盘片、磁盘和光盘等化学磁性材料为载体的文字材料即电子文件,应用越来越广泛。电子文件主要包括电子文书、电子信件、电子报表、电子图纸等等。
真皮下血管网皮瓣（ＳＶＮＦ）是继游离皮瓣、肌皮瓣和筋膜皮瓣之后出现的又一类型的皮瓣。自临床应用以来［１］，不仅效果优于皮片移植和传统皮瓣移植而受到修复外科和创伤外科的普遍重视，且因其
在非空集合上引入各种关系，目的在于对集合中的元素信息进行研究时，可以借助于关系从其它元素的信息得到帮助。关系的性质是对关系进行限制，性质的闭包是对不具有指定性质的关系
针对技工学校学生的实际情况和为适应劳动力市场的需求，加强培养学生创新能力，提高学生的素质，每一位职业教育工作者都有着义不容辞的责任。在《电子技术基础》课堂创新教学中，我
本文主要从我国刑事诉讼价值取向、司法体制、法律制度等诸多方面作为出发点,经分析,认为目前在我国确定沉默权制度还存在一定的障碍,针对我国目前的司法实际、司法体制、公
利用紫外吸收光谱法、荧光光谱法及核磁共振技术考察了瓜环与香料吲哚的分子包结。实验表明，主客体相互作用时，吲哚分子进入瓜环的空腔，形成主客体物质的量之比为1：1的分子胶囊；热
自１９８３年日本学者Ｓｕｇｉｕｒａ等报道经皮乙醇肝内注射治疗肝癌［１］以来，经过国内外学者努力，已积累了丰富经验（２～１１），但是，迄今尚无直观可靠的ＣＴ评价方法。有鉴于此，自１９９５年４月，作者设计了一种兼具治疗和ＣＴ评价技术。