Задача справедливого разрезания торта

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Если торт с украшениями из крема разрезать на равные сектора, различные люди могут получить различное количество кремовых украшений, и некоторые могут посчитать такое разрезание несправедливым.

Справедливое разрезание торта — это вид задачи справедливого дележа. Задача вовлекает неоднородный ресурс, такой как торт с различными украшениями (из крема, ягод, шоколада), которые предполагаются делимыми — то есть от него можно отрезать произвольно малый кусочек без разрушения полной ценности. Ресурс нужно разделить среди нескольких партнёров, имеющих различные предпочтения к различным частям торта. Например, некоторые люди предпочитают шоколадные украшения, другие предпочитают вишенки, в то время как третьи хотят получить просто кусок побольше. Делёж должен быть субъективно справедливым, каждый участник должен получить кусок, который он/она считает справедливой долей.

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

Задачу разрезания торта предложил Гуго Штейнгауз после второй мировой войны[1], и она оставалась предметом пристального изучения в математике, информатике, экономике и политической науке[2].

Предположения[править | править код]

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

Имеется человек с равными правами на [3].

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

Каждый участник должен получить кусок со «справедливой» ценностью. Справедливость определяется на основе cубъективных функций ценности. Каждое лицо имеет субъективную функцию ценности , которая отображает подмножества в числа.

Функции предполагаются абсолютно непрерывными от длины, площади или (в общем случае) меры Лебега[4]. Это означает, что нет «атомов», то есть особых точек, которым назначается одним или несколькими агентами положительное значение. Таким образом, все части торта делимы.

Кроме того, в некоторых случаях функции оценки предполагаются сигма-аддитивными.

Пример торта[править | править код]

Будем использовать следующий торт в качестве иллюстрации:

  • Торт состоит из двух частей — шоколадной и ванильной.
  • Имеется двое участников — Алиса и Джордж.
  • Алиса оценивает шоколадную часть в 9 единиц, а ванильную в 1 единицу.
  • Джордж оценивает шоколадную часть в 6 единиц, а ванильную в 4.

Требования справедливости[править | править код]

Оригинальным и наиболее общим критерием справедливости является пропорциональность (ПР, англ. proportionality, PR). При пропорциональном делении торта каждый участник получает кусок, ценность которого он оценивает по меньшей мере в полной ценности всего торта. В примере выше пропорциональный делёж может быть получен передачей всей ванильной части и 4/9 шоколадной части Джорджу (с полной оценкой 6.66), а оставшаяся 5/9 шоколадная часть отдаётся Алисе (с полной оценкой 5). Символьно:

.

Критерий пропорциональности можно обобщить на ситуации, в которых права людей не равны. Например, при пропорциональном делении торта с разными долями[en] торт принадлежит пайщикам, так что один из них владеет 20%, а другой 80% торта. Это приводит к критерию взвешенной пропорциональности:

,

где wi являются весами, сумма которых равна 1.

Другим типичным критерием является отсутствие зависти (ОЗ, англ. envy-freeness, EF). При завистливом дележе[5] каждое лицо получает кусок, ценность которого по оценке этого лица не меньше ценности остальных кусков. Формальным языком:

.

В некоторых случаях существуют отношения импликации (следствия) между пропорциональностью и свободой от зависти, отражённые в следующей таблице:

Агенты Оценки из ОЗ следует ПР? из ПР следует ОЗ?
2 аддитивные Да Да
2 общие Нет Да
3+ аддитивные Да Нет
3+ общие Нет Нет

Третьим, менее используемым критерием, является беспристрастность (англ. equitability, EQ). При беспристрастном дележе каждое лицо лакомится куском в точности с тем же значением оценки. В примере торта беспристрастное разрезание может быть получено путём передачи каждому участнику половины шоколадной и половины ванильной частей, так что каждый участник наслаждается значением 5. Символически:

.

Четвёртым критерием является точность. Если доля каждого партнёра i равна wi, то точный делёж — это делёж, в котором:

.

Если все веса равны (1/n), то разрезание называется совершенным и

.

Геометрические требования[править | править код]

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

  • Наиболее частым ограничением является связность. В случае одномерного торта это требование переводится в требование, чтобы куски были интервалами. В случае, когда торт является одномерной окружностью («пирог»), это транслируется в требование, чтобы каждый кусок представлял из себя дугу. См. статью «Задача справедливого разрезания пирога».
  • Другим ограничением является смежность. Это ограничение применяется к случаю, когда «торт» является спорной территорией, которую следует поделить между граничными странами. В этом случае может требоваться, чтобы куски, отдаваемые стране, граничили с текущей территорией страны. Это ограничение обрабатывается задачей дележа земли Хилла — Бека.
  • При разделе земли часто имеются двумерные ограничения, например, чтобы каждый кусок был квадратом или (в более общем случае) был толстым объектом[en][6][7].

Дополнительные требования[править | править код]

В юриспруденции часто рассматривается экономическая эффективность разбиения. См. статью «Эффективное разрезание торта».

Кроме желательных свойств конечных разрезаний существуют также желательные свойства процесса дележа. Одним из таких свойств является правдивость (известное также как совместимость стимулов[en]), которое может быть двух уровней.

  • Слабая правдивость означает, что если партнёр открывает свою истинную оценку для алгоритма, он гарантированно получает справедливую долю (например, ценности всего торта в случае пропорционального дележа), независимо от того, что делают другие партнёры. Если даже все остальные партнёры образуют коалицию, чтобы нанести максимальный вред ему, он всё равно получит свою гарантированную долю. Большинство алгоритмов разрезания торта правдивы в этом смысле[1].
  • Сильная правдивость означает, что никакой партнёр не может получить преимущество путём лжи. То есть правдивое поведение является доминирующей стратегией. Большинство протоколов разрезания торта не являются строго правдивыми. Построение строго правдивого протокола дележа является сложной задачей[8].

Результаты[править | править код]

2 человека – пропорциональный и свободный от зависти делёж[править | править код]

Для людей, ОЗ делёж всегда существует и может быть найден по протоколу дели-и-выбирай. Если функции оценки аддитивны, это разрезание будет также ПР, в противном случае пропорциональность не гарантирована.

Пропорциональный делёж[править | править код]

Для n человек с аддитивными оценками всегда существует пропорциональное разрезание. Наиболее используемые протоколы:

  • Процедура «последний уменьшивший», протокол, который может гарантировать, что кусков будут связными (то есть никто из участников не получит два или более отдельных кусков). В частности, если торт является одномерным интервалом, каждый участник получит интервал. Протокол дискретен и может быть осуществлён по раундам. Он требует действий.
  • Процедура «Движущийся нож»[en] Дубинса — Спеньера является непрерывной по времени версии протокола «Последний уменьшающий»[9].
  • Протокол Финка (известный также как последовательные пары или одиночный выбирающий) является дискретным протоколом, который может быть использован для разрезания в режиме онлайн — если известно пропорциональное разрезание для партнёров, при вступлении нового партнёра в игру протокол модифицирует существующее разрезание так, что пришедший участник и уже находящиеся в дележе участники получают по . Недостатком протокола является то, что каждый партнёр получает большое число отдельных кусочков.
  • Протокол Ивена — Паза[en], основанный на непрерывном делении пополам торта и группы агентов и требующий всего действий. Это самый быстрый возможный детерминированный протокол для пропорционального дележа и самый быстрый возможный протокол для пропорционального дележа, при котором гарантируется, чтобы все куски были связными.
  • Протокол Эдмондса — Пруса является рандомизированным протоколом, который требует всего действий, но гарантирует только частично пропорциональное разрезание (каждый участник получает по меньшей мере , где — некоторая константа), и может дать каждому участнику набор «крошек» вместо связного куска.
  • Протокол дележа земли Бека может дать пропорциональный делёж спорной территории среди нескольких соседствующих стран. При этом каждая страна получает долю, которая и связна, и граничит с текущей территорией страны.
  • Протокол суперпропорционального дележа Вудала даёт делёж, при котором каждый участник получает строго больше , если задано, что по меньшей мере два участника имеют разное мнение о ценности по меньшей мере одного куска.

См. статью «Пропорциональное деление торта с разными долями[en]» для описания деталей и полного списка литературы.

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

Завистливый делёж[править | править код]

ОЗ делёж для человек существует, даже если оценки не аддитивны, лишь бы они были представлены согласующимися множествами предпочтений. ОЗ делёж изучался отдельно для случая, когда куски должны быть связны, и для случая, когда куски могут состоять из отдельных несвязных частей.

Для связных кусков главными результатами являются:

  • Процедура «Движущийся нож» Стромквиста даёт делёж без зависти для 3 человек путём присвоения каждому из них ножа и предложения им передвигать их ножи непрерывно над тортом согласно предписанной процедуре.
  • Протокол Симмонса может дать аппроксимацию разрезания без зависти для человек с произвольной точностью. Если функции оценок аддитивны, делёж будет также пропорциональным. В противном случае делёж остаётся свободным от зависти, но не обязательно пропорциональным. Алгоритм даёт быстрый и практичный способ решения некоторых задач справедливого дележа[10][11].

Оба эти алгоритма бесконечны: первый непрерывен, а второй может потребовать бесконечное время для сходимости. Фактически, разрезания без зависти на связные интервалы для 3 и более человек не могут быть найдены любым конечным протоколом.

Для (возможно) несвязных кусков главными результатами являются:

  • Дискретная процедура Селфриджа — Конвея даёт разрезание без зависти для троих участников за не более чем 5 разрезов.
  • Процедура «Движущийся нож» Брамса — Тейлора — Цвикера даёт разрезание без зависти для четверых участников за не более чем 11 разрезов.
  • Вариант протокола «Последний уменьшивший» с повторным использованием находит аддитивную аппроксимацию разрезанию без зависти за ограниченное время. Конкретно, для любой константы протокол даёт разрезание, в котором значение для каждого участника по меньшей мере больше наибольшего значения минус за время .
  • Три различные процедуры, одна Брамса и Тейлора (1995), другая Робертсона и Уэбба (1998) и ещё одна, процедура Пикурко (2000) дают свободное от зависти разрезание для человек. Оба алгоритма требуют конечного, но неограниченного числа разрезов.
  • Процедура Азиза и Маккензи (2016) находит разрезание без зависти для человек за ограниченное число запросов.

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

См. статью «Завистливый делёж торта»[5] (англ. envy-free cake-cutting) для деталей и полного списка литературы.

Эффективный делёж[править | править код]

Когда функции оценок аддитивны, существует разрезание по полезности[en](РП, англ. utilitarian-maximal, UM). Интуитивно, чтобы создать РП разрезание, нам нужно дать каждому участнику кусок торта со значением, которое для него максимально. В примере торта РП разрезание отдаст весь шоколад Алисе и всю ванильную часть Джорджу, достигая полезности .

Этот процесс легко осуществить, если функции оценок кусочно постоянны, то есть торт можно поделить на куски, такие что плотности цены на каждом куске постоянна для всех участников. Когда функции оценок не кусочно постоянны, существование РП разрезаний основывается на обобщении этой процедуры для функций оценки с помощью теоремы Радона — Никодима, см. теорему 2 в статье Дубинса и Спеньера[9].

Когда торт одномерен и куски должны быть связными (то есть непрерывными отрезками), простой алгоритм назначения агенту куска, который наиболее значим, не работает. В этом случае задача нахождения РП разрезания является NP-трудной задачей и более того, невозможна никакая FPTAS схема, если только не P = NP. Существует 8-кратный аппроксимирующий алгоритм и алгоритм параметризованной сложности[en], который экспоненциален от числа игроков[12].

Для любого множества положительных весов взвешенное РП разбиение может быть найдено аналогичными методами. Следовательно, эффективные по Парето (ЭП, англ. Pareto efficiency, PE) разбиения всегда существуют.

Процедурная справедливость[править | править код]

В последнее время есть интерес не только к справедливости конечного дележа, но и к справедливости процедуры деления — не должно быть разницы между различными ролями в процедуре. Изучались некоторые процедурные справедливости:

  • Анонимность требует, чтобы в случае перестановки агентов и повторения процедуры каждый агент получил в точности тот же кусок, что и при исходном дележе. Это строгое условие. В настоящее время анонимная процедура известна только для 2 агентов.
  • Симметрия требует, чтобы в случае, когда агенты переставляются и процедура повторяется для переставленных агентов, каждый агент получает то же самое значение, что и в исходном дележе. Это более слабое условие, чем анонимность. На настоящий момент симметричные и пропорциональные процедуры известны для любого числа агентов и они требуют запросов. Симметричная и свободная от зависти процедура известна для любого числа агентов, но требует существенно более длительного выполнения — она требует выполнений существующей свободной от зависти процедуры.
  • Аристотеличность требует, чтобы, если два агента имеют идентичные меры значимости, они получат то же самое значение. Это слабее симметрии и удовлетворяется любой свободной от зависти процедурой. Более того, аристотеличные и пропорциональные процедуры известны для любого числа агентов и требуют запросов.

См. статью «Симметричное справедливое разрезание торта» для деталей и ссылок.

Эффективный справедливый делёж[править | править код]

Для n человек с аддитивными функциями значений всегда существует ЭПОЗ делёж[13].

Если торт является одномерным интервалом и каждый участник должен получить связный интервал, выполняется следующий общий результат: если функции оценок строго монотонны (каждый участник строго предпочитает кусок, а не любое его собственное подмножество), то любой ОЗ делёж будет также ЭП[14]. Следовательно, протокол Симонса[en] в этом случае даёт ЭПОЗ делёж.

Если торт является одномерной окружностью (например, интервалом, в котором две конечные точки топологически отождествлены) и каждое лицо должно получить связную дугу, то предыдущий результат не верен — ОЗ делёж не обязательно будет ЭП. Кроме того, есть пары (неаддитивных) функций оценок, для которых никакого ЭПОЗ дележа не существует. Однако, если имеется 2 агента и хотя бы один из них имеет аддитивную функцию оценки, то ЭПОЗ делёж существует[15].

Если торт одномерен, но любое лицо может получить разрывное подмножество его, ОЗ делёж не обязательно будет ЭП. В этом случае требуются более сложные алгоритмы для поиска ЭПОЗ дележа.

Если функции оценок аддитивны и кусочно постоянны, то существует алгоритм, который находит ЭПОЗ делёж[16]. Если функции плотности оценок аддитивны и Липшиц-непрерывны, то они могут быть аппроксимированы кусочно константными функциями «насколько хотим близко», поэтому этот алгоритм аппроксимирует ЭПОЗ делёж «насколько хотим близко»[16].

ОЗ делёж не обязательно будет РП [17][18]. Одним из подходов работы с этой трудностью является поиск среди всех возможных ОЗ дележей ОЗ делёж с максимальным значением полезности. Эту задачу изучали для торта, являющегося одномерным интервалом, от которого каждое лицо может получить разрывные части, а функции оценки аддитивны[19].

Неаддитивные процедуры[править | править код]

Большинство существующих процедур справедливого дележа, очерченных выше, предполагают аддитивность полезности для игроков. Другими словами, если игрок получает некоторое количество полезности от 25 г шоколадной части торта, то предполагается, что он получит в точности двойную полезность от 50 г той же шоколадной части торта.

В 2013 году Риши С. Мирчандани показал, что большинство существующих алгоритмов справедливого дележа несовместимы с неаддитивными функциями полезности[20]. Он также доказал, что частный случай задачи справедливого дележа, в которой игроки имеют неаддитивные функции полезности, не может иметь пропорциональных решений.

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

См. также[править | править код]

Примечания[править | править код]

  1. 1 2 Steinhaus, 1948, с. 101–4.
  2. Procaccia, 2016.
  3. Здесь не обсуждаются права людей, задача состоит в дележе торта так, чтобы каждое лицо получило справедливую часть.
  4. Hill, Morrison, 2010, с. 281.
  5. 1 2 Часто переводится «делёж без зависти» (калька с английского), хотя как раз присутствие зависти играет основную роль в этом дележе.
  6. То есть, чтобы его длина и ширина были близки.
  7. Segal-Halevi, Nitzan, Hassidim, Aumann, 2017, с. 1–28.
  8. Chen, Lai, Parkes, Procaccia, 2013, с. 284–297.
  9. 1 2 Dubins, Spanier, 1961, с. 1–17.
  10. The Fair Division Calculator. Дата обращения: 12 октября 2019. Архивировано из оригинала 28 февраля 2010 года.
  11. Ivars Peterson. A Fair Deal for Housemates. MathTrek (13 марта 2000). Дата обращения: 12 октября 2019. Архивировано 20 сентября 2012 года.
  12. Aumann, Dombb, Hassidim, 2013.
  13. Weller, 1985, с. 5–17.
  14. Berliant, Thomson, Dunz, 1992, с. 201.
  15. Thomson, 2006, с. 501–521.
  16. 1 2 Reijnierse, Potters, 1998, с. 291–311.
  17. Caragiannis, Kaklamanis, Kanellopoulos, Kyropoulou, 2011, с. 589.
  18. Aumann, Dombb, 2010, с. 26.
  19. Cohler, Lai, Parkes, Procaccia, 2011.
  20. Mirchandani, 2013, с. 78–91.

Литература[править | править код]

  • Ariel Procaccia. Chapter 13: Cake Cutting Algorithms // Handbook of Computational Social Choice / Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D. Procaccia. — Cambridge University Press, 2016. — ISBN 9781107060432.
  • Hugo Steinhaus. The problem of fair division // Econometrica. — 1948. — Т. 16, вып. 1. — JSTOR 1914289.
  • Hill T. P., Morrison K. E. Cutting Cakes Carefully // The College Mathematics Journal. — 2010. — Т. 41, вып. 4. — doi:10.4169/074683410x510272.
  • Erel Segal-Halevi, Shmuel Nitzan, Avinatan Hassidim, Yonatan Aumann. Fair and square: Cake-cutting in two dimensions // Journal of Mathematical Economics. — 2017. — Т. 70. — doi:10.1016/j.jmateco.2017.01.007. — arXiv:1409.4511.
  • Yiling Chen, John K. Lai, David C. Parkes, Ariel D. Procaccia. Truth, justice, and cake cutting // Games and Economic Behavior. — 2013. — Т. 77, вып. 1. — doi:10.1016/j.geb.2012.10.009.
  • Lester Dubins. How to Cut a Cake Fairly // The American Mathematical Monthly. — 1961. — Т. 68, вып. 1. — doi:10.2307/2311357. — JSTOR 2311357.
  • Yonatan Aumann, Yair Dombb, Avinatan Hassidim. Computing Socially-Efficient Cake Divisions. — 2013.
  • Weller D. Fair division of a measurable space // Journal of Mathematical Economics. — 1985. — Т. 14. — doi:10.1016/0304-4068(85)90023-0.
  • Berliant M., Thomson W., Dunz K. On the fair division of a heterogeneous commodity // Journal of Mathematical Economics. — 1992. — Т. 21, вып. 3. — doi:10.1016/0304-4068(92)90001-n.
  • Thomson W. Children Crying at Birthday Parties. Why? // Economic Theory. — 2006. — Т. 31, вып. 3. — doi:10.1007/s00199-006-0109-3.
  • Reijnierse J. H., Potters J. A. M. On finding an envy-free Pareto-optimal division // Mathematical Programming. — 1998. — Т. 83, вып. 1–3. — doi:10.1007/bf02680564.
  • Caragiannis I., Kaklamanis C., Kanellopoulos P., Kyropoulou M. The Efficiency of Fair Division // Theory of Computing Systems. — 2011. — Т. 50, вып. 4. — doi:10.1007/s00224-011-9359-y.
  • Aumann Y., Dombb Y. The Efficiency of Fair Division with Connected Pieces // Internet and Network Economics. — 2010. — Т. 6484. — (Lecture Notes in Computer Science). — ISBN 978-3-642-17571-8. — doi:10.1007/978-3-642-17572-5_3. Требуется регистрация для скачивания
  • Yuga Julian Cohler, John Kwang Lai, David C. Parkes, Ariel Procaccia. Optimal Envy-Free Cake Cutting, Conference AAAI. — 2011.
  • Rishi Mirchandani. Superadditivity and Subadditivity in Fair Division // Journal of Mathematics Research. — 2013. — Август (т. 5, вып. 3). — doi:10.5539/jmr.v5n3p78.

Ссылки[править | править код]