# $NTime(2^n) \subseteq NSpace(n^k)$ implies $EXP = PSPACE$?

Assume $$NTime(2^n) \subseteq NSpace(n^k)$$, for some fixed $$k$$. Is it possible to imply that $$EXP = PSPACE$$? and what about $$NEXP = PSPACE$$? It seems the answer might be YES, because this question seems to be equivalent to the open question $$EXP=PSPACE$$?
Can it be shown using some padding argument?

• Are you aware of Savitch's theorem? – dkaeae Jun 14 at 14:28
• I can see why it leads to NEXP=PSPACE. But how Savitch theorem is related to EXP=PSPACE? – LioH Jun 16 at 15:01