100 prisioneiros e uma lâmpada http://homepages.cwi.nl/~jve/papers/08/lightbulb/2KRAlightbulb.pdf
Vale muito a pena ler só a primeira página, com a descrição do problema, e tentar resolver antes de ler a formalização --- que de todo modo parece que não está em "final version". JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
