En Ru
Вход
ISSN: 0137-0782
ISSN: 0137-0782
En Ru
Расширенный поиск
Селезнева С.Н.

Селезнева С.Н.

профессор
доктор физико-математических наук
Московский государственный университет им. М.В. Ломоносова (МГУ).
E-mail: selezn@cs.msu.ru
профессор факультета вычислительной математики и кибернетики МГУ
  • О проверке полиномиальности функций k-значной логики одной переменной по составному модулю k
    Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. 2024. № 2. c.47-57
    Селезнева С.Н.
    подробнее
    11
    • Предложены критерии полиномиальности функций к-значной логики одной переменной по составному модулю k, равному степени простого числа. На основе этих критериев для каждого простого числа р получены алгоритмы проверки полиномиальности функций pm-значной логики одной переменной, m > 1. В этих алгоритмах все вычисления проводятся в кольце вычетов по модулю pm. При положительном ответе эти алгоритмы находят канонический полином функции, поступающей на вход. Оценена сложность полученных алгоритмов (относительно числа операций поля из р элементов с возможными константами).
      Ключевые слова: функция к-значной логики, полиномиальная функция, полином (многочлен) по модулю к, алгоритм, сложность
      DOI: 10.55959/MSU/0137-0782-15-2024-47-2-47-57
  • О некоторых результатах кафедры математической кибернетики в области дискретных структур и сложности алгоритмов
    Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. 2024. № 4. c.3-14
    Алексеев В.Б., Марченков С.С., Селезнева С.Н.
    подробнее
    44

    • В работе приведены наиболее значимые результаты, полученные на кафедре математической кибернетики проф. В. Б. Алексеевым, проф. С. С. Марченковым и проф. С. Н. Селезневой, а также их аспирантами и студентами с начала 2000-х годов по настоящее время.

      Ключевые слова: k-значная логика, замкнутый класс, полином, алгебраическая сложность, алгоритм, сложность
      DOI: 10.55959/MSU/0137-0782-15-2024-47-4-3-14