?
Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019)
М. :
Изд-во механико-математического факультета МГУ, 2019.
Под общей редакцией: Касим-Заде О. М.
Сборник содержит материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О.Б. Лупанова, проходившего на механико-математическом факультете МГУ имени М. В. Ломоносова с 17 по 22 июня 2019 г. при поддержке Российского фонда фундаментальных исследований (проект 16–01–20345). Семинар охватывает следующие направления в области дискретной математики: теория функциональных систем, синтез, сложность и надежность управляющих систем, комбинаторный анализ, математическая теория интеллектуальных систем, дискретная геометрия, теория графов, теория кодирования и математические вопросы теории защиты информации. Для студентов, аспирантов и научных работников в области дискретной математики и математической кибернетики.
Главы книги
Захаров В. А., Винарский Е. М., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. С. 257–260.
Конечные автоматы Мили, представляющие собой простейшую математическую модель преобразования потоковых данных, широко используются во многих областях информатики. Но для некоторых приложений большое значение имеют не только значения обрабатываемых данных и порядок их следования, но также интервалы времени, которые отделяют события, присходящие по ходу вычисления автомата. Такие свойства уже не описывается явно средствами классической теории конечных ...
Добавлено: 17 октября 2019 г.
Захаров В. А., Жайлауова Ш. Р., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. С. 272–274.
В данной статье мы продолжаем поиск и исследование новых классов недетерминированных автоматов-преобразователей с разрешимой проблемой эквивалентности. Цель исследования~--- провести как можно более точную и подробную демаркацию границы между разрешимыми и неразрешимыми случаями проблемы эквивалентности для рассматриваемой модели вычислений. Мы рассматриваем один класс недетерминированных автоматов, работающих над выходным алфавитом из одной буквы. Характерная особенность рассматриваемых автоматов-преобразователей ...
Добавлено: 17 октября 2019 г.
Гнатенко А. Р., Захаров В. А., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. С. 263–266.
Описаны синтаксис и семантика нового расширения Reg-CTL* темпоральной логики деревьев вычислений CTL*, предназначенного для спецификации и верификации вычислений последовательных реагирующих систем. Поеказано, что задача верификации моделей автоматов-преобразователей относительно выполнимости формул логики CTL* является PSPACE-полной. ...
Добавлено: 17 октября 2019 г.
Сысоева Л. Н., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. Гл. 3 С. 184–187.
Рассматривается задача о реализации булевых функций инициальными булевыми автоматами с константными состояниями и n входами, т.е. автоматами, такими, что в любом из состояний функция выхода совпадает с одной из булевых констант 0 или 1, зависящих от n переменных, n > 0. Построен пример инициального булева автомата с минимальным количеством константных состояний и n входами, реализующего максимальное возможное число булевых ...
Добавлено: 31 октября 2019 г.
Богатырев А. Б., Математический сборник 2023 Т. 214 № 3 С. 106–119
Рассматривается клеточное разбиение пространства модулей вещественных кривых рода 2 с отмеченной точкой на единственном вещественном овале. Клетки перечисляются определенными графами, веса которых описывают комплексную структуру на кривой. Показано, что стягивание ребра графа приводит к корневой особенности естественного отображения из весов графа в пространство модулей кривых. ...
Добавлено: 14 августа 2026 г.
Богатырев А. Б., Gendron Q., Успехи математических наук 2023 Т. 78 № 1 С. 209–210
Уравнение Пелля-Абеля — это функциональное уравнение вида P²-DQ² = 1, с заданным многочленом D, свободным от квадратов, и неизвестными многочленами P и Q. Мы показываем, что пространство уравнений Пелля-Абеля с фиксированными степенями D и примитивным решением P является комплексным многообразием. Мы описываем его связные компоненты с помощью эффективно вычислимого инварианта. ...
Добавлено: 14 августа 2026 г.
Богатырев А. Б., Transactions of the Moscow Mathematical Society 2024 Vol. 85 No. 2 P. 323–337
Добавлено: 14 августа 2026 г.
Богатырев А. Б., Успехи математических наук 2026 Т. 81 № 3(489) С. 159–160
Предложена простая и эффективно реализуемая формула для изменения абелевых интегралов (включая их периоды) при вариации образующих классической группы Шоттки, представляющей риманову поврехность. ...
Добавлено: 14 августа 2026 г.
Gendron Q., Compositio Mathematica 2025 Vol. 161 No. 7 P. 1483–1511
Добавлено: 14 августа 2026 г.
Yu Z., Wang J., Wang Z. и др., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2026 Vol. 384 P. 1–16
Добавлено: 13 августа 2026 г.
Сперанский С. О., Математические заметки 2026 Т. 120 № 3 С. 470–483
Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$. ...
Добавлено: 12 августа 2026 г.
Добавлено: 11 августа 2026 г.
Kulev Y., Максаев А. М., Промыслов В. В., Linear Algebra and its Applications 2026 Vol. 730 P. 51–72
Добавлено: 7 августа 2026 г.
Kanunnikov A., Промыслов В. В., Vassilieva E., Electronic Journal of Combinatorics 2024 Vol. 31 No. 3 Article P3.6
Добавлено: 7 августа 2026 г.
Spiridonov V. P., Belousov N. M., Sarkissian G. A., Analysis and Mathematical Physics 2026 Vol. 16 Article 96
Добавлено: 4 августа 2026 г.
Гайфуллин С. А., Киктева В. В., Results in Mathematics 2026 Vol. 81 No. 5 Article 146
Добавлено: 3 августа 2026 г.
Лунц В. А., Функциональный анализ и его приложения 2026 Т. 60 № 3 С. 127–129
Доказано, что канонические полуортогональные разложения производной категории диаграммной схемы индуцируют аналогичные разложения подкатегории совершенных комплексов. ...
Добавлено: 3 августа 2026 г.
Беломестный Д. В., Гасников А. В., Гладин Е. Л. и др., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90
Добавлено: 3 августа 2026 г.
Абызов А. Н., Буутай П. Н., Математика и теоретические компьютерные науки 2026 Т. 4 № 2 С. 4–75
Статья носит обзорно-методический характер и посвящена развитию идей Е.И. Золотарёва, заложенных в его подходе к доказательству квадратичного закона взаимности (1872 г.). Мы рассматриваем расширения подхода Золотарёва на абстрактные числовые кольца, приведенные в работе А. Бруньята и П.Л. Кларка (2015 г.), и на конечные группы, изученные в статье У. Дьюка и К. Хопкинс (2005 г.). Также ...
Добавлено: 30 июля 2026 г.
Mikhaylets E. V., Razorenova A. М., Chernyshev V. L. и др., Scientific Reports 2026 Vol. 16 Article 23560
Добавлено: 29 июля 2026 г.
Попеленский Ф. Ю., Математический сборник 2026 Т. 217 № 2 С. 108–153
В недавней работе В. М. Бухштабера и автора была введена новая структура в когомологиях алгебр Хопфа в терминах спектральной последовательности Бухштабера (Bss). В классической алгебре Стинрода A2 имеется важная подалгебра Хопфа A(1), когомологии которой давно известны. В настоящей работе обсуждаемая структура на этих когомологиях полностью вычислена.
В рамках демонстрации методов Bss решена обратная задача: получено новое ...
Добавлено: 28 июля 2026 г.
Metlov K., Andrei B. Bogatyrëv, Annalen der Physik 2026 Vol. 538 No. 6 Article e70234
Добавлено: 28 июля 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.