Direkt zum Inhalt

Lexikon der Mathematik: Translationssatz

im Kontext Padding die Aussage, daß unter schwachen Voraussetzungen an die beteiligten Funktionen aus \begin{eqnarray}\text{DTIME}({t}_{1}(n))\subseteq \text{DTIME}({t}_{2}(n))\end{eqnarray} (DTIME) für Funktionen f(n) ≥ n \begin{eqnarray}\text{DTIME}({t}_{1}\circ f(n))\subseteq \text{DTIME}({t}_{2}\circ f(n))\end{eqnarray} folgt.

Mit dem Translationssatz lassen sich Hierarchien (Hierarchiesatz) verfeinern. Mit der Methode des Padding läßt sich der Translationssatz beweisen.

Lesermeinung

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnervideos