Распределение предметов без зависти - Википедия - Envy-free item allocation

Распределение предметов без зависти (EF) это справедливое распределение предметов задача, в которой критерием справедливости является зависть - каждый агент должен получить пакет, который, по его мнению, не хуже, чем пакет любого другого агента.^{[1]:296–297}

Поскольку элементы неделимы, назначение EF может не существовать. Самый простой случай - это когда есть один предмет и как минимум два агента: если предмет назначен одному агенту, другой позавидует. Таким образом, процедуры разделения предусматривают различные виды расслабления.

Нахождение свободного от зависти распределения, когда оно существует

Предпочтительные заказы на связки: без зависти

В процедура подреза находит полное распределение EF для двух агентов, если и только если такое распределение существует. Он требует от агентов ранжирования связок предметов, но не требует кардинальной полезной информации. Это работает, когда отношения предпочтений агентов строго монотонны, но не нужно предполагать, что они отзывчивые предпочтения. В худшем случае агентам, возможно, придется ранжировать все возможные пакеты, поэтому время выполнения может быть экспоненциальным по количеству элементов.

Предпочтительные заказы на товары: необходимо / возможно без зависти

Обычно людям легче ранжировать отдельные предметы, чем наборы. Предполагая, что у всех агентов есть отзывчивые предпочтения, можно поднять ранжирование элементов до частичного ранжирования пакетов. Например, если рейтинг элементов равен w> x> y> z, то отзывчивость подразумевает, что {w, x}> {y, z} и {w, y}> {x, z}, но ничего не подразумевает о связи между {w, z} и {x, y}, между {x} и {y, z} и т. д.

Учитывая рейтинг предмета:

• Распределение обязательно без зависти (NEF) если это не зависть согласно все отзывчивое ранжирование пакетов в соответствии с ранжированием предметов;
• Распределение возможно без зависти (PEF) если это не зависть согласно хотя бы один отзывчивое ранжирование пакетов в соответствии с ранжированием предметов;
• Распределение обязательно оптимально по Парето (NPE), если он оптимален по Парето согласно все отзывчивое ранжирование пакетов в соответствии с ранжированием предметов;
• Распределение возможно оптимальное по Парето (PPE), если он оптимален по Парето согласно хотя бы один отзывчивое ранжирование пакетов в соответствии с ранжированием предметов.

Бувере, Эндрисс и Ланг^[2] изучите алгоритмические вопросы поиска распределения NEF / PEF с дополнительным условием эффективности, в частности, полноты или NPE или PPE. В общем, PEF вычислительно прост, а NEF - сложен в вычислительном отношении.

Определение наличия выделения EF

Пустое выделение всегда EF. Но если нам нужна некоторая эффективность в дополнение к EF, тогда проблема решения становится трудной в вычислительном отношении:^{[1]:300–310}

• Принятие решения об использовании EF и полный распределение существует НП завершена. Это верно даже тогда, когда есть только два агента, и даже когда их полезности аддитивны и идентичны, поскольку в этом случае нахождение распределения EF эквивалентно решению проблема раздела.^[3]
• Решение о том, существует ли справедливое распределение, требует экспоненциальной связи (в количестве товаров), когда агентов более двух. Когда есть два агента, сложность коммуникации зависит от конкретных комбинаций параметров.^[4]
• Принятие решения об использовании EF и Парето эффективный распределение существует выше NP: это ${ Displaystyle Sigma _ {2} ^ { textrm {P}}}$-полный даже с дихотомические утилиты^[5] и даже с аддитивные утилиты.^[6] (${ Displaystyle Sigma _ {2} ^ { textrm {P}}}$ - это класс задач, которые могут быть решены за недетерминированное время с помощью оракула, который может решить любую проблему в NP).

Проблема решения может стать разрешимой, если некоторые параметры задачи считаются фиксированными малыми константами:^[7]

• Учитывая количество объектов м в качестве параметра наличие распределения PE + EF может быть определено вовремя ${ displaystyle O ^ {*} (м ^ {2m})}$ для аддитивных или дихотомических утилит. Когда утилиты являются двоичными и / или идентичными, время выполнения падает до ${ Displaystyle О ^ {*} (м ^ {м})}$. Здесь обозначение ${ displaystyle O ^ {*}}$ скрывает выражения, полиномиальные по другим параметрам (например, количеству агентов).
• Учитывая количество агентов п в качестве параметра существование выделения PE + EF остается трудным. С дихотомическими утилитами это NP-сложно даже для п=2.^[5] Однако теперь он находится в NP и может быть эффективно решен с помощью NP-оракула (например, SAT решатель ). С ${ displaystyle n geq 5}$ агентов, это можно сделать с ${ Displaystyle 2 ^ {п + 1}}$такие оракулы, и по крайней мере ${ displaystyle 2 ^ {n-4}}$ оракулы необходимы, если P = NP. С аддитивными утилитами это NP-сложно даже для п=2.^[5] Более того, это W [1] -полный w.r.t. количество агентов, даже если все утилиты идентичны и закодированы в унарном формате.
• Учитывая количество агентов п и самая большая полезность V в качестве параметров, существование распределения PE + EF может быть решено вовремя ${ displaystyle O ^ {*} ((m cdot V + 1) ^ {n ^ {2}} cdot mn ^ {2})}$ для аддитивных инженерных сетей с использованием динамическое программирование.
• Учитывая количество агентов п и количество уровней полезности z в качестве параметров наличие распределения PE + EF для идентичных дополнительных коммунальных услуг может быть определено с использованием целочисленная линейная программа с ${ Displaystyle д = п CDOT г ^ {п}}$ переменные; Алгоритм Ленстры позволяет решать такие ILP за время ${ displaystyle O ^ {*} (d ^ {2.5d})}$.

Поиск распределения с ограниченным уровнем зависти

Многие процедуры находят распределение "почти" без зависти, то есть уровень зависти ограничен. Существуют различные представления о "почти" свободе от зависти:

EF1 - до одного предмета без зависти

Распределение называется EF1 если для каждых двух агентов A и B мы удалим не более одного элемента из набора B, то A не завидует B.^[8] Распределение EF1 существует всегда, и его можно эффективно найти с помощью различных процедур, в частности:

• Когда все агенты слабо аддитивный коммунальные услуги, круговой протокол находит полное распределение EF1. Требуется слабая аддитивность, поскольку каждый агент должен иметь возможность выбрать в каждой ситуации «лучший элемент».
• В более общем случае, когда у всех агентов есть монотонно возрастающие полезности, процедура envy-graph находит полное распределение EF1. Единственное требование - агенты могут ранжировать наборы предметов. Если оценки агентов представлены кардинальная полезность функция, то гарантия EF1 имеет дополнительную интерпретацию: числовой уровень зависти каждого агента не более чем максимальная предельная полезность - наибольшая предельная полезность одного элемента для этого агента.
• Когда агенты имеют произвольные полезности (не обязательно аддитивные или монотонные), Механизм A-CEEI возвращает частичное выделение EF1. Единственное требование - агенты могут ранжировать наборы предметов. Небольшое количество элементов может остаться нераспределенным, а небольшое количество элементов может потребоваться добавить. Распределение является эффективным по Парето по отношению к выделенным позициям.
• В Максимальное благосостояние Нэша алгоритм выбирает полное распределение, которое максимизирует продукт коммунальных услуг. Он требует, чтобы каждый агент предоставил числовую оценку каждой позиции, и предполагает, что полезности агентов складываются. Результирующее выделение равно EF1 и Парето-эффективный.^[9]
• Различные другие алгоритмы возвращают распределения EF1, которые также являются эффективными по Парето; видеть Эффективное приблизительно справедливое распределение предметов.
• Для двух агентов с произвольными монотонными оценками или трех агентов с аддитивными оценками распределение EF1 может быть вычислено с использованием логарифмического числа запросов по количеству элементов.^[10]
• Для двух агентов с произвольными функциями полезности (не обязательно монотонными) распределение EF1 может быть найдено за полиномиальное время.^[11]
• Для не более чем 4 агентов с произвольными монотонными оценками, или п агентов с одинаковыми монотонными оценками всегда существует распределение EF1, которое также связаны (когда товары предварительно заказаны на линии, например, дома на улице). В доказательстве используется алгоритм, аналогичный Протоколы Симмонса – Су. Когда есть п > 4 агента, неизвестно, существует ли подключенное выделение EF1, но подключено EF2 распределение всегда существует.^[12]

EFx - без зависти к любому предмету

Распределение называется EFx если для каждых двух агентов A и B, если мы удалим любой предмет из комплекта Б, то А не завидует Б.^[13] EFx строго сильнее, чем EF1: EF1 позволяет нам избавиться от зависти, удалив элемент наиболее ценный (для А) из связки Б; EFx требует, чтобы мы избавились от зависти, удалив предмет наименее ценный (для). Известно, что выделение EFx существует в некоторых особых случаях:

• Когда есть два агентов, или когда есть п агенты с идентичные оценки. В этом случае лексимин -оптимальное распределение - EFx и оптимальное по Парето. Однако для вычисления требуется экспоненциально много запросов.^[14][11]
• Когда есть п агенты с аддитивные оценки, но есть не более двух разных значений товаров. В этом случае любое распределение max-Nash-welfare - EFx. Более того, существует эффективный алгоритм для расчета распределения EFx (хотя и не обязательно max-Nash-welfare).^[15]
• I Когда есть п агенты с аддитивные оценки, но существует не более двух различных видов оценок.^[16]
• Когда есть три агенты с аддитивные оценки. В этом случае существует алгоритм с полиномиальным временем.^[17]

Известны некоторые приближения:

• 1/2-приблизительное распределение EFx (которое также удовлетворяет другому понятию приблизительной справедливости, называемому Максимин осведомлен) можно найти за полиномиальное время.^[18]
• Приблизительное распределение EFx в размере 0,618 (это также EF1 и приближается к другим понятиям справедливости, называемым групповая максимальная доля и попарная максимальная доля ) можно найти за полиномиальное время.^[19]
• Всегда существует частичный Распределение EFx, где благосостояние Нэша составляет не менее половины максимально возможного благосостояния Нэша. Другими словами, после пожертвования некоторых предметов на благотворительность, оставшиеся предметы могут быть распределены способом EFx. Эта оценка является наилучшей из возможных. На крупных рынках, где оценка агента по каждому элементу относительно невелика, алгоритм достигает EFx с почти оптимальным благосостоянием по Нэшу.^[20] Достаточно пожертвовать п-1 предмет, и ни один агент не завидует набору подаренных предметов.^[21]

Вопрос о том, существует ли вообще выделение EFx, остается открытым. Наименьший открытый случай - это 4 агента с аддитивными оценками.

В отличие от EF1, который требует логарифмического количества запросов по количеству элементов, вычисление распределения EFx может потребовать линейного количества запросов, даже если есть два агента с одинаковыми аддитивными оценками.^[10]

Еще одно различие между EF1 и EFx заключается в том, что количество выделений EFX может составлять всего 2 (для любого количества элементов), в то время как количество выделений EF1 всегда экспоненциально зависит от количества элементов.^[22]

EFm - примерная смесь неделимых и делимых предметов без зависти

Некоторые сценарии разделения включают в себя как делимые, так и неделимые объекты, такие как делимые земли и неделимые дома. Распределение называется EFm если для каждых двух агентов A и B:^[23]

• Если набор B содержит некоторые делимые товары, то A не завидует B (как при распределении EF).
• Если набор B содержит только неделимые товары, то A не завидует B после удаления не более одного элемента из набора B (как в распределении EF1).

Распределение EFm существует для любого количества агентов. Однако для его поиска требуется оракул для точное деление торта. Без этого оракула распределение EFm может быть вычислено за полиномиальное время в двух частных случаях: два агента с общими аддитивными оценками или любое количество агентов с кусочно-линейными оценками.

В отличие от EF1, который совместим с оптимальностью по Парето, EFm может быть несовместим с ним.

Сведение к минимуму зависти

Учитывая распределение Икс, определите коэффициент зависти я в j в качестве:

${ displaystyle EnvyRatio (X, i, j): = max (1, {u_ {i} (X_ {j}) over u_ {i} (X_ {i})})}$

так что отношение равно 1, если я не завидует j, и больше, когда я завидует jОпределите коэффициент зависти для задания как:

${ displaystyle EnvyRatio (X): = max _ {i, j} (EnvyRatio (X, i, j)}$

В минимизация коэффициента зависти проблема - это проблема нахождения распределения Икс с наименьшей степенью зависти.

Общие оценки

При общих оценках любой детерминированный алгоритм, который вычисляет распределение с минимальным коэффициентом зависти, требует ряда запросов, которые в худшем случае экспоненциально зависят от количества товаров.^[3]:3

Аддитивные и идентичные оценки

С аддитивными и идентичными оценками:^[3]:4–6

• Следующий жадный алгоритм находит распределение, у которого коэффициент зависти не превышает минимального в 1,4 раза:^[24]
  1. Упорядочить товары по убыванию;
  2. Пока есть больше предметов, отдайте следующий предмет агенту с наименьшей общей стоимостью.
• Существует PTAS для минимизации зависти. Кроме того, когда количество игроков постоянно, существует FPTAS.

Аддитивные и разные оценки

С аддитивными и разными оценками:^[25]

• Когда количество агентов является частью входных данных, невозможно получить за полиномиальное время коэффициент приближения лучше 1,5, если только P = NP.
• Когда количество агентов постоянно, есть FPTAS.
• Когда количество агентов равно количеству элементов, существует алгоритм с полиномиальным временем.

Нахождение частичного распределения без зависти

В AL процедура находит распределение EF для двух агентов. Некоторые предметы могут быть отброшены, но окончательное распределение Парето эффективный в следующем смысле: никакое другое распределение EF не лучше для одного и слабо лучше для другого. Процедура AL требует от агентов только ранжирования отдельных элементов. Предполагается, что у агентов есть отзывчивые предпочтения и возвращает выделение, которое обязательно без зависти (NEF).

В Скорректированная процедура победителя возвращает полное и эффективное распределение EF для двух агентов, но, возможно, придется вырезать один элемент (в качестве альтернативы, один элемент остается в общем владении). Он требует, чтобы агенты сообщали числовое значение для каждого элемента, и предполагает, что у них есть аддитивные утилиты

Существование распределений EF со случайными оценками

Если у агентов есть аддитивная полезность функции, которые взяты из распределений вероятностей, удовлетворяющих некоторым критериям независимости, и количество элементов достаточно велико по сравнению с количеством агентов, тогда существует распределение EF с большой вероятностью. Особенно:^[26]

• Если количество предметов достаточно велико: ${ Displaystyle м = Омега (п журнал п)}$, затем w.h.p. распределение EF существует (вероятность стремится к 1, когда m стремится к бесконечности).
• Если количество элементов недостаточно велико, т.е. ${ Displaystyle м = п + о (п)}$, затем w.h.p. выделение EF не существует.

Свобода от зависти против других критериев справедливости

• Каждое выделение EF мин-макс-ярмарка. Это следует непосредственно из порядковых определений и не зависит от аддитивности.
• Если у всех агентов есть аддитивная полезность функций, то распределение EF также пропорциональный и макс-мин-ярмарка. В противном случае выделение EF может быть непропорциональным и даже не максимальным и минимальным.
• Каждое выделение конкурентное равновесие с равными доходами также не вызывает зависти. Это верно независимо от аддитивности.^[8]
• Каждое оптимальное по Нэшу распределение (распределение, которое максимизирует продукт полезностей) - это EF1.^[13]
• Групповая зависть-свобода является усилением свободы от зависти, которое применимо как к делимым, так и к неделимым объектам.

Видеть Справедливое распределение предметов для получения подробной информации и ссылок.

Таблица результатов

Ниже используются следующие сокращения:

• ${ displaystyle n}$ = количество агентов, участвующих в подразделении;
• ${ displaystyle m}$ = количество элементов для разделения;
• EF = без зависти, EF1 = без зависти, за исключением-1-элемента (слабее, чем EF), MEF1 = без маргинальной-зависти, за исключением-1-элемента (слабее, чем EF1).
• PE = Парето-эффективный.

Имя	#partners	Вход	Предпочтения	# запросы	Справедливость	Эффективность	Комментарии
Подрез	2	Пакетный рейтинг	Строго монотонный	${ displaystyle 2 ^ {m}}$	EF	Полный	Если и только если существует полное распределение EF
AL	2	Рейтинг предмета	Слабо добавка	${ Displaystyle Поли (м)}$	Обязательно-EF	Частично, но не с преобладанием Парето со стороны другого НЭФ
Скорректированный победитель	2	Оценка предметов	Добавка	${ Displaystyle Поли (м)}$	EF и справедливый	PE	Можно разделить один предмет.
По-круговой	${ displaystyle n}$	Рейтинг предмета	Слабо добавка	${ displaystyle m}$	Обязательно-EF1	Полный
Зависть-граф	${ displaystyle n}$	Пакетный рейтинг	Монотонный	${ Displaystyle О (мн ^ {3})}$	EF1	Полный
A-CEEI	${ displaystyle n}$	Пакетный рейтинг	Любой	?	EF1 и ${ Displaystyle (п + 1)}$-maximin-доля	Частично, но PE w.r.t. выделенные предметы	Также примерно стратегически устойчивый когда агентов много.
Максимум-Nash-Welfare[13]	${ displaystyle n}$	Оценка предметов	Добавка	NP-жесткий (но есть приближения в особых случаях)	EF1, и примерно-${ displaystyle n}$-maximin-доля	PE	В субмодульных энергосистемах распределение - PE и MEF1.

Смотрите также

• Распределение предметов с максимальной долей - другой критерий справедливости.
• Гармония аренды и Цены без зависти - два варианта, в которых зависть достигается денежными выплатами.

Рекомендации