Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

3
Verwendung der Kolmogorov-Komplexität als Eingangsgröße
Angenommen, wir haben ein Rechenproblem, z. B. 3-SAT, das eine Reihe von Probleminstanzen (mögliche Eingaben) . Normalerweise haben wir bei der Analyse von Algorithmen oder der Theorie der rechnerischen Komplexität einige Mengen aller Eingaben der Länge und eine Funktion , die die Laufzeit einiger Lösungsalgorithmen für die Eingabe . Die …
1
Minimale akkordlose Vervollständigung von Kurvendiagrammen: Ist es NP-schwer?
Das folgende interessante Problem ist kürzlich in meiner Forschung aufgetaucht: INSTANZ: Graph .G ( V, E)G(V,E)G(V, E) LÖSUNG: Eine akkordlose ungerade Zyklus-Vervollständigung, definiert als eine Obermenge der Kantenmenge so dass der vervollständigte Graph die Eigenschaft hat, dass jede Kante in in einem akkordlosen ungeraden Zyklus enthalten ist. E G ' …
2
Superpolynomialer Zeitnäherungsalgorithmus für MAX 3SAT
Das PCP - Theorem besagt , dass es kein Polynomialzeitalgorithmus für MAX 3SAT eine Zuordnung zu finden befriedigend Klauseln einer erfüllbar 3SAT Formel , es sei denn P = N P .7/8+ϵ7/8+ϵ7/8+ \epsilonP=NPP=NPP = NP Es ist ein trivialer Polynomialzeitalgorithmus dass erfüllen der Klauseln. So können wir es besser machen …
3
Probleme, die unter randomisierten oder P / Poly-Reduktionen NP-vollständig sind.
In dieser Frage scheinen wir ein natürliches Problem identifiziert zu haben, das unter randomisierten Reduktionen NP-vollständig ist, möglicherweise jedoch nicht unter deterministischen Reduktionen (obwohl dies davon abhängt, welche unbewiesenen Annahmen in der Zahlentheorie zutreffen). Sind noch andere Probleme bekannt? Gibt es irgendwelche natürlichen Probleme, die unter P / Poly-Reduktionen NP-vollständig …
4
Stellen die unentscheidbaren Eigenschaften von P ein Hindernis für die Entscheidung zwischen P und NP dar? (Antwort: vielleicht)
Es werden fünf verknüpfte Fragen gestellt und eine einzige integrierte Antwort erhofft: Frage 1 : Gibt es Sprachen , die nur von den Turing-Maschinen in erkannt werden, deren Laufzeitexponenten unentscheidbar sind ?PLLLPPP F2: Können Beispiele dieser Turingmaschinen endlich gebaut werden? F3: Können diese Turing-Maschinen konkret instanziiert werden? ( zB durch …
2
Gibt es beschreibende Komplexitätsdarstellungen von Quantenkomplexitätsklassen?
Der Titel sagt mehr oder weniger alles, aber ich denke, ich könnte ein bisschen Hintergrundwissen und einige spezifische Beispiele hinzufügen, an denen ich interessiert bin. Deskriptive Komplexitätstheoretiker wie Immerman und Fagin haben viele der bekanntesten Komplexitätsklassen mithilfe von Logik charakterisiert. Zum Beispiel kann NP mit existenziellen Abfragen zweiter Ordnung charakterisiert …
3
Umfrage zu Algorithmen / Komplexität der linearen Algebra
Ich bin auf der Suche nach einer guten Übersicht über Algorithmen und Komplexität der linearen Algebra (Operationen wie Rang, Inverse, Eigenwerte, ... für Boolesche, und Ganzzahlen / Rationale Matrizen) mit Schwerpunkt auf Parallelität ( Hierarchie). und Polyzeitalgorithmen. Ich konnte keinen neuen finden. NCFpFp\mathbb{F}_pNCNCNC Kennen Sie eine gute aktuelle Umfrage oder …
5
Deterministischer Parallelalgorithmus für perfektes Matching in allgemeinen Graphen?
In der Komplexitätsklasse gibt es einige Probleme, von denen angenommen wird, dass sie NICHT in der Klasse , dh Probleme mit deterministischen parallelen Algorithmen. Das Problem des maximalen Durchflusses ist ein Beispiel. Und es gibt Probleme, von denen man glaubt, dass sie in , aber ein Beweis wurde noch nicht …
4
Beispiele für Härtephasenübergänge
Angenommen, wir haben ein Problem, das durch einen reellen Parameter p parametrisiert ist, der "leicht" zu lösen ist, wenn und "schwer", wenn für einige Werte , .p = p0p=p0p=p_0p = p1p=p1p=p_1p0p0p_0p1p1p_1 Ein Beispiel ist das Zählen von Spin-Konfigurationen in Diagrammen. Die gewichteten richtigen Farbtöne, unabhängigen Mengen und Euler'schen Untergraphen entsprechen …
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.