Here, EXPTIME is the class of problems solvable in exponential time.

• EXPTIME 指的是可在对数时间解答的问题类别。