Inapproximability of Unique Games in Fixed-Point Logic with Counting.
Jamie Tucker-FoltzPublished in: CoRR (2021)
Keyphrases
- fixed point
- sufficient conditions
- logic programming
- floating point
- default logic
- dynamical systems
- modal logic
- game theory
- fixed point theorem
- game playing
- free energy
- belief propagation
- constraint databases
- game theoretic
- policy iteration
- nash equilibria
- approximation algorithms
- variational inequalities
- three dimensional
- state space
- data model