diff --git a/semester3/ti-compact/parts/05_complexity.tex b/semester3/ti-compact/parts/05_complexity.tex index b2059f0..b2b6f32 100644 --- a/semester3/ti-compact/parts/05_complexity.tex +++ b/semester3/ti-compact/parts/05_complexity.tex @@ -102,8 +102,8 @@ The rest of the definition is equivalent to the one for deterministic TM and MTM For all $f, g: \N \rightarrow \R^+$, we define \rmvspace \begin{align*} - \text{NTIME}(f) & = \{ L(M) \divides M \text{ ist eine NMTM mit } \tc_M(n) \in \tco{f(n)} \} \\ - \text{NSPACE}(g) & = \{ L(M) \divides M \text{ ist eine NMTM mit } \spc_M(n) \in \tco{g(n)} \} \\ + \text{NTIME}(f) & = \{ L(M) \divides M \text{ is an NMTM with } \tc_M(n) \in \tco{f(n)} \} \\ + \text{NSPACE}(g) & = \{ L(M) \divides M \text{ is an NMTM with } \spc_M(n) \in \tco{g(n)} \} \\ \text{NLOG} & = \text{NSPACE}(\log_2(n)) \\ \text{NP} & = \bigcup_{c \in \N} \text{NTIME}(n^c) \\ \text{NPSPACE} & = \bigcup_{c \in \N} \text{NSPACE}(n^c) diff --git a/semester3/ti-compact/ti-compact.pdf b/semester3/ti-compact/ti-compact.pdf index 690ceb5..18a8968 100644 Binary files a/semester3/ti-compact/ti-compact.pdf and b/semester3/ti-compact/ti-compact.pdf differ