Чи може бути описана версія складності теореми Райса використана для розділення AC0 та PSPACE?


10

У цьому питанні було зазначено, що існують описові варіанти складності теореми Райса. Я знайшов доказ наступної теореми:

Враховуючи клас складності C , нетривіальні властивості мов на C не можуть бути обчислені в C

Раніше я розміщував знайдене нами доказ, але оскільки воно було так тривалим і тому, що в коментарях було зазначено, що цей документ вже містить доказ цієї теореми, я його вилучив. (Якщо ви з якоїсь причини відчайдушно бачите мої докази, перегляньте попередні редакції цього питання.)

Моє зацікавлення в тому, чи можна цю теорему використовувати для розділення AC0 та PSPACE. Ось аргумент:

Розглянемо властивість P класу складності AC0, визначеного таким чином:

P : властивість бути запитом FO, який приймає певну фіксовану структуру, а саме структуру, що складається з одного елемента, без функцій, без констант і ніяких відношень

Зрозуміло, що за вищенаведеною теоремою P не може бути вирішений в AC0; це нетривіальна властивість запитів FO.

Однак невеликий огляд повинен показати, що обчислення того, чи запит FO приймає таку просту структуру, може бути вирішено так само просто, як TQBF; таким чином, P визначається в PSPACE.

Для забезпечення ясності в цьому пункті (що P обчислюється в PSPACE): Зауважте, що властивість, яка нас цікавить, вимагає, щоб структура була FO. Отже, ми намагаємося визначити, чи приймає запит FO, який працює над одноелементною структурою без відношень. Оскільки відносин не має бути вирішеним, повинно бути зрозуміло, що завдання вирішення такого запиту FO еквівалентно вирішенню екземпляра TQBF; відносин немає, тож єдиною проблемою, яка залишається, є оцінити, чи справжня кількісна булева формула чи ні. Це в основному лише TQBF, тому P обчислюється в PSPACE.

Оскільки P обчислюється в PSPACE, але не AC0, ми повинні мати можливість зробити висновок, що AC0! = PSPACE. Чи правильно це міркування, чи я десь помилився? Я особливо стурбований попереднім пунктом; Я спробую завтра уточнити та оновити аргумент після того, як отримаю можливість трохи більше подумати над експозицією.

Я б прийняв як відповідь приклад запиту FO, який при обчисленні описаної нами одноелементної структури, що не стосується, явно не має сенсу як екземпляр TQBF. (Я припускаю, що такого немає, тому, якщо ви можете показати, що він є, це був би контрприклад.)

Дякую.


@Kaveh: Ви повинні зробити свій коментар відповіддю.
Dai Le

@Kaveh: Дякуємо за ваш коментар. Я хоч трохи збентежений тим, що ви говорите. На яку машину в PSPACE для наборів AC0 ви зверталися? Я мав на увазі властивість P, яка стосується конкретно запитів FO щодо дуже простих структур. Я пропоную, що оцінювати, чи запити FO приймають просту структуру, гарантовано є TQBF, що є PSPACE. Я не бачу, де потрібен універсальний тренажер для AC0.
Філіп Уайт

@Kaveh: Гаразд. Я підготую свої спроби доказів думки у цьому питанні та опублікую її як окреме запитання. Я думав, що це правильно, але я часто помиляюся. (Звичайно, якщо ти спростуєш мою гіпотезу до цього часу, я не буду заважати.)
Філіп Уайт

Ой. Я просто опублікував це як питання. Чи потрібно видалити нове запитання і надіслати його як відповідь?
Філіп Уайт

(Я видалив його і додав до цього питання.)
Філіп Уайт

Відповіді:


7

Вирішити нетривіальні властивості (індексування) множин у класі складності так само важко, як обчислити графік універсальної функції для класу. Інтуїтивно це означає, що єдиний спосіб вирішити нетривіальну властивість - це імітувати машини та чекати відповідей. Мені здається, що ідея використання такої властивості просто дасть те, що відомо теоремами ієрархії. (Див. Теорему 4.2 Д. Козена, " Індексація субрекурсивних класів ", 1978 р. Для деталей та точного твердження теореми.)

grUAC0AC0PSpaceAC0LLPSpaceAC0AC0FOPSpacePSpaceAC0AC0PSapce

AC0LPSpace


Цікаво, дякую. Отже, ви говорите: 1) Мій аргумент був правильним, але 2) Існував простіший спосіб. :) Гадаю, мені потрібно визначити теорему про космічну ієрархію.
Філіп Уайт

FO

ОК здорово. Я фактично просто перевірив визначення ФО. Я знав, що він включає символ рівності; тому я вимагав, щоб структура була лише одним елементом. Таким чином, будь-яке твердження про рівність двох змінних не вплине на істинність запиту.
Філіп Уайт

Ще один коментар ... Ви зробили важливий момент щодо нелогічних символів. Оскільки відносин немає, символ рівності є фактично важливим. Зокрема, необхідно висловити ті самі булеві літерали, які необхідні для вираження TQBF.
Філіп Уайт

FO
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.