Результаты исследований: Вклад в журнал › Статья › Рецензирование
В работе развит подход, именуемый «размыкание предиката», сводящий задачу поиска множества истинности предиката к задаче поиска множества неподвижных точек некоторого отображения (далее - размыкающее отображение). Предлагаемая техника дает дополнительные возможности анализа задач и построения решений путем систематического привлечения результатов теории неподвижных точек. Даны формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. В случае когда область определения предиката частично упорядочена, указаны способы построения размыкающих функций, обладающих свойством сужаемости. Это позволило получить представления интересующих элементов решения в виде итерационных пределов. Вместе с тем эффективность полученного решения зависит от специфики рассматриваемой задачи и выбранного варианта реализации метода. В качестве иллюстраций рассмотрены процедуры построения и дальнейшего использования размыкающих отображений для предикатов «быть нэшевским равновесием» и «быть неупреждающим селектором».
Переведенное название | On the construction of a predicate truth set |
---|---|
Язык оригинала | Русский |
Страницы (с-по) | 45-61 |
Число страниц | 17 |
Журнал | Известия Института математики и информатики Удмуртского государственного университета |
Номер выпуска | 2 |
DOI | |
Состояние | Опубликовано - 2017 |
ID: 7149443