Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Ungefährer Grad von
BEARBEITEN (v2): Am Ende wurde ein Abschnitt hinzugefügt, der beschreibt, was ich über das Problem weiß. EDIT (v3): Diskussion zum Schwellenwert am Ende hinzugefügt. Frage Diese Frage ist hauptsächlich eine Referenzanfrage. Ich weiß nicht viel über das Problem. Ich möchte wissen, ob bereits an diesem Problem gearbeitet wurde, und wenn …
1
Was ist
Dies hängt mit der Frage zusammen, ob die Mitgliederzahl der Zeugen für jede NP-Sprache bereits bekannt ist. Einige natürliche (-vollständige) Probleme haben Zeugen linearer Länge: eine befriedigende Zuordnung für S A T , eine Folge von Eckpunkten für H A M P A T H usw.NPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH Betrachten Sie die Komplexitätsklasse …
1
Wie komplex ist dieses Abdeckungsproblem?
Bearbeiten: Ich habe meine Einschränkung (2) zuerst falsch formuliert, sie ist jetzt korrigiert. Ich habe auch weitere Informationen und Beispiele hinzugefügt. Mit einigen Kollegen, die sich mit einer anderen algorithmischen Frage befassten, konnten wir unser Problem auf das folgende interessante Problem reduzieren, die Frage nach der Komplexität konnten wir jedoch …
3
Welche Beziehungen bestehen zwischen diesen Hypothesen in der feinkörnigen Komplexitätstheorie?
Die Komplexitätstheorie unterscheidet anhand von Konzepten wie der NP-Vollständigkeit zwischen Rechenproblemen mit relativ effizienten Lösungen und solchen, die nicht zu lösen sind. "Feinkörnige" Komplexität zielt darauf ab, diese qualitative Unterscheidung in einen quantitativen Leitfaden für die genaue Zeit zu verfeinern, die zur Lösung von Problemen erforderlich ist. Weitere Details finden …
2
Knotenerkennung als Beweis der Arbeit
Derzeit verfügt Bitcoin über ein Proof-of-Work-System (PoW) mit SHA256. Andere Hash-Funktionen verwenden einen Proof-of-Work-System. Ist es möglich, ein Entscheidungsproblem in der Knotentheorie wie die Knotenerkennung zu verwenden und es zu einem Beweis der Arbeitsfunktion zu machen? Hat das auch schon jemand gemacht? Auch wenn wir diese Proof of Work-Funktion haben, …
5
EXPSPACE-vollständige Probleme
Ich versuche derzeit, EXPSPACE-vollständige Probleme zu finden (hauptsächlich, um Inspiration für eine Reduzierung zu finden), und ich bin überrascht über die geringe Anzahl an Ergebnissen, die sich ergeben. Bisher habe ich diese gefunden, und ich habe Probleme, die Liste zu erweitern: Universalität (oder andere Eigenschaften) von regulären Ausdrücken mit Potenzierung. …
1
Warum unterscheidet sich der HAMILTONISCHE ZYKLUS von PERMANENT?
Ein Polynom f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) ist eine monotone Projektion eines Polynoms g(y1,…,ym)g(y1,…,ym)g(y_1,\ldots,y_m) wenn mmm = poly (n)(n)(n) , und es gibt eine Zuordnung π:{y1,…,ym}→{x1,…,xn,0,1}π:{y1,…,ym}→{x1,…,xn,0,1}\pi:\{y_1,\ldots,y_m\}\to\{x_1,\ldots,x_n, 0,1\} so dass . Das heißt, es ist möglichjede Variable zu ersetzen , y j von g durch eine Variable x i oder eine Konstante 0 oder 1 …
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.