?

É claro que qualquer idioma em pode ser calculado em .$\mathsf{EXP}^{\mathsf{EXP}}$$\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}})$

Minha pergunta é se o inverso é verdadeiro: is ?$\mathsf{2EXP} \subseteq \mathsf{EXP}^{\mathsf{EXP}}$

Considere o problema

$$A^f = A_{TM}^f = \{\langle M,x,t \rangle \mid M\in DTM \text{ and } M(x) \text{ halts and accepts in } f(|t|) \text{ steps}\}.$$

Agora está completo para e está completo para .$L^{\exp}$$\mathsf{EXP} = \mathsf{DTime}(\exp (n^{O(1)}))$$L^{\exp\exp}$$\mathsf{2EXP} =\mathsf{DTime}(\exp\exp(n^{O(1)}))$

Mostramos que está em .$L^{\exp \exp}$$\mathsf{EXP}^\mathsf{EXP}$

Dado , simplesmente escrevemos na fita de consulta e solicitamos a e retornamos sua responder como saída.$\langle M,x,t \rangle$$\langle M,x,1^{\exp(|t|)} \rangle$$L^{\exp}$

Esse algoritmo está em , portanto .$\mathsf{EXP}^\mathsf{EXP}$$\mathsf{2EXP} \subseteq \mathsf{EXP}^\mathsf{EXP}$