direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

There is no English translation for this web page.

Search for Publication

Search for publications

All Publications

Cook's versus Valiant's Hypothesis
Citation key B-Cooks-Versus-Valiants-Hypothesis
Author Peter Bürgisser
Pages 71-88
Year 2000
Journal Theor. Comp. Sci.
Volume 235
Abstract In 1979 Valiant developed a nonuniform algebraic analogue of the theory of NP-completeness for computations with polynomials over a field. This theory centers around his hypothesis VP <> VNP, the analogue of Cook's hypothesis P <> NP. We identify the Boolean parts of Valiant's algebraic complexity classes VP and VNP as familiar nonuniform complexity classes. As a consequence, we obtain rather strong evidence for Valiant's hypothesis: if it were wrong, then the nonuniform versions of NC and PH would be equal. In particular, the polynomial hierarchy would collapse to the second level. We show this for fields of characteristic zero and finite fields; in the first case we assume a generalized Riemann hypothesis. The crucial step in our proof is the elimination of constants in the field, which relies on a recent method developed by Koiran (1996).
Link to publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

This site uses Matomo for anonymized webanalysis. Visit Data Privacy for more information and opt-out options.