Definition Induced Strategic Game
✓ definition formalized

Induced Strategic Game

Given a direct mechanism \(M\), a utility function, and a true type profile, the induced strategic game takes each agent's report space as the agent's strategy space. The payoff of a report profile is the utility of the outcome selected by the mechanism under the true type profile.

The induced game is the bridge that lets mechanism-design predicates reuse normal-form equilibrium and dominance notions instead of duplicating them.

References

  • [AGT, Chapter 9, Section 9.4.1, Def. 9.24] Nisan, Roughgarden, Tardos, and Vazirani, Algorithmic Game Theory. Mechanisms induced as strategic games.
  • [AGT, Chapter 9, Prop. 9.25] Nisan, Roughgarden, Tardos, and Vazirani, Algorithmic Game Theory. The revelation-principle argument connecting induced games and direct mechanisms.

Provenance

  • Migrated from EconCSLib pull request 27, old blueprint label def:md_basic_interface in blueprint/src/content.tex.

Used by

Also in