NEXPTIME-完全，因为输入的大小跟前者相比是成指数速率缩小。举个简单的例子，使用简洁电路的表示法找一张图的哈密顿图是NEXPTIME-完全。如果P = NP，那么NEXPTIME = EXPTIME；更精确的说，E ≠ NE，若且唯若存在一个稀疏语言，在NP并且不在P里面。