Я сразу скажу, что не могу дать хороший ответ на ваш вопрос (думаю, вы могли бы, возможно, получить из него исследовательскую работу), но я думаю, что могу помочь, определив проблему формально и указав, где некоторые из трудностей врут.
Фон . Позвольте мне четко сформулировать модель для разрезания тортов. Мы хотим разделить интервал между n игроками. У каждого игрока i есть функция оценки v i ( S ) по подмножествам S торта. Предположим, что эта функция является вероятностной мерой; это неотрицательное и добавка (для непересекающихся A , B ⊆ [ 0 , 1 ] , v я ( ∪ B ) = v я ([0,1]nivi(S)SA,B⊆[0,1] ) и v i ( [ 0 , 1 ] ) = 1 . Решением этой проблемы являетсяпротоколили алгоритм, который запрашивает игроков и назначает части интервала. Обратите внимание, что игроки могут неверно сообщать / лгать, отвечая на вопросы.vi(A∪B)=vi(A)+vi(B)vi([0,1])=1
Некоторые документы будут иметь более конкретные ограничения; например , функции оценки являются непрерывными, или кусочно-линейными, или кусочно-постоянными.
{S1,…,Sn}
- i(1/n)vi([0,1])i1/n
- vi(Si)≥vi(Sj)j
Обратите внимание, что зависть подразумевает пропорциональность.
Также нам могут потребоваться «эксплуатационные» свойства, такие как разрезание на несколько частей, полиномиальное время работы (или вообще вычислимость / конструктивность - мы не хотим использовать Аксиому выбора, чтобы выбрать подмножество торта! ), и так далее.
1
Во-вторых, мы всегда можем решить вашу проблему, забрав у всех весь торт и используя известный алгоритм для его перераспределения с нуля. Поэтому вопрос в том, есть ли более элегантный способ сделать это. Я думаю, что хороший способ дать количественную оценку этому состоит в том, «когда перераспределение требует меньше времени или меньше сокращений, чем начинать с нуля, и / или когда игроки получают значительную часть своего текущего среза?»
- nn+1
n+1
- nn+1
1/n11/n2(n−1)/n21/n3(n−1)/nn1/n1(n−1)/n2132
Одной из ссылок может быть Уолш, « Разрезание тортов онлайн» , в Алгоритмической теории принятия решений 2011 (ссылка в формате pdf). Но я думаю, что в статье предполагается, что мы заранее знаем количество прибывающих агентов, и предполагается, что игрокам необходимо распределить фигуру именно тогда, когда они уходят (что до конца протокола), так что это на самом деле не относится к вашей проблеме.
nn+1n+1n