A note on first-order projections and games
Visualitza/Obre
Cita com:
hdl:2117/9005
Tipus de documentArticle
Data publicació2003
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We show how the fact that there is a first-order projection with successor from the problem TC (transitive clousure) to some other problem Ω enables us to automatically deduce that a natural game problem, LGΩ, whose instances are labelled instances of Ω is complete for PSPACE (via log-space reductions). Our analysis is strongly dependent upon the reduction from TC to Ω being a logical projection in that it fails should the reduction be, for example, a log-space reduction or a quantifier-free first-order translation with successor.
CitacióArratia, A.; Stewart, I. A note on first-order projections and games. "Theoretical computer science (Berlin, west)", 2003, vol. 290, núm. 3, p. 2085-2093.
ISSN0720-7786
Versió de l'editorhttp://www.lsi.upc.edu/~argimiro/mypapers/Journals/FOProjGames.pdf
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
FOProjGames.pdf | 194,6Kb | Visualitza/Obre |