无限域上承诺值约束满足问题的基本线性规划与仿射整数规划松弛之结合
计算复杂性
2021-07-20 v2 离散数学
数据结构与算法
计算机科学中的逻辑
摘要
凸松弛在约束满足问题（CSPs）的可解性中发挥了重要作用，也在 CSPs 的三种不同推广中发挥作用：值约束满足问题、无限域约束满足问题，以及最近的承诺约束满足问题。在这项工作中，我们将一个已有的可处理性结果推广到 CSPs 的三种推广的结合：我们给出了无限域上承诺值约束满足问题（promise valued CSPs）精确可解性的基本线性规划与仿射整数规划结合松弛的一个充分条件。这推广了 Brakensiek 与 Guruswami [SODA'20] 关于承诺（非值）CSPs（在有限域上）的结果。
引用
@article{arxiv.2007.01779,
title = {The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains},
author = {Caterina Viola and Stanislav Zivny},
journal= {arXiv preprint arXiv:2007.01779},
year = {2021}
}
备注
Full version of an MFCS'20 paper