allora vediamo un po'...
Prendiamo uno degli abitanti. Questo automa fa le seguenti cose:
Il primo giorno conta tutti gli abitanti che hanno gli occhi gialli, questo valore lo chiameremo c
c = abitanti visti con occhi gialli
Il secondo giorno conta gli abitanti totali incluso se stesso, che chiameremo t
t = totale degli abitanti
Il terzo giorno conta gli abitanti con gli occhi normali, quindi sicuramente non licantropi, che chiameremo x
x = abitanti non licantropi visti tali
Alla sera del terzo giorno prende carta e penna e calcola:
Se definisco me stesso H e il numero certo di licantropi Y e il numero di abitanti sicuramente normali R, posso dire che:
Il totale degli abitanti è dato dal numero di abitanti che ho visto con gli occhi gialli, più gli abitanti che ho visto
normali più me stesso, quindi:
t = c + x + H
Allo stesso modo posso dire che il totale è dato dalla somma de gli abitanti normali certi e i licantropi certi, quindi:
t = Y + R
PS: le incognite sono espresse con le lettere maiuscole. I valori raccolti da quelle minuscole.
Possiamo dire che: la somma tra il numero certo di non licantropi (incognita) e il numero di licantropi osservati da me,
sottratta al totale effettivo di persone, divisa dalla somma delle persone non licantropi osservate e le persone sicuramente
licantropi (incognita) sottratta al totale delle persone deve dare un valore che sta tra 0 e infinito più precisamente può
dare solamente 0 (0/1) o un numero tendente a infinito (1/0) :
H = (t - R - c)/(t - x - Y)
se H è uguale a 0 non sono un licantropo se invece tende ad infinito sono un licantropo
dato t = Y + R possiamo dire che R = t - Y
Quindi:
H = (t - t + Y - c)/(t - x - Y) = (Y - c)/(t - x - Y)
se Y = c significa che io non sono un licantropo:
H = (t - c - c)/(t - x - c) = (t - 2c)/(t - x - c)
se H è 0 allora
t - x - c = t - 2c
quindi se
x = c
io non sono un licantropo.
In parole:
Se il numero di licantropi che io vedo è uguale al numero di non licantropi che osservo io non sono un licantropo e non mi devo sparare.
Il sistema però è sbagliato per il semplice motivo che H non può che essere 1, ovvero il numero dell'osservatore, deve e non può che essere 1, se è 0 l'osservatore non esiste. Ho scambiato un valore con una proprietà. Uff, ve la lascio cmq qui, in fondo la ho già postata.
-------
mmm qualcosa stona, ma ve lo posto cmq altrimenti non riesco più a lavorare. PS: anche fosse giusto non mi sparerei mai usando questa verifica.
Cmq io non la ho controllata troppo a fondo, aspetto che lo faccia Goldleef
Gandar
[Modificato da gandar 25/01/2005 14.16]
[Modificato da gandar 25/01/2005 14.25]