Im Allgemeinen wissen wir, dass die Komplexität des Testens, ob eine Funktion an einem bestimmten Eingang einen bestimmten Wert annimmt, einfacher ist als die Bewertung der Funktion an diesem Eingang. Beispielsweise:
Das Auswerten der bleibenden Zahl einer nichtnegativen Ganzzahlmatrix ist # P-schwer, aber es gibt Aufschluss darüber, ob eine solche bleibende Zahl null oder ungleich null ist, und zwar in P (zweigliedrige Übereinstimmung).
Es gibt n reelle Zahlen , so dass das Polynom die folgenden Eigenschaften hat (tatsächlich haben die meisten Mengen von reellen Zahlen diese Eigenschaften). Für eine gegebene Eingabe erfordert das Testen, ob dieses Polynom Null ist oder nicht, Multiplikationen und Vergleiche (mit dem Ergebnis von Ben-Or , da die Nullmenge Komponenten), aber die Auswertung des obigen Polynoms benötigt mindestens Schritte vonPaterson-Stockmeyer.
Das Sortieren erfordert Schritte in einem Vergleichsbaum (auch Schritte in einem realen algebraischen Entscheidungsbaum, wiederum nach Ben-Ors Ergebnis), aber das Testen, ob eine Liste sortiert ist, verwendet nur Vergleiche .
Gibt es allgemeine Bedingungen für ein Polynom, die ausreichen, um zu implizieren, dass die (algebraische) Komplexität des Testens, ob das Polynom Null ist oder nicht, der Komplexität des Evaluierens des Polynoms entspricht?
Ich suche nach Bedingungen, die nicht davon abhängen, die Komplexität der Probleme im Voraus zu kennen.
( Erläuterung 27.10.2010 ) Um es klar zu machen, ist das Polynom nicht Teil der Eingabe. Das bedeutet, dass ich angesichts einer festen Funktionsfamilie (eine für jede Eingabegröße (entweder Bitlänge oder Anzahl der Eingaben)) die Komplexität des Sprach- / Entscheidungsproblems vergleichen möchte mit der Komplexität der Auswertung der Funktionen .
Klarstellung: Ich frage nach der asymptotischen Komplexität der Bewertung / Prüfung von Familien von Polynomen. Beispielsweise über ein Festfeld (oder Ring, wie ) " die permanent" ist nicht ein einziges Polynom, aber eine unendliche Familie wobei ist die permanente von eine Matrix über diesem Feld (oder Ring).