あるEXPTIMEの決定問題がEXPTIME完全であるとき、EXPTIMEのあらゆる問題をその問題に多項式時間多対一還元できる。
我们说一个问题是EXPTIME-完全，若这问题本身在EXPTIME内，且对任何EXPTIME内的问题，均存在一个多项式时间归约的方法可以归约成此问题。