Il mitico problema dei prigionieri in cerchio
Inviato: 11 apr 2006, 20:06
Un interessante (penso abbastanza famoso) problema tratto da www.rudimathematici.com ; non conosco la soluzione, e ci ho passato davvero tante ore sopra.
Abbiamo $ n $ prigionieri, ai quali vengono distribuiti i numeri da $ 1 $ a $ n $; il guardiano fa questa dichiarazione: "Partiamo dal numero $ 2 $, che mi sta simpatico, e lo liberiamo, però resta nel cerchio. Siccome lui ha il numero $ 2 $, contiamo $ 2 $ persone in senso orario e liberiamo il prigioniero sul quale arriviamo, lasciandolo però nel cerchio; questa persona ha un numero, quindi contiamo per il suo numero(sempre in senso orario), e avanti così... Attenzione, però, se contando, ci fermiamo su una persona già liberata, fermiamo il gioco e tutti i non liberati se ne tornano in cella."
Per piccoli $ n $ si riesce facilmente a trovare una disposizione in modo che tutti i prigionieri vengano liberati (è facile dimostrare anche che per $ n $ dispari questo è impossibile). Il problema interessante è la generalizzazione a un $ 2n $ qualunque: esiste una "struttura" valida per qualsiasi $ n $ pari (partendo sempre dal prigioniero 2)?
Abbiamo $ n $ prigionieri, ai quali vengono distribuiti i numeri da $ 1 $ a $ n $; il guardiano fa questa dichiarazione: "Partiamo dal numero $ 2 $, che mi sta simpatico, e lo liberiamo, però resta nel cerchio. Siccome lui ha il numero $ 2 $, contiamo $ 2 $ persone in senso orario e liberiamo il prigioniero sul quale arriviamo, lasciandolo però nel cerchio; questa persona ha un numero, quindi contiamo per il suo numero(sempre in senso orario), e avanti così... Attenzione, però, se contando, ci fermiamo su una persona già liberata, fermiamo il gioco e tutti i non liberati se ne tornano in cella."
Per piccoli $ n $ si riesce facilmente a trovare una disposizione in modo che tutti i prigionieri vengano liberati (è facile dimostrare anche che per $ n $ dispari questo è impossibile). Il problema interessante è la generalizzazione a un $ 2n $ qualunque: esiste una "struttura" valida per qualsiasi $ n $ pari (partendo sempre dal prigioniero 2)?