arXiv 1605.005652016-05cs.CCcs.LO

所有有界宽度CSP的弱一致性概念

Weaker consistency notions for all the CSPs of bounded width

Marcin Kozik

摘要：

Feder和Vardi [SICOMP'98]提出的所有有界宽度的约束满足问题的特征在[Bulatov'09]中得到了确认，并在[FOCS'09，JACM'14]中独立得到了确认。这两个证明都是基于（2，3）-一致性（在[FOCS'09]中使用布拉格一致性，直接在[Bulatov'09]中），这是昂贵的验证。我们引入了一个新的一致性概念，单点线性弧一致性（SLAC），并表明，它解决了相同的家庭的问题。SLAC弱于Singleton弧一致性（SAC），因此结果回答了[JLC'13]中的问题，表明SAC解决了所有有界宽度的问题。与此同时，验证弱一致性（甚至SAC）的问题比验证（2，3）-一致性的问题具有显著的计算优势，从而改进了求解有界宽度CSP的算法。

英文摘要：

The characterization of all the Constraint Satisfaction Problems of bounded width, proposed by Feder and Vardi [SICOMP'98], was confirmed in [Bulatov'09] and independently in [FOCS'09, JACM'14]. Both proofs are based on the (2,3)-consistency (using Prague consistency in [FOCS'09], directly in [Bulatov'09]) which is costly to verify. We introduce a new consistency notion, Singleton Linear Arc Consistency (SLAC), and show that it solves the same family of problems. SLAC is weaker than Singleton Arc Consistency (SAC) and thus the result answers the question from [JLC'13] by showing that SAC solves all the problems of bounded width. At the same time the problem of verifying weaker consistency (even SAC) offers significant computational advantages over the problem of verifying (2,3)-consistency which improves the algorithms solving the CSPs of bounded width.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

无界宽度CSP在次线性查询次数下不可测试

Unbounded-width CSPs are Untestable in a Sublinear Number of Queries

Massachusetts Institute of Technology（麻省理工学院）

本文证明在有限度模型中，所有无界宽度约束满足问题（CSP）的满足性测试需要Ω(n)次查询，统一并推广了多个先前下界，适用于所有NP难CSP。

2026-06-26cs.CCcs.DS

语义宽度与约束满足问题的固定参数可处理性

Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems

约束满足问题（CSP）是统一处理各种突出AI任务的重要形式化框架，例如，着色或调度问题。解决CSP是，在一般情况下，已知的NP完全和固定参数的棘手时，其约束范围参数化。我们给出了这些类别的CSP的问题变得固定参数易处理的表征。我们的表征显着增加了CSP框架的效用，使之有可能决定通过其CSP配方的固定参数的问题的易处理性。我们进一步扩展我们的表征的联合查询，在数据库中的一个基本问题的评估。此外，我们提供了一些新的见解前沿的PTIME可解性的CSP。特别是，我们观察到，有界分数超树宽度比有界超树宽度更一般，只有类表现出某种类型的指数增长。所提出的工作解决了一个长期存在的开放问题，并为人工智能和数据库理论的复杂性研究提供了强大的新工具。

2020-07-28cs.CCcs.DB

组合间隙定理与Promise CSP约简

Combinatorial Gap Theorem and Reductions between Promise CSPs

CSP实例的值通常被定义为可以同时满足的约束的一部分。我们提出了另一种定义的一个实例的值，并表明，纯粹的组合的原因，一个不可解的实例的值是有界远离一个，我们称之为这一事实的间隙定理。我们发现，间隙定理意味着NP-硬度的间隙版本的分层标签覆盖问题。从PCP定理可以得到同样的结果，但是我们的简化的完整的、自包含的证明是相当短的，并且结果仍然可以为许多问题提供无PCP的NP-困难证明。我们的推理的简单性也表明，较弱版本的独特游戏类型的结构，例如，d到1猜想，可能是可访问的，并作为一个中间步骤，证明这些猜想在他们的全部力量。作为第二个主要应用，我们给出了一个充分条件，在此条件下，一个固定模板的承诺约束满足问题（PCSP）减少到另一个PCSP。归约的正确性取决于间隙定理，但归约本身非常简单。因此，我们得到每个CSP可以规范地减少到大多数已知的NP-困难的PCSP，如近似超图着色问题。

2021-07-20cs.CCcs.LO

2-CSPs逼近的ETH-困难性与有向Steiner网络

ETH-Hardness of Approximating 2-CSPs and Directed Steiner Network

我们研究二元约束满足问题（2-CSP），它可以表述如下：给定一个约束图$G=(V,E)$，一个字母集$Σ$，对于每个$\{u, v\}\in E$，一个约束$C_{uv} \subseteq Σ\timesΣ$，目标是找到一个满足尽可能多约束的分配$σ: V \to Σ$，如果$(σ(u),σ(v))\in C_{uv}$满足约束$C_{uv}$.虽然当$|Σ|$为常数时，2-CSP的可逼近性已得到很好的理解，但当$|Σ|$变为超常数时，许多问题仍有待解决。一个这样的问题是是否难以将2-CSP近似到$|Σ| |V|$的多项式因子内。Bellare等人（1993）认为，这个问题的答案可能是肯定的。唉，尽管努力解决这个猜想，它仍然开放到今天。在这项工作中，我们分开的$|V|$和$|Σ|$，并提出一个相关的，但较弱的问题：它很难近似2-CSP内的$|V|$的多项式因子（而$|Σ|$可能是超多项式的$|V|$）？假设指数时间假设（ETH），我们肯定地回答这个问题，表明没有多项式时间算法可以近似2-CSP到$|V|^{1 - o(1)}$的一个因素。请注意，我们的比率几乎是线性的，这几乎是最佳的，因为平凡算法给出了2-CSP的$|V|$近似。由于一个已知的减少，我们的结果意味着一个ETH-硬度近似有向斯坦纳网络的比例$k^{1/4 - o(1)}$，其中$k$是需求对的数量。该比率大致是通过…

2018-05-10cs.CC

单调模式下CSP的单点弧一致性

On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

University of Oxford（牛津大学）；Royal Holloway, University of London（伦敦大学皇家霍洛威学院）；IRIT, University of Toulouse III（图卢兹第三大学IRIT研究所）

单例弧一致性是一种重要的局部一致性，最近被证明可以解决有界宽度约束语言上的所有约束满足问题。我们的目标是将所有类的CSP定义的一个禁止模式，解决了单弧一致性和关闭下删除约束。我们确定了五个新的模式，其情况下，确保单弧一致性，其中四个是可证明的最大和其中三个概括2-SAT的可解性。结合其他模式的简单反例，我们朝着完整的分类取得了重大进展。

2018-08-10cs.AIcs.CCcs.DM

超越孪生宽度？无界域与少变量的约束满足问题

Going Beyond Twin-width? CSPs with Unbounded Domain and Few Variables

本文研究变量少但域无界的约束满足问题 udCSP，通过基于部分多函数的代数理论刻画其参数化复杂度，并针对无限制、one-hot 和单调三类映射给出 W[1] 困难或 FPT 的条件，其中单调映射情形识别出连接子多态性作为可能的 FPT 边界。

2025-08-22cs.CCcs.DS

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

（弱）君主谓词的可近似性

Sketching Approximability of (Weak) Monarchy Predicates

我们分析了布尔域上约束满足问题的草图逼近性，其中约束是应用于文字的平衡线性阈值函数。特别是，我们探讨了君主式函数的近似性，其中函数的值由第一个变量（总统）的投票和所有剩余变量的投票之和的加权组合决定。这个函数的纯版本是当总统只能被推翻时，所有剩余的变量都同意。对于每一个$k \geq 5$，我们表明，CSP的基础谓词是一个纯君主制函数的$k$变量没有非平凡的草图近似算法在$o(\sqrt{n})$空间。我们还展示了无穷多个较弱的君主制函数，其中CSP使用这样的约束是非平凡的近似$O(\log(n))$空间素描算法。此外，我们给出了第一个例子，素描近似非对称布尔CSP。我们的研究结果在Chou，Golovnev，Sudan和Velusamy（FOCS 2021）的框架内工作，该框架描述了所有CSP的草图近似性。他们的框架可以自然地应用于任何特定的约束满足问题的近似性的计算机辅助分析。我们的工作的新颖之处在于利用他们的工作来获得同时适用于无限多个问题的分析。

2022-07-15cs.CC

广义CSP的Sherali-Adams松弛的幂

The power of Sherali-Adams relaxations for general-valued CSPs

我们给出了一个精确的代数刻画的权力的Sherali-Adams松弛值约束满足问题的最优解。的条件是，有界宽度已经被证明捕捉的权力的局部一致性方法的决定CSP和半定规划的强大逼近CSP的权力。我们的特性有几个算法和复杂性的后果。在算法方面，我们表明，一些新的和许多已知的值的约束语言是通过第三层次的Sherali-亚当斯松弛易于处理。对于已知的语言，这是一个比以前获得的算法简单得多的算法。在复杂性方面，我们得到了一个二分法定理的值约束语言，可以表示一个单射一元函数。这意味着Kolmogorov和Zivny [JACM'13]建立的保守值约束语言的二分法定理的简单证明，以及极小解问题的精确可解性的二分法定理。这些是任意有限域的最小一问题的推广。我们的结果改进了Khanna等人[SICOMP'00]，Jonsson等人[SICOMP'08]和Uppman [ICALP'13]以前的几个分类。

2017-03-21cs.CCcs.DM

BINARY-CSP的带参数分支孪生宽度及其半环推广

Component twin-width as a parameter for BINARY-CSP and its semiring generalisations

Université de Lorraine（洛林大学）；CNRS（法国国家科学研究中心）；LORIA（洛林计算机科学及其应用实验室）；Linköpings Universitet（林雪平大学）

我们研究了细粒度和参数化的复杂性的几个一般化的二进制约束满足问题（BINARY-CSP），子图着色问题的变种。我们的出发点是观察到，导致这些问题的复杂性上限的几种算法方法，共享一个共同的结构。因此，我们探索了一种代数方法，依赖于半环，统一了不同的一般化的二进制CSP（如计数，列表和加权版本），并促进了一个通用的算法方法来有效地解决它们。后者的灵感来自Bonnet等人引入的（分量）孪晶宽度参数，我们通过边标记图来推广，以便将其公式化为任意二进制约束。我们认为输入实例与有界组件双宽度，以及约束模板的有界组件双宽度，并获得FPT算法以及改进的，指数时间算法，广泛的二进制约束。我们通过实例化我们在几类问题上的一般算法方法来说明这个框架的优点（例如，的$H$着色问题及其变种），并表明，它提高了最佳的复杂性上界在文献中的几个著名的问题。

2022-07-14cs.AIcs.CC

有限对偶齐次结构上局部一致性的新充分代数条件

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality

本文首次证明在有限对偶齐次结构上，某些高度1 Maltsev条件蕴含有界宽度，从而为Bodirsky-Pinsker猜想中一大类无限域CSP模板建立了可解性结果。

2025-02-04cs.CC

局部一致性的周期结构

The periodic structure of local consistency

本研究建立图随机游走混合行为与局部一致性算法求解CSP能力的关联，拓展至任意CSP及其承诺变体，得到非周期承诺CSP下该算法的线性最优下界，并完全分类其在近似图同态问题中的能力。

2024-10-31cs.CCcs.DMcs.DS

Promise约束满足和宽度

Promise Constraint Satisfaction and Width

我们研究了固定模板Promise约束满足问题（PCSP）的边界宽度一致性算法的能力。我们的主要技术发现是，模板的每一个PCSP是可解的有界宽度满足一定的结构条件，这意味着它的代数闭包性质包括弱近的多态性的所有大的arities。虽然这与标准（非承诺）CSP理论相似，但证明方法却截然不同，甚至适用于次线性宽度的范围。我们还表明，与CSP世界相比，弱近多态性的存在下，所有大的arities不保证有界宽度的可解性。分离的例子甚至在线性规划松弛的Sherali-Adams（SA）层次结构的第二层中是可解的。这表明，与CSP不同，线性规划可以比有界宽度更强。这些方法的一个直接应用还表明，对于任意两个常数$p$和$q$使得$3 \leq p \leq q$，$p$ -可着色图的$q$-着色问题在有界甚至次线性宽度上都是不可解的.转向算法，我们注意到，Wigderson的算法$O(\sqrt{n})$ -着色$3$ -着色图与$n$顶点是可实现的宽度$4$。实际上，通过推广该方法，我们看到，对于任何小于$1/2$的$ε> 0$，解决具有$n$顶点的$O(n^ε)$ -着色$3$ -可着色图的问题的最佳宽度位于$n^{1-3ε}$和$n^{1-2ε}$之间。上界给出了一个简单的$2^{Θ(n^{1-2ε}\log(n))}$时间算法，该算法渐近地击败了直接的$2^{Θ(n^{1-ε})}$界，该界…

2021-07-13cs.CCcs.DM

通过线性有序超图3着色近似1-in-3 SAT是NP难的

Approximating 1-in-3 SAT by linearly ordered hypergraph 3-colouring is NP-hard

针对民间猜想中阻碍进展的线性有序3一致超图3着色对应谓词，证明其问题为NP难，为Promise CSP分类提供依据，且该问题是首个同时体现两种拓扑组合学使用特征的例子。

2025-08-20cs.CC

C_（？）-宽度上着色的更细紧界

Finer Tight Bounds for Coloring on Clique-Width

我们重新审视经典的$k$ -着色问题的复杂性参数的candle宽度。这是一个研究得很好的问题，当颜色$k$的数量很大时，这个问题变得非常棘手。然而，对于$k$的小的具体值，其复杂性知之甚少。本文对任意固定的$k$，在SETH下，完全确定了以宽度为参数的$k$ -着色的复杂性.具体地说，我们证明了对于所有的$k\ge 3,ε>0$，$k$着色不能解决的时间$O^*((2^k-2-ε)^{cw})$，并给出了一个算法运行的时间$O^*((2^k-2)^{cw})$。因此，如果SETH为真，则$2^k-2$是每个$k$的指数的“正确”基数。在此过程中，我们还考虑了$k$ -着色的复杂性，该着色由相关参数模块树宽（$mtw$）参数化。在这种情况下，我们表明，“正确的”运行时间，在SETH下，是$O^*({k\choose \lfloor k/2\rfloor}^{mtw})$。如果我们将我们的结果基于一个较弱的假设（ETH），它们意味着$k$ -着色不能在时间$n^{o(cw)}$中求解，即使在具有$O(\log n)$颜色的实例上也是如此。

2018-04-21cs.CCcs.DS

约束满足的上同调与结构同构

Cohomology in Constraint Satisfaction and Structure Isomorphism

约束满足和结构同构是计算机科学中研究最多的计算问题之一。虽然这两个问题都不被认为是在$\texttt{PTIME},$很多工作都做了$\texttt{PTIME}$近似这两个问题。两个这样的历史上重要的近似是$k$ -一致性算法CSP和$k$ -Weisfeiler-Leman算法SI，这两个都是基于传播局部部分解决方案。这些算法的局限性是众所周知的; $k$ -一致性可以精确地解决那些有界宽度的CSP，而$k$ -Weisfeiler-Leman只能区分在$C^k$中可定义的属性上不同的结构。在本文中，我们介绍了一种新的层理论方法CSP和SI及其近似。我们表明，这两个问题可以被视为决定存在的全球部分的预层，$\mathcal{H}_k(A,B)$和$\mathcal{I}_k(A,B)$和成功的$k$ -一致性和$k$ -Weisfeiler-Leman算法对应于某些有效地计算子预层的存在。此外，Abramsky和其他人在量子基础的工作的基础上，我们展示了如何使用Čech上同调在$\mathcal{H}_k(A,B)$和$\mathcal{I}_k(A,B)$检测障碍物的存在所需的全球部分，并获得新的有效的上同调算法扩展$k$ -一致性和$k$ -Weisfeiler-Leman。我们表明，上同调$k$ -一致性可以解决系统的方程在所有有限环和上同调Weisfeiler-Lema…

2022-06-30cs.CCcs.DScs.LO

关于半环应用到动态规划的新视角

New Perspectives on Semiring Applications to Dynamic Programming

Université de Lorraine（洛林大学）；CNRS（法国国家科学研究中心）；LORIA（洛林大学信息与自动化学研究所）；Linköping University（林雪平大学）

本文提出了一种基于半环代数的动态规划方法，用于解决经典计算问题的扩展，包括成本变种和计数扩展，并证明了其在参数可处理性方面的效率。

2025-12-03cs.CCmath.RA