Als «lower-bounds» getaggte Fragen

Fragen zu Untergrenzen von Funktionen, normalerweise zur Komplexität eines Algorithmus oder eines Problems

29
Fourierkoeffizienten Boolesche Funktionen, die durch Schaltungen mit begrenzter Tiefe mit UND ODER- und XOR-Gattern beschrieben werden

Sei eine Boolesche Funktion und betrachte f als eine Funktion von bis . In dieser Sprache ist die Fourier-Expansion von f einfach die Expansion von f in Form von quadratfreien Monomen. (Diese Monome bilden eine Basis für den Raum der reellen Funktionen auf . Die Summe der Quadrate der Koeffizienten...

22
Wie vermeidet der geometrische Ansatz von Mulmuley-Sohoni zur Erzeugung von Untergrenzen die Erzeugung natürlicher Beweise (im Sinne von Razborov-Rudich)?

Die genaue Formulierung des Titels stammt von Anand Kulkarni (der die Erstellung dieser Website vorgeschlagen hat). Diese Frage wurde als Beispielfrage gestellt, aber ich bin wahnsinnig neugierig. Ich weiß sehr wenig über algebraische Geometrie und verstehe die Hindernisse in der Frage P / Poly...