Відповідність між класами складності та логікою


33

Я взяв один раз клас з обчислюваності та логіки. Матеріал включав кореляцію між класами складності / обчислюваності (R, RE, co-RE, P, NP, журнальний простір, ...) та логікою (обчислення предикатів, логіка першого порядку, ...).

Кореляція включала кілька результатів в одному полі, які були отримані за допомогою методик з іншого поля. Можна припустити, що P! = NP може бути атаковано як проблема в логіці (проектуючи проблему з області класів складності на логіку).

Чи є хороший підсумок цих методик та результатів?

Відповіді:


23

Можливо, ви запитуєте про результати в теорії кінцевих моделей (наприклад, характеристика P і NP з точки зору різних фрагментів логіки). Нещодавні спроби підтвердження P! = NP спочатку активно використовували такі поняття, і деякі хороші посилання (взяті з вікі ):


Я думаю, що сфера застосування FMT трохи ширша, ніж просто пов'язування логіки та складності обчислень. Описова складність видається більш точним терміном.
Андраш Саламон

24

Ніл Іммерман створив прекрасну діаграму, яка забезпечує оглядові відповідність між класами складності та логікою, інтерпретованими кінцевими моделями. Це на обкладинці його книги, а також внизу його веб-сторінки тут: http://www.cs.umass.edu/~immerman/


Ця картина варта багато тисяч слів.
Андрас Саламон

5
Книга Іммермана - це, мабуть, найкращий єдиний посилання на прямі зв’язки між логікою та обчислювальною складністю. Ця тема зазвичай називається «Описова складність», як і книга.
Андрас Саламон

16

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

Другий підхід (який також трохи старший, повертаючись до творів таких людей, як Стів Кук та Сем Бус), є теоретичним доказом. Тут клас складності асоціюється з теоріями арифметики. Доведено загальні функції цих теорій - це саме функції класу складності. Наприклад, суттєво загальні функції теорії Сем БуссаS21- це точно обчислювані функції багаточлени. Існують також зв’язки із системами пропозицій щодо підтвердження. Докладніше про цей підхід див. У книзі Яна Крайчека "Обмежена арифметика, теорія пропозицій та теорія складності", 1995 р., Або Стівен А. Кук та Пхуонг. Найновіша книга Нгуєна "ЛОГІЧНІ ФОНДИ ДОСЛІДНОЇ КОМПЛЕКСНОСТІ", 2010 р. (Проект можна знайти тут ).

Антоніна Колоколова працювала над відносинами між цими двома підходами.


11

Для тих, хто не знайомий з безліччю абревіатур, знайдених у великій діаграмі Імермена, є стаття у Вікіпедії про описову складність . Повинна бути діаграма зі посиланнями, щоб ви могли безпосередньо шукати визначення у зоопарку складності та інших джерелах. Я також хотів би краще побачити відносини до відповідних формальних мов / граматик і де ви можете знайти докази.

Це не відповідь, а коментар до відповіді Аарона, який я чомусь не можу коментувати.


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