P: Unterschied zwischen den Versionen
Css (Diskussion | Beiträge) |
Css (Diskussion | Beiträge) |
||
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