Obergrenze für den Grad einer Booleschen Funktion in Bezug auf ihre Empfindlichkeit

11

Ein sehr interessantes offenes Problem bei der Untersuchung von Komplexitätsmaßen der Booleschen Funktion ist die sogenannte Vermutung der Empfindlichkeit gegenüber der Blockempfindlichkeit. Hintergrundinformationen zur Empfindlichkeit gegenüber Blockempfindlichkeit finden Sie im folgenden Blogpost von S. Aaronson unter http://www.scottaaronson.com/blog/?p=453 .

Um beste Wissen und Gewissen, die besten Ober auf gebunden bekannt in Bezug auf s ( f ) ist b s ( f ) = O ( e s ( f ) bs(f)s(f). [Kenyon, Kutin Papier] Aber natürlich ist es vielleicht bequemer zu beziehens(f)zu einer anderen Komplexität MaßfetwaGrad(f), der Grad vonfals Polynom überR, dh die Größe seiner höchsten FourierKoeffizienten .bs(f)=O(es(f)s(f))s(f)fdeg(f)fR

Die Frage ist, was ist die beste bekannte Obergrenze für in Bezug auf s ( f ) ?deg(f)s(f)

Mohammad Bayer
quelle
3
Sie können das Ergebnis von Nisan-Szegedy verwenden, dass die deterministische Entscheidungsbaumkomplexität und Sie ~ d e g ( f ) = O ( e 4 s ( f ) s 2 ( f) haben ) ) . Ich weiß allerdings nicht, ob das am besten ist. D(f)bs4(f)deg~(f)=O(e4s(f)s2(f))
Marcos Villagra
1
Ich bin ziemlich zuversichtlich, dass niemand es besser gemacht hat als über die Verbindung, die Marcos erwähnt. Es ist am natürlichsten, s mit bs in Beziehung zu setzen. deg (f) ist polynomiell mit den meisten anderen Größen verwandt, z. B. D (f), bs (f), C (f), ungefähr deg (f) usw. Sie können die Buhrman-De Wolf-Umfrage zur Komplexität von Entscheidungsbäumen genießen die diese Maßnahmen überprüft.
Andy Drucker
2
deg(f)DT(f)4s(f)poly(s(f))

Antworten:

9

bs(f)s(f)

bs(f)2s(f)1s(f).

Dies sollte zusammen mit der Verbindung, die Marcos in seinem Kommentar erwähnte, bessere Grenzen setzen als bisher bekannt.

Alessandro Cosentino
quelle