diff --git a/semester3/ti/parts/05_complexity/01_class_p.tex b/semester3/ti/parts/05_complexity/01_class_p.tex index ac1a6a6..150c805 100644 --- a/semester3/ti/parts/05_complexity/01_class_p.tex +++ b/semester3/ti/parts/05_complexity/01_class_p.tex @@ -16,7 +16,7 @@ \inlinecorollary $\text{P} \subseteq \text{PSPACE}$ \begin{definition}[]{Platz- und Zeitkonstruierbarkeit} - Eine Funktion $t : \N \rightarrow \N$ heisst \bi{platzkonstruierbar}, falls eine $1$-Band-TM $M$ existiert, so dass + Eine Funktion $s : \N \rightarrow \N$ heisst \bi{platzkonstruierbar}, falls eine $1$-Band-TM $M$ existiert, so dass \begin{enumerate} \item $\spc_M(n) \leq s(n) \smallhspace \forall n \in \N$ \item für jede Eingabe $0^n$ für $n \in \N$, generiert $M$ das Wort $0^{s(n)}$ auf ihrem Arbeitsband und hält in $\qacc$ @@ -24,7 +24,7 @@ \vspace{0.25cm} - Eine Funktion $s : \N \rightarrow \N$ heisst \bi{zeitkonstruierbar}, falls eine MTM $A$ existiert, so dass + Eine Funktion $t : \N \rightarrow \N$ heisst \bi{zeitkonstruierbar}, falls eine MTM $A$ existiert, so dass \begin{enumerate} \item $\tc_A(n) \in \tco{t(n)}$ \item für jede Eingabe $0^n$ für $n \in \N$, generiert $A$ das Wort $0^{t(n)}$ auf dem ersten Arbeitsband und hält in $\qacc$ diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf index a0e41e9..5f8b37f 100644 Binary files a/semester3/ti/ti-summary.pdf and b/semester3/ti/ti-summary.pdf differ