模糊约束满足问题的新定义及其应用
New Definition for Fuzzy Constraint Satisfaction Problem and its Applications
摘要：
这篇文章已被撤回。
英文摘要：
This article has been withdrawn.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
模糊最大可满足性
Fuzzy Maximum Satisfiability
Cairo University（开罗大学）；Faculty of Science（理学院）；Department of Mathematics（数学系）
在本文中，我们扩展的最大可满足性（MaxSAT）的问题，Eukasiewicz逻辑。一组公式Φ的最大SAT问题是找到满足最大公式数的Φ中变量的分配问题。提出了三种可能的解决方案（编码）：（1）析取线性关系（DLRs），（2）混合线性规划（MILP）和（3）加权约束满足问题（WCSP）。像它的布尔对应，扩展的模糊MaxSAT将在优化问题中，涉及的最优性有许多应用。
cs.AIcs.CCcs.LO
随机约束满足问题的脊：定义及其与计算复杂性的联系
Spines of Random Constraint Satisfaction Problems: Definition and Connection with Computational Complexity
我们研究了组合问题中相变的顺序和决策算法的复杂性之间的联系。我们严格地表明，对于一类随机约束满足问题，这两种现象之间确实存在有限的联系。具体来说，我们扩展的定义的脊柱序参数的Bollobas等人。随机约束满足的问题，严格表明，对于这样的问题，脊柱的不连续性与随机情况下的$2^{Ω(n)}$分辨率的复杂性（从而$2^{Ω(n)}$复杂的DPLL算法）。这两个现象有一个共同的根本原因：出现的“大”（线性大小）最小不可满足的子公式的随机公式在可满足性相变。我们提出了几个进一步的结果，增加重量的直觉，随机约束满足问题与尖锐的阈值和连续的脊椎“定性类似于随机2-SAT”。最后，我们认为，这是脊柱，而不是骨干参数的连续性组合问题的决策复杂性的影响，我们提供的实验证据表明，这两个参数可以表现出不同的方式。
cond-mat.dis-nncs.AIcs.CC
Horn与完全一阶：代数约束满足中的复杂性二分法
Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction
我们研究的技术，决定计算复杂性的无限域约束满足问题。对于某些基本代数结构Delta，我们证明了以下形式的可定义性二分法定理：对于Delta的每个一阶扩展Gamma，要么Gamma在Delta中具有无量词Horn定义，要么Gamma中存在元素d，使得Gamma中的所有非空关系包含形式为（d，...，d），或者所有在Delta中具有一阶定义的关系在Gamma中具有本原正定义。结果表明，几个家庭的约束满足问题表现出复杂性二分法：问题是在P或NP-难，这取决于选择的允许关系。作为具体的例子，我们研究基本的代数约束满足问题。第一类由（Q;+）的所有一阶展开式组成。第二类是第一类的仿射变体。在这两种情况下，我们通过利用我们的一般方法获得充分的二分法。
cs.CCcs.LOmath.LO
关于时间值约束满足问题的复杂性二元性
A Complexity Dichotomy for Temporal Valued Constraint Satisfaction Problems
Institute of Algebra, TU Dresden（德累斯顿工业大学代数研究所）；Univ Lyon, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP UMR5668（里昂大学、法国国家科学研究中心、巴黎高等师范学院里昂分校、里昂第一大学LIP实验室）；Institute of Discrete Mathematics and Geometry, TU Wien（维也纳工业大学离散数学与几何研究所）
本文研究了时间性VCSP的复杂性，证明其要么属于P，要么NP完全，并首次给出了无限域上VCSP的完备二元性结果。
cs.CCmath.LO
约束满足问题的景观分析
A Landscape Analysis of Constraint Satisfaction Problems
我们讨论了分析的约束满足问题，如球包装，K-SAT和图着色，在一个有效的能源景观。解空间的几个有趣的几何性质在这个光中变得熟悉，在崎岖（玻璃状）能量景观的充分研究方面。一个'基准'算法自然建议，这种建设发现解决方案在多项式时间到一个点以外的'集群'，在某些情况下，甚至是'热力学'的转变。这一点有一个简单的几何意义，原则上可以用标准的统计力学方法确定，从而推动了分析界，保证问题很容易。我们用图的三色和四色问题来说明这一点。对于包装问题，目前的讨论可以更好地描述“J点”，提出了一个系统的定义随机紧密包装，并将其放置在其他理论的眼镜的背景下。
cond-mat.dis-nncond-mat.stat-mechcs.CC
高维展开式上的近似约束满足问题
Approximating Constraint Satisfaction Problems on High-Dimensional Expanders
我们考虑的问题，近似解决约束满足问题的arity $k > 2$（$k$ -CSP）的情况下，满足一定的扩展属性，被视为超图。众所周知，$k$ -CSP的随机实例也是高度扩展的，难以使用已知的算法技术来近似（并且被广泛认为难以在多项式时间内近似）。然而，我们表明，这是不一定的情况下，超图是一个高维扩展。我们考虑了Dinur和Kaufman [FOCS 2017]用于构建与PCP相关的某些基元的高维扩展的谱定义。他们衡量的扩展方面的一个参数$γ$，这是模拟的第二奇异值扩展图。扩展Barak，Raghavendra和Steurer [FOCS 2011]对2-CSP的结果，我们表明，如果字母表$[q]$上的MAX k-CSP的实例是具有参数$γ$的高维扩展器，则可以使用平方和SDP层次的$q^{O(k)} \cdot (k/ε)^{O(1)}$水平来近似可满足约束的最大分数，直到添加性误差$ε$，提供$γ\leq ε^{O(1)} \cdot (1/(kq))^{O(k)}$。基于我们的分析，我们还提出了超图的阈值秩的概念，它可以用来扩展低阈值秩图上的2-CSP近似结果。我们表明，如果一个实例的最大k-CSP的阈值秩$r$为一个阈值$τ= (ε/k)^{O(1)} \cdot (1/q)^{O(k)}$，那么它是可能的近似解决的实例添加剂错误$ε$，使用$r \cdot q^{O(k)…
cs.CCcs.DS
更多相关论文收起更多论文
系统发育约束满足问题的复杂性
The Complexity of Phylogeny Constraint Satisfaction Problems
我们系统地研究了系统发育重建中的一类计算问题的计算复杂性。这个类包含例如有根的三重一致性问题，禁止子树问题，四重一致性问题，以及生物信息学文献中研究的许多其他问题。所研究的问题可以描述为\emph{constraint satisfaction problems}的约束有一个一阶定义的根三元关系。我们证明了每一个这样的遗传问题都可以在多项式时间内求解或者是NP-完全的。在算法方面，我们推广了一个著名的多项式时间算法的Aho，Sagiv，Szymanski和Ullman的根三重一致性问题。我们的算法反复求解线性方程组，在多项式时间内构造一个解。然后，我们表明，我们的算法不能解决的每一个遗传问题是NP-完全的。我们的分类建立了一个二分法的一大类无限的结构，我们相信是独立的兴趣，在泛代数，模型论和拓扑结构。我们的主要结果的证明结合了来自各个研究领域的结果和技术：最近分类的模型完整的核心的减少同质二进制分支C-关系，勒布的拉姆齐定理有根树，和通用代数。
cs.CC
Gibbs态与随机约束满足问题的解集
Gibbs States and the Set of Solutions of Random Constraint Satisfaction Problems
随机约束满足问题的一个实例定义了一个大的乘积空间（分配集）的随机子集S（解集）。考虑了两个典型的问题系综（随机正则图的随机k-可满足性和q-染色），研究了S上支持度的一致测度。随着每个变量的约束数量的增加，这个度量首先分解成指数数量的纯态（“簇”），然后在最大的状态上凝聚。在凝聚点以上，由n个最大态携带的质量遵循泊松-狄利克雷过程。对于典型的大型实例，这两个过渡是尖锐的。我们第一次确定了它们的精确位置。此外，我们提供了一个正式的定义，每个相变在不同的概念之间的相关性的问题。相关度自然会影响许多搜索/采样算法的性能。经验证据表明，本地蒙特卡洛马尔可夫链策略是有效的聚类相变，和信念传播的凝聚点。最后，改进的消息传递技术（如调查传播）也可能超过这个阈值。
cond-mat.dis-nncond-mat.stat-mechcs.CC
热带凸约束满足
Tropically convex constraint satisfaction
一个半线性关系S是极大闭的，如果它通过取分量极大值而保持。最大闭半线性约束的约束满足问题至少和平均支付博弈中的赢家确定一样困难，这是一个臭名昭著的开放计算复杂性问题。平均收益博弈是NP和co-NP的交集，而这对于最大闭半线性约束是未知的。在文献中，在平移下极大闭和附加闭的半线性关系被称为热带凸的。我们的主要结果之一是开热带凸关系的一个新的对偶，它把一般的热带凸半线性约束的CSP问题转化为NP-NP问题。这扩展了与或优先约束下调度的相应复杂性结果，或者等价于最大原子问题。为此，我们提出了一个最大封闭半线性关系的语法限制的一阶逻辑方面的表征，和另一个表征的关系L，允许原始的所有其他关系的定义在类的有限集。我们还提出了一个子类的最大闭约束的CSP是在P;这类推广类的最大闭约束有限域上，和可行性问题的最大闭线性不等式。最后，我们表明，类的最大封闭半线性约束是最大的意义上说，只要一个单一的关系，不是最大封闭的L，CSP成为NP-硬。
cs.CC
关于本原正公式的统一量化强度
On the Strength of Uniqueness Quantification in Primitive Positive Formulas
唯一性量化（$\exists !$）是一阶逻辑中的量词，其中要求恰好存在一个满足给定属性的元素。在本文中，我们研究的强度时，唯一性量化，它是用来在一个给定的一组关系$Γ$，所谓的原始正定义（PP-定义）的合取公式的存在量化。我们完全分类的布尔集的关系，唯一性量化具有相同的强度存在量化在PP-定义，并给出了几个结果有效的任意有限域。我们还考虑应用程序的$\exists !$量化PP-定义在计算机科学中，它可以用来研究的计算复杂性的问题的解决方案的数量是很重要的。利用我们的分类给出了唯一可满足性问题的一个新的和简化的可分性定理的证明，并证明了唯一约束满足问题的一个一般结果。
cs.CCmath.LO
