Als «nondeterminism» getaggte Fragen

1
Einheitliche Methode zur Quantifizierung von „Verzweigungen“ bei nichtdeterministischen, probabilistischen und Quantenberechnungen?
Die Berechnung einer nichtdeterministischen Turing-Maschine (NTM) ist bekanntermaßen als ein Baum von Konfigurationen darstellbar, der auf der Startkonfiguration basiert. Jeder Übergang im Programm wird durch einen Vater-Kind-Link in diesem Baum dargestellt. Ähnliche Bäume können auch zur Visualisierung der Berechnungen von Wahrscheinlichkeits- und Quantenmaschinen konstruiert werden. (Beachten Sie, dass es für …
1
Ist eine quadratische Nichtdeterminismus-Beschleunigung der deterministischen Berechnung plausibel?
Dies ist eine Folge der nicht deterministischen Beschleunigung der deterministischen Berechnung . Ist es plausibel, dass Nichtdeterminismus (oder allgemeiner Wechsel) eine allgemeine quadratische Beschleunigung der deterministischen Berechnung ermöglichen würde? Oder gibt es bekannte unplausible Konsequenzen für etwas wie ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)
1
Nichtdeterminismus ist im Durchschnitt für Schaltkreise nutzlos?
Savický und Woods (Die Anzahl der Booleschen Funktionen, die durch Formeln einer bestimmten Größe berechnet werden) beweisen das folgende Ergebnis. Satz [SW98]: Für jede Konstante haben fast alle Booleschen Funktionen mit einer Formelkomplexität von höchstens eine Schaltungskomplexität von mindestens .n k n k / kk > 1k>1k>1nknkn^knk/ knk/.kn^k/k Der Beweis …
1
NFA-DFA-Powerset-Konstruktion: Ein partieller Bestimmungsalgorithmus mit Kompromiss zwischen Laufzeit und Größe für die resultierenden Automaten?
Bei einem NFA und seinem äquivalenten DFA die sich aus der Gesamtbestimmung von (z. B. unter Verwendung der Powerset-Konstruktion), gelten die folgenden Eigenschaften für , und für jedes Wort :D N.N.NND.DDN.NND wN.NND.DDwww N.NN liest in der Laufzeit höchstens .O ( | w | . | N | 2 )wwwO ( …
1
Hierarchiesatz für NTIME überschneiden coNTIME?
\newcommand{\cc}[1]{\mathsf{#1}} Gilt ein Satz in der folgenden Richtung: Wenn g(n)g(n)g(n) etwas größer als f(n)f(n)f(n) , dann ist NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) ? Es ist leicht zu zeigen, dass NP∩coNP≠NEXP∩coNEXPNP∩coNP≠NEXP∩coNEXP\cc{NP} \cap \cc{coNP} \neq \cc{NEXP} \cap \cc{coNEXP} . Beweis: Nicht annehmen. Dann NEXP∩coNEXP⊆NP∩coNP⊆NP∪coNP⊆NEXP∩coNEXP,NEXP∩coNEXP⊆NP∩coNP⊆NP∪coNP⊆NEXP∩coNEXP,\cc{NEXP} \cap \cc{coNEXP} \subseteq \cc{NP} \cap \cc{coNP} …
1
Folgen des Nichtdeterminismus beschleunigen die deterministische Berechnung
Wenn NPNP\mathsf{NP} eine Klasse von Superpolynomzeitproblemen enthält, d.h. für eine Funktion t∈nω(1)t∈nω(1)t \in n^{\omega(1)} ist DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} , P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP} Aber gibt es noch andere interessante Konsequenzen, die nicht trivial sind (dh keine Konsequenz von ), wenn Nichtdeterminismus deterministische Berechnungen beschleunigen kann?P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP}
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.