Als «barriers» getaggte Fragen

3
Konstruktivität in natürlichem Beweis und geometrischer Komplexität
Kürzlich hat Ryan Willams bewiesen, dass Konstruktivität in natürlichem Beweis unvermeidbar ist, um eine Trennung der Komplexitätsklassen abzuleiten: und . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} Die Konstruktivität in Natural Proof ist eine Bedingung, die alle kombinatorischen Beweise in auf die Schaltungskomplexität erfüllen, und dass wir durch einen ausgeführten …
4
Beweise, Barrieren und P vs NP
Es ist allgemein bekannt, dass jeder Beweis, der die P-gegen-NP- Frage löst , Relativierung , natürliche Beweise und Algebrierungsbarrieren überwinden muss. Das folgende Diagramm unterteilt den "Proof Space" in verschiedene Regionen. Beispielsweise entspricht der Menge von Beweisen, die relativieren und naturalisieren. (Geometric Complexity Theory) ist natürlich die rein äußere Region.G …
2
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 versus NP tatsächlich nur flüchtig. (Nicht …
1
Hindernisse, um
Wir alle wissen, dass Barrieren hat. Wir alle haben diese Barrieren untersucht, weil wir glauben, dass .P ≠ N PP≠ NPP≠NPP\ne NPP≠ NPP≠NPP\ne NP Nehmen wir jedoch an, und es gibt weise Leute, die glauben, dass diese Möglichkeit besteht . Wenn dies tatsächlich der Fall ist, deutet die Tatsache, dass …
15 p-vs-np  barriers 
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
2
Gibt es eine Erklärung für die Schwierigkeit, quadratische Untergrenzen für interessante NP-Probleme zu beweisen?
Dies ist eine Fortsetzung meiner vorherigen Frage: Bekannteste deterministische Zeitkomplexitätsuntergrenze für ein natürliches Problem in NP Ich finde es verwirrend, dass wir keine quadratische deterministische Zeituntergrenze für ein interessantes NP-Problem nachweisen konnten, für das sich die Leute interessieren, und versuchen, bessere Algorithmen zu entwerfen. Unsere Vermutung der Exponential Time Hypothesis …
4
Erfasst die Diagonalisierung das Wesen der Klassentrennung?
Ich kann mich nicht erinnern, eine Klassentrennung gesehen zu haben, die nicht auf Diagonalisierungs- und Relativierungsergebnissen basiert. Die Diagonalisierung könnte weiterhin verwendet werden, um verbleibende bekannte Klassen zu trennen, da nicht relativierende Argumente weiterhin in der Schlussfolgerung der Diagonalisierung oder in der diagonalisierten Turing-Maschinenkonstruktion verwendet werden könnten. Hier sind einige …
2
Hindernisse für die Trennung anderer Komplexitätsklassen
Do Natürliche Proofs , Relativierung und Algebrization beeinflussen auch die Trennung von anderen Komplexitätsklassen wie etc?L≠NL≠NP≠coNP≠PH≠PSPACEL.≠N.L.≠N.P.≠cÖN.P.≠P.H.≠P.S.P.EINC.E.L\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Zum Beispiel sollte die Barriere für natürliche Beweise jeden Beweis für da sie trennt . Die Beziehung zwischen und scheint jedoch im Vergleich zur Beziehung zwischen und nicht …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.