%0 Journal Article
%T Research on satisfiability threshold of class of Boolean equations<br>一类布尔方程组的可满足性阈值研究*
%A GUO Bing-hui
%A WEI Wei
%A ZHENG Zhi-ming
%A <br>郭炳晖
%A 韦卫
%A 郑志明
%J 计算机应用研究
%D 2010
%I 
%X This paper focused on the satisfiability threshold of the NP problem which consisted of a class of Boolean equations.By the method of mixing Gauss-elimination algorithm and leaf-removal algorithm,proposed a new effective complete algorithm to achieve the solutions.Obtained the estimation of the satisfiability threshold of the original problem by numerical experiments on large scale of instances with different parameter values.The results not only approximate the satisfiability threshold firstly,but also provide the basis to design heuristics algorithms for NP problems with the form of Boolean equations.
%K Boolean equation
%K NP problem
%K satisfiability
%K threshold estimation
%K algorithm design<br>布尔方程组
%K NP问题
%K 可满足性
%K 阈值估计
%K 算法设计
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=338F952DEBCAA6B9775CA8EE4EE56F49&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=F3090AE9B60B7ED1&sid=D4E16ED3D1F5A1E5&eid=75524817BDE8621F&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=12