首页/论文/1504.00337

arXiv 1504.003372015-04cs.CC

了解SAT是在P

Understanding SAT is in P

Alejandro Sanchez Guinea

备注：: 10 pages, the paper is completely changed from previous versions while the main idea is the same, correctness and time complexity proofs are included

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们介绍的想法，一组条款的理解作为一个令人满意的真理分配解释的上下文中的文字条款。按照这个想法，我们提出了一个机械的过程，获得，如果它存在的话，理解相对于3-SAT问题的实例中的每个文字的上下文的基础上，在实例中，否则它确定没有存在。我们证明了我们的过程是正确的，有效的解决3-SAT。

英文摘要：

We introduce the idea of an understanding with respect to a set of clauses as a satisfying truth assignment explained by the contexts of the literals in the clauses. Following this idea, we present a mechanical process that obtains, if it exists, an understanding with respect to a 3-SAT problem instance based on the contexts of each literal in the instance, otherwise it determines that none exists. We demonstrate that our process is correct and efficient in solving 3-SAT.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

单调3-Sat-4是NP完全的

Monotone 3-Sat-4 is NP-complete

单调3-Sat-4是合取范式中布尔公式可满足性问题的一个变体。在这个变体中，每个子句正好包含三个字面值-要么全部是正数，要么没有正数，即，没有一个子句同时包含一个正的和一个负的文字-并且每个变量在公式中最多出现四次。此外，每个子句由三个不同的文字组成。我们证明了单调3-Sat-4是NP完全的。

2016-03-25cs.CC

1/3 SAT的精确算法

An exact algorithm for 1-in-3 SAT

1-in-3 SAT是3-SAT\的NP完全变体，其中满足“子句”当且仅当满足其三个字面量中的一个。本文提出了一个精确的算法，在时间上求解\oit\$O^*(1.260^n)$。

2013-07-29cs.CC

某些SAT问题“易解性”的一个判据

A criterion for "easiness" of certain SAT problems

一个广义的1-in-3SAT问题的定义和发现是在复杂性类P时，限制到某个子集的CNF表达式。特别地，当被限制为具有相等数目的子句（m）和变量（n）并且没有纯文字的精确READ-3公式时，可以在多项式时间内判定对每个子句的文字数目没有限制的1-in-kSAT。也可以检查单个实例是否容易相对于给定的SAT问题。通过识别整个类的公式是可有效解决的方法也可能是感兴趣的互补搜索硬的情况。

2017-07-01cs.CCcs.LO

无约束随机SAT中的相变

Phase Transition in Unrestricted Random SAT

对于具有m个子句、n个变量且每个子句的文字数量不受限制的随机CNF公式，对于大n，可以准确确定从高可满足性到低可满足性的转变。临界密度m/n是强n依赖的，ccr = ln（2）/（1-p）^^n，其中pn是每个子句的正文字的平均数，这与限制随机SAT问题（随机K-SAT）相反，在限制随机SAT问题中，临界比率m/n是常数。所有的过渡线都是通过应用于公式的解数N的二阶矩方法计算的。与随机K-SAT相比，该方法对于无限制模型不会失败，因为解之间的长程相互作用不会被无序切断。

2012-04-07cs.CCmath.LO

线性平面3-SAT及其在规划中的应用

Linear Planar 3-SAT and Its Applications in Planning

本文定义并证明了结合线性与平面特征的Linear Planar 3-SAT的NP完全性及其重构问题的PSPACE完全性，并将结果应用于证明两类多智能体路径规划问题的复杂度。

2025-06-17cs.CC

打破PPSZ障碍，获得独特的3- SAT

Breaking the PPSZ Barrier for Unique 3-SAT

Paturi、Pudlák、Saks和Zane（FOCS 1998）提出的PPSZ算法是（Promise）Unique k-SAT已知的最快算法。我们给出了一个改进的算法与指数更快的界限唯一的3-SAT。对于唯一可满足的3-CNF公式，我们做以下情况区分：我们称一个子句为临界的，如果只有一个文字被唯一满足的赋值所满足。如果一个公式有许多关键子句，我们观察到PPSZ本身已经更快了。如果只有几个子句，我们使用Wahlström（ESA 2005）的算法，在这种情况下比PPSZ更快。否则，我们就得到了一个公式，其中有很少的关键条款和许多非关键条款。非关键条款至少有两个字面满意，我们将展示如何利用这一点，以提高PPSZ。

2014-02-17cs.CCcs.DS

更多相关论文收起更多论文

SARRIGUREN：一种针对具有相对密集子句的随机 $k$-SAT 的多项式时间完备算法

SARRIGUREN: a polynomial-time complete algorithm for random $k$-SAT with relatively dense clauses

本文提出基于子句计数的SAT完备算法SARRIGUREN，利用子句重叠特性在相对密集子句的随机$k$-SAT中实现多项式时间复杂度，并辅以两种互补算法求解，拓宽了对$k$-SAT问题的认知。

2025-04-07cs.CCcs.DS

Weighted d-CNF可满足性随机搜索的固定参数算法

A Fixed-Parameter Algorithm for Random Instances of Weighted d-CNF Satisfiability

University of British Columbia Okanagan（不列颠哥伦比亚大学奥肯那根分校）

研究了加权$d$ -CNF可满足性问题（加权$d$ -SAT）的随机情形，这是一个一般的W[1]-完全问题.该问题的随机实例由固定参数$k$和随机$d$-CNF公式$\weicnf{n}{p}{k, d}$组成，该公式如下生成：对于$d$变量的每个子集，以概率$p$，从包含至少一个否定字面值的$2^d - 1$子句中均匀随机地选择$d$变量上的子句。我们证明了加权$d$ -SAT的随机实例可以在$O(k^2n + n^{O(1)})$ -时间内以高概率求解，表明在这种实例分布下的加权$d$ -SAT的典型实例是固定参数可处理的。该结果也适用于模型$\weicnf{n}{p}{k,d}(d')$的随机实例，其中禁止包含小于$d' (1 < d' < d)$否定字面值的子句，以及在随机模型的参数$p(n)$的一定范围内的加权$d$-SAT的重整化（小型化）版本的随机实例。这一点，加上我们以前的结果的阈值行为和分辨率复杂性的$\weicnf{n}{p}{k, d}$不可满足的实例，提供了一个几乎完整的表征加权$d$ -SAT的随机实例的典型情况下的行为。

2008-06-28cs.AIcs.CCcs.DS

关于具有$k$元独立子句的随机$3$-SAT公式的可满足性

On the satisfiability of random $3$-SAT formulas with $k$-wise independent clauses

该研究探讨随机$3$-SAT公式在子句满足$k$元独立性而非完全独立时的可满足性阈值，旨在为不同参数$n$、$m$、$k$下的公式可满足性提供一般性结论。

2024-11-06cs.CCcs.DMmath.CO

求最大汉明距离的快速指数时间算法X3SAT

A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT

X3 SAT是一个问题，是否可以满足一组给定的子句，其中最多有三个文字，使得在每个子句中，只有一个文字为真，其他文字为假。一个相关的问题是确定实例的两个解之间的最大汉明距离。Dahllöf提供了一个最大汉明距离XSAT的算法，它比X3 SAT的相同问题更复杂，运行时间为$O(1.8348^n)$ ; Fu，Zhou和Yin考虑了X3 SAT的最大汉明距离，并为这个问题找到了一个运行时间为$O(1.6760^n)$的算法。本文提出了一种在$O(1.3298^n)$时间内求解最大汉明距离X3 SAT问题的算法，该算法实际上是对每个$k$计算具有汉明距离$k$的解对的个数.

2019-10-03cs.CCcs.DS

正1-in-3-SAT允许非平凡核

Positive 1-in-3-SAT admits a non-trivial Kernel

我们说明了代数方法的强度，适应高斯消元和替换的问题的确切布尔可满足性。对于1-in-3 SAT与非否定的文字，我们能够获得相当小的等价的0/1的编程实例仅限于平等。高斯消元和替换都可以用在处理步骤中，然后对由此获得的内核进行一种类型的蛮力方法。我们的方法表明，1-in-3 SAT的阳性实例可以减少到显著更小的I.P.E.实例。在以下意义上。$|V|$变量和$|C|$子句的任何这样的实例可以被多项式时间简化为0/1等式编程的实例，其大小至多为$2/3|V|$变量和至多为$|C|$子句。我们得到了一个上限的计数，$O(2κr 2^{(1-κ) r})$的变量数$r$和条款变量比$κ$的复杂性。我们继续正式定义的概念，一个非平凡的内核，定义被认为是约束满足问题的问题。我们得出结论，显示这里提出的方法，给出了一个非平凡的内核为正1-3 SAT，意味着存在一个非平凡的内核为1-3 SAT。

2020-10-30cs.CC

一个新的Max-2-Sat上界：图论方法

A New Upper Bound for Max-2-Sat: A Graph-Theoretic Approach

在{ \sc MaxSat}中，我们要求一个赋值满足CNF中布尔公式的最大子句数。我们提出了一个算法，产生运行时间上界的$O^*(2^{\frac{1}{6.2158}})$为{ \sc Max-2-Sat}（每个子句包含最多2个文字），其中$K$是子句的数量。运行时间已经通过使用启发式优先级的选择上的变量，我们的分支。这些启发式优先级的实现相当简单，尽管它们对运行时间有显著的影响。该分析是使用定制的非标准措施。

2008-04-07cs.CCcs.DMcs.DS

非布尔域上Promise SAT的复杂性

The complexity of promise SAT on non-Boolean domains

3-SAT是NP难问题，2-SAT在多项式时间内是可解的。Austrin、Guruswami和Håstad证明了一个被称为“$(2+\varepsilon)$ -SAT是NP难的”的结果[FOCS'14/SICOMP'17]。他们证明了区分g-可满足的k-CNF公式（即某些赋值在每个子句中至少满足g个文字）和甚至不是1-可满足的k-CNF公式的问题是NP-难的，如果$\frac{g}{k} < \frac{1}{2}$，否则在P中。我们研究了任意有限域上的SAT的推广，与条款是一元约束的析取，并建立类似的行为。因此，我们给出了一个二分法的一个自然片段的承诺约束满足问题（PCSP）的任意有限区域。硬度侧证明使用代数方法，通过一个新的通用NP-硬度标准的多态性的问题，基于一个缺口版本的分层标签覆盖问题。我们表明，以前使用的标准是不够的-因此，这个问题给出了一个有趣的基准代数技术证明硬度的近似问题，如PCSP。

2021-04-06cs.CCcs.DM