için bu argüman neden yanlış?

Aptalca olduğunu biliyorum, ama kendimi karıştırmayı başardım ve bunu halletmek için yardıma ihtiyacım var

Varsayalım ki , daha sonra açık bir şekilde her torpil için A Elimizdeki P A = N P A bir torpil var olduğu gerçeğini ters A olan P bir ≠ N P A , bu nedenle P ≠ K $P=NP$$A$$P^A=NP^A$$A$$P^A\neq NP^A$$P\neq NP$

Sorun nedir? Teşekkürler!

Elbette, bir kehanete sahip olmanın ne anlama geldiğini düşünmeye dikkat etmelisiniz.

Sorun şu CS kullanmak gösterimde sinir bozucu bir istismardan gelir: deyim olarak , P dilleri bir dizi ifade eder. Ancak açıklamada P A = N P A , P Turing Makineler (determinstic polytime TM) 'in bir grubunu belirtir. Bu iki P'yi tamamen farklı türler olarak düşünmelisiniz .$P=NP$$P$$P^A = NP^A$$P$$P$

Bu nedenle, iki ve N P dil grubu aynı olsa bile , deterministik polytime TM'ler hala belirsiz olanlarla aynı şekilde çalışmaz. Özellikle, bir kâhin göz önüne alındığında, belirsiz bir TM “aynı anda birçok soru sorabilir”, ki bu da normal TM'nin yapamayacağı bir şeydir. Bu nedenle, her iki makineye de ek yardım verilmediğinde aynı dil grubuna karar verseler bile, kehanet bir makineye diğerinden daha fazla yardımcı olabilir.$P$$NP$