Відповіді:
Для початку, звичайно, є книга Арори та Барака « Комп’ютерна складність: сучасний підхід» . Звідси частини 3 і 4 книги " Складнощі булевих функцій " книги Юкни : Аванси та межі - це чудовий матеріал для читання. Крім того, Райан Вільямс викладає хороший курс по складності схеми , конспекти курсу якого, сподіваємось, можна розмістити в Інтернеті :)
Окрім запропонованих Арнабом, я також рекомендую наступну книгу:
Вступ до складності ланцюга: єдиний підхід Еріберта Волмера
Моделі обчислень John E Savage (детальніше / детальніше / огляди на amazon ). його значною мірою є підручником для бакалаврату, але він помітний своєю зорово орієнтованою точкою зору. включає багато розширених тем / доказів, а також їх безкоштовне онлайн, і воно дуже добре пов'язане (TOC, refs, index тощо).