A Maschine Oracle Zugriff auf eine zufällige Boolesche Funktion gegeben , und zwei Fourier - Spektren und .
Die Fourier-Spektren einer Funktion sind definiert als :
Eines von oder ist das wahre Fourierspektrum von und das andere ist nur ein falsches Fourierspektrum, das zu einer unbekannten zufälligen Booleschen Funktion gehört.
Es ist nicht schwer zu zeigen, dass eine Maschine für keine annähern kann .
Was ist die Komplexität der Abfrage, wenn mit hoher Erfolgswahrscheinlichkeit entschieden wird, welche die wahre ist?
Es ist interessant für mich, da, wenn dieses Problem nicht in , man zeigen kann, dass es ein Orakel gibt, in Bezug auf das in keiner Teilmenge von .