Інтуїція за релятивізацією

Я беру курс на Комп'ютерна складність. Моя проблема полягає в тому, що я не розумію метод релятивізації . Я намагався знайти трохи інтуїції у багатьох підручниках, на жаль, поки що не мав успіху. Я буду вдячний, якщо хтось міг би пролити світло на цю тему, щоб я міг продовжувати самостійно. Кілька наступних речень - це питання та мої думки щодо релятивізації, вони допоможуть орієнтуватися на дискусію.

Дуже часто релятивізація відбувається порівняно з діагоналізацією, що є методом, який допомагає розрізняти налічуваний набір і незліченний набір. Через релятивізацію якимось чином випливає, що питання проти не може бути вирішене діагоналізацією. Я насправді не бачу ідеї, чому релятивізація показує марність діагоналізації, а якщо вона марна, чому насправді марна.Н $P$$NP$

Ідея, що стоїть за машиною Turing Turing спочатку дуже чітка. Однак, якщо мова йде про і інтуїція зникає. Oracle - це чорна скринька, яка призначена для спеціальної мови і відповідає на питання, чи є рядок на вході оракула мовою в часі 1. Як я зрозумів, що ТМ, що містить оракул, просто зробить кілька допоміжних операцій і запитає про оракул. Отже, ядром ТМ є оракул, все інше менш важливе. Яка різниця між і , навіть думка оракул в обох вони працює в часі 1. Н П А П А П А Н П $M^A$$NP^A$$P^A$$P^A$$NP^A$

Останнє , що це доводить існування оракула такий , що . Я знайшов доказ у кількох підручниках, і в усіх них доказ здається дуже розпливчастим. Я спробував використати "Вступ до складності" від Шипсера, глава 9. Нездатність і не здогадуються про створення списку всіх поліноміальних оракул ТМ .P B ≠ N P $B$$P^B \neq NP^B$$M_i$

Це більш-менш все, що я знаю про релятивізацію, я буду вдячний, якщо хтось знову вирішить поділитися своїми думками з цієї теми.

Додаток : в одному з підручників я знайшов приклад мови (Комп'ютерна складність: сучасний підхід Боаза Барака Сандєєва Арора. Теорема 3.7. Сторінка 74). це одинарна мова. Я вважаю, що всі (11,111,1111, ...) всі в . Автор підтверджує, що така мова є в тому я не можу зрозуміти, чому, отже, Oracle для B може вирішити все вчасно 1. Навіщо нам потрібна недетермінована ТМ з оракулом. Якщо це не хороший приклад ласка покладіть ваш таким чином, щоб затвердити існування .$NP^B$$U_B=\left \{ 1^n:some \space string \space of \space length \space n \space is \space in \space B\right \}$$U_B$$NP^B$$NP^B$$NP^B$

Ви на самому ділі не запитав який - або питання, але мені здається , що ви не знаєте , що означає і які N P A означає для мови A . Клас N P A - це просто всі мови, які можна вирішити за "NP час", з урахуванням машини turing з A як оракул. Це означає недетерміновану машину для твердіння з доступом до A, яка працює в поліноміальний час. Р є детермінованою версією.$\rm{P}^A$$\rm{NP}^A$$A$$\rm{NP}^A$$A$$A$$\rm{P}^A$