在计算复杂度理论内，复杂度类NEXPTIME（有时叫做NEXP）是一个决定性问题的集合，包含可以使用非确定型图灵机，使用O(2)（这里的"p"(n)是某个多项式）的时间可以解决的问题。另外这里不限制空间的使用。以NTIME作定义一个很重要的NEXPTIME-完全问题集合与简洁电路（succinct circuit）有关。简洁电路是能以指数速率缩减的空间形容图的一个机器。这个机器接收两个顶点的号码为输入，输出这两个顶点是否有边相连。如果有个问题，使用一般的图表示法，像是连接矩阵，去解决时是个NP-完全