Uczciwe cięcie ciasta, gdy gracze dołączają późno

11

Zwykłe stwierdzenie o uczciwym problemie cięcia ciasta zakłada, że ​​wszyscy gracze otrzymują swój udział w tym samym czasie. Jednak w wielu przypadkach gracze przybywają stopniowo. Na przykład, możemy podzielić ciasto na n graczy, ale wtedy pojawia się nowy gracz i chce się podzielić.nn

Zazwyczaj podział sprawiedliwego ciasta wymaga dużego wysiłku (na przykład wymaga od graczy odpowiedzi na wiele pytań), zwłaszcza gdy liczba graczy jest duża.

Czy można zastosować istniejący podział ciasta na graczy, aby utworzyć nowy podział ciasta na n + 1 graczy, przy minimalnym dodatkowym wysiłku (tj. Znacznie mniej wysiłku niż ponowne rozprowadzenie ciasta od zera)?nn+1

Erel Segal-Halevi
źródło
2
Czy pierwsze graczy zaczęło jeść? Czy to sprawiedliwe, aby dać graczowi wiele elementów, czy też każdy musi zdobyć dokładnie jeden kawałek? n
Raphael
@ Rafael, jestem szczególnie zainteresowany sprawiedliwym podziałem ziemi, dlatego gracze nie mogą dosłownie zacząć jeść swojej części (mogą budować na swojej części, ale na razie zignorujmy ten problem). Lepiej jest dać każdemu graczowi dokładnie jeden kawałek, jednak najwyraźniej nie jest to możliwe w uczciwy sposób, w przypadku przybycia tylko jednej nowej osoby. Prawdopodobnie powinienem zapytać, co się stanie, jeśli przyjdzie nowych graczy. W takim przypadku możliwe jest (przynajmniej teoretycznie) podzielenie każdej akcji pierwszych n graczy na 2 nowe akcje. W każdym razie wszelkie odniesienia są mile widziane. nn
Erel Segal-Halevi
W przypadku nieużywanej ziemi, dlaczego nie rozpowszechniać wszystkiego?
Raphael
2
Myślę, że musisz wyjaśnić, jaki jest twój cel. Zminimalizować liczbę aktualizacji cięć? Zminimalizować całkowitą długość nowych cięć? Czy możemy przypisać części starym graczom, czy też jedyni mogą przegrać?
Raphael
Ach, teraz rozumiem, co masz na myśli: masz na myśli, że niektórzy gracze zaczęli jeść swoją część, a teraz przybywają nowi gracze, a my chcemy sprawiedliwie dzielić przypomnienia, biorąc pod uwagę to, co każdy gracz już zjadł. Chociaż sam w sobie jest to interesujący problem, moja intencja była inna - mam nadzieję, że moja ostatnia edycja to wyjaśni.
Erel Segal-Halevi

Odpowiedzi:

6

Powiem z góry, że nie mogę udzielić dobrej odpowiedzi na twoje pytanie (myślę, że możesz wyciągnąć z tego dokument badawczy, jeśli możesz), ale myślę, że mogę pomóc, formalnie definiując problem i określając, gdzie niektóre trudności leżą.

Tło . Pozwól, że jasno przedstawię model krojenia ciasta. Chcemy podzielić przedział między n graczy. Każdy gracz i ma funkcję wyceny v i ( S ) w stosunku do podzbiorów S ciasta. Zakładamy, że ta funkcja jest miarą prawdopodobieństwa; jest nieujemny i addytywny (dla rozłącznego A , B [ 0 , 1 ] , v i ( A B ) = v i ([0,1]nivi(S)SA,B[0,1] ) i v i ( [ 0 , 1 ] ) = 1 . Rozwiązaniem tego problemu jestprotokółlub algorytm, który odpytuje graczy i przypisuje części przedziału. Pamiętaj, że gracze mogą źle zgłaszać / leżeć w odpowiedziach na pytania.vi(AB)=vi(A)+vi(B)vi([0,1])=1

Niektóre dokumenty będą miały bardziej szczegółowe ograniczenia; np. funkcje wyceny są ciągłe, liniowo lub częściowo stałe.

{S1,,Sn}

  • i(1/n)vi([0,1])i1/n
  • vi(Si)vi(Sj)j

Zauważ, że zazdrość pozbawiona wolności oznacza proporcjonalność.

Są też właściwości „operacyjne”, które możemy chcieć, takie jak cięcie na kilka kawałków, wielomianowy czas działania (lub w ogóle obliczalność / konstruowalność - nie chcemy używać Aksjomatu wyboru, aby wybrać podzbiór ciasta! ), i tak dalej.


1

Po drugie, zawsze możemy rozwiązać Twój problem, zabierając całe ciasto z powrotem wszystkim i używając znanego algorytmu, aby rozprowadzić je od zera. Pytanie brzmi, czy jest to bardziej elegancki sposób na zrobienie tego. Myślę, że dobrym sposobem na oszacowanie tego jest „kiedy redystrybucja wymaga mniej czasu lub mniej cięć niż od zera; i / lub kiedy gracze mogą zachować znaczną część swojego obecnego wycinka?”

  1. nn+1

n+1

  1. nn+1

1/n11/n2(n1)/n21/n3(n1)/nn1/n1(n1)/n2132


Jednym z odniesień może być Walsh, Online Cake Cutting , w Algorytmicznej Teorii Decyzji 2011 (link pdf). Ale myślę, że gazeta zakłada, że ​​znamy z góry liczbę przybywających agentów, i zakłada, że ​​graczom należy przydzielić kawałek dokładnie wtedy, gdy odejdą (co jest przed końcem protokołu), więc tak naprawdę nie ma to zastosowania do twojego problemu.


nn+1n+1n

usul
źródło
Nie jestem pewien, w jaki sposób pomaga ogólny problem (z niejednolitymi preferencjami); ups ? Rozwiązanie problemu niezmiennych graczy (i rozsądnych kształtów) jest łatwe. Myślę, że będziemy musieli ustalić, co „skuteczny” lub „dobry” oznacza wrt wycinki / przydziały i ich zmiany.
Raphael
1
@ Rafael - o ile wiem, pytanie dotyczy rozwiązania ogólnego problemu. (Zgadzam się, że powinniśmy użyć dodatkowej struktury, jeśli taka jest określona.)
usul
Dziękuję, twoja definicja dokładnie uchwyciła moją intencję. Odniesienie do cięcia ciasta online jest interesujące i odpowiednie.
Erel Segal-Halevi
6

Crnπr2n(n+1)n+1

Wyliczenie liczb jest proste; dla pierwszego nowego gracza wystarczy rozwiązać

πr12=πr2n+1

aby uzyskać promień jego spisku. Po drugie, rozwiązuj

πr12=πr2n+2πr22πr12=πr2n+2

n+iri=rin+kk

n=6k=0,1,2,3

przykład [ źródło ]

nn

Raphael
źródło
1
Interesujące byłoby porównanie obszaru, który jest ponownie przypisany tą metodą do obszaru, który jest ponownie przypisany przez wstawienie nowego kawałka (tj. Sektora) ciasta i przesunięcie (i zmniejszenie) wszystkich istniejących kawałków zgodnie z ruchem wskazówek zegara. Liczba stron dotkniętych ruchem (nie tylko stratą) różni się tylko stałą. Zauważ również, że pierścienie nie są bardziej skuteczne niż sektory, ale zmiana z jednej metody na drugą pozwala nie przesunąć obszaru przypisanego przez pierwszą metodę.
frafl
@frafl Zgadzam się. Czy potrafisz przedstawić inne warianty w odpowiedzi? (Masz rację: nie wydaje się, aby istniał dobry powód do mieszania metod. Dla mnie motywacją był problem z ciastem: zakładam, że ciasto zostało już pokrojone, co robić?)
Raphael
n+1
1
To piękne rozwiązanie gemoetryczne, jednak dotyczy tylko jednolitych ciast i jednolitych ciastek. Odniosłem się do ogólnego problemu cięcia ciasta: en.wikipedia.org/wiki/Fair_division, który zakłada, że ​​ciasto może być niejednorodne, a różni gracze mogą mieć różne wyceny dla różnych części ciasta.
Erel Segal-Halevi