Research output: Contribution to journal › Article › peer-review
В работе развит подход, именуемый «размыкание предиката», сводящий задачу поиска множества истинности предиката к задаче поиска множества неподвижных точек некоторого отображения (далее - размыкающее отображение). Предлагаемая техника дает дополнительные возможности анализа задач и построения решений путем систематического привлечения результатов теории неподвижных точек. Даны формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. В случае когда область определения предиката частично упорядочена, указаны способы построения размыкающих функций, обладающих свойством сужаемости. Это позволило получить представления интересующих элементов решения в виде итерационных пределов. Вместе с тем эффективность полученного решения зависит от специфики рассматриваемой задачи и выбранного варианта реализации метода. В качестве иллюстраций рассмотрены процедуры построения и дальнейшего использования размыкающих отображений для предикатов «быть нэшевским равновесием» и «быть неупреждающим селектором».
Translated title of the contribution | On the construction of a predicate truth set |
---|---|
Original language | Russian |
Pages (from-to) | 45-61 |
Number of pages | 17 |
Journal | Известия Института математики и информатики Удмуртского государственного университета |
Issue number | 2 |
DOIs | |
Publication status | Published - 2017 |
ID: 7149443