多重态射的兴起：逼近的代数方法
计算复杂性
2025-02-05 v2 离散数学
计算机科学中的逻辑
摘要
继所谓的代数方法在决策约束满足问题（CSP）、值CSP的精确优化以及最近的承诺CSP研究中取得成功之后，我们为值承诺CSP提出了一个代数框架。对于每一个值承诺CSP，我们关联一个代数对象，即其所谓的值minion。我们的主要结果表明，关联的值minion之间存在同态，意味着原始CSP之间存在多项式时间归约。我们还证明，这个一般的归约定理包含了重要的不可逼近性结果，例如，几乎可解的线性方程组在随机赋值阈值之外的不可逼近性。
引用
@article{arxiv.2401.15186,
title = {The Rise of Plurimorphisms: Algebraic Approach to Approximation},
author = {Libor Barto and Silvia Butti and Alexandr Kazda and Caterina Viola and Stanislav Živný},
journal= {arXiv preprint arXiv:2401.15186},
year = {2025}
}
备注
A full version of a LICS 2024 paper