Take $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } L \in \text{PSPACE}$ and let $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } M$ be the turing machine computing $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } L$ in polynominal space $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } c x^n$. For any input $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } a$ we can reduce the question of $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } a \in L$ into a $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \sf{SPACETM}$ problem by noting that $$\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } a \in L \iff M(a) = 1 \iff \tup{\delta(M), a, 1^{c \norm a ^n}} \in \sf{SPACETM}$$ where $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \delta(M)$ is the machine halting on input $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \nu$ exactly when $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } M(\nu) =_\halts 1$. This reduction only really requires time to compute $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } c\norm a ^n$, which can certainly be done in polynomial time.

Take an input $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \tup{M, x, 1^n}$; we need to decide if $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \tup{M, x, 1^n} \in \sf{SPACETM}$ in polynomial space. We know already of a space-bounded turing maching $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } U$. Construct a machine $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } M \restriction n$ which acts like $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } M$ but rejects if ever more than $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } n$ cells are used. Now run $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } U(M \restriction n, x)$ and return $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } 1$ iff the computation accepted. We’ll treat the space required for the construction of $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } M \restriction n$ as negligible (which is the kind of thing we seem to be doing?). Then the space usage of algorithm is bounded by $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } n$ (up to constant multiple), and since we take $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } 1^n$ as input we know the input will always be of size at least $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } n$. Hence this algorithm runs in polynomial space.

Take $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } L \in \text{NL}$ and $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } M$ an NTM computing $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } L$ in logarithmic space. As per Claim 4.4, for any $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x$ the configuration graph $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } G_{M,x}$ has $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } 2^{c \log \norm x}$ nodes (for some $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } c$ not a function of $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x$), which is to say $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } k\norm x$ nodes (for some $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } k$ not a function of $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } x$). This entails that constructing $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } G_{M,x}$ from $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } M, x$ can be performed in sub-polynomial time. Let $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \tilde G_{M, x}$ be the same as $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } G_{M, x}$ except that nodes not reachable from the start state are omitted, unless they are the stop state node. Note that $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \tilde G_{M, x}$ can be computed just as efficiently as $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } G_{M,x}$. Noting that $$\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \begin{align*} & a \in L \\& \iff M(a) = 1 \\& \iff G_{M, a} \t{ has a path from the start state to the stop state } \\& \iff \tilde G_{M,a} \t{ is strongly-connected} \end{align*}$$ we have that the computation $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } (M, a) \mapsto \tilde G_{M, a}$ is the desired polynomial-time reduction.

First note that $$\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } G \t{ strongly connected} \iff \forall n_0, n_f \in G \ \ \exists \t{a path } n_0 \to n_f$$ The presence of alternating quantifiers makes this tricky to solve directly. However, according to the internet a corrolary of the Immerman–Szelepcsényi Theorem (as stated in the book) is that $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \text{NL}$ is closed under complement, so if we find an $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \text{NL}$ algorithm for $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } A$ then one exists also for $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \ol A$. Hence in the following solution we circumvent the alternating quantifiers by replacing $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \exists$ with $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \neg \forall \neg$. By Immerman–Szelepcsényi as above this means we also have an $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } \text{NL}$ algorithm to test if there is a path $\newcommand{\cl}[1]{ \mathcal{#1} } \newcommand{\sc}[1]{ \mathscr{#1} } \newcommand{\bb}[1]{ \mathbb{#1} } \newcommand{\fk}[1]{ \mathfrak{#1} } \renewcommand{\bf}[1]{ \mathbf{#1} } \renewcommand{\sf}[1]{ \mathsf{#1} } \renewcommand{\rm}[1]{ \mathrm{#1} } \newcommand{\floor}[1]{ { \lfloor {#1} \rfloor } } \newcommand{\ceil}[1]{ { \lceil {#1} \rceil } } \newcommand{\ol}[1]{ \overline{#1} } \newcommand{\t}[1]{ \text{#1} } \newcommand{\norm}[1]{ { \lvert {#1} \rvert } } \newcommand{\mag}[1]{ { \left\lvert {#1} \right\rvert } } \newcommand{\smag}[1]{ { \lvert {#1} \rvert } } \newcommand{\card}{ \t{cd} } \newcommand{\dcup}{ \sqcup } \newcommand{\tup}[1]{ \langle {#1} \rangle } \newcommand{\tl}{ \tilde } \newcommand{\wt}{ \widetilde } \newcommand{\onall}[1]{ { \llbracket {#1} \rrbracket } } \newcommand{\tpar}[1]{ \left( {#1} \right) } \newcommand{\tbrak}[1]{ \left[ {#1} \right] } \newcommand{\tbrac}[1]{ \left\{ {#1} \right\} } \newcommand{\mapsfrom}{ \mathop{\leftarrow\!\mid} } \newcommand{\then}{ \operatorname{\ ;\ } } \newcommand{\pre}[1]{{ \small `{#1} }} \newcommand{\injects}{ \hookrightarrow } \newcommand{\embeds}{ \hookrightarrow } \newcommand{\surjects}{ \twoheadrightarrow } \newcommand{\projects}{ \twoheadrightarrow } \newcommand{\id}{ \,\mathrm d } \newcommand{\ddn}[3]{ \frac{ {\mathrm d}^{#1} {#2} }{ {\mathrm d} {#3}^{#1} } } \newcommand{\dd}{ \ddn{} } \newcommand{\d}{ \dd{} } \newcommand{\dn}[1]{ \ddn{#1}{} } \newcommand{\Dn}[2]{ \partial^{#1}_{#2} } \newcommand{\D}{ \Dn{} } \newcommand{\ig}[2]{ \int {#2} \, \mathrm d {#1} } \newcommand{\cat}[1]{{ \sf{#1} }} \newcommand{\yo}{よ} \newcommand{\apar}{ {-} } \newcommand{\halts}{ {\downarrow} } \newcommand{\loops}{ {\uparrow} } n_0 \to n_f$ Woof