The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
Acta Informatica
SIAM Journal on Computing
Counting classes are at least as hard as the polynomial-time hierarchy
SIAM Journal on Computing
Generalizations of Opt P to the polynomial hierarchy
Theoretical Computer Science
Polynomial-time 1-Turing reductions from #PH to #P
Theoretical Computer Science
Propositional circumscription and extended closed-world reasoning are &Pgr;p2-complete
Theoretical Computer Science
The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Computing functions with parallel queries to NP
Theoretical Computer Science
Complexity of generalized satisfiability counting problems
Information and Computation
Complexity theory retrospective II
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Subtractive reductions and complete problems for counting complexity classes
Theoretical Computer Science - Mathematical foundations of computer science 2000
The complexity of counting functions with easy decision version
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Counting complexity of propositional abduction
Journal of Computer and System Sciences
Hi-index | 5.23 |
Following the approach of Hemaspaandra and Vollmer, we can define counting complexity classes #@?C for any complexity class C of decision problems. In particular, the classes #@?@P"kP with k=1 corresponding to all levels of the polynomial hierarchy, have thus been studied. However, for a large variety of counting problems arising from optimization problems, a precise complexity classification turns out to be impossible with these classes. In order to remedy this unsatisfactory situation, we introduce a hierarchy of new counting complexity classes #@?Opt"kP and #@?Opt"kP[logn] with k=1. We prove several important properties of these new classes, like closure properties and the relationship with the #@?@P"kP-classes. Moreover, we establish the completeness of several natural counting complexity problems for these new classes.