(Ich bin mitten in meinem ersten theoretischen CSS-Kurs, also entschuldige ich mich im Voraus für die wahrscheinlich dumme Frage.) Wir sagen also, dass eine Sprache L in P ist, was bedeutet, dass eine Turing-Maschine konstruiert werden kann, die eine 1 ausgibt, wenn x in L ist und andernfalls 0;...
Ich habe ein paar Fragen zur Quantum PCP-Vermutung: Was ist die Aussage der Quanten-PCP-Vermutung? Welche Implikationen hätte der Quanten-PCP-Satz für die Simulation von Hamiltonianern? Wird angenommen, dass die Übernahme von Irit Dinurs Beweis des klassischen PCP-Theorems wahrscheinlich zu einem...
Simulationsbasierte Sicherheit bietet eine natürlichere und leistungsfähigere Definition von Sicherheit als spielbasierte Sicherheit. Ich habe gesehen, dass die simulationsbasierten Ansätze die spielbasierten Beweise teilweise verwenden, um die Sicherheit einiger Teile des Protokolls zu beweisen....
In der endlichen Modelltheorie ist bekannt, dass die Expressivität ohne eine Reihenfolge der Eingabe sehr begrenzt ist. Zum Beispiel ist bekannt, dass gleich PSPACE ist und F O ( PFP ) (ohne jede Reihenfolge in der Eingabe) nur PSPACE- relational ist, ein Begriff, der von Abiteboul und Vianu...
Dies ist eine etwas frivole Frage, die in meinem Kopf auftauchte, nachdem ich die verschiedenen Antworten auf "Was ist die" kleinste "Komplexitätsklasse, für die eine superlineare Schaltungsgrenze bekannt ist? " Gelesen habe . Die Antworten beziehen sich auf , und als ich mir den Zooeintrag danach...
Wir in unserer Forschungsgruppe arbeiten an der Anwendung heuristischer Methoden auf das inverse Beleuchtungsproblem (dh angesichts einer Reihe von Einschränkungen hinsichtlich der Beleuchtungsbedingungen in einer Szene finden wir die Orte, an denen die Lichtquellen platziert werden müssen, und...
Das CSP-Optimierungsproblem ist approximationsresistent, wenn es schwer ist, den Approximationsfaktor einer zufälligen Zuordnung zu übertreffen. Zum Beispiel ist MAX 3-LIN approximationsbeständig, da eine zufällige Zuordnung einen Bruchteil der linearen Gleichungen erfüllt, das Erreichen des...
Gibt es eine Datenbank mit bekannten Problemen mit Informationen zu deren Komplexität und Algorithmen, verwandten Problemen, Referenzen usw., die uns zur Verfügung steht? [Wenn nicht, können wir eins machen? Ich weiß, dass dies kein Thema ist, aber es wäre SO
Ich suche eine Referenz für die (klassische) einseitig randomisierte Kommunikationskomplexität der Disjunktheit, wenn das Universum groß sein kann. Angenommen, Alice und Bob haben beide Mengen der Größe mmm aus einem Universum der Größe UUU und Bob möchte feststellen, ob der Schnittpunkt ihrer...
Das folgende Problem ist kürzlich aus meiner Forschung hervorgegangen, und ich möchte fragen, ob jemand weiß, ob dieses Problem zuvor in Betracht gezogen wurde oder von irgendetwas gehört hat, das damit zusammenhängen könnte. Die allgemeine Einstellung ist die folgende. Wir erhalten F.FF , eine...
Betrachten Sie im Zusammenhang mit der Bindungsperkolation auf wobei eine positive ganze Zahl ist, das Problem der Berechnung einer -Näherung der kritischen Perkolation bei einer Gitterdimension und ein Präzisionsparameter als Eingaben. Gibt es bekannte Ergebnisse zur Komplexität eines solchen...
Die Frage ist: Gibt es immer ein Polyzeit-Approximationsschema für NP-vollständige Probleme mit pseudo-polynomiellen Zeitalgorithmen (wie zum Beispiel
Können Sie bitte entweder eine Referenz angeben oder bestimmte Beispiele für PSPACE-vollständige Probleme nennen, die in pseudo-polynomialer Zeit lösbar sind? Zusätzliche Hinweise: Definition der Pseudo-Polynom-Zeit: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Als Antwort auf einige zuvor...
Wie wir wissen, ist der Graphisomorphismus in NP, aber es ist nicht bekannt, dass er NP-vollständig oder P-vollständig ist. Ich habe mich gefragt, ob es Probleme gibt, von denen bekannt ist, dass sie in PSPACE vorhanden sind, von denen jedoch nicht bekannt ist, dass sie PSPACE-vollständig sind und...
Die Grundidee der Rückwärtsinduktion besteht darin, mit allen möglichen Endpositionen eines Spiels zu beginnen, in dem Spieler X gewinnt. Schauen Sie sich für Schach alle Möglichkeiten an, wie Weiß Schwarz schachmatt setzen kann. Arbeiten Sie nun rückwärts zu allen möglichen Bewegungen /...
Im Gradreduktionsschritt von Dinurs Beweis wird der Eingabegraph in einen Graphen transformiert indem jeder Scheitelpunkt durch einen Satz von Scheitelpunkten, , ersetzt wird, so dass und Auferlegen eines Grad-d-Expander-Graphen auf die für alle . Dies macht einem regulären Graphen von d 1 und die...
Gibt es eine Trap-Door-ähnliche Funktion, deren Codierungskomplexität die Polynomzeit und deren invertierende Komplexität (ohne geheimen Schlüssel) auch eine Polynomfunktion in der Eingabelänge mit (sagen wir, und ist bedingungslos nachweisbar durch )? Was bedeuten solche Funktionen, wenn...
Obwohl L.Berman bewiesen hat, dass das Problem der Überprüfung oder Verfälschung von Aussagen erster Ordnung über reelle Zahlen, die Addition und Vergleich, aber keine Multiplikation verwenden, in EXPSPACE liegt. Wurde gezeigt, wie viel Zeit oder Raum Sie benötigen würden, um eine Aussage erster...
Bei gegebenem Graphen G(V,E)G(V,E)G(V,E) besteht das klassische Problem der maximalen Übereinstimmung darin, die maximale Teilmenge der Kanten st für jede Kante wählen , .( u , v ) ≤ M d ( u ) = d ( v ) = 1MMM(u,v)∈M(u,v)∈M(u,v) \in Md(u)=d(v)=1d(u)=d(v)=1d(u)=d(v)=1 Hat jemand die folgende...
Ich möchte ein Problem, an dem ich arbeite, mit einem bekannten NP-harten Problem verknüpfen. Ich denke, ich kann mein Problem als ein Problem mit ressourcenbeschränkten kürzesten Pfaden modellieren. Die Struktur meines Graphen ist jedoch nicht völlig willkürlich. Daher ist es hilfreich zu wissen,...