Utente:BastianoStrano/Sandbox

Il "gioco del coniglio" è un gioco ad informazione completa introdotto da Harold Hotelling ad inizio anni sessanta del XX secolo come problema di teoria dei giochi. Come per il Paradosso dei due gelatai, anche qui Hotelling propose un gioco competitivo le cui soluzioni dipendono dalle scelte successive dei giocatori. Esso venne concepito per rappresentare relazioni tra diverse gerarchie sociali, pensando all'ordine di chiamata nel gioco come alla ricchezza posseduta dall'individuo.

Il gioco

Possiamo pensare gli $n$ giocatori come disposti in cerchio e immaginiamo sia presente anche un moderatore al centro tra essi. Il moderatore, per preparare il gioco, interpellerà per primo il giocatore numero $1$ e poi procederà ad interpellare gli altri giocatori in senso antiorario. Egli chiederà ordinatamente ai giocatori di scegliere tra due specie, lupi o conigli, ed essi risponderanno in modo che tutti gli altri giocatori sentano.

I giocatori possono trovarsi in due stati: i conigli posso essere vivi o morti, mentre i lupi posso essere sazi o affamati. Alla fine del gioco verranno ritenuti vincitori tutti i conigli vivi e tutti i lupi sazi, ma ad inizio giro (ossia una volta completata la preparazione del gioco) tutti i conigli sono vivi e tutti i lupi sono affamati.

Stabilita la specie di appartenenza di ciascun giocatore, si parte di nuovo dal giocatore numero $1$. Se egli è un lupo dovrà scegliere, se possibile, uno tra i conigli presenti nel cerchio, mangiarlo e saziarsi, mentre il coniglio in questione verrà considerato morto. Se invece egli è un coniglio dovrà semplicemente passare il turno oppure, ma solo se è l'unico coniglio presente nel cerchio, fuggire via e salvarsi.

Si continua allo stesso modo: ogni giocatore, se è un lupo, dovrà scegliere tra uno qualunque dei conigli vivi presenti nel cerchio e mangiarlo, se è un coniglio dovrà o passare il turno oppure, se e solo se è l'ultimo coniglio presente nel cerchio nell'ordine di chiamata, potrà fuggire via insieme a tutti gli altri conigli rimasti vivi.

Nella versione originaria, la possibilità dei conigli di fuggire in branco allorché l'ultimo vivo di essi venisse chiamato era omessa, preferendo lasciarla come possibile ipotesi aggiuntiva. In tale versione perciò i conigli potranno solo passare il turno e aspettare la fine del giro.

Soluzioni base stabili

È stato osservato sin da subito come il problema così esposto sia sotto specificato, ma Hotelling ne lasciò invariata l'esposizione poiché quando il gioco veniva giocato nella realtà si osservava, senza bisogno di ipotesi aggiuntive, la presenza di particolari conformazioni in linea con le soluzioni stabili predette dalla teoria.

A livello matematico, ad ogni modo, occorre fare delle assunzioni. La prima è l'assunzione standard in base alla quale tutti i giocatori ragionano perfettamente e giocheranno con l'unico interesse di vincere il gioco.

Quello che rimane non specificato è il comportamento che un giocatore debba assumere nel caso in cui la sua sorte sia già segnata, ossia che, indipendentemente dalla sua scelta, egli risulterà vincitore o sconfitto. Una delle possibilità è affrontare, in prima analisi, lo studio delle cosiddette soluzioni base stabili, ossia i profili di strategie adottate dai giocatori in presenza di particolari vincoli. Conviene visualizzare tali vincoli come assiomi. L'analisi delle soluzioni base stabili è tanto più utile quanto fedelmente gli assiomi introdotti rispecchiano comportamenti "reali" dei giocatori (ossia comportamenti che i giocatori, pur senza vincoli, perseguirebbero).

Sono due gli assiomi immediati che possono essere introdotti per specificare completamente il comportamento dei giocatori:

1. assioma $(M)$: se ciascuna scelta ci porta alla vittoria, saremo magnanimi (ossia faremo la scelta conveniente per l'avversario o gli avversari);
2. assioma $(DV)$: se ciascuna scelta ci porta alla sconfitta, saremo vendicativi (ossia faremo la scelta che penalizza anche l'avversario o gli avversari).

Tali assiomi possono anche essere assunti insieme, ma si vedrà che, se si assume $(DV)$,allora assumere $(M)$ non cambia la natura del gioco. Perciò è prassi scegliere $(DV)$ come unico assioma aggiuntivo. Questo non vuol dire, come si potrebbe pensare, che assumere singolarmente $(M)$ o $(DV)$ porti alle stesse soluzioni.

Poniamoci allora in questa situazione, in cui accettiamo l'assioma standard e l'assioma $(DV)$. Osserviamo preliminarmente che, come conseguenza della struttura sopracitata, ciascun giocatore non rinuncerà mai alla benché minima possibilità di vincere il gioco (un giocatore non sceglierà mai, ad esempio, di vendicarsi di chi lo ha posto nella condizione di morte quasi certa, preferendo invece puntare sulla, piccola quanto si vuole, possibilità di salvarsi). Inoltre, è ovvio, preferirà sempre una condizione rispetto ad un altra se nella prima di queste egli ha maggiori possibilità di vittoria.

Osserviamo anche che accettare l'assioma $(DV)$ vuol dire accettare conseguenze molto profonde sui ragionamenti dei giocatori. Possiamo osservare questo nel seguente esempio. Qui ci riferiremo alla versione originale, in cui non è prevista la regola che permette ai conigli di fuggire in branco.

Supponiamo che $n=4$, allora il giocatore $1$ non dirà lupo; infatti, se lo facesse, lascerebbe il giocatore $2$ nella condizione di dire coniglio, poiché altrimenti i giocatori $3$ e $4$, già sconfitti, per ipotesi $(DV)$ direbbero lupo. A quel punto tutti i giocatori risulterebbero lupi e perciò tutti perdenti, per questo motivo allora il giocatore 2 deve provare a dire coniglio. Tuttavia a questo seguirebbe, per le ragioni già esposte, ossia per l'ipotesi $(DV)$, che il giocatore $3$ dirà coniglio e il giocatore $4$ dirà lupo. Tuttavia questa configurazione vede il giocatore $2$ come perdente; in particolare egli è perdente a causa della scelta del giocatore $1$ di dire lupo. Questo però contraddice l'assioma $(DV)$, poiché il giocatore $2$ sa razionalmente che il giocatore $1$ lo ha condannato alla sconfitta. Perciò in realtà, se il giocatore $1$ dice lupo, il giocatore 2 dirà lupo, da cui seguirà che anche gli altri due giocatori saranno lupi e tutti saranno perdenti. Ne segue che il giocatore $1$ preferirà dire coniglio.

Questo esempio ci permette anche di vedere perché sia stata introdotta la regola che permette la fuga di tutti i conigli. Infatti, continuando il precedente esempio, si avrebbe giocatore $1=coniglio$, giocatore $2=coniglio$, giocatore $3=lupo$, giocatore $4=lupo$ (si noti in particolare come nella versione originale non sia equivalente assumere o non assumere l'ipotesi $(M)$). Ne segue che il giocatore $1$ perde anche in questo caso e il problema non ammette soluzione. Con l'introduzione della regola sulla fuga dei conigli, non è invece vero che, se giocatore $1=lupo$, giocatore $2=coniglio$, giocatore $3=coniglio$, non segue giocatore $4=lupo$.

Torniamo quindi alle regole esposte inizialmente e continuiamo ad assumere $(DV)$. In generale dovremo distinguere due casi, a seconda della parità di $n$.

Se $n=2k+1$ è dispari avremo (senza, in realtà, bisogno di invocare l'assioma $(DV)$) la seguente configurazione:

$1=lupo,...,k=lupo,k+1=coniglio,...,2k+1=coniglio$

Se invece $n=2k$ è pari, avremo:

$1=lupo,...,k-1=lupo,k=coniglio,...,2k=coniglio$

Vale la pena osservare che il motivo per il quale l'ipotesi $(M)$ non viene di norma considerata é un fatto di modellizzazione. Infatti anche in questo caso accettare l'assioma comporta conseguenze profonde nel modo di ragionare dei giocatori, parallele a quelle che comporta l'assioma $(DV)$. Tuttavia appare più ragionevole, o comunque più rappresentativo della realtà, assumere quelle che sono le conseguenze di $(DV)$, ossia regolare le proprie scelte per paura della vendetta altrui. Molto meno rappresentative della realtà sono le conseguenze di $(M)$, che tendono ad identificare i concetti di magnanimità e di fiducia nella magnanimità altrui, concetti evidentemente molto diversi.

Parallelo con altri giochi

A differenza di altri giochi presentati nell'ambito della teoria dei giochi, il gioco del coniglio prevede, nell'approccio alle sue soluzioni stabili, conviene da subito assumere che tutti i giocatori ragionino perfettamente e che, in particolare, il fatto assiomatico che fa prendere a tutti i giocatori la stessa decisione in situazioni tra loro analoghe è noto a ciascuno dei giocatori. Vale a dire che ciascuno dei concorrenti può prevedere per intero i ragionamenti di tutti gli altri. Questo dato, che in molti casi produce soluzioni che banalizzano il gioco, come avviene del dilemma dei due prigionieri e che spesso non è aderente alla realtà, nel gioco del coniglio dà luogo a soluzioni che rispecchiano l'andamento empirico del gioco quando somministrato a giocatori reali.

Non vi è un approccio teorico valido nel caso l'assioma standard non venga accettato. Nel suo corrispettivo empirico, tale scelta replicherebbe la situazione in cui i giocatori giocano "male".

Curiosità

1. Talvolta, in italiano, viene chiamato gioco del coniglio anche il chicken game, gioco esemplificato dal finale del film Gioventù bruciata. Tale confusione è dovuta al fatto che i due giochi vennero introdotti nello stesso periodo e il chicken game, mediaticamente più famoso, prese il nome di entrambi.

1. Per studiare il problema venne introdotto il concetto di strategia locale. Essa dovrebbe tradurre il fatto che i giocatori non riescono ad indagare fino in fondo le conseguenze delle loro scelte.

Voci correlate

• Teoria dei giochi
• Gioco a informazione perfetta
• Paradosso dei due gelatai

Questa pagina sarà elencata nella seguente categoria una volta spostata nel namespace principale.

Categoria:

• Teoria dei giochi