将SAT还原为2- SAT
Reducing SAT to 2-SAT
摘要：
描述了一个多项式时间减少SAT到2-SAT的多项式大小。
英文摘要：
Description of a polynomial time reduction of SAT to 2-SAT of polynomial size.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
Khot-Saket超图着色硬度约简中的一致性约简
Reducing uniformity in Khot-Saket hypergraph coloring hardness reductions
在最近的结果中，Khot和Saket [FOCS 2014]证明了用$2^{(\log n)^{Ω(1)}}$颜色着色2-可着色的12-均匀超图的准NP-硬度。使用一种新的外部PCP验证器证明了这一结果，该外部PCP验证器具有很强的可靠性保证。在本文中，我们表明，我们可以减少他们的结果的arity，通过修改他们的12-查询内部验证到一个8-查询内部验证的基础上超图着色硬度约简Guruswami等。[STOC 2014]。更确切地说，我们证明了以下问题的拟NP-困难的n-顶点超图。- 用$2^{(\log n)^{Ω(1)}}$色着色一个2-可着色的8-均匀超图. - 用$2^{(\log n)^{Ω(1)}}$色着色4-可着色4-均匀超图。
cs.CC
3- SAT问题的Buchberger算法化约
A reduction of 3-SAT problem to Buchberger algorithm
有许多已知的NP类问题，其中大多数已被证明是等价的。特别是现在很清楚，建设一个格罗布纳基（或布赫伯格算法）必须是一个等价的问题，但没有例子。在下面的文件中，减少构造。
cs.CC
一种O（logn）查询时间的近似近邻约简算法
An Algorithm for Reducing Approximate Nearest Neighbor to Approximate Near Neighbor with O(logn) Query Time
本文提出了一种将近似近邻问题约化为近似近邻问题的新算法。这个算法的优点是它达到了O（log n）的查询时间。作为一个约简问题，其真正的时间复杂度是调用近似近邻算法的次数。以往的算法都需要polylog（n）的查询时间。本文采用Vaidya提出的一种盒子分割方法，实现了O（log n）的查询时间复杂度。
cs.CCcs.CGcs.DS
标号图和子树同构上从公式SAT到模式匹配的简单约简
Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism
CNF公式可满足性问题（CNF-SAT）在强指数时间假设（SETH）下被简化为P中的许多基本问题，以证明紧下界。最近，Abboud、Hansen、Vassilevska W.和Williams（STOC 16），以及后来的Abboud和Bringmann（ICALP 18）提出了基于一般布尔公式可满足性（Formula-SAT）的硬度的下界。从公式-SAT的约简比从CNF-SAT的通常约简有两个优点：（1）公式-SAT的困难性的说明可以说比CNF-SAT的更合理，（2）这些约简甚至对问题上界的对数改进给出了结果。在这里，我们给紧减少公式SAT的两个问题：模式匹配标记图（PMLG）和子树同构。以前从公式SAT的减少是序列比对问题，如编辑距离，LCS和弗雷歇距离，需要一些技术工作。本文使用了与以前类似的想法，但在一个明显更简单的设置，有助于说明底层技术的最显着特征。
cs.CCcs.DS
将随机游戏还原为半定程序可行性
Reducing Stochastic Games to Semidefinite Program Feasibility
TU Dresden（德累斯顿工业大学）；FU Berlin（柏林自由大学）；U Twente（特温特大学）；LAAS-CNRS, Université de Toulouse, CNRS（图卢兹大学/法国国家科学研究中心拉塞拉斯实验室）
通过多项式时间还原，将随机游戏问题转化为半定程序可行性问题，扩展了半定规划在博弈论中的应用范围。
cs.CCcs.GTmath.OC
树宽感知的普通ASP到SAT的还原--普通ASP到底比SAT难吗？
Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?
TU Wien（维也纳工业大学）
答案集编程（ASP）是一种用于建模和解决知识表示和推理问题的范式。有大量的结果致力于研究（片段）ASP的硬度。到目前为止，这些研究导致了计算复杂性方面的特征，以及以二分法结果形式呈现的细粒度见解，转换为其他形式主义（如命题可满足性（SAT））时的下限，甚至详细的参数化复杂性景观。一个通用参数的参数化复杂性起源于图论是所谓的树宽，在某种意义上捕捉程序的结构密度。最近，与SAT相关的基于树宽的求解器的数量有所增加。虽然有从（正常）ASP到SAT的转换，但没有保留树宽或至少跟踪树宽增加的减少是已知的。在本文中，我们提出了一种新的减少从正常的ASP SAT是知道的树宽，并保证树宽略有增加确实是足够的。此外，我们展示了一个新的结果，建立，当考虑树宽，已经正常ASP的片段是略难比SAT（在合理的假设下，计算复杂性）。这也证实了我们的减少可能无法显着改善，树宽的轻微增加是不可避免的。最后，我们提出了一个实证研究，我们的新减少正常ASP SAT，在那里我们比较树宽上界，通过已知的分解算法。总的来说，我们的缩减比现有的翻译更适合这些翻译。
cs.AIcs.CCcs.LO
