Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Die rechnerische Komplexität der Matrixmultiplikation
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 p}O(mnp)O(mnp)O(mnp) Ich habe einen Fall, in dem und n viel kleiner als p sind …
1
Beste Abfragekomplexität des Goldreich-Levin / Kushilevitz-Mansour-Lernalgorithmus
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/ϵ4nlog⁡n)O(1/\epsilon^4 n \log n)nnn Verwandte Frage: Was ist die bekannteste Abfragekomplexität des Kushilevitz-Mansour-Lernalgorithmus?
2
Komplexität der Optimierung über eine einheitliche Gruppe
Was ist der Rechenaufwand für die Optimierung verschiedener Funktionen über die Einheitsgruppe U( n )U(n)\mathcal{U}(n) ? Eine typische Aufgabe, entstehen oft in der Theorie der Quanteninformation, würde eine Menge an Typ sein Maximierung TrAUBU†TrAUBU†\mathrm{Tr}AUBU^{\dagger} (oder Polynome höherer Ordnung in UUU ) über alle unitäre Matrizen UUU . Ist diese Art …
1
Frühgeschichte bestimmter Ergebnisse zu Raum-Zeit-Kompromissen?
Ich interessiere mich für die frühe Geschichte der veröffentlichten Ergebnisse zu Allzweck-Raum-Zeit-Kompromissen. Insbesondere möchte ich wissen, wer zuerst die folgende Art von Algorithmus zur Auswertung einer Berechnung mit einem beliebigen Datenflussdiagramm mit Grad O (1) unter Verwendung eines Raums beschrieben hat, der proportional zur Tiefe (nicht Breite) des Datenflussdiagramms (plus …
3
Enthält P Sprachen, deren Existenz unabhängig von PA oder ZFC ist? (TCS Community Wiki)
Antwort: nicht bekannt. Die gestellten Fragen sind natürlich, offen und anscheinend schwierig. die frage ist jetzt ein community wiki. Überblick Die Frage versucht, Sprachen der KomplexitätsklassePPP - zusammen mit den Entscheidungs-Turing-Maschinen (TMs), die diese Sprachen akzeptieren - in zwei komplementäre Unterklassen zu unterteilen: gnostische Sprachen und TMs (die validiert / …
1
Reduzierung des Protokollbereichs von Parity-L zu CNOT-Schaltkreisen?
Frage. In ihrer Arbeit Verbesserte Simulation von Stabilisatorschaltungen behaupten Aaronson und Gottesman, dass die Simulation einer CNOT-Schaltung ⊕L- vollständig ist (unter logspace Reductions). Es ist klar, dass es in ⊕L enthalten ist ; Wie hält das Härteergebnis? Äquivalent: Gibt es eine logarithmische Reduktion von iterierten Matrixprodukten modulo 2 zu iterierten …
1
Zur Komplexität der Bandbreitenminimierung
Das Graphbandbreitenproblem ist wie folgt definiert. Wenn ein Graph , ist ein Layout von eine Eins-zu-Eins-Abbildung der Eckpunkte von auf die ganzen Zahlen . Die Bandbreite von ist definiert alsG=(V,E)G=(V,E)G=(V,E) fffGGGGGG{1,…,|V|}{1,…,|V|}\{1, \ldots, |V|\}fff bw(f)=max{|f(u)−f(v)|∣{u,v}∈E}bw(f)=max{|f(u)−f(v)|∣{u,v}∈E}bw(f) = \max \{|f(u) - f(v)| \mid \{u,v\} \in E\} . Die mit bw (G) bezeichnete Bandbreite …
1
gegen
Ich weiß, dass (logarithmisch viele Aufrufe an das NP-Orakel) P N P | entspricht | (Polynomzahl paralleler Anfragen an das NP-Orakel). Ich habe mich gefragt, ob die "Funktions" -Version dieser Klassen auch gleichwertig ist, das heißt, obPNP[logn]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} Wenn bekannt ist, dass es wahr ist, wäre ein Zeiger wirklich hilfreich.FPNP[logn]=FPNP||FPNP[log⁡n]=FPNP|| …
3
Komplexitätstheorie, wenn ein Orakel Teil der Eingabe ist
In der Komplexitätstheorie treten Orakel am häufigsten wie folgt auf: Ein festes Orakel wird beispielsweise einer Turing-Maschine mit bestimmten begrenzten Ressourcen zur Verfügung gestellt, und es wird untersucht, wie das Orakel die Rechenleistung der Maschine erhöht. Es gibt jedoch eine andere Art und Weise, wie Orakel manchmal auftreten: als Teil …
1
Was ist über interaktive Multi-Prover-Proofs mit Kurznachrichten bekannt?
Beigi, Shor und Watrous haben eine sehr gute Arbeit über die Möglichkeiten von quanteninteraktiven Proofs mit kurzen Botschaften. Sie betrachten drei Varianten von "Kurznachrichten", und die spezielle, die mir wichtig ist, ist ihre zweite Variante, bei der eine beliebige Anzahl von Nachrichten gesendet werden kann, die Gesamtnachrichtenlänge muss jedoch logarithmisch …
2
Komplexitätsklasse entsprechend der Sortierung
Zwei Teile von TCS sind Algorithmen und Komplexität. Ich sage vereinfacht gesagt, dass Algorithmen das Studium von Obergrenzen sind und zeigen, dass Sie etwas (mit bestimmten eingeschränkten Ressourcen) tun können , und Komplexität bedeutet, dass Sie es nicht ohne einige minimale Ressourcen tun können. So oft wird ein algorithmisches Problem …
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.