A global modular constraint is a linear equation (in all the variables) modulo M for some fixed constant M. Take any polytime solvable Boolean CSP like 2SAT or LIN_2 or HORNSAT. Let's look at LIN_2 for concreteness, it is a system of linear equations modulo 2. By Gaussian elimination over F_2, we can find in polynomial time if it is satisfiable. Now suppose we are given an additional linear equation modulo M (for some fixed constant M not equal to 2). Can we find in polynomial time if the new system is satisfiable? Surprisingly, we show that the answer depends on the prime factorization of M! For example, it is possible for M=3, but not for M=15. We show that for such problems, the obstructions to a natural algorithm and gadgets useful for hardness reduction (assuming ETH) are closely connected to complexity (like degree or sparsity) of polynomial representations of OR mod M. Thus showing good lower bounds on the complexity of such polynomials imply good algorithms and constructing low complexity representations imply good hardness results. We also show some connections to submodular minimization with global modular constraints.
Joint work with Joshua Brakensiek and Venkatesan Guruswami.