Title
On the hardness of game equivalence under local isomorphism.
Abstract
We introduce a type of isomorphism among strategic games that we call local isomorphism. Local isomorphisms is a weaker version of the notions of strong and weak game isomorphism introduced in [J. Gabarro, A. Garcia and M. Serna, Theor. Comput. Sci. 412 (2011) 6675-6695]. In a local isomorphism it is required to preserve, for any player, the player's preferences on the sets of strategy profiles that differ only in the action selected by this player. We show that the game isomorphism problem for local isomorphism is equivalent to the same problem for strong or weak isomorphism for strategic games given in: general, extensive and formula general form. As a consequence of the results in [J. Gabarro, A. Garcia and M. Serna, Theor. Comput. Sci. 412 (2011) 6675-6695] this implies that local isomorphism problem for strategic games is equivalent to (a) the circuit isomorphism problem for games given in general form, (b) the boolean formula isomorphism problem for formula games in general form, and (c) the graph isomorphism problem for games given in explicit form.
Year
DOI
Venue
2013
10.1051/ita/2012024
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS
Keywords
Field
DocType
Game isomorphism,succinct representations,strategic games,formula games,computational complexity,circuit isomorphism,boolean formula isomorphism,graph isomorphism
Combinatorics,Graph isomorphism,Isomorphism,Equivalence (measure theory),True quantified Boolean formula,Mathematics,Graph isomorphism problem,Computational complexity theory
Journal
Volume
Issue
ISSN
47
2
0988-3754
Citations 
PageRank 
References 
0
0.34
10
Authors
3
Name
Order
Citations
PageRank
Joaquim Gabarró119728.76
Alina García2303.56
Maria J. Serna347370.53