有限对偶性的齐次结构上约束满足问题的严格宽度
计算机科学中的逻辑
2024-02-16 v1
摘要
我们研究了无限域约束满足问题 (CSPs) 的 Bodirsky-Pinsker 二分猜想范围内，结构中严格宽度的“局部一致性蕴含全局一致性”原则。我们的主要结果表明，对于该猜想范围内的某些 CSP 模板，拥有有界严格宽度会对模板的表达能力产生具体后果，即蕴含简单性 (implicational simplicity)。这进而给出了 CSP 关系宽度的显式界限，即确保任何实例可满足性所需的局部一致性数量。我们的结果适用于任何齐次 -均匀超图的一阶扩展，但更普遍地，适用于在有限对偶性假设下及其自同构群主要满足一般抽象条件的任何 CSP 模板。特别是，它克服了 Wrona 开创性工作中仅限于二元签名的限制。
引用
@article{arxiv.2402.09951,
title = {Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality},
author = {Tomáš Nagy and Michael Pinsker},
journal= {arXiv preprint arXiv:2402.09951},
year = {2024}
}
备注
22 pages