Документи, які повинен читати кожен теоретик складності

Я розпочинаю докторську ступінь цієї осені і планую працювати над теорією складності для своєї дипломної роботи.

Я складаю перелік важливих робіт, які повинен знати кожен теоретик складності.

Які документи ви запропонували б такій людині, як я? І, будь ласка, коротко поясніть, чому ви вважаєте, що документ важливий.

Нижня межа Раяна Вільяма Вільгельма, і всі результати, цитовані в ньому.

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

Хоча це не пряма відповідь на ваше запитання, я хотів би порекомендувати наступну книгу:

Самоцвіти теоретичної інформатики Уве Шенінга та Рандалла Дж. Пруїма.

Більшість його розділів пов'язані з теорією складності. Книгу можна розглядати як хорошу колекцію результатів деяких важливих наукових робіт. Ви можете отримати папери з результатів!

Я рекомендую результати в

Супутник теорії складності Гемаспаандри та Огіхари.

Він організований навколо методів, а не результатів, хоча часто методика розроблялася для конкретного результату, і вона охоплює декілька насіннєвих результатів і важливі методи доказування.

1) R. Ладер, Н. Лінч та А. Сельман. Порівняння поліноміальних скорочень часу. Теоретичні інформатики, 1 (2): 103-124, 1975 р.

2) LG Valiant “Складність обчислення постійних”, Теоретичні інформатики, 8 (1979), стор 181-201.

3) А. Blass & Y. Gurevich "Про унікальну проблему задоволення". Інформація та контроль, 55 (1-3) стор. 80-88, 1982.

4) J. Balcazar, R. Book & U. Schoning. Журнал «Асоціація обчислювальної техніки», т. 33, №3 «Ієрархія полінома-часу та рідкісні оракули» Липень1986. сторінки 603-617.

5) LG Valiant & V. Vazirani “NP так само просто, як виявити унікальні рішення” Теоретичні інформатики 47 (1986), стор. 85-93.

6) Е. Олександр. Складність розріджених наборів у П. У процесі 1-ї конференції "Теорія складності", сторінки 1-11. Конспекти лекцій Springer-Verlag з інформатики № 223, червень 1986.

6) R. Бейгель. Про відносну потужність додаткових приймаючих шляхів. У матеріалах 4-ї конференції "Структура теорії складності", сторінки 216-224. Прес-центр IEEE Computer Society Press, червень 1989 року

. 1992.

8) S. Феннер, Л. Фортноу та С. Курц “Класи підрахунку, які визначаються прогалиною” Подорож комп’ютерних та системних наук Том 48 Сторінки 116-148 1994.

9) R. Бейгель, Х. Бурман та Л. Фортнов. NP може бути не таким простим, як виявлення унікальних рішень. У працях 30-го симпозіуму АСМ з теорії обчислень, стор. 203-208. ACM Press, травень 1998 р.

10) Б. Borchert, L. Hemaspaandra та J. Rothe «Обмежене прийняття є достатнім для проблем рівності» LMS J Comput. Математика 3 Сторінки 86-95 2000.

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

Однак це мої улюблені:

• Теорема Савича: Савич, Вальтер Дж. (1970), "Зв'язки між недетермінованими та детермінованими складностями стрічки", Журнал комп'ютерних та системних наук 4 (2): 177–192, DOI: 10.1016 / S0022-0000 (70) 80006-X

• Теорема Кука-Левіна : Кук, Стівен (1971). " Складність процедур доведення теорем ". Праці Третього щорічного симпозіуму ACM з теорії обчислень. С. 151–158

• Дж. Хопкрофт, У. Пол і Л. Валіант, Про час проти простору , Дж. АСМ, 24, 332–337 (1977)

• Т. П. Бейкер, Дж. Гілл, Р. Соловой. Релятивізація Р =? Питання НП. Журнал обчислювальної техніки SIAM, 4 (4): 431-442 (1975)