대한이 인수가 왜 잘못 되었습니까?

나는 그 어리석은 것을 알고 있지만, 혼란스러워서 이것을 해결하는 데 도움이 필요합니다.

라고 가정 하면 모든 오라클 대해 있는데, 이는 인 일부 Oracle 가 존재한다는 사실과 상반 되므로$P=NP$$A$$P^A=NP^A$$A$$P^A\neq NP^A$$P\neq NP$

뭐가 문제 야? 감사!

물론, 오라클을 갖는 것이 무엇을 의미하는지 신중하게 생각해야합니다.

문제는 CS에서 사용하는 성가신 표기법 남용에서 비롯됩니다. 문 에서 는 언어 집합을 나타냅니다. 그러나 문 에서 는 Turing Machines (결정적 polytime TM) 클래스를 나타냅니다. 이 두 를 완전히 다른 유형으로 생각해야 합니다.$P=NP$$P$$P^A = NP^A$$P$$P$

따라서 두 언어 와 가 동일하더라도 결정 론적 폴리 타임 TM은 여전히 ​​비결정론 적 언어 와 같은 방식으로 작동하지 않습니다. 특히 오라클에서 비결정론 적 TM은 "한 번에 많은 질문을 할 수 있습니다"는 일반적인 TM이 할 수없는 일입니다. 따라서 어떤 유형의 시스템에도 추가 도움이 제공되지 않을 때 동일한 언어 세트를 결정하더라도 오라클은 한 유형의 시스템을 다른 유형보다 더 많이 도울 수 있습니다.$P$$NP$