判断题 如果对于X的任意实例，通过多项式次的计算步骤，加多项式次调用Y的算法，可解决X，则X可多项式时间归约到Y。

判断题 EXP类是所有指数时间可解的判定问题组成的问题类。

判断题 有多项式时间算法的问题是易解问题。