Als «complexity-classes» getaggte Fragen

Computerkomplexitätsklassen und ihre Beziehungen

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 …
3
Optimierungsprobleme mit guter Charakterisierung, aber ohne Polynom-Zeit-Algorithmus
Betrachten Sie Optimierungsprobleme der folgenden Form. Sei eine polynomiell berechenbare Funktion, die eine Zeichenkette in eine rationale Zahl abbildet . Das Optimierungsproblem lautet: Was ist der Maximalwert von über Bit-Strings ?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Nehmen wir an, dass ein solches Problem eine Minimax-Charakterisierung hat , wenn es …
1
Tardos-Funktion Gegenbeispiel zu Blums
In diesem Thread wird Norbet Blums versuchter P≠NPP≠NPP \neq NP Beweis kurz widerlegt, indem festgestellt wird, dass die Tardos-Funktion ein Gegenbeispiel zu Satz 6 ist. Satz 6 : Sei f∈Bnf∈Bnf \in \mathcal{B}_n eine monotone Boolesche Funktion. Angenommen, es gibt einen CNF-DNF-Approximator AA\mathcal{A} dem eine Untergrenze für Cm(f)Cm(f)C_m(f) . Dann kann …
1
Ist P gleich dem Schnittpunkt aller superpolynomialen Zeitklassen?
f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 Es ist klar , dass für jede Sprache gilt , daß für jede Zeit gebunden superpolynomielle . Ich frage mich, ob das Gegenteil dieser Aussage auch zutrifft. Das heißt, wenn wir für jede superpolynomielle , impliziert dies ? Mit anderen Worten, ist es wahr, dass wobei der …
3
Können typisierte Lambda-Kalküle * alle * Algorithmen unterhalb einer bestimmten Komplexität ausdrücken?
Ich weiß, dass die Komplexität der meisten Varietäten von typisierten Lambda-Kalkülen ohne das Y-Kombinator-Primitiv begrenzt ist, dh es können nur Funktionen mit begrenzter Komplexität ausgedrückt werden, wobei die Grenze größer wird, wenn die Ausdruckskraft des Typensystems zunimmt. Ich erinnere mich, dass zB die Konstruktionsrechnung höchstens doppelt exponentielle Komplexität ausdrücken kann. …
3
Grenzen des Parallel Computing
Ich bin im weitesten Sinne neugierig auf das, was über Parallelisierungsalgorithmen in P bekannt ist. Ich habe den folgenden Wikipedia-Artikel zu diesem Thema gefunden: http://en.wikipedia.org/wiki/NC_%28complexity%29 Der Artikel enthält folgenden Satz: Es ist nicht bekannt, ob NC = P ist, aber die meisten Forscher vermuten, dass dies falsch ist, was bedeutet, …
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.