$\text{k-SAT}$:有 $n$ 个变量,$k$ 种取值;$m$ 个 $\text{bool}$ 条件,每个条件至多涉及两个变量;求 $n$ 个变量的一组取值,使得它满足这 $m$ 个条件。
当 $k > 2$ 的时候,这是一个 $\text{NP}$ 问题,且是第一个 $\text{NP}$ 问题。
$\text{P}$ 问题:有一种与输入规模成多项式关系的算法,其中这里 $\text{log}$ 也算多项式算法。
$\text{NP}$ 问题:还不知道有没有 $↑$ 的问题。
归约:两个问题之间可以通过多项式的时间来互相转化,比如比大小和排序。
$\text{NP}$ 问题之间都存在归约关系。
证明一个 $\text{NP}$ 问题有多项式算法即可证明 $\text{NP = P}$。
$\text{2-SAT}$ 问题中,每个变量只有两种取值,因此可以简单看为 $true$ 和 $false$。
$\text{2-SAT}$ 有 $7$ 种情况($A \to A = true$,$not\ A \to A = false$)。
① $A\ =\ true$;
② $A\ =\ false$;
③ $A\ and\ B\ =\ false$;
④ $A\ or\ B\ =\ true$;
⑤ $A\ or\ (not\ B)\ =\ true$;
⑥ $A\ xor\ B\ =\ true$;
⑦ $A\ xor\ B\ =\ false$;
标签:false,text,多项式,NP,true,SAT 来源: https://www.cnblogs.com/louis660/p/16632671.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。