Weisfeiler-Leman Invariant Promise Valued CSPs

May 10, 2022 Β· Declared Dead Β· πŸ› International Conference on Principles and Practice of Constraint Programming

πŸ‘» CAUSE OF DEATH: Ghosted
No code link whatsoever

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Libor Barto, Silvia Butti arXiv ID 2205.04805 Category cs.DS: Data Structures & Algorithms Cross-listed cs.DM Citations 2 Venue International Conference on Principles and Practice of Constraint Programming Last Checked 4 months ago
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.
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

πŸ“œ Similar Papers

In the same crypt β€” Data Structures & Algorithms

Died the same way β€” πŸ‘» Ghosted