Properties and applications of dual reduction

The dual reduction process, introduced by Myerson, allows to reduce a finite game into a smaller dimensional game such that any equilibrium of the reduced game is an equilibrium of the original game. This holds both for Nash equilibrium and correlated equilibrium. We present examples of applications of dual reduction and argue that this is a useful tool to study Nash equilibria and correlated equilibria. We then investigate its properties.