Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Asymptotische Komplexität der Sortierung mit k-Vergleichen
Das Sortieren unter Verwendung von 2-Element-Vergleichen hat eine asymptotische Worst-Case-Komplexität von (erreicht durch Mergesort, Heapsort, binäre Einfügung, mindestens Ford-Johnson), was optimal ist.n log2( n )nlog2⁡(n)n \log_2(n) Wenn wir mit Vergleichen sortieren, die k Elemente als Bausteine ​​sortieren, ist die informationstheoretische Untergrenze . Wir können leicht n log k ( n …
2
Schwerste Optimierungsprobleme in NC
Wenn wir Optimierungsprobleme lernen, betrachten wir normalerweise die lineare Programmierung (oder allgemeiner: die konvexe Optimierung) als das einfachste Beispiel. Es ist in Polynomzeit lösbar und hat relativ leicht verständliche Algorithmen. Die Entscheidungsversion von LP ist jedoch -vollständig. Dies legt nahe, dass dies eines der schwierigsten Probleme ist, die wir in …
3
Graphprobleme mit guter Charakterisierung, aber nicht bekannt in
Ein Entscheidungsproblem ist gut charakterisiert, wenn es sich in . Viele natürliche Graphprobleme haben gute Charakterisierungen. Zum Beispiel liefert Kuratuwskis Theorem eine gute Charakterisierung planarer Graphen. Der Satz von Konig liefert eine gute Charakterisierung von zweigeteilten Graphen. Der Satz von Tutte bietet eine gute Charakterisierung von Graphen, die perfekt übereinstimmen. …
2
Verwendung negativer Ergebnisse zum Nachweis positiver Ergebnisse in der Berechenbarkeitstheorie
Viele Ergebnisse in der Kryptographie hängen von Unmöglichkeitsergebnissen / Vermutungen in der Komplexitätstheorie ab. Beispielsweise wird angenommen, dass die Kryptographie mit öffentlichem Schlüssel unter Verwendung von RSA aufgrund der Vermutung über die Unmöglichkeit des Factorings (und der modularen Root-Finding-Probleme) möglich ist. Meine Frage ist : Haben wir ähnliche Ergebnisse in …
1
Bedingte Ergebnisse implizieren Schwierigkeiten bei der Verbesserung der oberen / unteren Grenzen für dauerhafte
Sei eine gegebene quadratische Matrix. Gibt es Hinweise darauf, dass es schwierig sein könnte, quadratische Untergrenzen für B zu schlagen, so dass det ( B ) = per ( A ) schwierig sein könnte?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) Gibt es eine plausible Vermutung, die impliziert, dass es schwierig ist, untere Grenzen zu …
1
Auf welchen Klassen von Graphen ist RCSP (Resource Constrained Shortest Path) NP-hart?
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, wann RCSP schwierig wird. Ist es schwierig …
1
Zeitliche / räumliche Anforderungen zur Überprüfung oder Fälschung einer Erklärung erster Ordnung
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 Ordnung über reelle Zahlen zu überprüfen oder …
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.