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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Аспиранты и студенты)
(Области научных интересов)
 
(не показаны 34 промежуточных версий 2 участников)
Строка 1: Строка 1:
 
{{DISPLAYTITLE:Селезнева Светлана Николаевна}}
 
{{DISPLAYTITLE:Селезнева Светлана Николаевна}}
[[Image:Selezneva3.jpg|thumb|right|Селезнева Светлана Николаевна]]'''Селезнева Светлана Николаевна''' — доктор физико-математических наук, профессор,
+
[[Image:Selezneva3.jpg|thumb|right|Селезнева Светлана Николаевна]]'''Селезнева Светлана Николаевна''' — доктор физико-математических наук, профессор кафедры МК,
  
 
e-mail: selezn@cs.msu.ru
 
e-mail: selezn@cs.msu.ru
Строка 8: Строка 8:
 
== [[Области научных интересов]]==
 
== [[Области научных интересов]]==
  
*Сложность алгоритмов
+
'''Полиномиальные представления дискретных функций'''
  
Разрабатываются быстрые алгоритмы распознавания свойств дискретных функций, графов и др., оценивается вычислительная сложность соответствующих задач.  
+
Рассматриваются представления функций алгебры логики и функций многозначной логики полиномами над соответствующим полем или кольцом и изучаются свойства таких представлений в следующих направлениях.  
  
*Дискретные функции
+
*Сложность распознавания свойств функций, заданных полиномами.
  
Рассматриваются свойства дискретных функций и их представлений (полиномиальными и другими формами), разрабатываются алгоритмы нахождения оптимальных или близких к ним представлений дискретных функций.  
+
Разрабатываются быстрые алгоритмы распознавания ряда важных свойств функций, если на вход вычислителю функция подается в виде полинома. При этом оценивается сложность алгоритмов относительно длины полинома (т.е. числа слагаемых в полиноме) и числа переменных в нем. Селезневой С.Н. получены быстрые алгоритмы проверки свойств монотонности, самодвойственности, инвариантности, периодичности функции по ее полиному. Рассматриваемые свойства существенны в приложениях, связанных с защитой информации.  
  
*Графы и комбинаторика
+
*Сложность полиномиальных представлений функций.
  
Рассматриваются свойства графов и комбинаторных множеств и связанные с ними задачи.
+
Разрабатываются подходы к построению для функций полиномиальных форм (поляризованных, обобщенных, псевдополиномиальных) с оценками их сложности. Селезневой С.Н. получены алгоритмы построения оптимальных по порядку псевдополиномиальных форм для функций n переменных. Рассматриваемые представления применимы при проектировании цифровых устройств с операциями сложения и умножения в конечных кольцах и полях.  
  
[https://www.youtube.com/watch?v=h8eLGaS3gQY Видео: лекция "О сложности функций k-значных логик в классах полиномиальных форм" (6 октября 2015 г.)]
+
*Свойства полиномиальных представлений функций
 +
 
 +
Исследуются вопросы выразимости и полноты в классах функций, связанных с классом всех полиномиальных функций. Селезневой С.Н. получены критерии полиномиальности функций k-значной логики по составному модулю k. На основе этих критериев найден линейный алгоритм проверки полиномиальности по составному модулю функции, заданной вектором значений. При положительном ответе этот алгоритм находит канонический полином функции, которая подается на вход вычислителю. Рассматриваемые вопросы важны для дальнейшего применения при разработке алгоритмов.
 +
<!---[https://www.youtube.com/watch?v=h8eLGaS3gQY Видео: лекция "О сложности функций k-значных логик в классах полиномиальных форм" (6 октября 2015 г.)]--->
  
 
== Спецсеминары ==
 
== Спецсеминары ==
Строка 28: Строка 31:
 
== Лекционные курсы ==
 
== Лекционные курсы ==
  
*[[Дискретная математика (1й курс)]] (обязательный курс для студентов 1-го курса, см. также [[Дискретная математика (1-й поток)]])
+
*[[Дискретная математика (1-й поток)]] (курс для студентов 1-го курса, см. также [[Дискретная математика (1й курс)]])
  
*[[Избранные вопросы дискретной математики]] (обязательный курс для студентов 318 группы)
+
*[[Избранные вопросы дискретной математики]] (курс для студентов 318 группы)
  
*[[Избранные вопросы теории графов]], часть 3 (обязательный курс для студентов 418 группы)
+
*[[Избранные вопросы теории графов]], часть 3 (курс для студентов 418 группы)
  
*[[Дискретные функции и выполнимость ограничений]] (обязательный курс для студентов 518/1 группы, '''спецкурс''' для студентов магистратуры)
+
*[[Дискретные функции и выполнимость ограничений]] (курс для студентов 518/1 группы, спецкурс для студентов магистратуры)
  
*[[Дискретные модели]] (обязательный курс для студентов неинтегрированной магистратуры, 1-й курс)
+
*[[Дискретные модели]] (курс для студентов неинтегрированной магистратуры, 1-й курс)
  
*[[Дискретные модели управляющих систем]] (обязательный курс для аспирантов кафедр ИО, ММП и МК, специальность 01.01.09)
+
*[[Графы и их приложения]] (спецкурс для аспирантов)
 
+
*[[Графы и их приложения]] ('''спецкурс''' для аспирантов)
+
 
+
*[[Modern trends in discrete mathematics and computer science]] (курс для студентов 618/1 и 618/2 групп), лекции 3-4: [[Media: Lect3-4-eng-selezn.pdf | Constraint satisfaction problem: the algebraic approach]]
+
 
+
* Графы и их применения (обязательный курс для студентов магистратуры 518/1 группы) - читался в 2016-2017 г.г.
+
 
+
* Дискретная математика 2 (группа 141) (обязательный курс для студентов 141 группы) - читался в 2007-2017 г.г.
+
  
 
*[[Булевы функции и полиномы]] (спецкурс) - читался в 2008-2013 г.г.
 
*[[Булевы функции и полиномы]] (спецкурс) - читался в 2008-2013 г.г.
  
 
==Учебные пособия==
 
==Учебные пособия==
 +
 +
[[Media:ok-2.pdf|Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. Задачи по курсу "Основы кибернетики"]], 2-е изд. М.: МАКС Пресс, 2011.
  
 
[[Media:odm-selezn.pdf|Селезнева С.Н. Основы дискретной математики]]. М.: МАКС Пресс, 2010.
 
[[Media:odm-selezn.pdf|Селезнева С.Н. Основы дискретной математики]]. М.: МАКС Пресс, 2010.
  
[[Media:ok-2.pdf|Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. Задачи по курсу "Основы кибернетики"]], 2-е изд. М.: МАКС Пресс, 2011.
+
[[Media:bool_polynoms.pdf|Селезнева С.Н. Булевы функции и полиномы]]. Пособие по спецкурсу. Составители: Дайняк А.Б., Шуплецов М.С. Москва, 2006.
  
 
== Аспиранты и студенты ==
 
== Аспиранты и студенты ==
  
* аспиранты: Мельник Марина (3 г/о), Лю Юнцин (2 г/о)
+
* аспиранты: Лобанов Алексей (3 г/о), Шурыгин Дмитрий (2 г/о)
* 618/1 группа: Лебедев Марк, Лобанов Алексей
+
* 618/1 группа: Бубнов Егор, Вершков Станислав
* 518/1 группа: Макеев Владислав, Светиков Илья, Фэн Цзэпэн
+
* 418 группа: Воробьева Злата, Ушаков Дмитрий, Жумабай Мусахан (КФ)
* 418 группа: Мартынов Петр, Мироненко Андрей, Савельев Александр
+
* 318 группа: Голобоков Дмитрий, Колесникова Наталья
* 318 группа:
+

Текущая версия на 12:48, 19 февраля 2024

Селезнева Светлана Николаевна
Селезнева Светлана Николаевна — доктор физико-математических наук, профессор кафедры МК,

e-mail: selezn@cs.msu.ru

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

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

Полиномиальные представления дискретных функций

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

  • Сложность распознавания свойств функций, заданных полиномами.

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

  • Сложность полиномиальных представлений функций.

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

  • Свойства полиномиальных представлений функций

Исследуются вопросы выразимости и полноты в классах функций, связанных с классом всех полиномиальных функций. Селезневой С.Н. получены критерии полиномиальности функций k-значной логики по составному модулю k. На основе этих критериев найден линейный алгоритм проверки полиномиальности по составному модулю функции, заданной вектором значений. При положительном ответе этот алгоритм находит канонический полином функции, которая подается на вход вычислителю. Рассматриваемые вопросы важны для дальнейшего применения при разработке алгоритмов.

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

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

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

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

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

Селезнева С.Н. Булевы функции и полиномы. Пособие по спецкурсу. Составители: Дайняк А.Б., Шуплецов М.С. Москва, 2006.

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

  • аспиранты: Лобанов Алексей (3 г/о), Шурыгин Дмитрий (2 г/о)
  • 618/1 группа: Бубнов Егор, Вершков Станислав
  • 418 группа: Воробьева Злата, Ушаков Дмитрий, Жумабай Мусахан (КФ)
  • 318 группа: Голобоков Дмитрий, Колесникова Наталья