EXP ⊆ NEXP

Inclusion · folklore

Statement

A deterministic exponential-time machine is a nondeterministic one that ignores its choices, so EXP $\subseteq$ NEXP — folklore. Whether the inclusion is strict is open; $\mathbf{EXP}=\mathbf{NEXP}$ would follow from $\mathbf{P}=\mathbf{NP}$ by padding — folklore.