P: Unterschied zwischen den Versionen

Aus Einführung in die Theoretische Informatik und in die Mathematische Logik
Wechseln zu: Navigation, Suche
Zeile 1: Zeile 1:
 
P ist die Klasse der in polynomieller Zeit lösbaren Entscheidungsprobleme. Es gilt $P = \bigcup\limits_{n\in\mathbb{N}} \operatorname{DTIME}(x^n)$. Die meisten praxisrelevanten Algorithmen liegen in $P$.
 
P ist die Klasse der in polynomieller Zeit lösbaren Entscheidungsprobleme. Es gilt $P = \bigcup\limits_{n\in\mathbb{N}} \operatorname{DTIME}(x^n)$. Die meisten praxisrelevanten Algorithmen liegen in $P$.
 +
 +
Beispielsweise sind QuickSort und MergeSort in $P$.
 +
 +
'''Lemma:''' $L \subseteq P$.
 +
'''Beweis:'''
  
 
'''Lemma:''' $NL \subseteq P$.
 
'''Lemma:''' $NL \subseteq P$.

Version vom 29. August 2018, 21:14 Uhr

P ist die Klasse der in polynomieller Zeit lösbaren Entscheidungsprobleme. Es gilt $P = \bigcup\limits_{n\in\mathbb{N}} \operatorname{DTIME}(x^n)$. Die meisten praxisrelevanten Algorithmen liegen in $P$.

Beispielsweise sind QuickSort und MergeSort in $P$.

Lemma: $L \subseteq P$. Beweis:

Lemma: $NL \subseteq P$.

Beweis: TODO


Beispiele