Протоколы Симмонса — Су
Протоколы Симмонса — Су — это ряд протоколов для завистливого дележа. Протоколы основаны на лемме Шпернера. Достоинства этих протоколов заключаются в том, что они накладывают мало ограничений на предпочтения участников и задают участникам дележа простые вопросы, такие как «который кусок вы предпочитаете?».
Протоколы разрабатывались для решения нескольких связанных задач.
Разрезание торта
В задаче завистливого разрезания торта неоднородный делимый ресурс («торт») следует разделить на n участников с различными предпочтениями на части торта. Торт следует разделить на n частей так, что (a) каждый участник получает единый связный кусок и (b) каждый участник верит, что его кусок (в слабом смысле) лучше, чем все остальные куски. Протокол решения задачи разработал Форест Симмонс в 1980 году при помощи Майкла Старбёрда. Протокол первым опубликовал Фрэнсис Су[англ.] в 1999 году[1].
Если дано разрезание торта (на n кусков), мы говорим, что участник предпочитает определённый кусок этого разрезания, если он верит, что этот кусок лучше всех других кусков. «В слабом смысле» означает, что участник может не делать отличия между полученным куском и одним или более других кусков, так что он может «предпочитать» более одного куска.
Протокол делает следующие предположения о предпочтениях участников дележа
- Независимость от других участников — предпочтение зависит от участника и конкретного разрезания всего торта, но не от выбора, сделанного другими участниками.
- Голодные участники — участник дележа никогда не предпочитает пустой кусок.
- Топологически замкнутые множества предпочтений — любой кусок, который предпочтителен при сходящейся последовательности разрезаний, будет предпочтителен как предел последовательности. Например, если участник предпочитает первый кусок во всех разрезаниях, когда первый разрез был сделан в точке и предпочитает второй кусок во всех разрезаниях, когда разрез сделан в точке , то в случае разреза в точке участник будет равным образом предпочитать оба куска.
Эти условия очень слабые и, в отличие от других протоколов справедливого разрезания торта, от функций полезности не требуется, чтобы они были аддитивными или монотонными.
Протокол рассматривает одномерные разрезы. Например, торт может быть одномерным отрезком [0; 1] и каждый кусок является интервалом. Торт может быть прямоугольным и разрезания осуществляются вдоль более длинной стороны (параллельно короткой), так что все куски будут прямоугольными. Каждое разрезание может быть представлено n числами , где является длиной i-го куска. Мы предполагаем, что полная длина торта равна 1, так что . Пространство возможных разрезаний тогда представляет собой -мерный симплекс с n вершинами в пространстве . Протокол работает на этом симплексе следующим образом:
- Триангуляризуем симплекс разрезаний на меньшие симплексы желаемого размера.
- Назначаем каждой вершине триангуляризации одного участника таким образом, что каждый подсимплекс имеет n различных меток.
- Для каждой вершины триангуляризации спрашиваем её владельца: «Какой кусок вы бы предпочитали, если бы разрезание было сделано согласно этой точке?». Помечаем вершину номером предпочитаемого куска.
Образованная разметка удовлетворяет требованиям леммы Шпернера о раскраске:
- Каждая вершина исходного симплекса соответствует разрезанию торта, в котором один кусок содержит весь торт, а все остальные куски пустые. По условию «голодных участников» дележа владелец вершины должен предпочитать этот кусок, а следовательно, все вершины большого симплекса различны.
- Каждая сторона/грань исходного симплекса соответствует разрезанию торта, в котором некоторые куски пусты, а непустые куски соответствуют вершинам на стороне. По условию «голодных участников», владельцы должны предпочитать только непустые куски, так что вершины триангуляции на этих сторонах могут иметь только одну из меток, которые появляются в соответствующих вершинах.
Следовательно, по лемме Шпернера должен быть по меньшей мере один подсимплекс, в котором все метки различны. На шаге #2 мы назначаем каждую вершину этого подсимплекса различному участнику. Следовательно, мы нашли n очень похожих множеств разрезаний, в которых различные участники предпочитают различные куски торта.
Мы можем теперь разбить подсимплекс на сетку меньших подподсимплексов и повторить процесс. Мы получим последовательность всё более мелких симплексов, которые сходятся к одной точке. Эта точка соответствует одному множеству разрезов. По предположению, что «множества предпочтений замкнуты», в этом множестве разрезов все участники предпочитают различные куски, так что это разрезание не имеет зависти.
Существование разрезания без зависти было доказано до этого[2], но доказательство Симмонса даёт конструктивный приближённый алгоритм. Например, предположим, что некоторое земельное владение нужно разделить и партнёры соглашаются, что разница в 1 сантиметр для них не существенна. Тогда исходный симплекс может быть триангулиризован в симплексы с размером стороны менее 1 см. В этом случае точка в любом подсимплексе со всеми различными метками соответствует (приблизительному) разрезанию без зависти.
В отличие от других протоколов завистливого дележа, в которых каждому участнику может достаться огромное количество крошек, протокол Симмонса даёт каждому участнику один связный кусок. Более того, если исходный торт прямоуголен, то и все выделяемые куски будут прямоугольными.
Несколькими годами после публикации алгоритма было доказано, что любое разрезание без зависти со связными кусками не может быть найдено конечными протоколами[3]. Следовательно, алгоритм аппроксимации является лучшим, который мы можем надеяться осуществить за конечное время. В настоящее время алгоритм Симмонса является единственным алгоритмом аппроксимации завистливого разрезания торта со связными кусками.
Алгоритм Симмонса является одним из немногих алгоритмов справедливого дележа, которые реализованы и доступны онлайн[4].
Одна приятная вещь относительно алгоритма заключается в том, что запросы, задаваемые участниками, очень просты — они просто должны решать для каждого разбиения, какой кусок они предпочитают. Это отличается от других алгоритмов, в которых задаются запросы типа «отрежьте кусок со значением 1/3» или другие подобные запросы.
Вычислительная сложность
В то время как завистливый делёж со связными кусками может быть аппроксимирован до любой точности с помощью вышеприведённого протокола, сама аппроксимация может занять долгое время. В частности[5]
- Если функции полезности доступны лишь с помощью оракула (предсказателя), число запросов для получения порога зависти менее чем равно .
- Если функции полезности задаются явно алгоритмом с полиномиальным временем работы, задача завистливого разрезания торта имеет ту же сложность, что и нахождение неподвижной точки Брауэра, то есть задача PPAD-полна[англ.].
Гармоничный съём жилья
В этой задаче n друзей решают снять дом с n спальнями за квартплату, определяемую владельцем дома. Каждый из друзей может иметь различные предпочтения — один может предпочитать большую комнату, другой может предпочитать комнату с видом на природу и так далее. Следующие две задачи следует решить одновременно: (a) назначить по спальне каждому участнику, (b) определить плату, которую будет вносить каждый участник, так, чтобы сумма вносимых долей составляла полную сумму квартплаты. Распределение не должно иметь зависти, то есть каждый участник должен (в слабом смысле) предпочитать свою комнату + плату по сравнению с другими участниками. То есть ни один из участников не должен предпочитать другую комнату за плату, назначенную данной комнате. Протокол решения этой задачи разработал Фрэнсис Су в 1999 году[1].
Идея следующая. Нормализуем полную квартплату к 1. Тогда каждая схема распределения платежей является точкой в -мерном симплексе с вершинами в . Протокол Су работает на двойственной версии этого симплекса подобно протоколам Симмонса — Су для разрезания торта — для любой вершины триангуляризации двойственного симплекса, что соответствует определённой схеме распределения платежей, протокол спрашивает владельца «какую комнату предпочитаете в этой схеме оплаты?». Это приводит к раскраске Шпернера в двойственном симплексе, а тогда существует маленький подсимплекс, который соответствует приближённому распределению комнат и платы без зависти.
Статьи Сана[6] и Прокачча[7] дают популяризированное объяснение протокола Гармоничного съёма жилья[8], а на странице[9] приведена онлайновая реализация протокола.
См. статью Задача о совместном найме квартиры для других решений этой задачи.
Делёж рутинных работ
В этой задаче есть некоторые рутинные работы, которые следует разделить среди n участников, например, стрижка большого газона (лужайки).
Протокол «Гармоничного съёма жилья» может быть использован для получения распределения рутинных работ без зависти, просто если рассматривать оплату жилья как рутинные обязанности, а помещения игнорируем. Делимость рутинных работ может быть достигнута путём деления времени, потраченного на работу[1].
Разрезание нескольких тортов
В этой задаче два и более тортов следует разделить одновременно среди двух и более участников, отдавая каждому участнику по единственному куску от каждого торта. Конечно, если предпочтения независимы (то есть полезность от разрезания равна сумме полезностей выделенных кусков от каждого торта), то задачу можно решить методами разрезания одного торта — просто осуществляем завистливый делёж каждого торта по отдельности. Вопрос становится более интересным, когда участники имеют связанные предпочтения по тортам, когда порция одного торта, предпочитаемого участником, оказывает влияние на оценку куска другого торта, передаваемого участнику. Например, если «торты» являются рабочими сменами в двух соседних днях, обычно работник может предпочитать одну и ту же смену каждый день (например, утро+утро или вечер+вечер), а не две различные смены (например, вечер+утро).
Решение этой задачи для случая 2 участников дележа и 2 или 3 тортов было опубликовано в 2009 году[10]. Если число тортов равно m и каждый торт делится на k кусков, то пространство разрезаний может быть представлено в виде d-размерного многогранника с n вершинами, где и . Обобщение леммы Шпернера на многогранники[11] гарантирует, что если этот многогранник триангуляризован и размечен подходящим образом, есть по меньшей мере подсимплексов с полной разметкой. Каждый из этих симплексов соответствует (приблизительному) распределению без зависти, в котором каждый участник получает различную комбинацию кусков. Однако комбинации могут накладываться — один участник может получить «утреннюю» и «вечернюю» смены, в то время как другой получит «вечернюю» и «утреннюю». Хотя это различный выбор, он несовместим. Раздел 4 статьи Клотье, Наймана и Су[10] доказывает, что делёж без зависти на двоих с непересекающимися кусками может быть невозможным, если , но всегда возможен, если и (то есть по меньшей мере один торт делится на три части и каждый участник получает один кусок от каждого торта, а по меньшей мере один кусок торта выбрасывается). Аналогичные результаты доказаны для трёх тортов.
См. также
Примечания
- ↑ 1 2 3 Su, 1999, с. 930–942.
- ↑ Stromquist, 1980, с. 640–644.
- ↑ Stromquist, 2008.
- ↑ An implementation by Francis Su, Elisha Peterson and Patrick Winograd is available at: https://www.math.hmc.edu/~su/fairdivision/ Архивная копия от 27 октября 2018 на Wayback Machine
- ↑ Deng, Qi, Saberi, 2012, с. 1461.
- ↑ Albert Sun. To Divide the Rent, Start With a Triangle . NY Times. Дата обращения: 26 августа 2014. Архивировано 11 ноября 2020 года.
- ↑ Ariel Procaccia. Fair division and the whining philosophers problem . Turing's Invisible Hand. Дата обращения: 26 августа 2014. Архивировано 3 сентября 2014 года.
- ↑ Архивированная копия . Дата обращения: 31 декабря 2019. Архивировано из оригинала 27 октября 2018 года.
- ↑ https://www.nytimes.com/interactive/2014/science/rent-division-calculator.html Архивная копия от 31 декабря 2019 на Wayback Machine Divide Your Rent Fairly
- ↑ 1 2 Cloutier, Nyman, Su, 2010, с. 26–37.
- ↑ De Loera, Peterson, Su, 2002, с. 1–26.
Литература
- Su F. E. Rental Harmony: Sperner's Lemma in Fair Division // The American Mathematical Monthly. — 1999. — Т. 106, вып. 10. — doi:10.2307/2589747. — .
- Cloutier J., Nyman K. L., Su F. E. Two-player envy-free multi-cake division // Mathematical Social Sciences. — 2010. — Т. 59. — doi:10.1016/j.mathsocsci.2009.09.002. — arXiv:0909.0301.
- De Loera J. A., Peterson E., Su F. E. A Polytopal Generalization of Sperner's Lemma // Journal of Combinatorial Theory, Series A. — 2002. — Т. 100. — doi:10.1006/jcta.2002.3274.
- Walter Stromquist. How to Cut a Cake Fairly // The American Mathematical Monthly. — 1980. — Т. 87, вып. 8. — doi:10.2307/2320951. — .
- Walter Stromquist. Envy-free cake divisions cannot be found by finite protocols // Electronic Journal of Combinatorics (January 2008) Key: Stromquist2008Envyfree. — 2008. Архивировано 11 марта 2016 года.
- Deng X., Qi Q., Saberi A. Algorithmic Solutions for Envy-Free Cake Cutting // Operations Research. — 2012. — Т. 60, вып. 6. — doi:10.1287/opre.1120.1116.