?
Сложность проблемы равенства слов в многообразиях модальных алгебр
Вестник Тверского государственного университета. Серия: Прикладная математика. 2021. № 3. С. 5–17.
Приводится доказательство PSPACE-полноты проблемы равенства слов в классе всех нуль-порождённых модальных алгебр, или, эквивалентно, проблемы равенства константных слов в классе всех модальных алгебр. Также рассматривается вопрос о сложности равенства слов в произвольном многообразии модальных алгебр. Доказывается, что уже проблема равенства константных слов в многообразии модальных алгебр может быть сколь угодно трудной (включая как классы сложности, так и степени неразрешимости). Показано, как построить соответствующие многообразия.
Добавлено: 27 апреля 2026 г.
Tsareva O. O., Malova H. V., V. Yu. Popov и др., Plasma Physics Reports 2026 Vol. 52 No. 2 P. 179–185
Добавлено: 27 апреля 2026 г.
Добавлено: 24 апреля 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., Selecta Mathematica, New Series 2026 Vol. 32 Article 25
Добавлено: 23 апреля 2026 г.
Казарян М. Э., Ландо С. К., Коданева Н. М., Journal of Geometry and Physics 2026 No. 225 Article 105841
Добавлено: 23 апреля 2026 г.
Кычкин А. В., Черницин И. А., Прикладная информатика 2026 Т. 21 № 1 С. 40–58
Представлены результаты разработки программного микросервиса, встраиваемого в системы мониторинга качества атмосферного воздуха для поддержки процессов идентификации промышленных источников загрязнений. Выброс и последующее распространение вредных веществ в приземистых слоях атмосферы происходит в динамике и характеризуется высокой неопределенностью из‑за особенностей технологических установок, их режимов работы, влияния рельефа местности, зданий и метеофакторов. Зависимости между местоположением источника выброса и ...
Добавлено: 23 апреля 2026 г.
IEEE, 2026.
Добавлено: 21 апреля 2026 г.
Галкин О. Е., Галкина С. Ю., Ястребова И. Ю., Журнал Средневолжского математического общества 2026 Т. 28 № №1 С. 11–30
Многочлены, наименее уклоняющиеся от нуля, играют важную роль в теории и практике использования численных методов. С их помощью можно решать задачи оптимизации свойств различных вычислительных алгоритмов. Наша работа посвящена изучению многочленов, наименее уклоняющихся от нуля на луче в экспоненциальной норме. В настоящей статье мы обсуждаем вопрос о существовании, единственности и характеризации многочленов, наименее уклоняющихся от нуля ...
Добавлено: 20 апреля 2026 г.
A. V. Pereskokov, Theoretical and Mathematical Physics 2026 Vol. 226 No. 3 P. 470–484
Добавлено: 12 апреля 2026 г.
Колачев Н. И., Адамский А. И., Дроздов Д. С. и др., Моделирование и анализ данных 2026 Т. 16 № 1 С. 157–176
Контекст и актуальность. Несмотря на широкое распространение компетентностного подхода в высшем образовании, сохраняется разрыв между пониманием компетентности как динамического процесса и инструментами её проектирования и управления. Доминирующие практики фиксации результатов обучения ориентированы на статические «срезы», что ограничивает возможности прогнозирования и целенаправленного развития компетентности. В этой связи актуализируется необходимость формального моделирования траекторий развития компетентности на основе принципов ...
Добавлено: 10 апреля 2026 г.
Зверева В. А., Вопросы экономики 2026 № 4 С. 100–129
Проверяется гипотеза о наличии асимметрии в реакции банковских ставок на сдерживающую и стимулирующую денежно-кредитную политику (ДКП) Банка России в различных сегментах, отраслях и макрорегионах в период с 2017 по 2025 г. С использованием модели коррекции ошибок с марковским переключением режимов оценено влияние шоков ДКП, инфляционных ожиданий населения, ценовых ожиданий бизнеса и индикатора бизнес-климата на ставки ...
Добавлено: 8 апреля 2026 г.
Петропавловский С. В., Turkel E., Journal of Computational Physics 2026 Vol. 558 Article 114880
We propose a method for the numerical computation of the 3D time-harmonic scattering about objects of complex shape. Our approach relies on the method of difference potentials combined with the lacunae-based integration of the Helmholtz equation. The former allows to handle curvilinear boundaries of scattering shapes on regular Cartesian grids with no loss of accuracy. ...
Добавлено: 6 апреля 2026 г.
Дудаков С. М., Карлов Б. Н., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 524 № 1 С. 11–18
В работе изучается проблема тотальной выводимости в контекстно-свободных, неукорачивающих и контекстно-зависимых грамматиках. Для фиксированного терминального слова проблема состоит в том, чтобы по грамматике определить, существует ли вывод этого слова, в котором каждое правило используется не менее некоторого заданного числа раз. Доказывается, что проблема тотальной выводимости пустого слова в контекстно-свободной грамматике является NP-полной. Для неукорачивающих и ...
Добавлено: 18 марта 2026 г.
Сперанский С. О., Алгебра и логика 2013 Т. 52 № 2 С. 236–254
Изучаются иерархии проблем общезначимости для префиксных фрагментов вероятностной логики с кванторами по пропозициональным формулам, обозначаемой QPL, и её вариантов. Доказывается: если подполе F вещественных чисел определимо в стандартной модели арифметики посредством формулы второго порядка, не содержащей кванторов по множествам, то проблема общезначимости над F-значными вероятностными структурами для $\Sigma_4$-QPL-предложений является $\Pi^1_1$-полной и, как следствие, соответствующая иерархия проблем общезначимости схлопывается. Более того, при ...
Добавлено: 27 декабря 2025 г.
Дахно Г. С., Малышев Д. С., Математические заметки 2026 Т. 119 № 3 С. 360–376
Наследственный класс — множество графов, замкнутое относительно удаления вершин. Каждый такой класс имеет каноническое описание посредством минимальных запрещенных порожденных фрагментов. Задача о вершинной 3-раскраске (задача 3-ВР) для заданного графа состоит в том, чтобы определить, а можно ли множество его вершин разбить на три подмножества попарно несмежных вершин. Известна дихотомия сложности этой задачи для всех наследственных ...
Добавлено: 26 ноября 2025 г.
Оноприенко А. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 № 527 С. 206–216
Мы исследуем кооперативную карточную игру “Ханаби” с точки зрения алгоритмической сложности. Особенность “Ханаби” заключается в том, что игроки видят карты других игроков, но не свои, и об- мениваются информацией путем подсказок. Даже в модели с одним игроком, обладающим полной информацией о колоде, “Ханаби” остается NP-трудной. Найдены минимальные параметры игры, при которых сохраняется NP-трудность. В случае ...
Добавлено: 23 ноября 2025 г.
Рыбаков М. Н., Щербаков М. И., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 46–49.
Логики с аксиомой конвергентности: сложность при малом числе переменных в языке ...
Добавлено: 21 июня 2025 г.
Кудинов А. В., Рыбаков М. Н., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 36–39.
Показано, что каждая модальная логика, содержащая классическую логику высказываний и содержащаяся в слабой логике Гжегорчика, имеет NP-трудную проблему выполнимости для константного фрагмента. В частности, константные фрагменты ненормальных модальных логик E, EM, EN и EMN являются coNP-полными. ...
Добавлено: 21 июня 2025 г.
Сапронов Ю. Ф., Юдин Н. Е., Computational Mathematics and Mathematical Physics 2025 Vol. 65 No. 3 P. 567–581
We continue to develop the concept of studying the ε-optimal policy for Average Reward Markov Decision Processes (AMDP) by reducing it to Discounted Markov Decision Processes (DMDP). Existing research often stipulates that the discount factor must not fall below a certain threshold. Typically, this threshold is close to one, and as is well-known, iterative methods ...
Добавлено: 10 июня 2025 г.
Дахно Г. С., Малышев Д. С., Математические заметки 2025 Т. 117 № 1 С. 62–78
Наследственный класс — множество обыкновенных графов, замкнутое относительно удаления вершин, каждый такой класс задается множеством своих минимальных запрещенных порожденных подграфов. Задача о доминирующем множестве для заданного графа состоит в том, чтобы определить, а имеется ли в нем такое подмножество вершин заданного размера, что каждая вершина вне подмножества имеет хотя бы одного соседа в данном подмножестве. ...
Добавлено: 3 декабря 2024 г.
G. S. Dakhno, D. S. Malyshev, Journal of Applied and Industrial Mathematics (перевод журналов "Сибирский журнал индустриальной математики" и "Дискретный анализ и исследование операций") 2023 Vol. 17 No. 1 P. 25–31
Наследственный класс — множество обыкновенных графов, замкнутое относительно удаления вершин, каждый такой класс задается множеством своих минимальных запрещенных порожденных подграфов. Если это множество конечно, то он называется конечно определенным. Понятие граничного класса является полезным инструментом анализа вычислительной сложности задач на графах в семействе конечно определенных классов. Задача о доминирующем множестве для заданного графа состоит в ...
Добавлено: 6 декабря 2022 г.