А.А. Разборов. Теория сложности вычислений, занятие 2