Все выпуски

В статье рассматриваются приближенные решения неантагонистических дифференциальных игр. Приближенное равновесие по Нэшу может быть построено по заданному решению вспомогательной стохастической игры с непрерывным временем. Мы рассматриваем случай, когда динамика вспомогательной игры задается марковской цепью с непрерывным временем. Для этой игры функция цены определяется решением системы обыкновенных дифференциальных включений. Таким образом, мы получаем конструкцию приближенного равновесия по Нэшу с выигрышами игроков, близкими к решениям системы обыкновенных дифференциальных включений. Также предложен способ построения марковской игры с непрерывным временем, аппроксимирующей исходную игру.

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

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

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

Рассматривается одна булева алгебра и ее пространство Стоуна как бикомпактное расширение счетного дискретного пространства. Доказаны некоторые свойства этого расширения.

В данной работе рассматривается булева алгебра того же типа, что и алгебра, построенная Беллом, и пространство Стоуна этой булевой алгебры. Данное пространство является компактификацией счетного дискретного пространства N. Доказано существование изолированных точек в наросте данной компактификации, которые являются пределами некоторых сходящихся последовательностей. Также доказано, что любое открыто-замкнутое подмножество нашего пространства, которое гомеоморфно βω, является замыканием объединения конечного числа антицепей из N. В конце приведены два примера: замкнутое подмножество нароста без изолированных точек, которое не гомеоморфно βω\ω; подмножество нароста, которое гомеоморфно βω\ω, но не является замкнутым.

Настоящая работа посвящена исследованию асимптотических свойств числа серий в последовательности дискретных случайных величин, управляемых цепью Маркова с конечным числом состояний. Состояние цепи на каждом шаге определяет закон распределения знаков в управляемой последовательности на этом шаге. Такая случайная последовательность представляет собой модель скрытой марковской цепи. При помощи метода Чена-Стена получена оценка расстояния по вариации между распределением числа серий длины не меньше заданной в случайной последовательности, управляемой цепью Маркова, и сопровождающим распределением Пуассона. Для ее вывода сначала рассматривалась последовательность из независимых неоднородных полиномиальных случайных величин, а затем использован прием, позволяющий получить оценку расстояния по вариации между смешанным пуассоновским распределением и пуассоновским распределением с параметром, равным среднему числу серий длины не меньше заданной. Эта оценка строится на основе дисперсии параметра смешанного пуассоновского распределения и выведенной ранее оценки для расстояния по вариации для полиномиальной схемы. Отдельно рассмотрен случай стационарной цепи Маркова. При помощи полученных оценок доказаны пуассоновская и нормальная предельные теоремы для числа серий длины не меньше заданной, а также найдено предельное распределение для наибольшей длины серии в управляемой случайной последовательности.

В статье рассматривается общий случай маршрутной задачи дискретной оптимизации, осложненной условиями предшествования; изучается влияние условий предшествования на вычислительную сложность решений таких задач методом динамического программирования. Особенность применяемого метода динамического программирования заключается в его «экономичности»: подзадачи, не соблюдающие условия предшествования и, следовательно, не участвующие в оптимальном решении, не рассматриваются, что позволяет сберечь и вычислительную мощность, и память.

Этот метод c 2004 года используется А.Г. Ченцовым и его соавторами, но степень экономии ресурсов исследовалось мало. Мы предлагаем подход к решению этой проблемы, основанный на комбинаторном анализе числа подзадач, существенных в смысле условий предшествования. Применяя известные комбинаторные правила сложения и произведения, мы получили результат для важных частных случаев условий предшествования: а) «независимые» наборы условий предшествования; б) «цепь» условий предшествования - когда условия задают линейный порядок; в) случай, когда в графе предшествования нет неориентированных циклов, и исходящая степень любой вершины не превышает единицы. Последний случай представляет собой условия предшествования, встречающихся в практической задаче маршрутизации движений инструмента в машинах листовой резки и соответствует требованию вырезать внутренний контур прежде внешнего.

В связи с более сложной структурой случая в) по сравнению с остальными для него вместо аналитической формулы представлен алгоритм; алгоритм реализован на языке C++, зависимость его вычислительной сложности от числа связанных условиями предшествования объектов имеет не более чем квадратичный порядок. В дальнейшем мы предполагаем расширить область применения нашего подхода до более общих вариантов условий предшествования. Отметим также, что наш подход не зависит от критерия оптимальности, соответственно, может применяться для анализа сложности решения методом динамического программирования в произвольных маршрутных задачах с условиями предшествования.

В работе дан обзор проблем, приводящих к необходимости анализа моделей линейных и нелинейных динамических систем в форме стохастических дифференциальных уравнений со случайными запаздываниями различного типа, а также представлены некоторые известные методы решения этих задач. Далее в статье предлагаются новые подходы к приближенному анализу линейных и нелинейных стохастических динамических систем, изменения запаздываний которых описываются дискретной марковской цепью с непрерывным временем. Используемые подходы базируются на сочетании классического метода шагов, расширения пространства состояния стохастической системы и метода статистического моделирования (Монте-Карло). В рассматриваемом случае такой подход позволил упростить задачу и привести исходные уравнения к системам стохастических дифференциальных уравнений без запаздывания. Более того, для линейных систем получена замкнутая последовательность систем обыкновенных дифференциальных уравнений увеличивающейся размерности относительно функций условных математических ожиданий и ковариаций вектора состояния. Изложенная схема демонстрируется на примере стохастической системы второго порядка, изменения запаздывания которой описываются марковской цепью с пятью состояниями. Все расчеты и построение графиков проводились в среде математического пакета Mathematica с помощью программы, написанной на входном языке этого пакета.

В настоящее время продолжают активно изучаться неэрмитовы топологические системы. В данной статье в строгом подходе изучена одна из ключевых неэрмитовых систем — модель Хатано–Нельсона $H$. Найдена функция Грина для этого гамильтониана. С помощью функции Грина аналитически получены собственные значения и собственные функции $H$ для конечных и полубесконечных цепей, а также для бесконечной цепи с локальным потенциалом. Обсуждается неэрмитов скин-эффект для упомянутых выше моделей. Также описана граница между локализованными и резонансными состояниями (при нулевой энергии — это граница между неэрмитовыми топологическими фазами).