Selfridge-Conway-menettely
Selfridge - Conway- menettely on erillinen toimenpide, joka mahdollistaa kateudettoman kakunleikkauksen kolmelle osallistujalle [1] . Menettely on nimetty John Selfridgen ja John Conwayn mukaan . Selfridge löysi menetelmän vuonna 1960 ja ilmoitti siitä Richard Guylle , joka kertoi siitä monille ihmisille, mutta Selfridge itse ei julkistanut löytöään virallisesti. John Conway löysi myöhemmin menetelmän itsenäisesti eikä myöskään julkaissut [2] . Tämä oli ensimmäinen kateudeton erillinen kakunleikkausmenettely kolmelle osallistujalle, ja se tasoitti tietä edistyneemmille toimenpiteille n osallistujalle (katso kateellinen kakun leikkaaminen ).
Menettely antaa tuloksen ilman kateutta siinä tapauksessa, että jokainen prosessiin osallistuja uskoo, että kukaan muu osallistuja (hänen subjektiivisen arvionsa mukaan) ei saa enempää kuin hän. Tässä menettelyssä leikkausten enimmäismäärä on viisi. Osallistujille annettavat kakun osat eivät aina ole jatkuvia (ne voivat koostua useista erillisistä paloista).
Toimenpide
Oletetaan, että meillä on kolme osallistujaa, , ja . Jos menettely tarjoaa kriteerin päätökselle, se on pelaajalle optimaalinen.
- jakaa kakun kolmeen osaan, joita hän pitää samana.
- Olkoon se suurin pala, mukaan .
- leikkaa palan pois , jotta se on yhtä suuri kuin toiseksi suurin pala. Nyt jaettu ja leikattu pala . Laitetaan sivuun toistaiseksi.
- Jos hän katsoo, että kaksi suurinta nappulaa ovat yhtä suuret (joten leikkausta ei tarvita), kukin pelaaja valitsee nappulansa seuraavassa järjestyksessä: , ja lopuksi .
- valitsee palan kahden jäljellä olevan palan joukosta.
- valitsee kappaleen rajoituksella, jos se ei valitse , täytyy ottaa se.
- ottaa jäljellä olevan palan ja jättää kappaleen edelleen jaettavaksi.
Vielä on jaettava kappale . Kappaleen valitsi joko pelaaja tai pelaaja . Nimetään pelaaja, joka otti tämän nappulan , ja anna nimi toiselle pelaajalle .
- tai (mutta välttämättä ) leikkaa kolmeen yhtä suureen (hänen mielestään) osaan.
- ottaa pois osan palasta , anna sen olla .
- (olkoon ) ottaa pois osan kappaleesta , nimittäin .
- (meidän tapauksessamme se on ) ottaa loput palasta , merkitään se nimellä .
Analyysi
Katsotaanpa, miksi tällainen jako ei sisällä kateutta. On osoitettava, että kunkin pelaajan tuloksena oleva osuus ei ole pienempi (hänen mielestään) kuin muiden pelaajien osat. Yleisyyttä menettämättä voimme kirjoittaa (katso yllä oleva kuva):
- saanut .
- saanut .
- saanut .
Seuraavassa analyysissä "suurin" tarkoittaa "suurin pelaajan tuloksen mukaan":
- saanut . Hänelle ja _ Ja hän uskoo valinneensa teoksen suurimmaksi osaksi . Joten kukaan muu pelaaja ei saanut enempää kuin hän: .
- saanut . Hänelle ja koska hän valitsi . Hän myös leikkasi osan 3 osaan, joten hänelle kaikki nämä palat ovat samoja.
- saanut . Hän ei voi verrata kappaleita samalla tavalla kuin tai , koska kappaleet ja on jo valittu ja hän sai viimeisen kappaleen , mutta:
- uskoo, ettei hän saanut enempää kuin sai. Toisin sanoen ,. Muista, että hän valitsi osansa aiemmin , joten hänen näkökulmastaan.
- luulee, ettei hän tajunnut sitä enää. Toisin sanoen ,. Muista, että hän valitsi osansa aiemmin , joten hänen näkökulmastaan.
- ajattelee niin eikä saanut enempää kuin hän, koska pala on yhtä suuri ja myös yhtä suuri , koska hän leikkasi kakun heti alussa. Sitten ,. Vaikka jompikumpi otti koko palan eikä saanut sitä, hän ei loppujen lopuksi kadehdi ).
Yleistykset
Huomaa, että jos haluamme vain reilun leikkauksen ilman kateutta kakunpalalle (eli sallimme kakunpalan hylkäämisen), meidän on vain käytettävä toimenpiteen ensimmäistä osaa, eli:
- jakaa kakun kolmeen identtiseen (hänen mielestään) osaan;
- leikkaa enintään yhden kappaleen saadakseen vähintään kaksi (hänen mielestään) identtistä kappaletta.
- ottaa palan, sitten , sitten .
Tämä menettely voidaan yleistää 4 osallistujalle seuraavasti [3] :
- jakaa kakun 5 osaan, jotka ovat hänen mielestään identtisiä;
- leikkaa enintään 2 kappaletta, joten nyt on hänen mielestään 3 kolme identtistä kappaletta;
- leikkaa enintään 1 kappaleen, joten nyt on 2 kappaletta, jotka ovat samat hänelle;
- ottaa palan, sitten , sitten , sitten .
Induktiolla menettely voidaan yleistää n osallistujalle, joista ensimmäinen jakaa kakun osiin, joista jokainen on yhtä suuri kuin kakku, ja muut osallistujat noudattavat leikkausmenettelyä. Tuloksena oleva leikkaus on vailla kateutta, ja jokainen kumppani saa vähintään koko kakun arvoa vastaavan arvon.
Voimme soveltaa samaa menettelyä jäännöksiin. Kun teemme tämän äärettömän monta kertaa, saamme osion ilman kateutta koko kakulle [4] . Tämän äärettömän menettelyn parannus johtaa rajalliseen kateudettomaan osiointimenettelyyn , Brahms-Taylor-menettelyyn .
Muistiinpanot
- ↑ Robertson, Webb, 1998 , s. 13-14.
- ↑ Brams ja Taylor 1996 , s. 116-120.
- ↑ Brams ja Taylor 1996 , s. 131-137.
- ↑ Brams ja Taylor 1996 , s. 137.
Kirjallisuus
- Jack Robertson, William Webb. Kakunleikkausalgoritmit: Ole reilu, jos pystyt... - CRC Press, 1998. - ISBN 978-1-56881-076-8 .
- Steven J. Brams, Alan D. Taylor. Reilu osasto: Kakun leikkaamisesta riitojen ratkaisuun . - Cambridge University Press, 1996. - ISBN 0521556449 .