mirror of
https://github.com/janishutz/eth-summaries.git
synced 2026-01-11 19:48:27 +00:00
[TI] Compact: fix translation
This commit is contained in:
@@ -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
|
For all $f, g: \N \rightarrow \R^+$, we define
|
||||||
\rmvspace
|
\rmvspace
|
||||||
\begin{align*}
|
\begin{align*}
|
||||||
\text{NTIME}(f) & = \{ L(M) \divides M \text{ ist eine NMTM mit } \tc_M(n) \in \tco{f(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{ ist eine NMTM mit } \spc_M(n) \in \tco{g(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{NLOG} & = \text{NSPACE}(\log_2(n)) \\
|
||||||
\text{NP} & = \bigcup_{c \in \N} \text{NTIME}(n^c) \\
|
\text{NP} & = \bigcup_{c \in \N} \text{NTIME}(n^c) \\
|
||||||
\text{NPSPACE} & = \bigcup_{c \in \N} \text{NSPACE}(n^c)
|
\text{NPSPACE} & = \bigcup_{c \in \N} \text{NSPACE}(n^c)
|
||||||
|
|||||||
Binary file not shown.
Reference in New Issue
Block a user