Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
On Graph Isomorphism Komplette Probleme
Ich bin daran interessiert, vollständige Probleme des Graph-Isomorphismus (GI) zu untersuchen. In der Arbeit "Probleme, die Polynom äquivalent zum Graphisomorphismus sind" von Kellogg S. Booth (1979) wurde bewiesen, dass viele grundlegende Probleme durch Verwendung von Kantenersatztechniken, Kompositionstechniken usw. vollständig sind. Ich würde gerne mehr Techniken lernen, die in neueren Arbeiten …
2
Wie schwer ist es, die Anzahl der lokalen Optima für ein Problem in PLS zu zählen?
Für ein polynomielles lokales Suchproblem wissen wir, dass mindestens eine Lösung (lokales Optimum) existieren muss. Es könnten jedoch noch viele weitere Lösungen existieren. Wie schwierig ist es, die Anzahl der Lösungen für ein PLS-vollständiges Problem zu zählen? Das Entscheidungsproblem interessiert mich besonders : Hat die Instanz dieses PLS-vollständigen Problems zwei …
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 …
1
Syntaktische Komplexitätsklasse so dass
Es ist bekannt, dass einige (nicht relativierte) syntaktische Komplexitätsklassen zwischen PP{\bf P} und PSPACEPSPACE{\bf PSPACE} die folgende Eigenschaft haben: P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf PSPACE} . Ich frage mich, ob es eine (nicht relativierte) syntaktische Komplexitätsklasse XX{\bf X} so …
1
Zeugen für mathematische Software
Ich bin, wie viele Menschen, ein begeisterter Benutzer von mathematischer Software wie Mathematica und Maple. Ich bin jedoch zunehmend frustriert über die vielen Fälle, in denen eine solche Software Ihnen ohne Vorwarnung einfach die falsche Antwort gibt. Dies kann auftreten, wenn unter vielen anderen Beispielen alle Arten von Operationen ausgeführt …
1
Matrixsteifigkeit und Verwendung von Matrizen mit geringer Steifigkeit
Etwa eine Matrix mit Rang wird als starr bezeichnet, wenn ihr Rang auf n gesenkt werden sollnnn hat man zumindest ändernn1.+εseiner Einträge, für einigeε>0.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Wenn eine Matrix A starr ist, hat das kleinste gerade Programm, das A x berechnet ( x ist ein Vektor der Größe n ), …
1
Relativierte Welt mit
Ich würde gerne wissen, ob es eine relativierte Welt gibt, in der . Ich bin auch interessiert zu wissen, ob es eine relativierte Welt gibt, in der P B ≠ N P B = P P B ist .P.EIN= N P.EIN≠ P P.EINPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}P.B.≠ N P.B.= …
1
Obergrenze für den Grad einer Booleschen Funktion in Bezug auf ihre Empfindlichkeit
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 …
1
Ergebnisse der unteren Grenzen / Härte von Noisy Parity (LWE)
Einige Hintergrundinformationen: Ich bin daran interessiert, "weniger bekannte" Untergrenzen (oder Härteergebnisse) für das Problem "Lernen mit Fehlern" (LWE) und Verallgemeinerungen wie "Lernen mit Fehlern über Ringe" zu finden. Für spezifische Definitionen usw. finden Sie hier eine schöne Umfrage von Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf Der Standardtyp der Annahme im (R) LWE-Stil ist die …
4
Gibt es bekannte NP-Probleme, von denen vermutet wird, dass sie im Durchschnitt exponentiell schwer sind?
Die ETH gibt an, dass SAT im schlimmsten Fall in subexponentieller Zeit nicht gelöst werden kann. Was ist mit dem Durchschnittsfall? Gibt es natürliche Probleme in NP, von denen vermutet wird, dass sie im Durchschnitt exponentiell schwer sind? Unter Durchschnittsfall versteht man die durchschnittliche Laufzeit mit gleichmäßiger Verteilung auf die …
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.