Gibt es größere Konsequenzen, wenn SAT höchstens subexponentielle Beweise für unsat hätte oder noch stärker, wenn SAT Algorithmen für subexponentielle Zeit
Ich habe ernsthafte Probleme, einen Schritt in der Arbeit von Dobkin und Kirkpatrick über die Trennung von Polyedern zu verstehen. Ich versuche diese Version zu verstehen: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf Es wird argumentiert, dass wir, nachdem wir...
Diese Frage wurde durch einen Kommentar von Jukka Suomela zu einer anderen Frage inspiriert . Was sind Beispiele für unendlich große, aber lokal begrenzte Rechenprobleme (und Algorithmen)? Mit anderen Worten, was sind Beispiele für Berechnungen, die in endlicher Zeit anhalten, in denen jede...
Betrachten Sie das Problem, die maximale Anzahl von Rittern zu finden, die auf ein Schachbrett gelegt werden können, ohne dass sich zwei angreifen. Die Antwort lautet 32: Es ist nicht allzu schwierig, eine perfekte Übereinstimmung zu finden (die durch Ritterbewegungen hervorgerufene Grafik ist...
JM Siskinds Forschungsstatement besagt: Stalin ist ein optimierender Compiler für Scheme, der eine statische Analyse des gesamten Programms durchführt und die Ergebnisse dieser Analyse verwendet, um äußerst effizienten Code zu generieren. Stalin verwendet eine große Sammlung statischer...
Ich implementiere einen Teil des Systems, für den Hilfe erforderlich ist. Ich gestalte es daher als Grafikproblem, um es domänenunabhängig zu machen. Problem: Wir erhalten den gerichteten azyklischen Graphen . Ohne Einschränkung der Allgemeinheit wird angenommen, dass G genau einen...
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
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...
In der Arbeit von Ben-Dor / Halevi [1] wird ein weiterer Beweis dafür erbracht, dass die bleibende Karte #P-vollständig ist. Im späteren Teil der Arbeit wird die Reduktionskette während der permanente Wert in der Kette erhalten bleibt. Da sich die Anzahl der zufriedenen Zuordnungen einer...
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...
Ich frage mich, wie man den Umfang eines spärlichen ungerichteten Graphen findet. Mit spärlich meine ich . Mit optimal meine ich die geringste zeitliche Komplexität.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Ich dachte über eine Modifikation von Tarjans Algorithmus für ungerichtete Graphen nach, fand aber...
(schon auf der Hauptseite nachgefragt , aber auch hier nach einer besseren Berichterstattung gefragt, sorry) Da ich über prägnante Datenstrukturen Bescheid wusste, brauche ich dringend einen guten Überblick über die neuesten Entwicklungen in diesem Bereich. Ich habe viele Artikel gegoogelt und...
Soweit ich weiß, verwenden fast alle Implementierungen von QKD den CASCADE-Algorithmus von Brassard und Salvail zur Fehlerkorrektur. Ist dies wirklich die bekannteste Methode zur Korrektur von Fehlern in einer gemeinsamen Folge von zufälligen Qubits, oder gibt es einen besseren Vorschlag, dass...
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...
Es wäre schön, eine Liste von Bedingungen zu sammeln, die implizieren, dass eine kontextfreie Sprache L regulär ist, dh Bedingungen der Form: "Wenn ein gegebenes CFG / PDA die Eigenschaft P hat, dann sind seine Sprachen regulär". Die Eigenschaft P muss die CFGs, die reguläre Sprachen erzeugen,...
Ich interessiere mich für das "nächstgelegene" (und "komplexeste") Problem der Collatz-Vermutung , das erfolgreich gelöst wurde (was laut Erdos "Mathematik ist noch nicht reif für solche Probleme"). Es wurde bewiesen, dass eine Klasse von "Collatz-ähnlichen" Problemen unentscheidbar ist. Vage...
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...
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...
Wir wissen, dass, wenn die Lücke zwischen den Werten eines ganzzahligen Programms und seines Dualen (die "Dualitätslücke") Null ist, die linearen Programmierrelaxationen des ganzzahligen Programms und des Dualen der Relaxation beide integrale Lösungen zulassen (Integralität Null) Spalt"). Ich...