sat问题求解算法流程图_一个求解SAT问题的随机算法

一个求解SAT问题的随机算法

吴学江;许道云

【摘要】本文中引入了一个求解满足性问题的随机算法.在该算法中,利用CNF公式转换为其对偶式--DNF公式,通过对满足DNF公式的真值赋值数Y作出估计.根据Y与2n比较结果,对CNF公式的可满足性进行估计并对其满足性进行判断.【期刊名称】《贵州大学学报(自然科学版)》

【年(卷),期】2007(024)006

【总页数】5页(P555-559)

【关键词】SAT问题;随机算法;数学期望;NP完全问题

【作者】吴学江;许道云

【作者单位】贵州大学,计算机科学与技术学院,计算机科学系,贵州,贵阳,550025;贵州大学,计算机科学与技术学院,计算机科学系,贵州,贵阳,550025

【正文语种】中文

【中图分类】基础科学

第 24 卷第 6 期2007 年 11 月贵州大学学报(自然科学版) Joumalof GuizhouUniversity(NaturalSciences) Vol.24No.6Nov.2007文章编号1000-5269( 2007) 06-0555- 05一个求解 SAT问题的随机算法吴学江，许道云(贵州大学计算机科学与技术学院计算机科学系，贵州贵阳 550025 )摘要：本文中引入了一个求解满足性问题的随机算法。在该算法中，利用 CNF 公式转换为其对偶式-DNF公式，通过对满足 DNF 公式的真值赋值数 Y 作出估