Establishes PLS-completeness for lexicographic local search in 4-CNF and 3-CNF (double flips), and for Abelian permutation orbit minimization even when groups are cyclic or consist of involutions, with applications to bounded congestion games.
[BPR15] Nir Bitansky, Omer Paneth, and Alon Rosen
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Proves CLS-hardness for Nash equilibrium computation in two-team polymatrix games with zero-sum or coordination pairwise payoffs, with tight CLS membership when one team has independent adversaries, plus an ε-Nash algorithm with 1/ε² runtime dependence.
citing papers explorer
-
PLS-complete problems with lexicographic cost functions: Max-$k$-SAT and Abelian Permutation Orbit Minimization
Establishes PLS-completeness for lexicographic local search in 4-CNF and 3-CNF (double flips), and for Abelian permutation orbit minimization even when groups are cyclic or consist of involutions, with applications to bounded congestion games.
-
The Complexity of Two-Team Polymatrix Games with Independent Adversaries
Proves CLS-hardness for Nash equilibrium computation in two-team polymatrix games with zero-sum or coordination pairwise payoffs, with tight CLS membership when one team has independent adversaries, plus an ε-Nash algorithm with 1/ε² runtime dependence.