Исходы, допустимые для семейства коалиций в игре с квазиупорядоченными исходами

Стартовая позиция сети имеет название «Лица с повышенным АД». Для запуска имитационной модели в данную позицию помещается фишка. Работа производится в интерактивном режиме. На каждом шаге из числа активизированных переходов выбирается переход, соответствующий рассматриваемому варианту потока работ. Для предлагаемой методологии удобно использовать разработанное автором компьютерное приложение. Проведение имитационного моделирования на построенной предлагаемым способом сети Петри позволяет оценить качество соответствующей функциональной IDEFO-модели и может потребовать ее уточнения или изменения.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Марка Д. А., МакГоуэн К. Методология структурного анализа и проектирования. М.. 1993.

2. Орел А. А., Грибнев В. И., Петров Н. В., Котельникова Е. В. Новые методологические подходы проектирования информационно-аналитических систем в кардиологии // Кардиология: Эффективность и безопасность диагностики и лечения: Тез. докл. Рос. нац. конгресса кардиологов. Москва, 6-11 окт. 2001 г. М„ 2001. С. 283.

3. Гриднев В. И., Орел A.A., Петров II. В., Довгалевский П. Я. Маршрутно-групповая технология кардиологической помощи в системе «пациент - поликлиника -стационар» // Проблемы стандартизации в здравоохранении: Тез. докл. М., 2001. С. 113.

УДК 519.83

М. В. Пасечник

ИСХОДЫ, ДОПУСТИМЫЕ ДЛЯ СЕМЕЙСТВА КОАЛИЦИЙ В ИГРЕ С КВАЗИУПОРЯДОЧЕННЫМИ ИСХОДАМИ

Игра с квазиупорядоченными исходами представляет собой набор объектов вида

G=<N,

где N = {\,...,п} - множество игроков, X) - множество стратегий игрока ;, А - множество исходов, со, — бинарное отношение на А, выражающее предпочтения игрока /, Р - функция реализации, представляющая собой отображение множества Л" у - ^ ] X. ситуаций игры С в множестве ее ис-

ходов: Р : Хк —» А.

Определение. Стратегия х5 6 Х$ называется возражением коалиции 5 на исход а, если при любой стратегии _ул,. х е ХЯ\5 выполняется

,удп.х)> а. Исход а называется допустимым для коалиции Я, если она не имеет на него возражений в форме стратегий. В противном случае, а называется недопустимым для коалиции 5.

Множество исходов, допустимых в игре (7 для коалиции 5, будем обозначать /Л(С):

(С) = {а 6 А (Зх5 е ) е ) ,ут5) > а }.

Пусть К - некоторое фиксированное семейство коалиций игры Б. Определим /С-допустимый исход игры С как исход, допустимый для всех коалиций из К. Обозначая через Д^-(б') множество допустимых исходов игры С, имеем 1)к (О) =

Частным случаем игры с квазиупорядоченными исходами является антагонистическая игра, то есть игра между двумя игроками с противоположными интересами. Для антагонистической игры с упорядоченными исходами выявлена структура множества допустимых исходов. Введем некоторые определения.

Исход а является гарантированным исходом игрока 1, если сущест-

сд

вует такая стратегия хеХ, что выполняется (Уу е У)Р'(х,у)>а . Если последнее неравенство заменить на строгое, то получится строго гарантированный исход. Множество

их (в) = {йб А: (Эх е X) (Уу е У) Р(х,у)>а}

есть множество гарантированных исходов игрока 1, а множество

* ш

и, (в) = {а е А: (Эх е X) (Уу е У) Р(х,у)>а} есть множество строго гарантированных исходов игрока 1. Множество Г\((3) — {и*{<3))' представляет собой множество исходов, допустимых для игрока 1.

Исход а является незапрещенным исходом игрока 1, если для любой

а

стратегии уе У найдется такая стратегия хеХ, что выполняется Р(х,у)>а.

Множеством незапрещенных исходов игрока 1 является множество

О)

К] (О) = {аеА:(УуеУ)(ЭхеХ) Р(х,у)>а}, а множество строго незапрещенных исходов игрока 1 есть

03

V* (С) = {а е А : (Уу е У) (Эх е X) Р(х,у)>а}.

Множества Ь\ (С), и'(С), К, (С), К, (С) называются характеристическими множествами игрока 1. Для игрока 2 его характеристические множества определяются двойственным образом.

Множество £>((?) допустимых (индивидуально рациональных) исходов антагонистической игры с упорядоченными исходами задается равенством

О(О) = А (С) п 02(С) = (и\(С))'п((7*2 ((?))'= (и;(в) и и*2(С))'.

Определим следующие множества:

1) /(О) = К](С)пК2(С) — центр игры,

2) Р(С) = (УХ{С)-и У2(С)У={У^(С))'гл(У2(о)У-периферия игры;

3) Д(<7) = Л,(С)иД2((7),где

Я, (С?) = (V, (С) \ (С)) \ У2 (С) = \\ (С) п £>, (С) о (К2 (С))', Р2(С) = (У2(С) \ г/2*(С)) \ У, (С) = У2 (С) п А (б) о (К, (О))', называется кольцом игры.

ТЕОРЕМА (структура множества индивидуально рациональных исходов в антагонистической игре с упорядоченными исходами).

В антагонистической игре с упорядоченными исходами О ~< Х,У,А,со,Р > множество всех индивидуально рациональных исходов может быть представлено в виде непересекающегося объединения следующих трех множеств: центра, кольца и периферии, то есть 0{в) = г(С) и Л (С) и Р (С).

Доказательство теоремы проводится в три шага.

1-й шаг. Устанавливается включение /{О) и Р (С) и/,(?)с О(С). Доказаны следующие три вспомогательных леммы.

ЛЕММА 1. В любой антагонистической игре С с упорядоченными исходами выполнено включение /АС) с ЩС).

ЛЕММА 2. Справедливы следующие включения:

Я2(С) с £>((?).

ЛЕММА 3. Справедливо следующее включение: Р(С)с £> (О).

2-й шаг. Проверяется, что множества Z(G), Л (С), Р(С) попарно не пересекаются.

3-й шаг. Устанавливается обратное включение:

О (О) с г(в) и /? (С) и Р(в).

Итак, всякий допустимый исход игры С принадлежит точно одному из трех попарно непересекающихся подмножеств: либо центру либо

кольцу либо периферии Р(С!).

УДК 512.56

В. Б. П оила веки й

О РАВЕНСТВЕ ОБРАТНЫХ БУЛЕВЫХ МАТРИЦ

СИММЕТРИЧЕСКОЙ РАЗНОСТИ ОРИЕНТИРОВАННЫХ ПРИСОЕДИНЕННЫХ МАТРИЦ

Введенные автором ранее [1] понятия ориентированных объемов и определителей позволяют определить ориентированные присоединенные матрицы для произвольной квадратной булевой матрицы с элементами из

95