Inapproximability of Unique Games in Fixed-Point Logic with Counting.
Jamie Tucker-FoltzPublished in: LICS (2021)
Keyphrases
- fixed point
- approximation algorithms
- dynamical systems
- game theory
- bargaining solution
- modal logic
- sufficient conditions
- variational inequalities
- game theoretic
- dynamic programming
- constraint databases
- free energy
- nash equilibria
- logic programming
- higher order
- game playing
- default logic
- floating point
- nash equilibrium
- belief propagation
- coalitional games
- np hard