考虑字母 ∑ 上的两种语言 L1 和 L2。令 f : ∑ → ∑ 是多项式时间可计算的双射，使得 (∀ x) [x ∈ L1 仅当 f(x) ∈ 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 是可判定的，那么就有算法可以在 polytime 中求解 L2。但随后我们可以在多时求解 L1 的每个实例，使 L1 也可判定。矛盾这个问题的测验