Курс лекций «Эффективные алгоритмы»/Лекции осеннего семестра 2012