Scritto da: gandar 01/02/2005 12.29
Ma ammettiamo che siano 3, allora: il primo vede altri due licantropi e sta tranquillo, il secondo e il terzo anche. Il giorno seguente non si suicidano i due licantropi, quindi significa che ce ne è un terzo?! Ma no, perché ne basta uno per escludere se stessi, quindi se il terzo vede che i due non si sono suicidati significa (per lui) solamente che si sono autoesclusi e gli altri penserebbero lo stesso e non si suiciderebbe nessuno.
In pratica se non sono stanco (ho dormito poco, perdonatemi) con questo sistema della incomunicabilità e i 3 gg a disposizione non possono che essere due i licantropi perché se fossero 3 o più non arriverebbe mai nessuno alla decisione di suicidarsi...
Gandar[Modificato da gandar 01/02/2005 12.31]
Se alla fine del secondo giorno non si suicidano significano che a loro volta ne vedono 2, uno è quello che vedi tu, l'altro devi essere tu.
E' un algoritmo ricorsivo.
tu vedi x licantropi lasci passare i giorni, ma quando i giorni diventano x+1 evidentemente il +1 sei tu.
ne vedi 0, alla fine del giorno 1 muori tu
ne vedi 1, gli dai tempo per uccidersi, se non lo fa sai di essere licantropo anche tu, ma intanto i giorni sono 2 (1+1)
ne vedi 2, gli dai tempo di uccidersi (come detto al punto sopra servono 2 giorni), se non si sono uccisi al giorno 3 (2+1) sai cosa devi fare.
E via all'infinito,un banale algoritmo di programmazione.