Questions tagged «satisfiability»

我是一名对计算机科学感兴趣的高二学生。我为#SAT开发了一个很酷的算法，并且正在实施和进行一个科学展览项目。我的顾问是我学校最好的科学老师，也是AP Comp Sci老师，她告诉我，她完全不知道我的项目是什么，我需要简要向她解释为什么#SAT是在5分钟内很重要。我告诉她SAT简化为#SAT，并试图解释SAT为什么重要的原因：我给了她一些NP问题的例子，解释了她NP中的问题如何归结为SAT，并解释了如何通过二分搜索将某些优化问题归结为SAT ，它使您可以折叠蛋白质并建立强大的AI模型。不幸的是，她根本不了解我。你能给我一些建议吗？ PS我的顾问问我，哪些有用的问题减少到#SAT，哪些没有减少到SAT（假设#P中的某些问题比相应的NP版本难一些）。我所能想到的就是找到给定数据集比给定模型更好的模型（假设模型的每个参数小于给定位数）。我在网上寻找其他人，但找不到任何我能理解的东西。还有其他好的应用程序吗？

9 algorithms  satisfiability 

Valiant＆Vazirani证明，在多项式时间的随机概率减少下，SAT可还原为UNIQUE SAT。Calabro 等。表明UNIQUE k-SAT与k-SAT一样硬。现在的问题是，如果有人表明UNIQUE k-SAT在P中，是否意味着P = NP？ 参考文献 LG Valiant和VV Vazirani：“ NP就像检测独特的解决方案一样容易。” 理论计算机科学 47：85–93，1986。（PDF，ScienceDirect）。 C. Calabro，R。Impagliazzo，V。Kabanets和R. Paturi，“独特的k-SAT的复杂性：k-CNF的隔离引理”。 [计算机与系统科学学院 74（3）：（386-393，2008. PDF在ACM数字图书馆，免费的PDF）。

9 complexity-theory  satisfiability  p-vs-np 

我想知道这个问题是否有名字： 给定一个简单的图，其边缘被着色为红色，蓝色和绿色，，是否存在一个顶点着色使得每个边缘都有一个具有相同颜色的端点？Ç ：V → { 乙，- [R ，G ^ }G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} 此外，这是否已知是NP完全的？ 这也可以看作是CSP的一种特例（或2SAT的概括），其中每个约束是2个变量的析取，可以采用三个值之一，并且同一变量对上没有两个约束。

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

让是所有的语言 -cnf公式，使得至少的的条款可被满足。 2 φ （1大号ϵ大号ϵL_\epsilon222φφ\varphiφ（12+ ϵ ）（1个2+ϵ）(\frac{1}{2}+\epsilon)φφ\varphi 我需要证明存在 ST是 -hard任何。大号ε Ñ P ε &lt; ε 'ϵ′ϵ′\epsilon'大号ϵ大号ϵL_\epsilonñ PñP\mathsf{NP}ϵ &lt; ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' 我们知道简可以使近似于子句的百分之几。我该如何解决呢？55最多2 周六马克斯2周六\text{Max}2\text{Sat}最大3星期六55565556\frac{55}{56}最多3 周六马克斯3周六\text{Max}3\text{Sat}

9 complexity-theory  satisfiability  approximation