Weisfeiler-Leman Invariant Promise Valued CSPs
Abstract
In a recent line of work, Butti and Dalmau have shown that a fixed-template Constraint Satisfaction Problem is solvable by a certain natural linear programming relaxation (equivalent to the basic linear programming relaxation) if and only if it is solvable on a certain distributed network, and this happens if and only if its set of Yes instances is closed under Weisfeiler-Leman equivalence. We generalize this result to the much broader framework of fixed-template Promise Valued Constraint Satisfaction Problems. Moreover, we show that two commonly used linear programming relaxations are no longer equivalent in this broader framework.
Keywords
Cite
@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}
}
Comments
In Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming (CP2022)