Subtractive Reductions and Complete Problems for Counting Complexity Classes - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2000

Subtractive Reductions and Complete Problems for Counting Complexity Classes

Résumé

We introduce and investigate a new type of reductions between counting problems, which we call subtractive reductions. We show that the main counting complexity classes #P, #NP, as well as all higher counting complexity classes #.Pi_k P, k > 2, are closed under subtractive reductions. We then pursue problems that are complete for these classes via subtractive reductions. We focus on the class #NP (which is the same as the class #.coNP) and show that it contains natural complete problems via subtractive reductions, such as the problem of counting the minimal models of a Boolean formula in conjunctive normal form and the problem of counting the cardinality of the set of minimal solutions of a homogeneous system of linear Diophantine inequalities.
Fichier non déposé

Dates et versions

inria-00099381 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099381 , version 1

Citer

Arnaud Durand, Miki Hermann, Phokion G. Kolaitis. Subtractive Reductions and Complete Problems for Counting Complexity Classes. 25th International Symposium on Mathematical Foundations of Computer Science - MFCS'2000, 2000, Bratislava, Slovaquie, pp.323-332. ⟨inria-00099381⟩
134 Consultations
0 Téléchargements

Partager

More