Участник:SeleznevaSN — различия между версиями

Версия 11:27, 6 апреля 2020

Селезнева Светлана Николаевна

e-mail: selezn@cs.msu.ru

Профиль Селезневой С.Н. в системе "ИСТИНА"

Студентам 2-го курса

Тематика курсовых и выпускных работ студентов Селезневой С.Н.

1. Решение систем полиномиальных уравнений над конечным полем. Полиномиальные частные случаи, разработка эвристических алгоритмов решения.

2. Свойства дискретных функций. Получение свойств функций их представлений, сложность проверки свойств дискретных функций, разработка быстрых алгоритмов проверки свойств функций.

3. Минимизация дискретных функций. Получение оценок сложности функций в различных классах (полиномиальных форм и др.), разработка алгоритмов минимизации, сложность функций малого числа переменных.

4. Графы. Раскраски графов, ациклические графы, остовные деревья, алгоритмические вопросы.

Области научных интересов

• Сложность алгоритмов

Разрабатываются быстрые алгоритмы распознавания свойств дискретных функций, графов и др., оценивается вычислительная сложность соответствующих задач.

• Дискретные функции

Рассматриваются свойства дискретных функций и их представлений (полиномиальными и другими формами), разрабатываются алгоритмы нахождения оптимальных или близких к ним представлений дискретных функций.

• Графы и комбинаторика

Рассматриваются свойства графов и комбинаторных множеств и связанные с ними задачи.

Видео: лекция "О сложности функций k-значных логик в классах полиномиальных форм" (6 октября 2015 г.)

Спецсеминары

• Сложность решения дискретных задач

Лекционные курсы

• Дискретная математика (1й курс) (обязательный курс для студентов 1-го курса, см. также Дискретная математика (1-й поток))

• Избранные вопросы дискретной математики (обязательный курс для студентов 318 группы)

• Избранные вопросы теории графов, часть 3 (обязательный курс для студентов 418 группы)

• Дискретные функции и выполнимость ограничений (обязательный курс для студентов 518/1 группы, спецкурс для студентов магистратуры)

• Дискретные модели (обязательный курс для студентов неинтегрированной магистратуры, 1-й курс)

• Дискретные модели управляющих систем (обязательный курс для аспирантов кафедр ИО, ММП и МК, специальность 01.01.09)

• Графы и их приложения (спецкурс для аспирантов)

• Modern trends in discrete mathematics and computer science (курс для студентов 618/1 и 618/2 групп), лекции 3-4: Constraint satisfaction problem: the algebraic approach

• Графы и их применения (обязательный курс для студентов магистратуры 518/1 группы) - читался в 2016-2017 г.г.

• Дискретная математика 2 (группа 141) (обязательный курс для студентов 141 группы) - читался в 2007-2017 г.г.

• Булевы функции и полиномы (спецкурс) - читался в 2008-2013 г.г.

Учебные пособия

Селезнева С.Н. Основы дискретной математики. М.: МАКС Пресс, 2010.

Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. Задачи по курсу "Основы кибернетики", 2-е изд. М.: МАКС Пресс, 2011.

Аспиранты и студенты

• аспиранты: Мельник Марина (2 г/о), Лю Юнцин (1 г/о)
• 618/1 группа: Мазуренко Анастасия, Лебедев Марк
• 518/1 группа: Лобанов Алексей, Шурыгин Дмитрий
• 418 группа: Борсова Зурета
• 318 группа: Мартынов Петр, Мироненко Андрей, Савельев Александр