Запитання з тегом «relativization»

Коли я пояснював доказ Бейкер-Гілла-Солової про те, що існує оракул, з яким ми можемо мати, , і оракул, з яким ми можемо мати P ≠ N P другові, виникло питання, чому такі методи погано підходять для доведення проблеми P ≠ N P , і я не міг дати задовільної відповіді.P=NPP=NP\mathsf{P} …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

Як довести, що ? Я просто шукаю такий оракул TM і рекурсивну мову для якої це справедливо.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Я знаю доказ, де ви показуєте, що існує oracle такий, що і oracle такий, що . У мене є натяк, що мені слід знайти такий оракул , поширивши доказ …

12 complexity-theory  relativization 

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

10 complexity-theory  np-complete  complexity-classes  relativization  np