Справедливый делёж

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

Задача справедливого дележа возникает в различных ситуациях, например, таких как раздел наследства. Это активная область исследований в математике, экономике (особенно в теории социального выбора^[en]), теории игр, решении спорных вопросов^[en] и многих других.

Типичный алгоритм справедливого дележа — дели и выбирай. Он демонстрирует, что два человека с различными вкусами могут разделить торт так, что каждый из них будет считать, как будто он получил лучший кусок. Исследование по справедливому дележу можно рассматривать как расширение этой процедуры на различные более сложные условия.

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

Вещи, которые можно делитьПравить

Формально задача справедливого дележа определяется множеством $\text{[math]}$ $\text{[math]}$ $X$ и группой из $\text{[math]}$ $\text{[math]}$ $n$ игроков. Делёж — это разбиение множества $\text{[math]}$ $\text{[math]}$ $X$ на $\text{[math]}$ $\text{[math]}$ $n$ непересекающихся подмножеств: $\text{[math]}$ $\text{[math]}$ $X=X_{1}\sqcup X_{2}\sqcup \cdots \sqcup X_{n}$ , по одному подмножеству на игрока.

Множество $\text{[math]}$ $\text{[math]}$ $X$ может быть различных видов:

X может быть конечным множеством неделимых объектов, например: X = {пианино, автомобиль, квартира}, так что каждый объект должен быть передан отдельному участнику.
X может быть бесконечным множеством, представленным делимыми ресурсами, например: деньги или торт. Математически, делимый ресурс часто моделируется как подмножество вещественного пространства, например, отрезок [0,1] может представлять длинный узкий торт, который может быть разрезан параллельными сечениями на куски. Единичный круг может представлять собой яблочный пирог.

Кроме того, множество, которое следует разделить, может быть:

однородным — таким, как деньги, где имеет значение только величина или количество;
неоднородным — таким, как торт, который может содержать различные ингредиенты, различную глазировку, кремы, фрукты и т. д.

Наконец, обычно необходимо сделать некоторые предположения о желательности делимых объектов — к какой из групп они относятся:

блага — такие, как автомобили или торт;
неприятные вещи — такие, как домашние обязанности.

Основываясь на этих различиях, изучались несколько общих типов задач справедливого дележа:

справедливое распределение предметов — делёж множества неделимых и неоднородных объектов;
справедливое распределение ресурсов — делёж множества делимых и однородных благ. Специальным случаем является справедливый делёж одного однородного ресурса^[en];
справедливый делёж торта — делёж делимого неоднородного блага. Специальным случаем является круглая форма торта, в этом случае задача называется справедливым дележом пирога;
справедливый делёж обязанностей — делёж делимых неоднородных неприятных вещей.

Обычно рассматриваются также комбинации и специальные случаи:

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

Определения справедливостиПравить

Большинство того, что обычно называется справедливым дележом, теорией не рассматривается, поскольку используется арбитраж. Эти ситуации часто встречаются с математическими теориями, которые имеют названия задач реальной жизни. Решения в талмуде о долях^[en], когда собственность банкротится, отражают некоторые сложные идеи о справедливости^[1] и большинство людей считают эти решения справедливыми. Однако они являются результатом обсуждений раввинов, а не дележом согласно оценкам участников имущественного спора.

Согласно субъективной теории ценности не может быть объективной меры ценности каждого объекта. Тогда объективная справедливость невозможна, поскольку различные лица назначают различные цены для каждого объекта. Эмпирические эксперименты о том, как люди определяют концепцию справедливости^[2] привели к малосостоятельным результатам.

Таким образом, большинство современных исследований по справедливости фокусируются на концепции субъективной справедливости. Предполагается, что каждый из $\text{[math]}$ $\text{[math]}$ $n$ людей имеет персональную субъективную функцию полезности или функцию значимости $\text{[math]}$ $\text{[math]}$ $V_{i}$ , которая назначает численное значение каждому подмножеству $\text{[math]}$ $\text{[math]}$ $X$ . Часто функции предполагаются нормализованными, так что значения для каждого человека равны 0 для пустого множества ( $\text{[math]}$ $\text{[math]}$ $V_{i}(\emptyset )=0$ для всех i), и 1 для множества всех элементов ( $\text{[math]}$ $\text{[math]}$ $V_{i}(X)=1$ для всех i), если элементы желательны, и −1, если элементы нежелательны. Примеры:

Если $\text{[math]}$ $\text{[math]}$ $X$ является множеством неделимых предметов {пианино, автомобиль, квартира}, то Алиса может назначить значение 1/3 для каждого предмета, что означает, что каждый предмет одинаково ценен для неё. Боб может назначить значение 1 множеству {автомобиль, квартира} и значение 0 для всех других множеств, за исключением X. Это означает, что он хочет получить автомобиль и квартиру вместе. Один автомобиль или квартира, а также эти объекты вместе с пианино Боба не интересуют.
Если $\text{[math]}$ $\text{[math]}$ $X$ является длинным узким тортом, что можно моделировать как интервал [0; 1], то Алиса может назначить каждому подмножеству значение, пропорциональное его длине, что означает, что она хочет получить торта как можно больше, независимо от украшений глазурью и кремами. Боб может назначить значения только для подмножества [0,4; 0,6], например, поскольку эта часть торта может содержать вишенки, а Боб заботится только о получении вишенок.

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

Пропорциональный делёж означает, что каждый участник получает не меньше его должной доли согласно его собственной функции ценности. Например, если три человека делят торт, то каждый из трёх получает по меньшей мере треть по его собственной оценке, то есть, каждый из n участников получает подмножество X, которое он оценивает не меньше, чем в 1/n:
- $\text{[math]}$ $\text{[math]}$ $V_{i}(X_{i})\geqslant 1/n$ для всех i.
Суперпропорциональный делёж — это делёж, при котором каждый игрок получает строго больше 1/n (так что делёж возможен только если игроки имеют различные оценки):
- $\text{[math]}$ $\text{[math]}$ $V_{i}(X_{i})>1/n$ для всех i.
Делёж без зависти^[3] гарантирует, что никто не хочет, чтобы другой получил больше, чем он, то есть каждое лицо получает долю, ценность которой не меньше ценности кусков для других участников:
- $\text{[math]}$ $\text{[math]}$ $V_{i}(X_{i})\geqslant V_{i}(X_{j})$ для всех i и j.
Делёж без групповой зависти гарантирует, что нет подмножества агентов, завидующих другому подмножеству такого же размера, это существенно более сильное условие чем отсутствие зависти.
Равенство в долях^[en] дележа означает, что каждое лицо чувствует ту же самую удовлетворённость, то есть порция торта, полученная игроком, по его собственной оценке та же самая, что и для других игроков. Это трудная цель, поскольку игрок может и не быть правдивым, если спросить о его оценке:
- $\text{[math]}$ $\text{[math]}$ $V_{i}(X_{i})=V_{j}(X_{j})$ для всех i и j.
Точный делёж (или согласованный делёж) — это делёж, в котором все игроки согласны со значением каждого куска:
- $\text{[math]}$ $\text{[math]}$ $V_{i}(X_{i})=V_{j}(X_{i})$ для всех i и j.

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

Дополнительные требованияПравить

Вдобавок к справедливости иногда желают, чтобы делёж был оптимальным по Парето, то есть, никакое другое деление не может быть лучше для кого-либо без потерь для другого. Термин «эффективность» приходит из экономической идеи эффективного рынка. Делёж, при котором один игрок получает всё, оптимален по этому определению, так что сам по себе он не гарантирует справедливого дележа. См. также статьи «Эффективное разрезание торта» и «Цена справедливости».

Деление Берлина после Потсдамской конференции

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

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

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

ПроцедурыПравить

Алгоритмы, или процедуры^[6] справедливого дележа перечисляют действия игроков в терминах видимых данных и их оценок. Правильная процедура — это та, которая гарантирует справедливый делёж для любого игрока, который действует рационально согласно его собственной оценке. В то время как действие игрока зависит от его оценок, процедура описывает стратегию рационального игрока, которой он следует. Игрок может действовать как если бы кусок имел другую оценку, но должен быть последовательным (предсказуемым). Например, если процедура говорит, что первый игрок режет торт на две равные части, а второй выбирает кусок, то первый игрок не может жаловаться, что второй игрок получил бо́льшую часть.

Что игрок делает:

соглашается на критерий справедливого дележа;
выбирает правильную процедуру и следует её правилам.

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

Процедуры можно разделить на дискретные и непрерывные. Дискретная процедура могла бы, например, вовлекать только одно лицо для разрезания пирога в каждый момент времени. Непрерывные процедуры вовлекают вещи, например, когда один игрок передвигает нож^[en], а другой игрок говорит «стоп». Другой вид непрерывной процедуры вовлекает лицо в присвоение значения для каждой части торта.

Для списка процедур справедливого дележа см. Категория:Протоколы справедливого дележа.

ИсторияПравить

Согласно Солу Гарфункелю^[en], задача разрезания торта была одной из наиболее важных открытых проблем в математике XX века^[7], и наиболее важный вариант задачи был окончательно разрешён процедурой Брамса — Тейлора, разработанной Стивеном Брамсом и Аланом Тейлором в 1995 году.

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

Теория справедливого дележа отсчитывается только с конца второй мировой войны. Её разрабатывала группа польских математиков (Гуго Штейнгауз, Бронислав Кнастер и Стефан Банах), которые обычно встречались в Шотландском кафе во Львове (затем в Польше). Пропорциональный делёж для любого числа участников с названием «последний уменьшающий» разработан в 1944 году. Его Штейнгауз приписывал Банаху и Кнастеру, когда представил задачу публично первый раз на собрании Эконометрического общества в Вашингтоне в сентябре 1947 года. На этом собрании он также предложил задачу поиска наименьшего числа разрезов, необходимых для такого дележа.

Об истории завистливого разрезания см. статью Завистливое разрезание торта.

ПриложенияПравить

Задачи справедливого дележа возникают в таких ситуациях, как раздел наследства, прекращение партнёрства, бракоразводные процессы^[en], при выделении радиочастот^[en], управлении движением в аэропорту и эксплуатации спутников дистанционного зондирования Земли^[en].

Справедливый делёж в популярной культуреПравить

В телевизионном сериале 4исла (3-й сезон, эпизод «Один час»), Чарли говорит о задаче разрезания торта в применении к количеству денег, которое требует захватчик заложника.
Гуго Штейнгауз написал о некоторых вариантах справедливого дележа в своей книге Математический калейдоскоп. В этой книге он говорит о версии справедливого дележа с тремя участниками, которую выдумал Г. Крохмайн из Бердичева в 1944 году и другой версии, придуманной миссис Л. Котт^[8].
Мартин Гарднер и Иэн Стюарт опубликовали по книге с главами, посвящёнными этой задаче^[9]^[10]. Мартин Гарднер предложил решать задачу дележа в форме дележа обязанностей. Иэн Стюарт популяризовал задачу справедливого дележа в своих статьях в Scientific American и New Scientist.
Отрывок из Комикса о динозаврах^[en] основан на задаче разрезания торта^[11].
В израильском кинофильме Святая Клара^[en] русский иммигрант спрашивает израильского учителя математики, как круглый торт можно разделить справедливо на 7 человек? Его ответ: сделать 4 прямолинейных разреза посередине, получая 8 равных кусков. Поскольку людей всего 7, один кусок следует выбросить, руководствуясь принципами коммунизма.

См. такжеПравить

ПримечанияПравить

↑ Aumann, Maschler, 1985, с. 195–213.
↑ Yaari, Bar-Hillel, 1984, с. 1.
↑ Часто употребляемый, но несколько запутывающий термин, поскольку зависть, как раз и является доминирующим явлением в данном дележе. Иногда используется буквальный перевод с английского «свободный от зависти». Под отсутствием зависти подразумевается отсутствие причин для зависти, то есть нужно так разделить ресурсы, что ни у кого не возникнет подозрения, что ему досталось меньше, чем кому-то другому.
↑ Manurangsi, Suksompong, 2017, с. 100–108.
↑ Suksompong, 2018, с. 40–47.
↑ Иногда используется термин протокол.
↑ Garfunkel, 1988.
↑ Steinhaus, 1950.
↑ Gardner, 1978.
↑ Stewart, 2006.
↑ Dinosaur Comics — November 13th, 2008 — awesome fun times! (неопр.) Дата обращения: 8 октября 2019. Архивировано 28 октября 2019 года.

ЛитератураПравить

Robert J. Aumann, Michael Maschler. Game Theoretic Analysis of a bankruptcy Problem from the Talmud // Journal of Economic Theory. — 1985. — Т. 36. — doi:10.1016/0022-0531(85)90102-4. Архивировано 20 февраля 2006 года.
Yaari M. E., Bar-Hillel M. On dividing justly // Social Choice and Welfare. — 1984. — Т. 1. — С. 1. — doi:10.1007/BF00297056.
Pasin Manurangsi, Warut Suksompong. Asymptotic Existence of Fair Divisions for Groups // Mathematical Social Sciences. — 2017. — Т. 89. — doi:10.1016/j.mathsocsci.2017.05.006. — arXiv:1706.03184.
Warut Suksompong. Approximate Maximin Shares for Groups of Agents // Mathematical Social Sciences. — 2018. — Т. 92. — doi:10.1016/j.mathsocsci.2017.09.004. — arXiv:1706.09869.
Steven J .Brams, Alan D. Taylor. Fair division: from cake-cutting to dispute resolution. — Cambridge University Press, 1996. — ISBN 0-521-55644-9..
Jack Robertson. Cake-Cutting Algorithms: Be Fair If You Can.. — Routledge, 1998. — ISBN 978-1-56881-076-8.
Sol Garfunkel. More Equal than Others: Weighted Voting. // For All Practical Purposes: An Introduction to Contemporary Mathematics. — COMAP (Comsortium for Mathematics and its Applications), 1988. Серия из 26 получасовых видеоуроков на DVD
Hill T.P. Mathematical devices for getting a fair share // American Scientist. — 2000. — Т. 88. — С. 325–331. — doi:10.1511/2000.4.325.
Vincent P. Crawford. fair division // New Palgrave: A Dictionary of Economics. — 1987. — Т. 2. — С. 274–75.
- The New Palgrave: Финансы. — Москва: ГУ ВШЭ, 2008. — ISBN 978-5-7598-0588-5.
Hal R. Varian. fairness // The New Palgrave: A Dictionary of Economics. — 1987. — Т. 2. — С. 275–76.
Bryan Skyrms. The Evolution of the Social Contract. — Cambridge University Press, 1996. — ISBN 978-0-521-55583-8.
H.Steinhaus. Mathematical Snapshots. — 1950. — ISBN 0-19-503267-5.
- Штейнгауз Г. Математический калейдоскоп. — М.: Наука, 1981. — 160 с. — (Библиотечка «Квант»). — 150 000 экз.
Martin Gardner. aha! Insight. — 1978. — ISBN 978-0-7167-1017-2.
Ian Stewart. How to cut a cake and other mathematical conundrums. — OUP Oxford, 2006. — ISBN 978-0-19-920590-5.

СсылкиПравить

Справедливый делёж из проекта Дискретная Математика Колорадского университета.
Калькулятор справедливого дележа (Java-Апплет)
Метод справедливого дележа: Method of Lone Divider
Справедливый делёж: Method of Markers
Справедливый делёж: Method of Sealed Bids

[_297851d7e025c0bd-1] Aumann, Maschler, 1985, с. 195–213.

[_8011fb14cdfaf150-2] Yaari, Bar-Hillel, 1984, с. 1.

[3] Часто употребляемый, но несколько запутывающий термин, поскольку зависть, как раз и является доминирующим явлением в данном дележе. Иногда используется буквальный перевод с английского «свободный от зависти». Под отсутствием зависти подразумевается отсутствие причин для зависти, то есть нужно так разделить ресурсы, что ни у кого не возникнет подозрения, что ему досталось меньше, чем кому-то другому.

[_ce7d0e1cceb580bd-4] Manurangsi, Suksompong, 2017, с. 100–108.

[_33776ffa4a9bd672-5] Suksompong, 2018, с. 40–47.

[6] Иногда используется термин протокол.

[_66eaf6dced41bf8c-7] Garfunkel, 1988.

[_81fcadb8fcc48204-8] Steinhaus, 1950.

[_ddf58af73af6dda7-9] Gardner, 1978.

[_dfd7c613473cc8e7-10] Stewart, 2006.

[11] Dinosaur Comics — November 13th, 2008 — awesome fun times! (неопр.) Дата обращения: 8 октября 2019. Архивировано 28 октября 2019 года.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]