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