Re: [obm-l] Dragoes e passarinhos (Logica)

[Sergio Lima Netto <sergioln@xxxxxxxxxxx>]

Vou tentar esta...

Depois de 1 segundo:
 	A conclui que nao pode concluir nada com as informacoes de t=0

Depois de 2 segundos:
 	B conclui que nao pode concluir nada com as informacoes de t=0

Depois de 3 segundos:
 	A conclui que B concluiu que nao pode concluir nada em t=2. Mas A
 		nao tira conclusao alguma disto pois ele (A) sabe que
 		B estah vendo que C e D tem olhos verdes
 		(vou denotar enta conclusao de A por: A <- B [t=2])
 	B <- A [t=1]
 	C conclui que nao pode concluir nada com as informacoes de t=0

Depois de 4 segundos:
 	A <- C [t=3]
 	A <- B <- A [t=3], e novamente A nao pode tirar nenhuma conclusao,
 		pois ele sabe que B ve C e D com olhos verdes
         C <- A [t=1]
 	D conclui que nao pode concluir nada com as informacoes de t=0

Depois de 5 segundos:
 	A <- C <- A [t=4]
 	A <- D [t=4]
 	B <- C [t=3]
 	B <- A <- B [t=3]
 	C <- B [t=2]
 	D <- A [t=1]

Depois de 6 segundos:
 	A <- B <- C [t=5]
 	B <- C <- A [t=4]
 	C <- B <- A [t=3]
 	DENTRE OUTRAS COISAS

Depois de 7 segundos:
 	D <- B <- A [t=3]
 	DENTRE OUTRAS COISAS

A situacao X <- Y <- Z significa que
"X conluiu que Y concluiu que Z concluiu que nao pode concluir nada"
Porem, se Z nao concluiu nada eh porque ve (pelo menos) dois olhos verdes;
Y percebe que Z ve (pelo menos) dois olhos verdes e conclui que hah
(pelo menos) dois olhos verdes entre {W,X,Y} (onde W eh o outro dragao).
Porem, como Y sabe que X e W tem olhos verdes, Y nao conclui nada
a respeito da cor dos proprios olhos
(e assim continua sendo um dragao). Mas quando X faz todo este
raciocinio, entao X conclui que tem olho verde (pois se Y nao pode
concluir nada eh porque ele (Y) ve dois olhos verdes em X e W)
e imediamente X se torna um passaro.
Neste caso, a situacao X <- Y <- Z significa que X vira um passaro!

Assim, pelas minhas "contas" os 4 dragoes viram passaro.
Abraco
sergio




On Wed, 15 Aug 2007, Rogerio Ponce wrote:

> Ola' Ronaldo,
> Sera' que Amadeus pode concluir que tem olhos verdes?
> Ao irem para o "ensolarado jardim", cada dragao certamente via a cor dos outros olhos.
> Franz havia dito que cada dragao estaria vendo pelo menos 2 com olhos verdes, e Amadeus estava vendo nao apenas 2, mas 3 dragoes com olhos verdes!
> Sera' que alguem vira passarinho nesssa historia ???
>
> Grande abraco,
> Rogerio Ponce
>
>
> ralonso <ralonso@trieste.fapesp.br> escreveu:   Rogerio Ponce wrote: Ola' pessoal, Amadeus, Bertrand, Claude e Debret eram dragoes de olhos verdes (sim, existem dragoes de olhos verdes!) que viviam nos poroes de um velho castelo.
> Eles sabiam que a maioria dos dragoes tinha olhos marrons, mas estes quatro, por viverem nas sombras, nao faziam ideia da cor dos proprios olhos.
> Jamais conversavam entre si, mas cada um se julgava o mais "burrinho" dentre os quatro, embora tivesse a certeza de ser considerado o mais inteligente.
> O fato e' que Amadeus era capaz de tirar todas as conclusoes possiveis exatamente 1 segundo apos receber a ultima informacao, enquanto Bertrand gastava 2 segundos, Claude levava 3 segundos e Debret precisava de 4 segundos.
> Um dia, Franz - a coruja - chamou-os ao ensolarado jardim externo, e anunciou o ultimo feitico do festival de magicos:
> "Todo dragao que deduzir que tem olhos verdes imediatamente se transformara' em passarinho."
> E acrescentou em seguida:
> "O surpreendente e' que, neste instante, cada um de voces esta' vendo pelo menos 2 dragoes com olhos verdes."
>
>      Se nenhum dragão deduzir que tem olhos verdes então ninguém todos continuarão
> no mesmo estado de "ser dragão".  Para que haja mudança de estado, isto é, para que um dragão
> vire passarinho, é necessário que algum dos dragões deduza que tem olhos verdes. Essa dedução
> ocorre por causa da própria frase da coruja, que implica que alguém tem olho verde:
>  "...cada um de voces ..."    Veja, se não fosse esse "..cada um de vocês .. " qualquer dragão, poderia incorrer
> em erro, concluindo que tem olhos verdes.  Essa possibilidade não existe, logo a conclusão
> de que alguém tem olho verde é certa.  Mas essa dedução não  pode contrariar o
> princípio do dragão mais rápido.
>   Logo o primeiro que acertadamente conclui que
> tem olhos verdes é o Amadeus e  se torna passarinho após 1 segundo (assumindo que
> o racicínio de todos é instantâneo)..
>    Ok.  Restaram 3 dragões e cada um deles conforme Fraz,
> a coruja dissera, enxerga dois dragões de olhos verdes.  A coruja vê 3 dragões, e portanto ela
> também vê pelo menos dois dragões.  Isso está consistente com a profecia da coruja.
>   Agora certamente, como os dragões estão se "enxergando" existem mais três dragões que
> tem olho verde na história (porque?).
>      Todo mundo vai concluir no final das contas que tem olho verde, porque
> cada um dos três dragões restantes enxerga dois com olhos verdes.
>     Dois segundos depois Bertrand conclui, da mesma forma que Amadeus,
> que ele possui olhos verdes, pois se isso não acontecesse, contrariaria a hipótese de
> Bertrand ser o mais rápido dentre os restantes e também contrariaria a hipótese de haverem
> mais três dragões com olhos esverdeados.  Bertrand vira passarinho.
>    Se passaram 3 segundos até então.  Temos dois dragões e dois passarinhos. Um segundo
> depois (4 segundos)  Claude conclui que possui olhos verdes e mais um segundo depois (5 segundos)
> Debret conclui que tem olho verde e vira passarinho.
>
>
>
> Falou isso, e espirrou por 10 segundos. Quando finalmente reabriu os olhos, o que Franz encontrou?
>   Conclusão depois de 10 segundos todos os Dragões viraram passarinho e Franz vê
> quatro passarinhos.
> Está correto?
> []s
> Ronaldo
>
>
> []'s
> Rogerio Ponce
>
>
>       Flickr agora em português. Você clica, todo mundo vê. Saiba mais.