Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems

Libor Barto, Maximilian Hadek, Dmitriy Zhuk

We develop a unified framework to characterize the power of higher-level algorithms for the constraint satisfaction problem (CSP), such as $k$-consistency, the Sherali-Adams LP hie…