Perché questo argomento per

So che è sciocco, ma sono riuscito a confondermi e ho bisogno di aiuto per risolverlo

Supponiamo , quindi chiaramente per ogni oracolo A abbiamo P A = N P A che contraddice il fatto che esiste un oracolo A per il quale P A ≠ N P A , quindi P ≠ N $P=NP$$A$$P^A=NP^A$$A$$P^A\neq NP^A$$P\neq NP$

Cosa c'è che non va? Grazie!

Certo, devi solo stare attento a pensare a cosa significhi avere un oracolo.

Il problema deriva da un fastidioso abuso di notazione che usiamo in CS: Nell'affermazione , P si riferisce a un insieme di lingue. Ma nell'affermazione P A = N P A , P si riferisce a una classe di Turing Machines (determinstic polytime TMs). Dovresti pensare a queste due P come a tipi completamente diversi.$P=NP$$P$$P^A = NP^A$$P$$P$

$P$$NP$