Список нерешенных проблем в справедливом дивизионе - List of unsolved problems in fair division

На этой странице перечислены известные открытые проблемы, связанные с справедливое разделение - область на стыке математики, информатики, политологии и экономики.

Открытые проблемы в ярмарка разрезания торта

Сложность запроса резка торта без зависти

В проблеме резка торта без зависти, есть торт, смоделированный промежутком, и агентов с разными мерами ценности над тортом. Меры стоимости доступны только через запросы вида «оценить данный кусок торта» или «отметить кусок торта с заданным значением». С агентов, разделение без зависти можно найти с помощью двух запросов, через разделяй и выбирай. С агентов, существует несколько открытых проблем относительно количества требуемых запросов.

1. Во-первых, предположим, что нужно выделить весь торт (т.е. без утилизации), и части могут быть отключены. Сколько требуется запросов?

  • Нижняя граница: ;[1]
  • Верхняя граница: .[2]

2. Далее предположим, что какой-то торт можно оставить нераспределенным (т.е. бесплатная утилизация ), но выделение должно быть пропорциональный (помимо без зависти): каждый агент должен получить не менее от общей стоимости торта. Части все еще могут быть отключены. Сколько требуется запросов?

  • Оценка снизу: неизвестно (теоретически может быть полиномиально разрешимо).
  • Верхняя граница: .[2]

3. Далее предположим, что имеется свободное выбытие, распределение должно быть пропорциональным, но части должны быть связаны. Сколько требуется запросов?

  • За , существует алгоритм с 54 запросами.[3]
  • За , конечный алгоритм в настоящее время неизвестен.

4. Затем предположим, что имеется свободное распоряжение, части должны быть соединены, но распределение может быть лишь приблизительно пропорциональным (т.е. некоторые агенты могут получить меньше, чем от общей стоимости торта). Какую ценность можно гарантировать каждому агенту, используя конечный протокол без зависти?

  • За , есть алгоритм, который достигает 1/3, что является оптимальным.
  • За (самый маленький открытый случай), есть алгоритм, который достигает 1/7.[3]
  • Для любого , есть алгоритм, который достигает .[2]

5. Наконец, предположим, что весь торт должен быть распределен, и части могут быть отсоединены, но количество разрезов (или количество частей на агента) должно быть как можно меньше. Сколько разрезов нам нужно, чтобы найти свободное от зависти распределение в конечном числе запросов?

  • За , конечный алгоритм не существует для порезы (1 штука на агента).[4]
  • За , Процедура Селфриджа-Конвея решает проблему за конечное время с помощью 5 сокращений (и не более 2 частей на агента).
  • За процедура Азиза-Маккензи решает проблему за конечное время, но с большим количеством разрезов (и по много частей на агента).
  • Самый маленький открытый кейс: три агента и 3 или 4 разреза; четыре агента и 2 штуки на агента.

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

Когда все агенты имеют равные права, пропорциональная резка торта может быть реализовано с использованием разрезы, что оптимально.

Сколько надрезов требуется для выполнения пропорционального разрезания торта среди агенты с разными правами?

  • Нижняя граница: ;[5]
  • Верхняя граница: .[6]
  • Наименьший открытый корпус: агенты со всеми разными правами: , и .[5]

Сколько разрезов требуется для реализации резка торта без зависти среди агенты с разными правами?

  • Нижняя граница: , поскольку без зависти подразумевается пропорциональное.
  • Верхняя граница: неизвестно.

Честное деление частично обгоревшего торта

А частично подгоревший торт это метафора пирога, в котором агенты могут иметь как положительные, так и отрицательные оценки.[7]

Пропорциональное деление такого торта существует всегда.

Какова сложность выполнения расчета подключенногопропорциональный выделение частично обгоревшего торта?

Известные случаи:

  • Когда все оценки положительны или все оценки отрицательны, Протокол Even-Paz находит связное пропорциональное деление, используя запросов, и это оптимально.
  • Когда оценки могут быть смешанными, можно использовать протокол движущегося ножа, чтобы найти связанное пропорциональное деление, используя запросы.[8]:Thm.5 Можно ли это улучшить до  ?

Разделение частично сгоревшего торта без зависти гарантированно существует тогда и только тогда, когда количество агентов является степенью простого целого числа.[9] Однако его нельзя найти с помощью конечного протокола - его можно только приблизить. Учитывая небольшое положительное число D, выделение называется D- без зависти, если для каждого агента распределение станет свободным от зависти, если мы переместим сокращения не более чем на D (единицы длины).

Какова сложность выполнения (в зависимости от D) вычисления подключенного D-без зависти выделение частично обгоревшего торта?[7]

Правдивая резка торта

Правдивая резка торта это дизайн правдивые механизмы для честная нарезка торта. Показаны известные на данный момент алгоритмы и результаты невозможности здесь. Основными случаями, в которых неизвестно, существует ли детерминированный механизм истинной справедливости, являются:[10]

  • Есть 3 или более агентов с кусочно-равномерные оценки, без бесплатной утилизации.
  • Есть 2 или более агентов с кусочно-постоянные оценки, с бесплатной утилизацией или без нее (и без дополнительных требований, таких как возможность подключения или неэкономичность).

Открытые проблемы в справедливое распределение неделимых статей

Приблизительно Максимин-доля справедливость

В 1-из- максимальная доля (MMS) агента - это самая большая утилита, которую агент может защитить, разделив элементы на связки и получение худшего пакета. Для двух агентов разделяй и выбирай дает каждому агенту как минимум одно из двух MMS. За агентов, почти всегда, но не всегда, можно дать каждому агенту его / ее одну из MMS. Это вызывает несколько вопросов.

1. Вычислительная сложность

Какова сложность выполнения решения о том, допускает ли данный экземпляр 1-из- Распределение MMS?[11][12]

  • Верхняя граница: (который - 2 уровень в полиномиальная иерархия )
  • Нижняя граница: нет (это может быть уровень 2, 1 или даже 0 иерархии).

ПРИМЕЧАНИЕ: известны следующие проблемы, связанные с вычислительной сложностью:

  • Расчет 1-из- MMS данного агента NP-жесткий даже если все агенты имеют аддитивные предпочтения (снижение с проблема раздела ).
  • Решая, будет ли данный распределение 1-из- MMS является совместная НП завершена для агентов с аддитивными предпочтениями.

2. Кардинальное приближение

Какова наибольшая доля r, при которой всегда существует распределение, дающее каждому агенту полезность, по крайней мере, в r раз превышающую его 1-из- Максимин доля?

Известные случаи:

  • Для двух агентов: разделяй и выбирай.
  • Для трех агентов, даже с аддитивной оценкой: . На тщательно подобранном примере.[13]
  • Для любого количества агентов с аддитивной оценкой: .[14]
  • Для любого количества средств с добавкой отрицательный оценки (например, для работы по дому): .[15]

3. Порядковое приближение

Какое наименьшее целое число (в зависимости от ) такая, что всегда существует распределение среди агентов, дающих каждому агенту по крайней мере его 1 из MMS?

Известные случаи:

  • Для двух агентов: . К разделяй и выбирай.
  • Для любого количества агентов с бинарными оценками: . По круговой системе. Это дает EF1, что означает 1-из--ММС.
  • За агенты: . На тщательно подобранном примере.[13]
  • Для любого количества агентов с аддитивной оценкой: , по круговой системе. Это дает EF1, что означает 1-из--ММС.
  • Для любого количества агентов с аддитивной оценкой: , с помощью соответствие без зависти.[16]

Так что ответ может быть любым между и , включительно. Наименьший открытый корпус:

За агентов с аддитивной оценкой, всегда ли существует распределение максимальной доли 1 из 5?

Примечание: всегда существует Приблизительное конкурентное равновесие на основе равных доходов что гарантирует 1-из- () Максимин-доля.[17] Однако это распределение может иметь избыточное предложение и, что более важно, избыточный спрос: сумма пакетов, выделенных всем агентам, может быть немного больше, чем набор всех элементов. Такая ошибка оправдана при распределении мест на курсах среди студентов, поскольку небольшой избыток предложения можно исправить, добавив небольшое количество мест. Но классическая задача справедливого деления предполагает, что предметы не могут быть добавлены.

Без зависти до одного предмета

Распределение называется EF1 (без зависти до одного пункта) если для любых двух агентов и , и для любого подмножества размера не более одного, содержащегося в комплекте , если мы удалим это подмножество из пакет тогда не завидую. Распределение EF1 существует всегда, и его можно найти алгоритм циклов зависти. Объединение его с другими свойствами вызывает некоторые открытые вопросы.

Оптимальное по Парето распределение EF1 (товары и недостатки)

Когда все позиции хороши и все оценки аддитивны, всегда существует PO + EF1: распределение, максимизирующее продукт коммунальных услуг, равно PO + EF1.[18] Найти это максимальное распределение NP-сложно,[19] но теоретически возможно найти другие распределения PO + EF1 (не максимизируя продукт).

Какова сложность выполнения поиска распределения PO + EF1 для товары?

Распределение PO + EF1 плохие (хлопоты) не известно о существовании, даже если все оценки являются аддитивными.

Распределение PO + EF1 плохие всегда существуют?

Какова временная сложность поиска такое выделение, если оно есть?

Непрерывное выделение EF1

Часто товар заказывают в очереди, например, дома на улице. Каждый агент хочет получить непрерывный блок.[20]

Всегда ли существует распределение EF1 для трех или более агентов с аддитивной оценкой?

Известные случаи:

  • Для двух агентов с аддитивными оценками ответ - да: мы можем округлить связную резка торта без зависти (например, найден разделяй и выбирай ).
  • За агентов с аддитивными оценками, мы можем найти распределение "EF минус 2", округлив связанное разделение торта без зависти, а также существует EF2 распределение (доказательство с использованием варианта Лемма Спернера ).[21]
  • За агенты с добавкой двоичный оценки (каждое значение элемента равно 0 или 1), распределение «EF минус 2» также является EF1, поэтому ответ будет да.

Даже когда существует непрерывное выделение EF1, сложность его поиска во время выполнения неясна:

Какова сложность поиска непрерывного распределения EF1 для трех или более агентов с бинарными аддитивными оценками?
  • На поиск связанного устройства для разрезания торта без зависти может потребоваться бесконечно много запросов. Распределение EF1 всегда можно найти за конечное время, проверив все возможные распределения, но этот алгоритм требует экспоненциального времени выполнения.

Цена справедливости

В цена справедливости - это соотношение между максимальным социальным благосостоянием (суммой полезности) при любом распределении и максимальным социальным благосостоянием при справедливом распределении. Какова цена справедливости EF1?

  • Верхняя граница - либо По-круговой или максимальное благосостояние Нэша.
  • Нижняя граница .[22]:раздел 1.1

Наличие распределения EFx

Распределение называется EFx («без зависти к хорошему»), если для любых двух агентов и , и на любой товар в комплекте , если мы удалим этот товар из пакет тогда не завидую.[23]

Всегда ли существует распределение EFx для трех агентов с аддитивной оценкой?
За агентов с общими монотонными оценками, можем ли мы доказать, что не существует распределения EFx?

Известные случаи:

  • Если хотя бы оценки идентичны: да.
  • Следовательно, для двух агентов: да. Это верно даже для общих монотонных оценок.[24]
  • Для трех агентов: да, согласно недавнему рабочему документу.[25]

Существование парето-эффективного распределения ошибок PROPx

Распределение плохих называется PROPx (он же FSx)[26]:Раздел 7 если для любого агента , и за все плохие, принадлежащие , если мы удалим это плохое из сверток, тогда бесполезность меньше, чем полная бесполезность.

Всегда ли существует распределение ошибок, эффективное для PROPx и Парето?

Связанные известные случаи:

  • Распределение PROPx товары (даже без эффективности по Парето) может не существовать.
  • Распределение PROPx плохие (без Парето-эффективности) всегда существует.
  • А PROP1 и всегда существует эффективное по Парето распределение товаров или плохих товаров.

Конкурентное равновесие почти для всех доходов

Конкурентное равновесие (CE) - очень сильное понятие справедливости, оно подразумевает оптимальность по Парето и свободу от зависти. При равных доходах CE может не существовать, даже если есть два агента и один товар. Но во всем остальном пространстве доходов CE существует, когда есть два агента и один товар. Другими словами, существует конкурентное равновесие для почти все доход-векторы.

Для двух агентов с аддитивными оценками по любому количеству товаров существует ли конкурентное равновесие почти для доходов?[27]

Известные случаи:

  • С тремя или менее товарами: всегда да.
  • С четырьмя товарами: да для 2-х агентов с общими оценками, нет для 3 агентов с общими оценками, нет для 4 агентов, даже с аддитивными оценками.[28]
  • С пятью и более товарами: нет для двух агентов с общими оценками.

Открытые догадки:

  • Когда есть два агента с добавка оценки, CE почти для всех доходов существует для любого количества товаров.
  • Когда есть три агента, даже с аддитивной оценкой CE почти для всех доходов может не существовать.

Справедливое разделение частично делимых предметов

Сложность выполнения справедливого распределения с ограниченным разделением

Данный агенты, элементы и целое число , предположим самое большее элементы могут быть разделены между двумя или более агентами. Какова сложность во время выполнения решения о существовании пропорционального распределения без зависти?

Известные случаи:

  • С и одинаковые оценки для любых , проблема эквивалентна проблема раздела, а значит, NP-полное.
  • С , ответ всегда «да», и распределение можно найти за полиномиальное время.[29]
  • С и и идентичные оценки, распределение может быть найдено за полиномиальное время, если оно существует.[30]

Наименьшие открытые кейсы:

  • и и разные оценки.
  • и и идентичные оценки.

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

  1. ^ Прокачча, Ариэль (2009). "Пожелай пирога ближнему твоему". IJCAI'09 Труды 21-й Международной совместной конференции по искусственному интеллекту: 239–244.
  2. ^ а б c Азиз, Харис; Маккензи, Саймон (2016). «Дискретный и ограниченный протокол резки торта без зависти для любого количества агентов». FOCS 2016. arXiv:1604.03655. Bibcode:2016arXiv160403655A.
  3. ^ а б Сегал-Халеви, Эрель; Хасидим, Авинатан; Ауманн, Йонатан (19 ноября 2016 г.). «Отходы спешат». ACM-транзакции на алгоритмах. 13 (1): 1–32. arXiv:1511.02599. Дои:10.1145/2988232. ISSN  1549-6325.
  4. ^ Стромквист, Уолтер (2008). «Разделение торта без зависти невозможно найти с помощью конечных протоколов» (PDF). Электронный журнал комбинаторики.
  5. ^ а б Сегал-Халеви, Эрель (2019). «Разрезание торта с разными правами: сколько разрезов нужно?». Журнал математического анализа и приложений. 480: 123382. arXiv:1803.05470. Дои:10.1016 / j.jmaa.2019.123382.
  6. ^ Экипаж, Логан; Нараянан, Бхаргав; Спиркл, Софи (16 сентября 2019). «Непропорциональное разделение». arXiv:1909.07141 [math.CO ].
  7. ^ а б Сегал-Халеви, Эрель (2018). «Как правильно разделить торт после того, как некоторые части были сожжены в духовке». Материалы 17-й Международной конференции по автономным агентам и мультиагентным системам. AAMAS '18. Ричленд, Южная Каролина: Международный фонд автономных агентов и многоагентных систем: 1276–1284. arXiv:1704.00726. Bibcode:2017arXiv170400726S.
  8. ^ Азиз, Харис; Карагианнис, Иоаннис; Игараси, Аюми; Уолш, Тоби (27.07.2018). «Справедливое распределение сочетаний неделимых благ и дел». arXiv:1807.10684 [cs.GT ].
  9. ^ Аввакумов, Сергей; Карасев, Роман (2019-07-25). «Разделение без зависти по степени картографии». arXiv:1907.11183 [math.AT ].
  10. ^ Бэй, Сяохуэй; Хучжан, Гуанда; Суксомпонг, Варут (18.04.2018). «Правдивый справедливый раздел без свободного распоряжения». arXiv:1804.06923 [cs.GT ].
  11. ^ Бувере, Сильвен; Лемэтр, Мишель (2016-03-01). «Характеризация конфликтов при справедливом разделении неделимых товаров по шкале критериев». Автономные агенты и мультиагентные системы. 30 (2): 259–290. Дои:10.1007 / s10458-015-9287-3. ISSN  1573-7454.
  12. ^ Ланг, Жером; Роте, Йорг (2016), Роте, Йорг (редактор), «Справедливое разделение неделимых товаров», Экономика и вычисления: введение в алгоритмическую теорию игр, вычислительный социальный выбор и справедливое разделение, Springer Texts in Business and Economics, Springer Berlin Heidelberg, стр. 493–550, Дои:10.1007/978-3-662-47904-9_8, ISBN  9783662479049
  13. ^ а б Курокава, Дэвид; Procaccia, Ariel D .; Ван, Цзюньсин (2018-02-01). «Достаточно честно: гарантия приблизительного максимального количества акций». J. ACM. 65 (2): 8:1–8:27. Дои:10.1145/3140756. ISSN  0004-5411.
  14. ^ Годси, Мохаммад; Хаджиагайи, Мохаммадтаги; Седдигин, Масуд; Седдигин, Саид; Ями, Хади (2018). «Справедливое распределение неделимых благ: улучшения и обобщения». Материалы конференции ACM по экономике и вычислениям 2018 г.. EC '18. Нью-Йорк, Нью-Йорк, США: ACM: 539–556. Дои:10.1145/3219166.3219238. ISBN  9781450358293.
  15. ^ Хуанг, Синь; Лу, Пиньян (10.07.2019). «Алгоритмическая основа для аппроксимации распределения максимальной доли работы по дому». arXiv:1907.04505 [cs.GT ].
  16. ^ Айгнер-Хорев, Элад; Сегал-Халеви, Эрель (28.01.2019). «Соответствия без зависти в двудольных графах и их приложения к справедливому делению». arXiv:1901.09527 [cs.DS ].
  17. ^ Будиш, Эрик (2011). "Комбинаторная проблема распределения: приблизительное конкурентное равновесие от равных доходов". Журнал политической экономии. 119 (6): 1061–1103. CiteSeerX  10.1.1.144.7992. Дои:10.1086/664613.
  18. ^ Карагианнис, Иоаннис; Курокава, Дэвид; Мулен, Эрве; Procaccia, Ariel D .; Шах, Нисарг; Ван, Цзюньсин (24.09.2019). "Необоснованная справедливость максимального благосостояния Нэша" (PDF). Сделки ACM по экономике и вычислениям. 7 (3): 1–32. Дои:10.1145/3355902. ISSN  2167-8375.
  19. ^ Дарманн, Андреас; Шауэр, Иоахим (01.12.2015). «Максимизация общественного благосостояния продукта Нэша при распределении неделимых благ». Европейский журнал операционных исследований. 247 (2): 548–559. Дои:10.1016 / j.ejor.2015.05.071. ISSN  0377-2217.
  20. ^ Суксомпонг, Варут (15.05.2019). «Справедливое размещение смежных блоков неделимых объектов». Дискретная прикладная математика. 260: 227–236. arXiv:1707.00345. Дои:10.1016 / j.dam.2019.01.036. ISSN  0166-218X.
  21. ^ Било, Витторио; Карагианнис, Иоаннис; Фламмини, Микеле; Игараси, Аюми; Монако, Джанпьеро; Петерс, Доминик; Винчи, Козимо; Цвикер, Уильям С. (28.08.2018). «Распределение почти без зависти с подключенными пакетами». arXiv:1808.09406 [cs.GT ].
  22. ^ Бэй, Сяохуэй; Лу, Синьхан; Манурангси, Пасин; Суксомпонг, Варут (13.05.2019). «Цена справедливости для неделимых товаров». arXiv:1905.04910 [cs.GT ].
  23. ^ Карагианнис, Иоаннис; Курокава, Дэвид; Мулен, Эрве; Procaccia, Ariel D .; Шах, Нисарг; Ван, Цзюньсин (24.09.2019). "Необоснованная справедливость максимального благосостояния Нэша" (PDF). Сделки ACM по экономике и вычислениям. 7 (3): 1–32. Дои:10.1145/3355902. ISSN  2167-8375.
  24. ^ Плаут, Бенджамин; Рафгарден, Тим (2018). "Почти беззаветность с общими оценками". Материалы двадцать девятого ежегодного симпозиума ACM-SIAM по дискретным алгоритмам. SODA '18. Филадельфия, Пенсильвания, США: Общество промышленной и прикладной математики: 2584–2603. arXiv:1707.04769. Bibcode:2017arXiv170704769P. Дои:10.1137/1.9781611975031.165. ISBN  9781611975031.
  25. ^ Чаудхури, Бхаскар Рэй; Гарг, Джугал; Мельхорн, Курт (14 февраля 2020 г.). «EFX существует для трех агентов». arXiv:2002.05119 [cs.GT ].
  26. ^ Мулен, Эрве (2019). «Честный раздел в эпоху Интернета». Ежегодный обзор экономики. 11 (1): 407–441. Дои:10.1146 / аннурьев-экономика-080218-025559.
  27. ^ Бабайофф, Моше; Нисан, Ноам; Талгам-Коэн, Инбал (23.03.2017). «Конкурентное равновесие с неделимыми товарами и общими бюджетами». arXiv:1703.08150 [cs.GT ].
  28. ^ Сегал-Халеви, Эрель (11.05.2017). «Конкурентное равновесие почти для всех доходов». arXiv:1705.04212 [cs.GT ].
  29. ^ Сандомирский, Федор; Сегал-Халеви, Эрель (05.08.2019). «Честный раздел с минимальным разделением». arXiv:1908.01669 [cs.GT ].
  30. ^ "твердость np - проблема разделения, при которой некоторые числа могут быть сокращены". Обмен стеками по теоретической информатике. Получено 2019-10-21.