Was ist die bekannteste Abfragekomplexität des Goldreich-Levin-Lernalgorithmus? Vorlesungsnotizen aus Luca Trevisans Blog , Lemma 3, besagen . Ist dies die bekannteste Abhängigkeit von n ? Besonders dankbar bin ich für den Hinweis auf eine zitierfähige Quelle!O(1/ϵ4nlogn)O(1/ϵ4nlogn)O(1/\epsilon^4...
Ich suche Informationen über die rechnerische Komplexität der Matrixmultiplikation von Rechteckmatrizen. Wikipedia besagt , dass die Komplexität der Multiplikation von B ∈ R n x p ist (Schulbuch Multiplikation).A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times...
Ich beginne meine Doktorarbeit in diesem Herbst und plane, mich für meine Diplomarbeit mit Komplexitätstheorie zu befassen. Ich erstelle eine Liste wichtiger Artikel, die jeder Komplexitätstheoretiker kennen sollte. Welche Papiere würden Sie einer Person wie mir vorschlagen? Und erläutern Sie kurz,...
Meine erste Frage ist, ob für alle klassischen Komplexitätsklassen eine interaktive Proofsystemcharakterisierung bekannt ist. Ich würde unter anderem P, NP, PSPACE, EXP, NEXP, EXPSPACE, rekursive und rekursiv aufzählbare Funktionen als klassisch bezeichnen. Speziell, ist eine interaktive...
Ergebnis 1: Das Linial-Mansour-Nisan-Theorem besagt, dass das der von den Schaltkreisen berechneten Funktionen sich mit hoher Wahrscheinlichkeit auf die kleinen Teilmengen konzentriert.A C0EINC0\mathsf{AC}^0 Ergebnis 2: Das konzentriert sich auf den des Grades .P A R I T
GI und Knotenproblem sind beide das Problem, die strukturelle Äquivalenz von mathematischen Objekten zu bestimmen. Gibt es irgendwelche Ergebnisse, die Verbindungen zwischen ihnen herstellen? Gute Zusammenhänge des Knotenproblems mit der statistischen Physik wurden über Knotenpolynome untersucht....
Welche Komplexitätsklasse ist mit umfassenden Suchalgorithmen verbunden? (wenn es einen gibt) Ist es NP oder PSPACE? Gibt es eingeschränkte Berechnungsmodelle, die die Klasse der umfassenden Suchalgorithmen erfassen, ähnlich den Modellen für gieriges und dynamisches
Gegeben als Eingabe eine ganze Zahl nnn und ein Satz SSS von Sätzen von Elementen von {1,...,n}{1,...,n}\{1, ..., n\} , was die Komplexität einen Satz zu finden , TTT von Elementen von {1,...,n}{1,...,n}\{1, ..., n\} so, dass TTT eine minimale Kardinalität hat und TTT in keiner der Mengen von SSS ?...
Aus den Kommentaren zu einer meiner Fragen zu MathOverflow habe ich das Gefühl, dass die Frage, ob GCD in vs. P ist, mit der Frage verwandt ist, ob Integer Factorization in P vs. N P ist .N CNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}N PNP\mathsf{NP} Gibt es so etwas wie einen "Quantum " -Algorithmus für...
Die längste Zeit habe ich gedacht, dass ein Problem NP-vollständig ist, wenn es sowohl (1) NP-schwer als auch (2) NP ist. In der berühmten Veröffentlichung "Die Ellipsoidmethode und ihre Konsequenzen für die kombinatorische Optimierung" behaupten die Autoren jedoch, dass das Problem der...
Diese Frage stellte Jan Pax auf der Mailingliste Foundations of Mathematics . Sicherlich P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP} aber ich vermute , aus den Antworten auf diese Frage , dass es nicht bekannt , ob ⊕P⊆PP⊕P⊆PP\oplus P \subseteq PP (sonst PPPPPP wäre eine mögliche...
Wie jeder weiß, ist SAT vollständig für in Polynom-Zeit-Viel-Eins-Reduktionen. Es ist immer noch vollständig, wenn viele Reduzierungen vorgenommen wurden.A C 0NPNP\mathsf{NP}A C0EINC0\mathsf{AC^0} Meine Frage ist, welche Mindesttiefe für die Reduzierungen erforderlich ist. Formeller, Was ist die am...
Ich lese den Anhang über ACC-Untergrenzen für NEXP in Aroras und Baraks Computational Complexity- Buch. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Eines der Schlüsselmotive ist eine Transformation von -Kreisen zu mehrlinearen Polynomen über die ganzen Zahlen mit...
Ich habe im Internet nachgeschlagen, aber ich konnte keine "große Liste" von Varianten des SAT-Problems finden. Abgesehen von den (gemeinsamen) SAT, k-SAT, MAX-kSAT, Halb-SAT, XOR-SAT, NAE-SAT Welche weiteren Varianten gibt es? (Auch ist es sehr nützlich, wenn dort Komplexitätsklassen angegeben...
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen:...
Durch die Erforschung probabilistischer grafischer Modelle hat sich die Glaubensausbreitung als sehr leistungsfähige Methode erwiesen. Ich weiß jedoch nichts über BP, das mit MCMC-Methoden vergleichbar ist, bei denen wir für # P-vollständige Probleme vollständig polynomielle randomisierte...
In einem Kommentar in einem anderen cstheorySE-Post wird erwähnt, dass PSPACE-Vollständigkeit APX-Härte impliziert. Kann jemand bitte eine Referenz dafür erklären / teilen? Ist das "eng"? (dh gibt es PSPACE-vollständige Probleme, deren Optimierungsproblem eine konstante Faktorapproximation in...
Mir scheint, dass die meisten Komplexitätstheoretiker im Allgemeinen die folgende philosophische Regel glauben: Wenn wir nicht einen effizienten Algorithmus für Problem herauszufinden , können , und wir können Problem reduzieren zu Problem , dann gibt es wahrscheinlich keinen effizienten...
Ich möchte etwas über algebraische Algorithmen und Komplexität lernen. Insbesondere interessiere ich mich für PIT. Gibt es eine Reihe von Vorlesungsskripten, Büchern, Artikeln und Umfragen für Studenten, die ein Standardlehrbuch über Theorie wie Sipsers Buch oder das Komplexitätslehrbuch von...
Ich habe den Wikipedia-Artikel über das Acht-Königinnen-Problem gelesen. Es wird angegeben, dass es keine bekannte Formel für die genaue Anzahl der Lösungen gibt. Nach einigem Suchen fand ich eine Arbeit mit dem Titel "Über die Härte des Zählens von Problemen mit vollständigen Zuordnungen". In...