3
Relativizasyon neden bir engeldir?
Baker-Gill-Solovay'ı açıklayabildiğimde, sahip olabileceğimiz bir kehanetin, ve var olabileceğimiz bir kahin olduğunun bir arkadaşıma, bu tür tekniklerin neden problemini ispatlamak için uygun olmadığına dair bir soru geldi ve tatmin edici bir cevap veremedim.PNPP=NP\mathsf{P} = \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Daha somut ifade etmek gerekirse, i ispatlamak için bir yaklaşımım varsa …