考虑字母∑上的两种语言L1和L2。设f：∑→∑是多项式时间可计算双射，使得(∀x)[x＆in; L1 iff f(x)＆in; L2]。
此外，令f -1也是多项式时间可计算的。
以下哪项是不正确的?
(A) L1∈P并且L2是有限的
(B) L1∈NP和L2∈P
(C) L1不可确定，L2可确定
(D) L1是递归可枚举的，而L2是递归可枚举的答案： (C)
说明：对于L1到L2的所有实例，我们都有一对一的映射。
L1不确定。此外，L1是多项式时间，可简化为L2。 (通过给定映射)。现在，如果L2是可确定的，那么就有一种算法可以解决多项式中的L2。但是，然后我们可以解决多项式中L1的每个实例，从而使L1也是可判定的。矛盾这个问题的测验