この問題は自明なシミュレーションがO(k)時間かかり、入力kがO(logk)ビットで符号化されることからEXPTIMEとなる。
这问题是在EXPTIME里面，因为单纯使用图灵机去模拟需要O(k)的时间，而输入实际的资料晾大小则是(logk)。