CC BY
33
УДК 519.714.3
АНАЛИЗ РЕАЛИЗУЕМОСТИ РЕЗУЛЬТАТОВ МНОГОКРИТЕРИАЛЬНОЙ ЭКСПЕРТИЗЫ -ПРИМЕНЕНИЕ «СВОЙСТВА ПЕРЕСЕЧЕНИЯ»
H.A. Коргин
Исследованы свойства неманипулируемых механизмов многокритериальной экспертизы, представимых в виде обобщенных медианных схем, позволяющих уменьшить трудоемкость проверки «свойства пересечения» — условия, необходимого и достаточного для того, чтобы результаты экспертизы принадлежали множеству допустимых результатов. Предложен алгоритм, позволяющий для произвольной обобщенной медианной схемы определить — для каких множеств допустимых результатов экспертизы эта схема удовлетворяет свойству пересечения.
Ключевые слова: активная экспертиза, коллективный выбор, неманипулируемый механизм, обобщенная медианная схема.
ВВЕДЕНИЕ
При проведении экспертизы, в которой участвуют эксперты, заинтересованные в ее результате, актуальна проблема манипулирования сообщаемой информацией с их стороны. В этом проявляется так называемое «оппортунистическое» поведение экспертов — действия в собственных интересах вопреки интересам всей системы в целом. Механизмы экспертизы с участием заинтересованных экспертов получили название механизмов активной экспертизы [1, 2], которые также можно рассматривать как механизмы коллективного выбора [3] с совпадающими непрерывными множествами допустимых альтернатив и результатов выбора (поэтому, в рамках данной статьи, понятия «результат экспертизы» и «результат выбора» считаются эквивалентными). Механизмы активной экспертизы (правила агрегирования сообщений экспертов о своих функциях предпочтения), в которых все эксперты предпочитают сообщать истину, называются неманипулируемыми механизмами активной экспертизы [1, 2]. В работе [4] был предложен конструктивный механизм построения многокритериальных механизмов на основе так называемых обобщенных медианных схем [3, 5, 6] для случая, когда множество допустимых результатов экспертизы (или множество допустимых альтернатив в терминологии теории коллективного выбора [3, 5, 6]) является многомерным прямоугольником — декартовым произведением мно-
жеств допустимых значений каждого из критериев. Было доказано, что для множества допустимых альтернатив, представимого в виде многомерного компакта, любой неманипулируемый механизм коллективного выбора также представим в виде обобщенной медианной схемы, при условии, что данная схема удовлетворяет особому условию на данном множестве — свойству пересечения [6]. Данное свойство гарантирует, что, если все сообщения участников выбора (экспертов в нашем понимании) принадлежат множеству допустимых альтернатив, то результат выбора в соответствии с применяемым неманипулируемым механизмом также будет принадлежать этому множеству. Однако, как отмечалось [4], проверка данного свойства достаточно трудоемка и осуществляется для комбинации «проверяемый неманипулируемый механизм выбора — исследуемое множество допустимых альтернатив». В рамках данной статьи исследуются свойства обобщенных медианных схем, позволяющие уменьшить трудоемкость проверки свойства пересечения. Предлагается алгоритм, позволяющий для произвольной обобщенной медианной схемы определить — для каких множеств допустимых альтернатив эта схема обладает свойством пересечения, а для каких нет. Данный подход актуален в том смысле, что позволяет организатору экспертизы зафиксировать устраивающий его неманипулируемый механизм многокритериальной активной экспертизы и проверять, при каких условиях на допустимые сообщения экспертов этот механизм можно будет применять.
1.ОСНОВНЫЕ ПОНЯТИЯ И ПРЕДВАРИТЕЛЬНЫЕ РЕЗУЛЬТАТЫ
Определим необходимые основные понятия. В развернутой форме все эти понятия даны в работе [4], поэтому здесь они будут изложены кратко, без подробных комментариев.
Пусть заданы множество критериев, по которым производится экспертиза M = {1, ..., m}, множество допустимых альтернатив A е SRm, являющееся компактным и множество агентов (избирателей или экспертов) N = {1, ..., n}. На основании сообщений агентов о наиболее предпочтительных с их точек зрения альтернативах должна быть выбрана одна — как результат коллективного выбора, получаемый с помощью некоторой функции коллективного выбора /(•): An ^ A. В рамках данной статьи будет предполагаться, что множество A выпукло, хотя часть определений и результатов будет обсуждаться и для случая невыпуклых множеств допустимых альтернатив. Предпочтения агентов над множеством альтернатив описывается многомерно однопиковыми функциями предпочтения [6] U(-): ^m ^ ^, i е N:
— существует единственная альтернатива т1 = = argmaxul(y) — точка «пика» агента i, Vi е Nт1 е A;
y е A
— Vz, z’ е ^m,
[z' е B({z, т1}), z’ * z] ^ [uXz ) > u(z)],
где B ({z, Tl}) — минимальный m-мерный прямоугольник, содержащий альтернативы z и т1, определяемый следующим образом. Для произвольного множества A с ^обозначим через Ak проекцию данного множества на координатную ось к е M, т. е. Ak = Projk(A). Нижнюю и верхнюю границы множества Ak обозначим min Ak и max Ak соответственно. Тогда минимальный m-мерный прямоугольник, содержащий множество A с ^т, определяется как
B (A) = П [minAk, maxAk].
k е M
Будем называть допустимыми альтернативы
z е A, а недопустимыми — z е B (A)\A.
Далее речь будет вестись о задаче построения такой неманипулируемой функции коллективного
выбора1 /(•), при которой агенты заинтересованы
1 В рамках данной статьи понятия «механизм активной экспертизы», «механизм коллективного выбора» «функция коллективного выбора» считаются эквивалентными.
в сообщении истинного значения своих точек пиков. В работах [3, 5, 6] доказано, что такие функции неманипулируемы тогда и только тогда, когда они представимы в виде обобщенных медианных
схем2. Далее приводятся основные понятия, необходимые для данного представления.
Для описания медианных схем используется понятие систем правых и левых коалиций, изначально определяемое на одномерном пространстве альтернатив.
Определение 1 [6]. Система правых (левых)3 коалиций W определяет для каждой альтернативы
z е [d, D] с Ж1 набор коалиций агентов W(z) в соответствии со следующими требованиями:
— принцип суверенитета: Vz е (d, D] ([d, D)), W(z) * 0, 0 г W(z) и W(d) = 2n\0 (W(D) = 2n\0);
— монотонность коалиций: если S е W(z) и S с S', то S' е W(z);
— монотонность результата: если z' < (>)z и S е W(z), то S е W(z');
— полунепрерывность сверху: VS с N, Vz е [d, D] и для любой последовательности {z*} с [d, D] такой,
что lim = z, верно [Vt, S е W(z^)] ^ [S е W(z)]. ♦
t —— &
Иными словами, вводится функция W(^):
[d, D] ^ 2n\0, ставящая в соответствие каждой альтернативе z е [d, D] некоторое подмножество
множества всех непустых коалиций агентов 2n\0. В случае многокритериального выбора, для минимального многомерного прямоугольника, содержащего множество допустимых альтернатив A,
m
в (A) = п Ak можно определить семейство систем
к = 1
правых коалиций R — набор {Rk} m = 1, где Rk является системой правых коалиций. Аналогичным образом можно определить семейство систем левых коалиций L — набор {Lk }m = 1.
Используя данные понятия, вводится следующее формальное определение обобщенной медианной схемы.
Определение 2 [6]. Пусть задано множество допустимых результатов выбора A и семейство систем правых R (левых L) коалиций на множестве
B (A). Тогда обобщенная медианная схема x = h(x)4,
2 Поэтому, в рамках данной статьи, понятия «прямой не-манипулируемый механизм активной экспертизы» и «обобщенная медианная схема» считаются эквивалентными.
В данном определении в скобках идет запись соответствующего условия для левой системы коалиций.
Подразумевается, что агенты сообщают свои наилучшие альтернативы (точки пика).
порожденная совокупностью (А, Я) (соответственно (А, Ь)), определяется следующим образом:
нк(тк) = тах{гк е Ак{' е ^1тк 1 е Rk{zk)}, (кк(хк) = т1п{гк е Ак{' е м\тк т гк} е Ьк(Ч)})
для Ут е Ап и У к е М. ♦
Иными словами, в качестве результата экспертизы по каждому критерию выбирается максимальная (минимальная) проекция альтернативы гк е Ак, для которой множество экспертов, чьи точки пика лежат справа (слева) от данной проекции, удовлетворяет требованиям выбранной системы правых (левых) коалиций по данному критерию для данной проекции альтернативы.
Связь между системами левых и правых коалиций, порождающими одну и ту же медианную схему (для одного критерия), определялась следующим образом [6]:
Ь*(г) = {5 е 2ы\Уг' > г, ' е Я(г'), 5 п 5 ' * 0}.
Проиллюстрируем введенные определения. Пример 1. Рассмотрим механизм активной экспертизы, усредняющий сообщения агентов по каждому критерию:
1 п
х = /(5): Ук е М, х = 1- £ 4. (1)
/ = 1
Данный механизм манипулируем. Если агенты сообщают честно значения своих точек пика, то результатом выбора будет
1 п
х(т): У е М, ху(ту) = П £ тУ,
/ = 1
где тк — наилучшее значение критерия к для агента / (или наилучшая альтернатива по данному критерию), а выигрыш каждого агента будет иг(х(т)), / е N.
Любому агенту / е N для которого х(тг, 5-г) ф т1 при
любом наборе сообщений остальных агентов 5-г, будет выгодно исказить свое сообщение. Если результат выбора по какому-либо критерию к е М будет меньше, чем значение наилучшей альтернативы агента по данному
критерию, т. е. хк( т к, 4) < т к, то сообщение искаженного значения своей наилучшей альтернативы 5к > т к увеличит значение хк, приблизив его к т к, тем самым
улучшив выигрыш агента &г(х(У, 5-г)) 1 иг(х(тг, 5-г)). Аналогично, для каждого критерия к е М, такого что
хк( тк, ) > тк, сообщение 5к < тк, уменьшит значе-
ние хк(тк), тем самым увеличив выигрыш агента.
Однако, проанализировав подобным образом поведение агента, можно определить равновесные по Нэшу сообщения 5*(т) при заданном профиле (наборе) т точек пика агентов. Механизм й(т) = /(5*(т)), Ут е Ап называется соответствующим /(5) прямым механизмом. Если механизм ^(т)неманипулируемый, то он называется эквивалентным /(5) [1, 2].
В работе [4] было показано, что семейства систем правых и левых коалиций, порождающих прямой механизм, эквивалентный механизму /(5) и определяемый выражением (1), имеют следующий вид:
Rk(zk) = \ S с N|#S = r > n-
Z k - min Ak
*maxA k - min A k
VZk e (minAk, maxAk], Rk(minAk) = 2n\0, Vk e M,
Lk (zk) = \ S с N|#S = l m n-
min A k - zk maxA k - minAk VZfc 6 [minAk, maxAk),
L k (maxAk) = 2N\0, Vk e M.
Символ # обозначает мощность множества.
На рис. 1 представлен данный прямой неманипу-лируемый механизм для случая двух критериев и трех экспертов. В качестве множества допустимых результатов выбора рассматривается «бюджетное ограничение» A = {x e ^2|xx + x2 m 1, xx, x2 l 0}. Для данного
множества допустимых альтернатив B (A) = [0, 1]2. Символами rk и lk, k = {1, 2} обозначено число участников коалиции, необходимое для удовлетворения требований системы правых и левых коалиций по критерию k e {1, 2}. Точки пиков агентов отмечены белыми кружками. Пунктирными линиями обозначены проекции точек пиков трех агентов на каждый из критериев. Штриховыми — изменение требований к коалициям по каждому из критериев. В первоначальном варианте формулировки обобщенных медианных схем, предложенной Э. Муленом [3] — точки пика «фантомных» агентов для определения результатов выбора по каждому из критериев. В качестве результата выбора по каждому критерию берется медиана проекций точек пика реальных и фантомных агентов. Результат выбора отмечен черным кружком.
Для прямого механизма, эквивалентного механизму (1), результат выбора на множестве A определяется следующим образом [4]:
hk(xk) = max{zk e [0, 1]|#{/ e N|xk > Zk} > nzk},
k e {1, 2}. (2)
Из рис. 1 видно, что результат выбора по критерию 1 Н1 равен 1/3, что пропорционально доле аген-
Рис. 1. Обобщенная медианная схема
тов (один из трех), значение проекций точек пика которых не меньше А1. Аналогично по второму критерию к2 = 2/3. ♦
В ходе дальнейшего изложения термин «правые» или «левые коалиции» заменим на выбирающие коалиции, уточняя, где необходимо, о каких именно коалициях будет идти речь.
Обобщенные медианные схемы определяются
на множестве В (А), т. е. на т-мерном прямоугольнике. Поэтому любой прямой неманипулируемый механизм коллективного выбора, определенный в терминах семейства систем выбирающих коалиций (ССВК) для произвольного т-мерного прямоугольника В, останется таковым для любого множества допустимых результатов выбора А, такого
что В (А) = В. Для проверки реализуемости прямого неманипулируемого механизма используется понятие свойства пересечения для порождающего его ССВК.
Для любой пары альтернатив у, г е В (А) обозначим множества М+(у, г) = {к е М\гк > ук} и
М (у, г) = {к е М\ гк < ук}, которые определяют набор критериев, для которых значение соответствующей компоненты альтернативы г строго больше у — альтернатива г расположена правее по данным критериям у, и наоборот — альтернатива г расположена левее по данным критериям у. Если
к <£ М+(у, г) и М (у, г), то альтернативы неразличимы по данному критерию. Таким образом, положение альтернативы у относительно альтернативы г описывается парой множеств {М (у, г), М+(у, г)}.
Определение 3 [6]. Семейство систем правых коалиций Я = {Як = 1, определенное на множестве В (А), обладает свойством пересечения для
множества А, если для У у е В (А)\А и любого ко-
1 т
нечного подмножества {г , ..., г } с А верно:
т
П і = 1
к є М+(у, г*)
и
и гЛУк)
к є М (у, г )
* 0 (3)
для любой коалиции гк(ук) є Вк(ук), где к є и М(у, 2і)
і = 1
и любой коалиции Ік(ук) є Ь*к (ук), где к є т
є и М +(у, Д ♦
Ї = 1
Качественно, наличие свойства пересечения у ССВК означает, что любая недопустимая альтернатива у є В (А)\А может быть выбрана в результате применения прямого неманипулируемого механизма только в том случае, если найдется хотя
бы один агент, чья точка пика также не принадлежит множеству А. Если ССВК обладает свойством пересечения на множестве А, то порождаемая им обобщенная схема удовлетворяет свойству пересечения на этом же множестве. Если ССВК удовлетворяет условию (3) для какой-либо альтернативы
у е В (А)\А, то будем считать, что данное семейство обладает свойством пересечения для А в у.
Введя все необходимые определения, приведем основной результат, полученный группой С. Барберы:
«Функция коллективного выбора на профиле многомерно однопиковых предпочтений над множеством
допустимых альтернатив А с неманипулируема тогда и только тогда, когда она представима в виде обобщенной медианной схемы, удовлетворяющей свойству пересечения» [6].
В работах [6, 7] было показано, что условие (3) достаточно проверять лишь для одного решающего
множества 5 (у) с А для каждой недопустимой альтернативы у е В (А)\А. Для выпуклых компактных множеств У у е В (А)\А решающее подмножество
5(у) = {г1, ..., гт} с А определяется следующим образом — из каждого сечения А гиперплоскостью, проходящей через альтернативу у, выбирается по одной альтернативе; Уt = 1, ..., т гк = ук, если к = ?, а гк для к * ? любые такие, что г! е А. Из условия [7] следует, что для решающих множеств условие (3) может быть записано следующим образом:
п ік(ук)
к є М (у, А)
П
П Му*)
к є М (у, А)
* 0, (4)
для любой коалиции гк(ук) е Як(ук), где к е М (у, А), и любой коалиции 1к(ук) е Ь*к (ук), где к е М+(у, А).
Однако проверка, реализуем или нет прямой неманипулируемый механизм выбора на заданном множестве, остается отдельной сложной задачей, так как требуется проверять все недопустимые
альтернативы у е В (А)\А и не существует конструктивного алгоритма, позволяющего уменьшить сложность проверки. Разработке подобного алгоритма посвящено дальнейшее изложение.
2. МОНОТОННОСТЬ СВОЙСТВА ПЕРЕСЕЧЕНИЯ
Покажем, что проверку свойства пересечения можно существенно облегчить, так как достаточно
проверять недопустимые альтернативы у е В (А)\А, лежащие как можно «ближе» к замыканию множества А — с1А.
+ 2
Рис. 2. Определение положения недопустимой альтернативы
Для описания взаимного положения двух альтернатив у, 2 є В (А) перейдем от множеств М +(у, і) = = {к є М12к > ук} и М-(у, і) = {к є М1ік < ук} К вектору направления й(у, і) = {^(у, і), ..., йт(у, і)},
й(у, і) є 3м, где йк(у, і) = /, если к є М+(у, і), йк(у, і) = г*, если к є М-(у, і), йк = 0, если к £ £ М+(у, і) и М-(у, і). Определим положение нереализуемой альтернативы у є В (А)\А относительно выпуклого множества А следующим образом. Зададим для произвольной недопустимой альтернативы у є В (А)\А множество ближайших допустимых альтернатив с/А(у) = {і є А: В ({і, у}) п А = і}
(см. рис. 2 — с/А(у) = [і1, і2], і' £ с/А(у)). Очевидно, что с/А(у) с с/А. Данное множество тесно связанно с понятием решающего множества, используемого для проверки свойства пересечения для А в у. Например, на рис. 2 ^ (у) = {і1, і2}, т. е. альтернативы
из решающего множества для у є В (А)\А являются «вершинами» с/А(у).
Тогда можно сформулировать
Определение 4. Альтернатива у є В (А)\А расположена левее (правее) относительно множества А по критерию к є М — А >к (<к)у, если
У і є с/А (у), к £ М-(+)(у, і) и Зі' є с/А(у) такое, что к є М+( - }(у, і). ♦
Определение 4 по своей сути является аналогом определения положения двух альтернатив относительно друг друга по отдельному критерию. Иллюстрацией этого определения служит рис. 2
для ^ (множество допустимых альтернатив А
взято из примера 1). Альтернатива у є В (А)\А расположена правее относительно А по обоим
критериям, так как для У і є [і1, і2] М+(у, і) = 0,
и У і є (і1, і2) М (у, і) = {1, 2}.
Обозначим по аналогии с М+( )(у, г) множество критериев, по которым недопустимая альтернатива расположена левее множества — М+(у, А) = = {к е М\А >ку} и правее — М-(у, А) = {к е М\А <ку}. Может оказаться, что найдется критерий, быть может, не один, к' еМтакой что к' £ М+(у,А) и М(у,А). Очевидно, что если множество А выпукло, то
М+(у, А) п М-(у, А) = 0.
Соответственно, можно определить вектор направления й(у, А) = {йх, ..., йп}, й(у, А) е 3 м, где йк(у, А) = I, если к е М+(у, А), йк(у, А) = г, если к е М-(у, А), йк = 0, если к £ М+(у, А) и М-(у, А).
Если Зк е М+(у, А) и М-(у, А), то число векторов направлений удваивается — всего положение недопустимой альтернативы относительно А описывается 2^ векторами направлений, где
g = #(М+(у, А) и М-(у, А)). Если множество А выпукло, то вектор направления один. Кроме того, очевидно, что для любой допустимой альтернативы (1к = 0 для У к е М, т. е. Уг е А ё(г, А) = {0, ..., 0}.
Начиная с этого момента все изложение будет осуществляться для выпуклых множеств допустимых альтернатив, поэтому считаем, что положение недопустимой альтернативы относительно множества А определяется однозначно.
Для произвольной недопустимой альтернативы
у е В (А)\А определим противоположный многомерный прямоугольник относительно множества А:
В ({у, А}) =
П [ т!п А к, у к ]"\ х ( П [ у к, тахА к ]\
к е М+ (у, А) ^ ^к е М- (у, А) '
На рис. 3 приведен пример данного прямоугольника. Определим, что все недопустимые
І2
Рис. 3. Противоположный многомерный прямоугольник
альтернативы у' е В ({у, А}) расположены дальше
от А, чем у. Очевидно, что для всех у' е В ({у, А}) сС(у', А) = С(у, А). Аналогично, все недопустимые
альтернативы у'' е В(А)\А, такие, что Зг е с1А(у) и
у'' е В (у, г) расположены ближе к А, чем у. Для этих альтернатив также верно, что С(у", А) = с1(у, А).
Можно доказать, что если требования, необходимые для обладания ССВК свойством пересечения выполнены для какой-либо альтернативы у е
В (А)\А, то они также выполнены для всех недопустимых альтернатив, расположенных дальше от множества А, чем альтернатива у:
Лемма 1. Пусть задано ССВК Ж = { Жк= 1, определенное на множестве В (А) и обладающее свойством пересечения для множества А в альтернативе
у е В (А)\А. Тогда данное ССВК обладает свойством пересечения для А в любой недопустимой альтернативе у' е В ({у, А}). ♦
Доказательства данной леммы и всех дальней-тих утверждений вынесены в приложение.
Следствие леммы 1. Пусть Зу е В (А)\А такая, что ССВК Ж = { Жк }^”= 1, определенное на множестве В (А), не обладает свойством пересечения для А в у. Тогда это ССВК не обладает свойством пересечения для множества А в любой недопустимой альтернативе у', расположенной ближе к А, чем у. ♦ Лемма 1 и ее следствие показывают «монотонность» свойства пересечения и позволяет существенно облегчить проверку наличия свойства пересечения, так как достаточно проверять недопустимые альтернативы у е В (А)\А, лежащие как можно «ближе» к с1А. Но, в силу открытости множества
В (А)\А, решить эту задачу достаточно трудно. Покажем, что возможно дальнейшее упрощение алгоритма проверки наличия свойства пересечения.
3. ПУСТЫЕ НАПРАВЛЕНИЯ ОБОБЩЕННЫХ МЕДИАННЫХ СХЕМ
Следующим этапом в построении конструктивного алгоритма проверки наличия свойства пересечения для множества А у ССВК Ж = { Жк}^ = 1,
определенном на множестве В (А), будет формулировка свойств, которым оно наделяет все альтернативы из В (А). Эти свойства определяются на В (А) и являются критичными для проверки наличия
свойства пересечения у Ж = { Жк }^ = 1 для любого А', такого, что В (А') = В (А).
Определение 5. Пусть задано ССВК Ж = = { Жк}^” = 1, определенное на В (А). Подмножества критериев Мг, М1 с М, Мг п М1 = 0 определяют для альтернативы у е В (А) пустое направление {М, М}у, если найдется такой набор выбирающих коалиций по всем критериям, что их пересечение пусто — т. е. Ук е Мг Згк(у) е Як(у) и
У к е М' З1к(у) е Ьк (у) такие, что
П. 1к(у)
1_к е М,
п
п гк(у)
Ьке М„
Пустое направление находится «правее» по всем критериям из множества Мг и «левее» по критериям из М1. Альтернативным описанием пустых направлений будет запись С(у) = {С1(у), ..., Ст(у)}, С(у) е 3М/0, где Ск(у) = г, если к е М, Ск(у) = I, если к е М, Ск(у) = 0, если к £ М1 и Мг.
Легко заметить, что пустое направление означает, что для альтернативы у е В (А) не выполняется условие (4), если будет проверяться именно эта комбинация критериев и выбирающих коалиций по ним. Качественно, смысл пустого направления очень простой и важный — если для множества А существует недопустимая альтернатива
у е В (А)\А, лежащая в своем пустом направлении относительно множества А: С(у) = С(у, А), то ССВК
Ж = { Жк }^” = 1 не обладает свойством пересечения для А в у.
Для любой альтернативы может существовать не одно пустое направление, поэтому определим
множество пустых направлений ^0(у) = {С(у)}. Справедлива следующая теорема, позволяющая проверять наличие свойства пересечения через пустые направления:
Теорема 1. Семейство систем выбирающих коалиций Ж = { Жк }^” = 1, определенное на множеств В (А), обладает свойством пересечения для А, тогда и только тогда, когда У у е В (А)\А верно, что С(у, А) £ 1?(у). ♦
Рис. 4 иллюстрирует проверку свойства пересечения в терминах пустых направлений. Если направление «правее» по обоим критериям с = (г, г)
является пустым для альтернативы у е В (А)\А, то ССВК, которым было определено данное пустое направление, не обладает свойством пересечения для множества А. Для ССВК из примера 1 (случай трех экспертов) множество альтернатив, для которого направление (г, г) является пустым, множество Вгг (А) изображено на рисунке серым цветом.
Рис. 4. К проверке свойства пересечения пустых направлений в терминах
Пустые направления для альтернатив обладают свойством, аналогичным монотонности свойства пересечения — если направление й пустое для какой-либо альтернативы у є В (А), то оно также
пустое для всех других альтернатив У і є В (А) таких, что альтернатива у лежит в этом направлении относительно них: й(у, і) = й.
Лемма 2. Пусть вектор й є 3М\0 задает пустое направление для альтернативы у є В (А) — й є В0(у). Тогда для У і є В (А), таких что й(у, і) = й данный
вектор также задает пустое направление: d є D (z). ♦
Из леммы 2 следует, что D0(y) с D0(z).
Если направление (r, r) — (см. рис. 4) — пустое для альтернативы у, то для любой альтернативы, расположенной левее по обоим критериям от у (ближе к A), оно также пустое.
Опираясь на этот результат, можно определить понятие критичных альтернатив для каждого из пустых направлений.
Определение 6. Альтернатива у є B (A) является критичной для пустого направления d є 3M\0, если
Vz є B(A), таких что d(z, у) = d, верно d £ D0(z). ♦
Другими словами, альтернатива у является критичной для своего пустого направления, если для любой альтернативы, лежащей в этом направлении от у, оно не пустое. Если альтернатива у (см. рис. 4) является критичной для пустого направления (r, r), то для всех альтернатив z є B({у, A}), расположенных дальше от A, чем у), данное направление не пустое. Определим множество критичных альтернатив для произвольного пустого направления d:
EmpdB(A) = {у є B(A): d є D0(j), Vz є B(A), d = d(z, у) ^ d £ D0(z)}.
По сути, множество критичных альтернатив Етрй В (А) является граничной поверхностью для всего подмножества альтернатив из множества В (А), для которых направление С пустое: ЕтраВ (А) = = с/{у е В (А): С е В0(у)}\с/В (А). На рис. 5 жирной
линией выделено множество Етр г) В (А) критичных альтернатив для направления (г, г) для ССВК из примера 1.
Отметим следующее достаточно очевидное, но важное свойство пустых направлений — их «расширяемость» по критериям.
Лемма 3. Пусть существует пустое направление
С(у) для альтернативы у е В (А), такое что ЗМ0 с М, У к е М0 Ск(у) = 0. Тогда, пустыми являются все направления С'(у) * С(у) такие что У к е М\М0 С к (у) =
= ск(у>- ♦
Пустые направления Щу), для которых У к е М Ск(у) * 0, будем называть полноразмерными пустыми направлениями и обозначим множество полноразмерных пустых направлений как Б/ 0(у) с В0 (у). Результат леммы 3 значителен по следующей причине. В терминах определения 5 существует 3М\0 возможных пустых направлений относительно
практически любой альтернативы у е В (А). В то время как полноразмерных пустых направлений относительно той же альтернативы может существовать 2М\0, и для проверки свойства пересечения достаточно исследовать только их.
Леммы 2 и 3, вкупе с понятием пустого направления, позволяют сформулировать основной результат данной статьи.
Теорема 2. Семейство систем выбирающих коалиций Ж = { Жк} т = 1, определенное на множестве В (А), обладает свойством пересечения для множес-
Рис. 5. Множество критичных альтернатив
тва А тогда и только тогда, когда для любого вектора направлений й є 2М\0, такого что Зі є В (А)\А, й(і, А) = й, верно, что для У у є Етра В (А)
й(у, А) £ В0(у).
Теорема 2 дает конструктивный способ проверки наличия свойства пересечения у определенной на многомерном прямоугольнике ССВК для произвольных множеств допустимых результатов выбора. Отметим, что перспективным представляется исследование множеств критичных альтернатив для дальнейшего упрощения алгоритма проверки свойства пересечения.
Алгоритм, позволяющий проверить ССВК на обладание свойством пересечения для некоторого множества допустимых альтернатив, выглядит следующим образом.
1. Для множества допустимых альтернатив А определяется минимальный многомерный прямоугольник В (А), содержащий это множество.
2. Определится множество направлений проверки В(А): й є 3М\0| Зу є В (А)\А: й(у, А) = й.
3. Для каждого направления й є В(А):
а) определяется множество критичных альтернатив ЕтраВ (А);
б) проверяется, существуют ли недопустимые альтернативы, в которых ССВК не обладает
свойством пересечения для А, т. е. у є В (А)\А п
п ЕтрёВ (А): й(у, А) = й.
Если, в соответствии с данным алгоритмом, найдена хотя бы одна такая недопустимая альтернатива, то исследуемая ССВК не обладает свойством пересечения для множества А. Если таких альтернатив не найдено, то ССВК обладает свойством пересечения для А. Следовательно, прямой неманипулируемый механизм, порождаемый исследуемой ССВК реализуем на данном множестве допустимых альтернатив А.
4. ПРИМЕНЕНИЕ ПУСТЫХ НАПРАВЛЕНИЙ ДЛЯ ПРОВЕРКИ СВОЙСТВА ПЕРЕСЕЧЕНИЯ
Проиллюстрируем проверку наличия свойства пересечения у ССВК предложенным алгоритмом.
Пример 2. Рассмотрим ССВК, порождающую прямой неманипулируемый механизм (2), эквивалентный механизму усреднения по каждому критерию (см. пример 1) для случая двух критериев и трех агентов:
\(тк) = шах{гк Є [0, 1]| # {/ Є {1, 2, 3}|хк > ^ > игк},
к є {1, 2}.
Проверим наличие свойства пересечения у этой ССВК для множества допустимых альтернатив А, моделирующего бюджетное ограничение А = {х є |хх +
Рис. 6. Множество критичных альтернатив для балансового ограничения
+ х2 < 1, хр х2 1 0|}. На рис. 5 изображены ССВК и множество А. Все недопустимые альтернативы из множества В (А)\А в данном примере лежат в направлении (г, г) относительно множества А. Поэтому достаточно исследовать только множество критичных альтернатив
для данной ССВК для направления (г, г) — Етр(г г) В (А), которое также изображено на рис. 5. Видно, что Етр(г г) В (А) с А, следовательно, любая альтернатива из
множества Етр(г В (А) не лежит в направлении (г, г) от множества допустимых альтернатив А. Поэтому по теореме 2 ССВК, порождающая прямой неманипулируемый механизм, эквивалентный механизму усреднения по двум критериям для трех экспертов:
1 3 •
х = /(5): У/ е {1, 2} Х = 3 X 4,
/ = 1
обладает свойством пересечения для множества А = = {х е ^2 Х + х2 < 1, Хр х2 1 0|}. ♦
Пример 3. Проверим, обладает ли ССВК из примера 2 свойством пересечения для множества допустимых альтернатив А, моделирующего «балансовое» ограничение — А = {х е ^2 Х + х2 = 1, хр х2 1 0|} На рис. 6 изображены ССВК и множество А (жирная линия).
Все недопустимые альтернативы из множества
В (А)\А в данном примере лежат в направлениях (г, г) и (/, /) относительно множества А. Поэтому достаточно исследовать только множества критичных альтернатив для данной ССВК для данных направлений —
Етр(г В (А), которое изображено жирной пунктирной
линией (см. рис. 6) и Етр(/ ^ В (А) — жирная штрихпун-
ктирная линия. В данном примере Етр(г В (А) ф А и
Етр(/ ^ В (А) ф А, но любая альтернатива из множества
ЕтР(г В (А) не лежит в направлении (г, г) допустимых
альтернатив А и любая альтернатива из Етр^ ^ В (А) не лежит в направлении (/, /) от множества допустимых
альтернатив А. Следовательно, по теореме 2, ССВК, прямой неманипулируемый механизм, эквивалентный механизму усреднения по двум критериям для трех экспертов:
1 3
х = /(5): V; Є {1, 2} х. = 1 £ 8),
i = 1
обладает свойством пересечения для множества А = = {х Є ^2 |хх + х2 = 1, хр х2 1 0|}. ♦
Пример 4. Покажем, как предложенный алгоритм показывает, что ССВК не обладает свойством пересечения для некоторого множества допустимых альтернатив. Для этого рассмотрим ССВК, порождающую прямой неманипулируемый механизм, эквивалентный механизму усреднения по каждому критерию (см. пример 1) для случая трех критериев и трех агентов:
\(тк) = шах{гк Є [0,1]|#{/ є {1, 2, 3}|тк 1 гк} > игк|,
к є {1, 2, 3}. (5)
Проверим наличие свойства пересечения у этой ССВК для множества допустимых альтернатив А, моделирующего бюджетное ограничение
А = {х є |хх + х2 + х3 < 1, хх, х2, х3 1 0|}.
По аналогии с примером 2, все недопустимые альтернативы из множества В (А)\А лежат в направлении (г, г, г) относительно множества А. На рис. 7 изображены ССВК, множество А (заштрихованная область) и
г Г) В (А) (затемненная область).
Недопустимая альтернатива у = (2/3, 1/3, 1/3), изображенная белым кружком на рис. 7 принадлежит
множеству г В (А). Следовательно, по теореме 2, ССВК, порождающая прямой неманипулируемый механизм, эквивалентный механизму усреднения по трем критериям для трех экспертов:
1 з •
х = /(5): V/ Є {1, 2, 3} х. = 3 £ 4,
І = 1
не обладает свойством пересечения для А = {х є ^3 |хх + + х2 + х3 = 1, хх, х2, х3 1 0|}.
Рис. 7. Пример для случая трех критериев
Рис. 8. Определение допустимых бюджетных ограничений
Действительно, возьмем трех агентов со следующими точками пиков: т1 = (2/3, 0, 1/3), т2 = (1, 0, 0), т3 = (0, 1, 0). Очевидно, что V/ є {1, 2, 3} т1 є А. Из выражения (5) получаем, что результат выбора по критерию 1 ^1(2/3, 1, 0) = 2/3, по критерию 2 ^2(0, 0, 1) = 1/3, по критерию 3 ^2(1/3, 0, 0) = 1/3, т. е. результатом выбора будет недопустимая альтернатива у = (2/3, 1/3, 1/3). ♦ На этом же примере покажем, как полученные результаты могут быть применены для (г, г) множества допустимых альтернатив, для которого заданная ССВК обладает свойством пересечения. Определим, для каких «бюджетных» ограничений
А = {х є |х1 + х2 + х3 < С, х1, х2, х3 є [0, 1]|} пря-
мой неманипулируемый механизм (5) реализуем.
2
Легко видеть, что при С 1 13 любая альтернатива
из множества Етр^г, В (А) не лежит в направлении (г, г) от множества допустимых альтернатив А — (рис. 8); т. е. ССВК, порождающая прямой механизм (5), обладает свойством пересечения для множества
А = {х є ^3 |х1 + х2 + х3 < 13, х1, х2, х3 є [0, 1]|}.
Если рассмотреть данный пример как задачу распределения ресурсов между тремя проектами на основании сообщений трех экспертов, то это будет означать, что при применении прямого не-манипулируемого механизма (5) из суммарного бюджета С на каждый проект в отдельности можно
выделять не более 3 С средств.
ЗАКЛЮЧЕНИЕ
Показана возможность упрощения проверки свойства пересечения для обобщенных медианных схем. Предложен алгоритм, позволяющий для
произвольной обобщенной медианной схемы определить — для каких множеств допустимых результатов выбора эта схема удовлетворяет свойству пересечения, а для каких нет. К недостатку алгоритма следует отнести трудоемкость построения множеств критичных альтернатив. В дальнейшем будет предложено развитие данного алгоритма, основанное на том факте, что пустые направления для альтернатив из минимального многомерного прямоугольника, в который вписывается множество допустимых результатов выбора, изменяются дискретно — семейство систем выбирающих коалиций порождает разбиение данного прямо -угольника на «блоки», также представляющие собой многомерные прямоугольники. Для проверки свойства пересечения у медианной схемы достаточно проверять по одной недопустимой альтернативе из каждого такого блока, через которые проходит граница множества допустимых результатов выбора.
ПРИЛОЖЕНИЕ
Доказательство леммы 1. Из определения систем выбирающих коалиций следует их монотонность: для любого вектора у', у" е В (А) и произвольного к е М если ук 1 ук , то Л^(У'к) с Як(ук ), если ук < ук , то Ь*к (ук) с Ьк (ук). Также достаточно очевиден тот факт, что Уу' е В ({у, А}) верно М+( у , А) = М+(у, А) и М-(), А) = М-(у, А).
Из «монотонности» семейств систем выбирающих коалиций следует, что (4) верно также для У у е В (у, А), так как множества М + и М остаются неизменны. ♦
Доказательство теоремы 1. Пусть ССВК Ж = { Wk}mk__ 1 обладает свойством пересечения для А.
Тогда Уу е В (А)\А она обладает свойством пересечения для А в у. Следовательно, из определения пустого
направления, Уу е В (А)\А С(у, А) г -0°(у), т. е. любая недопустимая альтернатива не лежит в своем пустом направлении относительно множества А.
Пусть Уу е В (А)\А верно, что С(у, А) г £°(у), но ССВК Ж = {Жк}^ = 1 не обладает свойством пересечения. Это значит, что Зу е В (А)\А такая, что для нее не выполняется условие (4); т. е. С(у, А) е -0°(у). Получили противоречие. ♦
Доказательство леммы 2. Из определения систем выбирающих коалиций следует их монотонность: для любых альтернатив у’, у" е В (А) и произвольного к е М если ук 1 ук, то Як(ук) с Як(ук), если ук < ук , то Ьк (ук) с Ьк (ук ). Следовательно, для Ук е М-(у, г) Як(ук) с Як(гк) и Ук е М+(у, г) Ьк (ук) с с Ьк (гк). Следовательно, для выбирающих коалиций для
альтернативы г таких, что У к е Мг гк(г) = гк(у) е Лк(г) и У к е М; /к(г) = /к(у) е Ьк (г) верно
[А, ^ ° [к 0мг гк(4 ♦
Доказательство леммы 3. Пусть направление С(у) описывается множествами Мг, М; с М, а направление С (у) — Мг’, М" с М. Тогда Мг с Мг’ и М; с М". Следовательно, для направления С (у) верно:
[» Гм; 'Н ° [»Гм; гН "
= [». м?\м, Н п [.. м?\м, г*°4 ♦
Доказательство теоремы 2. Необходимость следует очевидным образом из теоремы 1.
Достаточность. Пусть для УС е 2м/0 такая, что
Зу е В (А)\А, С(у, А) = С верно, что Уу е Етр^В (А)
С(у, А) * С. Предположим, что З С? е 2м/0 и З у е В (А)\А такая, что С( у, А) = С? и С? е _0°( у); т. е. ССВК не обладает свойством пересечения для А в у. Из определения 6 следует, что Уу ' е Етр- В (А) такая, что
С( у, у ’) = С; т. е. альтернатива у лежит ближе к множеству А, чем альтернатива у '; т. е. С(у ', А) = С. Получили противоречие. ♦
ЛИТЕРАТУРА
1. Большие системы: моделирование организационных механизмов / В.Н. Бурков, Б. Данев, А.К. Еналеев и др.— М.: Наука, 1989. — 245 с.
2. Новиков Д.А., Петраков С.Н. Курс теории активных систем. — М.: СИНТЕГ, 1999. — 108 с.
3. Moulin H. On strategy-proofness and single-peakedness // Public Choice. — 1980. — Vol. 35. — P. 437—455.
4. Бурков В.Н., Искаков М.Б., Коргин Н.А. Применение обобщенных медианных схем для построения неманипулируе-мого механизма многокритериальной активной экспертизы // Проблемы управления. — 2008. — № 4. — С. 38—47.
5. Border K., Jordan J. Straightforward elections, unanimity and phantom voters // Review of Economic Studies. — 1983. — Vol. 50. — P. 153 — 170.
6. Barber a S., Masso J., Serizawa S. Strategy-proof voting on compact ranges // Games and Behavior. — 1998. — Vol. 25. — P. 272—291.
7. Barbera S., Masso J., Neme A. Voting under Constraints // J. Econ. Theory. — 1997. — Vol. 76. — P. 298—321.
Статья представлена к публикации членом редколлегии
Ф.Т. Алескеровым.
Коргин Николай Андреевич — канд. техн. наук,
ст. науч. сотрудник, Институт проблем управления
им. В.А. Трапезникова РАН,
®(495) 335-60-37, И [email protected].
