Inapproximability of Unique Games in Fixed-Point Logic with Counting.
Jamie Tucker-FoltzPublished in: Log. Methods Comput. Sci. (2024)
Keyphrases
- fixed point
- sufficient conditions
- floating point
- fixed point theorem
- approximation algorithms
- game playing
- dynamical systems
- modal logic
- belief propagation
- game theory
- game theoretic
- free energy
- constraint databases
- coalitional games
- high quality
- image sequences
- probabilistic model
- policy iteration
- bargaining solution