On the complexity of game isomorphism

  • Authors:
  • Joaquim Gabarró;Alina García;Maria Serna

  • Affiliations:
  • LSI Dept. Universitat Politècnica de Catalunya, Barcelona;LSI Dept. Universitat Politècnica de Catalunya, Barcelona;LSI Dept. Universitat Politècnica de Catalunya, Barcelona

  • Venue:
  • MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider the question of when two games are equivalent and the computational complexity of deciding such a property for strategic games. We introduce three types of isomorphisms depending on which structure of the game is preserved: strict, weak, and local. We show that the computational complexity of the game isomorphism problem depends on the level of succinctness of the description of the input games but it is independent of the way the isomorphism is defined. Utilities or preferences in games can be represented by Turing machines (general form) or tables (explicit form). When the games are given in general form, we show that the game isomorphism problem is equivalent to the circuit isomorphism problem. When the games are given in explicit form, we show that the game isomorphism problem is equivalent to the graph isomorphism problem.