Als «polynomial-time» getaggte Fragen

Verwendung für Algorithmen, Algorithmusanalyse und komplexitätstheoretische Fragen, die auf eine polynomielle Laufzeit bzw. Zeitkomplexität. Solche Fragen sind oft Referenzanfragen oder zur Laufzeitanalyse oder Zeitkomplexität.

3
Warum sind die meisten (oder alle?) Polynomzeitalgorithmen praktisch?
Ich habe kürzlich in einem Artikel einen interessanten Kommentar darüber gelesen, wie seltsam nützlich Mathematik ist. Es wird erwähnt, dass Polynomzeit in der Realität nicht effizient bedeuten muss (z.O(n999999999999999999999)O(n999999999999999999999)O(n^{999999999999999999999})ist Polynomzeit, aber nicht effizient). Ist es nicht so, dass alle Algorithmen in der Polynomzeit, wie höchstens, auch realistisch sind?O(n4)O(n4)O(n^4)oder so? Ich …
2
Übliche Methode zur Lösung von Erfüllbarkeitsproblemen, die in P liegen
Ich weiß aus dem Schäfer-Dichotomie-Theorem, dass nur wenige Arten von Erfüllbarkeitsproblemen in P vorliegen und jedes andere Problem NP-vollständig ist. Alle Algorithmen, die ich für sie kenne, verwenden jedoch spezifische Techniken, die für diese Art von Problem einzigartig sind, z. B. die Ausbreitung von Einheiten für Hornsat, lineare algebraische Techniken …
2
Ist SAT in P, wenn die Anzahl der Variablen exponentiell viele Klauseln enthält?
Ich definiere einen langen CNF , der mindestens enthält2n22n22^\frac{n}{2}Klauseln, wobei die Anzahl seiner Variablen ist. Es sei eine erfüllbare lange CNF-Formel .nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}}\} Ich würde gerne wissen , warum . Zuerst dachte ich, es sei da ich eine Polynomzeitverkürzung von auf , nein?Long-SAT ∈ P.Long-SAT∈P\text{Long-SAT} …
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.