Weisfeiler-Leman 不变量与承诺值约束满足问题
数据结构与算法
2022-05-11 v1 离散数学
摘要
在最近的一系列工作中，Butti 和 Dalmau 已证明：一个固定模板约束满足问题可由某种自然线性规划松弛（等价于基本线性规划松弛）求解，当且仅当它可在某个分布式网络上求解，而这又当且仅当其 Yes 实例集在 Weisfeiler-Leman 等价下封闭。我们将该结果推广到更广泛框架下的固定模板承诺值约束满足问题。此外，我们表明在该更广泛框架中，两种常用的线性规划松弛不再等价。
引用
@article{arxiv.2205.04805,
title = {Weisfeiler-Leman Invariant Promise Valued CSPs},
author = {Libor Barto and Silvia Butti},
journal= {arXiv preprint arXiv:2205.04805},
year = {2022}
}
备注
In Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming (CP2022)