証明！完全に時間構成可能です

私達はちょうど先週、クラスで私たちの「タイム・施工」レッスンを終え、我々は、例えばのために、ことが示されたのためというマシンをチューリング（マルチテープ決定論）が存在する、すなわち、完全にタイム構築可能です与えられました、正確にステップ後に停止し、その証明できるかどうかを尋ねるだけ完全に時間構成可能です（そして次に進みます）。$n^k, 2^n$$n$$f(n)$$n!$

証明がどのように行われるかはわかりませんが、はを使用して（完全に）時間構成可能であることを示したため、ある程度時間構成可能性、または階乗を含むアイデンティティを使用する必要があると考えています。$n^k$$n^k$$n^k = n + \sum_{i=1}^{i=k-1}(n - 1)n^i$

ヒントも本当にありがたいです。前もって感謝します。

$n!$$n$$L=O(logn)$$k$$l$$O(kl)$$O(k+l)$$1$$n$$n!$$\# = L^2 ( 1 + 2 ...(n-1) ) = \frac{L^2n(n-1)}{2} = O(L^22^{O(L)})=o(L!)$