Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Einwegfunktionen mit polynominvertierender Komplexität
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 ?nk1nk1n^{k_{1}}nk2nk2n^{k_{2}}k1&lt;&lt;k2k1&lt;&lt;k2k_{1} << k_{2}k1=2k1=2k_{1} = 2k2k2k_{2}100010001000VNP=VPVNP=VPVNP = VP
1
Gradreduktionsschritt in Dinurs Beweis des PCP-Theorems
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 Konstruktion stellt sicher, dass sich die …
3
Was sind die bekannten pseudopolynomiellen PSPACE-vollständigen Probleme?
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 erwähnte Kommentare. Ich habe früher gefragt, ob es irgendwelche Probleme gibt, die PSPACE-vollständig sind und ein FPTAS haben. Die …
1
Komplexität der Versickerung
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 Problems? d 2 - k p c d≤ N k≤ N.ZdZd\mathbb{Z}^dddd2−k2−k2^{-k}pcpcp_cd∈Nd∈Nd\in\mathbb{N}k∈Nk∈Nk\in\mathbb{N}
3
Einweg randomisierte Kommunikationskomplexität der Disjunktheit
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 Mengen leer ist oder nicht. Ich würde prob …
1
Ist die MAX CUT-Approximation beständig?
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 Approximationsfaktors jedoch hart ist.1 / 2 1 / 2 + ε N PNPNPNP1/21/21/21/2+ϵ1/2+ϵ1/2+ \epsilonNPNPNP MAX CUT …
1
Ist dieser spezielle Fall der „Mindestgewichtslösung für lineare Gleichungen“ noch NP-vollständig?
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 ihre Intensitäten in um die Einschränkungen zu erfüllen und die Kosten zu …
1
Komplexitätsklassen „eingesperrt“?
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 ansah , entdeckte ich …
1
Verwendung spielbasierter Beweise in simulationsbasierten Beweisen
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. Um beispielsweise die Sicherheit eines Protokolls für die runde Komplexität oder die Gesamtzahl der während der …
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.