Темы авторефератов и диссертаций по математике из каталога библиотеки ФизМатХим. Дискретная математика и математическая кибернетика

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

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

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

Среди задач размещения можно выделить два больших класса: задачи размещения взаимосвязанных объектов и задачи размещения-распределения (задачи размещения предприятий). К первому классу относятся задачи с заранее заданной структурой связей между объектами: задача Вебера [27,45,54,82,94,98], квадратичная задача о назначениях [70,88] и т.п. В задачах…

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

Постановки одноэтапных стохастических задач принятия решений возникают как при рассмотрении стохастических аналогов детерминированных оптимизационных моделей принятия решений, исходные данные которых недостаточно достоверны, так и вследствие чисто вероятностных постановок…

Проверка модели (model checking) - один из подходов к решению проблемы верификации [39]. В качестве языков спецификации для выражения свойств систем при этом подходе используются темпоральные логики. Задача проверки модели состоит в определении выполнимости для системы, заданной формальным образом (в виде формальной модели), свойства, записанного…

Графы G и Н называются изоморфными, если существует биективное отображение ip : V(G) —► V(H), такое что W, v € V(G) {u, v} e E{G) & Mu),<p(v)} e E(H…

А.А.Марковым было введено понятие локальной модели языка сообщений и связанное с ней понятие обобщенно-префиксного кодирования, позволяющего строить при алфавитном кодировании более экономные коды по сравнению с известными кодами Хаффмана, Фано, Шеннона, учитывающими лишь вероятностные свойства кодируемой информации [39…

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

Наряду с традиционным подходом в течение последних 40 лет активно развивается другой, дискретный подход к коррекции несовместных систем, базирующийся на замене единичного решения коллективом "псевдорешений", каждое из которых удовлетворяет достаточно большой доле условий исследуемой задачи. Теория комитетных решений является одной из…

В настоящее время одним из наиболее бурно развивающихся разделов теории игр являются кооперативные дифференциальные игры [4], [13], [15], [39]. Также следует отметить перспективное направление, связанное с развитием теории стохастических игр, введенных Шепли в 1953 году [56], а также дифференциальных игр при наличии неопределенности [11], [12…

Подсистема <(X/)ieJV,A,F > системы (1) представляет собой реализационную структуру, а подсистема <A,(coi)ieN> - оценочную структуру игры G. Далее полагаем п > 2; \ X, |> 2 (г е N); | А |> 2…

…

Требуется минимизировать максимальное по всем узлам сетки Г уклонение образов многозначного отображения (м.о.) ф(-) от значений алгебраического полинома. Функцию…

Обстоятельный обзор методов решения задачи коммивояжера и многих других подобных задач дискретной оптимизации имеется в [37], [38] и [39]; отметим, в частности, задачу нескольких коммивояжеров (см., например, работы [35], [78]) и нескольких курьеров [36], в которых одновременно используются элементы маршрутизации и распределения заданий, а также…

В теории игр важным вопросом является построение сильных равновесий, то есть равновесий, устойчивых относительно отклонений коалиций игроков [13, 18, 27, 32, 40]. Для классического статического случая оно не имеет особого смысла, так как такие равновесия, как правило, не существуют. Однако, рассмотрение игр в динамике открывает новые возможности…

Прямоугольник, составленный из клеточных элементов, будем называть клеточной схемой в том и только том случае, когда при замене клеточных функциональных элементов на соответствующие им обычные функциональные и при их соединении, определяемом коммутационными элементами, получается некоторая структура, удовлетворяющая обычному определению СФЭ. Так…

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

Из сказанного выше вытекает, что все перечисленные примеры операции замыкания, за исключением некоторых операций замыкания программного типа, приводят к конечному множеству замкнутых классов в Рк при к ^ 3. В связи с этим, представляется важным изучение таких усилений операции суперпозиции, которые, с одной стороны, не являются столь сильными…