Алгоритмический дизайн механизмов: различия между версиями

Алгоритмический дизайн механизмов (посмотреть исходный код)

129 байт добавлено , 9 июля 2023

м

4430

правок

Версия от 15:46, 9 июля 2023 (просмотреть исходный код) Irina (обсуждение \| вклад) мНет описания правки ← Предыдущая правка		Версия от 16:49, 9 июля 2023 (просмотреть исходный код) Irina (обсуждение \| вклад) м (→‎Вопросы повышенной сложности) Следующая правка →
Строка 210:		Строка 210:


	Определение 3 [8, 23]. Функция социального выбора f: V ! A является «слабо монотонной» (W-MON), если для любых i, v_~~, 2~~ V_,-, и ~~любого~~ v i;/ ~~€ Vi~~ выполняется следующее условие. Предположим, что /(~~v.-.v~~-i) = a, и/(v;,v_,) = b. Тогда ~~v0i~~(b) - vi(b) >		'''Определение 3 [8, 23]'''. Функция социального выбора <math>f: V \to A</math> является «слабо монотонной» (W-MON), если для любых <math>i, v_{- i} \in V_{- i}</math> и любых <math>v, v_{-i} \in V_i</math> выполняется следующее условие. Предположим, что <math>f(v_i, v_{-i}) = a</math> и <math>f(v'_i, v_{-i}) = b</math>. Тогда <math>v'_i(b) - v_i(b) \ge v'_i(a) - v_i(a)</math>.