Abstract
We devise an efficient protocol by which a series of two-person games G i with unique winning strategies can be combined into a single game G with unique winning strategy, even when the result of G is a non-monotone function of the results of the G i that is unknown to the players. In computational complexity terms, we show that the class UAP of Niedermeier and Rossmanith [10] of languages accepted by unambiguous polynomial-time alternating TMs is self-low, i.e., \({\rm UAP}^{\ rm UAP} = {\rm UAP}\). It follows that UAP contains the Graph Isomorphism problem, nominally improving the problem’s classification into SPP by Arvind and Kurur [2] since UAP is a subclass of SPP [10]. We give some other applications, oracle separations, and results on problems related to unique-alternation formulas.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aida, S., Crasmaru, M., Regan, K., Watanabe, O.: Games with a uniqueness property. In: Alt, H., Ferreira, A. (eds.) STACS 2002. LNCS, vol. 2285, pp. 396–407. Springer, Heidelberg (2002)
Arvind, V., Kurur, P.: Graph isomorphism is in SPP. In: Proc. 43rd Annual IEEE Symposium on Foundations of Computer Science, pp. 743–750 (2002) Also ECCC TR02-037
Beigel, R.: The polynomial method in circuit complexity. In: Proc. 8th Annual IEEE Conference on Structure in Complexity Theory, pp. 82–95 (1993) Revised version, 1995
Cai, J.-Y., Hemachandra, L., Vyskoc, J.: Promise problems and guarded access to unambiguous computation. In: Ambos-Spies, K., Homer, S., Schöning, U. (eds.) Complexity Theory: Current Research, Cambridge University Press, Springer (1993)
Fenner, S., Fortnow, L., Kurtz, S.: Gap-definable counting classes. J. Comp. Sys. Sci. 48, 116–148 (1994)
Fenner, S., Fortnow, L., Li, L.: Gap-definability as a closure property. Inform. and Comp. 130, 1–17 (1996)
Grollmann, J., Selman, A.: Complexity measures for public-key cryptosystems. SIAM J. Comput. 17, 309–335 (1988)
Koiran, P.: Hilbert’s Nullstellensatz is in the polynomial hierarchy. Journal of Complexity 12(4), 273–286 (1996)
Lange, K.-J., Rossmanith, P.: Unambiguous polynomial hierarchies and exponential size. In: Proc. 9th Annual IEEE Conference on Structure in Complexity Theory, pp. 106–117 (1994)
Niedermeier, R., Rossmanith, P.: Unambiguous computations and locally definable acceptance types. Theoretical Computer Science 194(1-2), 137–161 (1998)
Selman, A.: Promise problems complete for complexity classes. Inform. and Comp. 78, 87–98 (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Crasmaru, M., Glaßer, C., Regan, K.W., Sengupta, S. (2004). A Protocol for Serializing Unique Strategies. In: Fiala, J., Koubek, V., Kratochvíl, J. (eds) Mathematical Foundations of Computer Science 2004. MFCS 2004. Lecture Notes in Computer Science, vol 3153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28629-5_51
Download citation
DOI: https://doi.org/10.1007/978-3-540-28629-5_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22823-3
Online ISBN: 978-3-540-28629-5
eBook Packages: Springer Book Archive