Abstract
It is well-known that the complexity class NP coincides with the class of problems expressible in existential second-order logic (∑ 11 ). Monadic NP is the class of problems expressible in monadic ∑ 11 , i.e., ∑ 11 with the restriction that the second-order quantifiers range only over sets (as opposed to ranging over, say, binary relations). The author introduced a type of Ehrenfeucht-Fraïssé game, called the monadic NP game, to prove that connectivity is not in monadic NP. Later, Ajtai and the author introduced another type of monadic NP game (the “Ajtai-Fagin monadic NP game“) to prove that directed reachability is not in monadic NP. Both games have two players (the spoiler and the duplicator), and involve coloring steps (where the players color nodes of the graphs) and selection steps (where the players select nodes of the graphs, round by round). It is known that the original game and the Ajtai-Fagin game are equivalent, in the sense that both characterize monadic NP. Thus, the duplicator has a winning strategy in the original game for every choice of parameters (number of colors and number of rounds) if and only if the duplicator has a winning strategy in the Ajtai-Fagin game for every choice of parameters. In this paper, we investigate the relationship between these games at a finer level. We show that in one sense, even at a finer level, Ajtai-Fagin monadic NP games are no stronger than the original monadic NP games. Specifically, we show that the families of graphs used in the Ajtai-Fagin game to prove that a problem is not in monadic NP can in principle be used in the original game to prove the same result (where for a given choice of parameters, bigger graphs of the same type are used for the original game than for the Ajtai-Fagin game). This answers an open question of Ajtai and the author. We also show that in another sense, Ajtai-Fagin games are stronger, in that there are situations where the spoiler requires more resources (colors) to win the Ajtai-Fagin game than the original game, when the choices of graphs are fixed. Our analysis gives a nonelementary upper bound, which we conjecture to be optimal, on the number of extra colors that are required for the spoiler to win the Ajtai-Fagin game than the original game.
Preview
Unable to display preview. Download preview PDF.
References
M. Ajtai and R. Fagin. Reachability is harder for directed than for undirected finite graphs. Journal of Symbolic Logic, 55(1):113–150, March 1990.
A. Ehrenfeucht. An application of games to the completeness problem for formalized theories. Fund. Math., 49:129–141, 1961.
R. Fagin. Generalized first-order spectra and polynomial-time recognizable sets. In R. M. Karp, editor, Complexity of Computation, SIAM-AMS Proceedings, Vol. 7, pages 43–73, 1974.
R. Fagin. Monadic generalized spectra. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 21:89–96, 1975.
R. Fagin. Comparing the power of monadic NP games. Research Report RJ 9908, IBM, 1994. Version 1.1.
R. Fraïssé. Sur quelques classifications des systèmes de relations. Publ. Sci. Univ. Alger. Sér. A, 1:35–182, 1954.
R. Fagin, L. Stockmeyer, and M. Y. Vardi. On monadic NP vs. monadic coNP. In Proc. 8th IEEE Conf. on Structure in Complexity Theory, pages 19–30, 1993. To appear in Information and Computation.
N. Immerman. Descriptive and computational complexity. In J. Hartmanis, editor, Computational Complexity Theory, Proc. Symp. Applied Math., Vol. 38, pages 75–91. American Mathematical Society, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fagin, R. (1995). Comparing the power of monadic NP games. In: Leivant, D. (eds) Logic and Computational Complexity. LCC 1994. Lecture Notes in Computer Science, vol 960. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60178-3_95
Download citation
DOI: https://doi.org/10.1007/3-540-60178-3_95
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60178-4
Online ISBN: 978-3-540-44720-7
eBook Packages: Springer Book Archive