首页/论文/cs/0211036

arXiv cs/02110362002-11-26cs.DMcs.CC

典型随机3- SAT公式及其可满足性阈值

Typical random 3-SAT formulae and the satisfiability threshold

Olivier Dubois, Yacine Boufkhad, Jacques Mandler

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文提出了一种新的结构（或句法）方法来估计随机3-SAT公式的可满足性阈值。我们证明了它的效率，在获得一个跳跃从以前的上限，降低到4.506。该方法与其它技术结合得很好，也适用于其它问题，如随机图的3-着色性。

英文摘要：

We present a new structural (or syntatic) approach for estimating the satisfiability threshold of random 3-SAT formulae. We show its efficiency in obtaining a jump from the previous upper bounds, lowering them to 4.506. The method combines well with other techniques, and also applies to other problems, such as the 3-colourability of random graphs.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

布尔可满足性问题的线性规划形式

Linear Programming Formulation of the Boolean Satisfiability Problem

在本文中，我们提出了一种新的，基于图的建模方法和多项式规模的线性规划（LP）制定的布尔可满足性问题（SAT）。最后通过一个数值例子说明了该方法。

2016-10-20cs.CCcs.DM

一类看似难处理的随机约束满足问题的可满足性阈值

The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem

我们确定一个特定的NP完全约束满足问题（CSP）的随机实例的可满足性的确切阈值。这是第一个随机CSP模型，我们已经确定了一个精确的线性可满足性阈值，密度接近该阈值的随机实例似乎是计算困难的。更正式地说，它是第一个已知可满足性阈值的随机CSP模型，并且与随机k-SAT（k >= 3）共享以下特征。该问题是NP-完全的，满足性阈值出现在子句数为线性时，并且具有线性子句数的一致随机实例渐近几乎必然具有指数分解复杂度。

2012-02-03cs.DM

随机3- SAT的可满足性阈值至少为3.52

The Satisfiability Threshold of Random 3-SAT Is at Least 3.52

我们证明了一个子句变量密度小于3.52的随机3-SAT实例是高概率可满足的。证明是通过一个算法来选择（和设置）一个变量，这取决于它的程度和它的补充。

2003-10-22cs.DMmath.COmath.PR

评估可满足性

Estimating Satisfiability

对给定CSP的可满足实例的比例估计问题（约束满足问题）可以通过加权来解决。它包括在每个解决方案上放置一个基于其邻域的非负实值，使得每个可满足实例的总权重至少为1。本文定义了一个一般的加权方案，用于一般CSP的可满足性估计。首先，我们给出加权系统正确的一些充分条件。然后，我们证明了该方案允许将Maneva和Sinclair（2008）获得的3-SAT中非平凡核存在性的上界改进为4.419。另一种更常见的估计可满足性的方法是排序。这包括在域上放置一个全序，它以一种防止回路出现的方式在相邻解之间引入一个方向，然后只计算最小的元素。我们比较了各种条件下的排序和加权。

2011-03-16cs.DM

随机正则符号SAT公式的可满足性

On the satisfiability of random regular signed SAT formulas

正则有符号SAT是著名的可满足性问题的一个变体，其中变量可以取固定集合V \subset [0，1]中的值，并且“文字”具有“x \le a”或“x \ge a”的形式。我们回答了一些关于随机正则符号k-SAT公式的公开问题：随机公式可满足的概率随着|V|的增加而增加;子句m与变量n的比率m/n有一个恒定的上限，超过这个上限，随机公式几乎永远不会满足;对于k=2和V=[0，1]，在m/n=2处有一个相变。

2011-12-06cs.DMmath.CO

超过k-XORSAT的可满足性阈值

Satisfiability thresholds beyond k-XORSAT

我们考虑随机系统的方程x_1 +. + int x_k = a; 0 <= a <= 2被解释为模3的方程：我们证明了对于k >= 15，这样的系统的可满足性阈值出现在2-核心的密度为1的地方：我们对4个元素上的随机唯一可扩展约束给出了类似的结果。我们的结果扩展了Dubois/Mandler的方程mod 2和k = 3和Connamacher/Molloy的唯一可扩展的约束在一个域上的4个元素，k = 3参数以前的结果。我们的证明技术是基于方差计算，使用的技术介绍Dubois/Mandler。然而，还需要几个额外的观察结果（具有独立意义）。

2011-12-09cs.DM

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

关于随机可满足性公式的解数集中问题

On the concentration of the number of solutions of random satisfiability formulas

设$Z(F)$为随机$k$ -可满足性公式$F$的解的个数，其中变量为$n$，子句密度为$α$ .假设$F$不可满足的概率是$\e>0$的$O(1/\log(n)^{1+\e})$。我们表明，（可能不包括一个可数集的“例外”$α$的）解决方案的数量集中在对数尺度，即，存在非随机函数$ϕ(α)$，使得对于任何$δ>0$，$(1/n)\log Z(F)\in [ϕ-δ,ϕ+δ]$具有高概率。特别地，该假设对所有$α<1$都成立，这在随机$2$-SAT的整个可满足性范围内证明了上述浓度声明。我们还将这些结果扩展到广泛的一类约束满足问题。证明是基于从自旋玻璃理论的插值技术，并在应用Friedgut的定理的尖锐阈值的图形属性。

2010-06-18cond-mat.stat-mechcs.CCcs.DM

大k可满足性猜想的证明

Proof of the satisfiability conjecture for large k

对于所有$k\ge k_0$，我们建立了随机$k$-SAT的可满足性阈值，其中$k_0$是一个绝对常数.也就是说，存在一个极限密度$α_*(k)$，使得子句密度$α$的随机$k$-SAT公式对于$α<α_*$是高概率可满足的，而对于$α>α_*$是不可满足的.我们表明，阈值$α_*(k)$明确给出的一步副本对称性破缺预测统计物理。该证明为随机图上的矩计算提供了一种新的分析方法，将高维最优化问题映射为更易于处理的树递归分析问题。我们相信，我们的方法可以适用于1-RSB普适类中的一系列随机CSP。

2021-04-15cs.DMmath-phmath.MP