Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Können wir die Kolmogorov-Komplexität nicht ausgeben?
Wir wollen eine Präfix-freie Kodierung von Turing-Maschinen und eine universelle Turing-Maschine U festlegen UU, die bei Eingabe ( T , x )(T,x)(T,x) (kodiert als Präfix-freier Code von T,TT gefolgt von xxx ) alle T-TT Ausgaben bei Eingabe x ausgibt xx(möglicherweise) beide laufen für immer). Definiert die Kolmogorov - Komplexität von …
2
Enge Untergrenzen für Savitch's Theorem
Zunächst entschuldige ich mich im Voraus für jede Dummheit. Ich bin kein Experte für Komplexitätstheorie (ganz im Gegenteil! Ich bin ein Student, der meinen ersten Kurs in Komplexitätstheorie belegt). Hier ist meine Frage. Nun besagt der Satz von Savitch, dass Nun bin ich gespannt, ob diese untere Schranke eng war, …
1
Gibt es kanonische nicht-relativierende Techniken?
In vielen Bereichen gibt es kanonische Techniken, die jeder auf dem Gebiet beherrschen sollte. Zum Beispiel besteht der "Bit-Trick" für die Komposition bei der Reduzierung des Protokollbereichs darin, nicht die vollständige Ausgabe der zusammengesetzten Funktion zu konstruieren, sondern immer das Ergebnis für jedes Bit der Ausgabe neu zu berechnen, um …
5
Schnelle Reduktion von RSA zu SAT
Scott Aaronsons heutiger Blogbeitrag enthielt eine Liste von interessanten offenen Problemen / Aufgaben in der Komplexität. Besonders eines hat meine Aufmerksamkeit erregt: Erstellen Sie eine öffentliche Bibliothek von 3SAT-Instanzen mit möglichst wenigen Variablen und Klauseln, deren Lösung bemerkenswerte Konsequenzen hätte. (Zum Beispiel Instanzen, die die RSA-Faktorisierungsherausforderungen codieren.) Untersuchen Sie die …
2
Komplexität der n-Königinnen-Vervollständigung?
Das klassische -queens-Problem fragt bei einer positiven ganzen Zahl n , ob es ein Array Q [ 1 .. n ] von ganzen Zahlen gibt, das die folgenden Bedingungen erfüllt:nnnnnnQ[1..n]Q[1..n]Q[1..n] für alle i1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le niii für alle i ≠ jQ[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j]i≠ji≠ji\ne j für alle i ≠ jQ[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne …
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.