Запитання з тегом «oracle-machines»

Однією з можливих мотивацій до вивчення класів обчислювальної складності є розуміння сили різних видів обчислювальних ресурсів (випадковість, недетермінізм, квантові ефекти тощо). Якщо ми розглянемо це з цієї точки зору, то, схоже, ми можемо отримати одну правдоподібну аксіому для будь-якої спроби характеризувати, які обчислення можливі в якійсь моделі: Будь-яке здійснене обчислення …

21 complexity-theory  oracle-machines 

Я знаю, що це нерозумно, але мені вдалося заплутати себе, і мені потрібна допомога, щоб вирішити це Припустимо, , то для кожного оракула явно маємо що суперечить тому, що існує якийсь оракул для якого , отже,A P A = N P A A P A ≠ N P A P …

11 complexity-theory  p-vs-np  oracle-machines 

Я розумію, що більшість проблем є тривіальними, якщо доступний оракул, що зупиняється (або, я думаю, що рівнозначно, гіпер-обчислення). Однак застосування аргументу, який показує, що Проблема зупинки неможлива для машини Тьюрінга, також показує, що Tracle + oracle не може вирішити проблему зупинки для Tracle + oracle. Чи існують якісь фактичні, практичні …

11 computability  undecidability  halting-problem  oracle-machines 

Як ми можемо гарантувати, що ми продовжуємо робити обгрунтовані та обґрунтовані твердження про класи складності під час використання Oracle Turing Machines? Згідно з моїм розумінням (виходячи з визначень, наведених у вступних підручниках з цієї теми), оракули Тьюрінгові машини можуть визначати статус членства рядка щодо мови оракула за один крок обчислення. …

9 complexity-theory  oracle-machines