Counting classes: Thresholds, parity, mods, and fewness
Counting classes are classes of languages defined in terms of the number of accepting computations of non-deterministic polynomial-time Turing machines. Well known examples of counting classes are NP, co-NP, ⊕P, and PP. Every counting class consists of languages in P#P, the class of languages computable in polynomial time using a single call to an oracle capable of determining the number of accepting paths of an NP machine.
We perform an in-depth investigation of counting classes defined in terms of thresholds and moduli. We show that the computational power of a threshold machine is a monotone function of the threshold. Then we show that the class MODZkP is at least as large as FewP. Finally, we improve a result of Cai and Hemachandra by showing that recognizing languages in the class Few is as easy as distinguishing uniquely satisfiable formulas from unsatisfiable formulas (or detecting unique solutions, as in ).
KeywordsTuring Machine Closure Property Counting Class Satisfiable Formula Nondeterministic Machine
Unable to display preview. Download preview PDF.
- L. Adleman and K. Manders. Reducibility, randomness, and intractibility. In Proceedings of the 9th Annual ACM Symposium on Theory of Computing, pages 151–153, 1977.Google Scholar
- E. W. Allender. The complexity of sparse sets in P. In Structure in Complexity Theory, pages 1–11. Springer-Verlag, June 1986. Volume 223 of Lecture Notes in Computer Science.Google Scholar
- R. Beigel. Relativized counting classes: Relations among thresholds, parity, and mods. J. Comput. Syst. Sci. To appear.Google Scholar
- J. Cai and L. A. Hemachandra. On the power of parity. In Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, pages 229–240. Springer-Verlag, 1989. Lecture Notes in Computer Science.Google Scholar
- J. Köbler, U. Schöning, S. Toda, and J. Torán. Turing machines with few accepting computations and low sets for PP. In Proceedings of the 4th Annual Conference on Structure in Complexity Theory, pages 208–215. IEEE Computer Society Press, June 1989.Google Scholar
- A. Meyer and L. J. Stockmeyer. The equivalence problem for regular expressions with squaring requires exponential space. In Proceedings of the 13th Annual IEEE Symposium on Switching and Automata Theory, pages 125–129, 1972.Google Scholar
- C. H. Papadimitriou and S. K. Zachos. Two remarks on the complexity of counting. In Proceedings of the 6th GI Conference of Theoretical Computer Science, pages 269–276. Springer-Verlag, 1983. Volume 145 of Lecture Notes in Computer Science.Google Scholar
- C. Rackoff. Relativized questions involving probabilistic algorithms. Journal of the Association for Computing Machinery, 29(1):261–268, Jan. 1982.Google Scholar
- U. Schöning. The power of counting. In Proceedings of the 3rd Annual Conference on Structure in Complexity Theory, pages 2–18. IEEE Computer Society Press, June 1988.Google Scholar
- J. Simon. On Some Central Problems In Computational Complexity. PhD thesis, Cornell University, Ithaca, New York, 1975. Dept. of Computer Science, TR 75–224.Google Scholar
- R. Smolensky. Algebraic methods in the theory of lower bounds for Boolean circuit complexity. In Proceedings of the 19th Annual ACM Symposium on Theory of Computing, pages 77–82, 1987.Google Scholar
- J. Torán. An oracle characterization of the counting hierarchy. In Proceedings of the 3rd Annual Conference on Structure in Complexity Theory, pages 213–223. IEEE Computer Society Press, June 1988.Google Scholar
- J. Torán. Structural Properties of The Counting Hierarchies. PhD thesis, Facultat d'Informàtica de Barcelona, 1988.Google Scholar
- L. G. Valiant and V. V. Vazirani. NP is as easy as detecting unique solutions. In Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985.Google Scholar