为什么这个论点是错误的？

我知道它很傻，但是我设法使自己困惑，我需要帮助解决这个问题

假设，那么对于每个预言显然我们都有，这与以下事实相对应：存在一些预言的，因此$P=NP$$A$$P^A=NP^A$$A$$P^A\neq NP^A$$P\neq NP$

怎么了？谢谢！

当然，您只需要仔细考虑拥有甲骨文的含义。

问题来自我们在CS中使用的令人讨厌的符号滥用：在语句，表示一组语言。但是在语句，表示一类图灵机（确定性多时TM）。您应该将这两个视为完全不同的类型。$P=NP$$P$$P^A = NP^A$$P$$P$

因此，即使两组语言和相同，确定性多时TM仍然不能以与不确定性TM相同的方式工作。特别是，对于一个先知，一个不确定的TM可以“一次询问许多问题”，这是常规TM不能做到的。因此，即使在两种机器都没有获得额外帮助的情况下，即使他们决定使用相同的语言集，oracle也会比另一种机器提供更多的帮助。$P$$NP$