Inhalt des Dokuments
zur Navigation
Dr. Stefan Mengel
- © Stefan Mengel
CRIL-CNRS/Université d'Artois
Faculté des Sciences Jean Perrin
rue Jean Souvraz, S.P. 18
F-62307 LENS Cedex
FRANCE Persönliche Homepage
www.cril.univ-artois.fr/~mengel/
Publikationen in der Arbeitsgruppe
| Zitatschlüssel | FMM-Monomials-In-Arithmetic-Circuits-Complete-Problems-In-The-Counting-Hierarchy |
|---|---|
| Autor | Hervé Fournier and Guillaume Malod and Stefan Mengel |
| Buchtitel | Proceedings Symposium on Theoretical Aspects of Computer Science (STACS) 2012 |
| Jahr | 2012 |
| Zusammenfassung | We consider the complexity of two questions on polynomials given by arithmetic circuits: testing whether a monomial is present and counting the number of monomials. We show that these problems are complete for subclasses of the counting hierarchy which had few or no known natural complete problems before. We also study these questions for circuits computing multilinear polynomials. |