Ответы:
Для начала, конечно, есть книга Ароры и Барака « Вычислительная сложность: современный подход» . Оттуда, части 3 и 4 книги Jukna « Сложность булевой функции: достижения и границы» являются отличным материалом для чтения. Кроме того, Райан Уильямс преподает хороший курс по сложности трасс, чьи записи можно надеяться выложить в Интернете :)
В дополнение к тем, которые предлагает Арнаб, я бы также порекомендовал следующую книгу:
Введение в сложность схем: унифицированный подход Хериберта Фольмера
Модели вычислений Джона Э Сэвиджа (больше информации / детали / обзоры на Амазонке ). это в значительной степени больше учебника для студентов, но отличается своей ориентированной на цепь точки зрения. включает в себя множество расширенных тем / доказательств, а также бесплатную онлайн-версию и очень хорошо содержит гиперссылки (оглавление, ссылки, указатель и т. д.).