Theoretische Informatik natural-proofs

1

Gibt es Spielzeugbeispiele, die "wesentliche" Einblicke in das Verständnis der drei bekannten Hindernisse für das P=NPP=NPP = NP Problem liefern - Relativierung, natürliche Beweise und Algebrierung?

28 cc.complexity-theory relativization p-vs-np natural-proofs barriers

2

Hierarchiesatz für die Schaltungsgröße

Ich denke, dass ein Größenhierarchiesatz für die Schaltungskomplexität ein großer Durchbruch in diesem Bereich sein kann. Ist es ein interessanter Ansatz zur Klassentrennung? Die Motivation für die Frage ist, dass wir sagen müssen Es gibt eine Funktion, die nicht mit Schaltkreisen der Größe berechnet werden kann und die mit Schaltkreisen …

18 cc.complexity-theory circuit-complexity lower-bounds natural-proofs hierarchy-theorems

1

Zufällige monotone Funktion

In Rasborow-Rudichs " Natural Proofs" -Papier, Seite 6, besprechen sie im Teil, dass es "starke Untergrenzenbeweise gegen monotone Schaltungsmodelle" gibt und wie sie in das Bild passen, die folgenden Sätze: Hier geht es nicht um Konstruktivität - die Eigenschaften, die in diesen Beweisen verwendet werden, sind alle machbar -, sondern …

15 cc.complexity-theory circuit-complexity randomness natural-proofs boolean-functions

2

Barrieren und monotone Schaltungskomplexität

Natürliche Beweise sind ein Hindernis für den Nachweis der unteren Schranken der Schaltungskomplexität von Booleschen Funktionen. Sie implizieren keine solche Barriere für den Nachweis der unteren Schranken der Komplexität der Schaltung. Gibt es Fortschritte bei der Identifizierung solcher Hindernisse? Gibt es andere Barrieren in der monotonen Einstellung?monotonemonotonemonotone

15 cc.complexity-theory circuit-complexity barriers natural-proofs

Als «natural-proofs» getaggte Fragen