A caminho dos planetas

Lithos

2006-05-07T05:17:00.000+01:00

Inamovível, esta foto é a definição do gato :D

Diário da República

2005-06-09T19:07:00.000+01:00

Revisão do código de estrada:
Veja o novo Manual De Condução que já serve de guia nas principais escolas. Elaborado por condutores experientes é a derradeira lição de como devem ser interpretadas as regras de trânsito.

Pois claro

2005-05-30T19:21:00.000+01:00

E que tal se saltássemos todos ao mesmo tempo para mudar a trajectória da Terra?
World Jump Day
Devo advertir que isto é fisicamente impossível por um variado número de razões. Mas até dava um momento divertido. :)

A origem do forward

2005-05-25T16:34:00.000+01:00

Alguma vez se perguntaram como são geradas essas correntes de forwards que circulam pelos mails?
Pois tem aqui a resposta:

"Isto é sério por favor ajudem!

é uma pobre menina que mora . Ela tem , uma doença , que ainda não tem cura. Eu sou do dela. Infelizmente nós não temos dinheiro, pois; . Mas um amigo nosso, , disse-nos que a empresa que ele trabalha, a estaria a doar à menina por cada que reencaminhasse este e-mail."

Para mais informações consulte-se:
http://www2.uol.com.br/JC/_2001/2006/if2006_1.htm
http://www.antispam.org.br/correntes/hoax.html
http://ervilhas.weblog.com.pt/arquivo/forward.html
http://barnabe.weblog.com.pt/arquivo/050282.html
http://hoaxbusters.ciac.org/

hum

2005-05-23T09:27:00.000+01:00

Estão duas vacas a pastar quando uma se vira para a outra e pergunta:
- Não te preocupa esse problema das vacas loucas?
- A mim não, eu sou um coelho...

2005-05-14T02:53:00.000+01:00

Problema: Como fazer passar esta linha azul contínua apenas uma vez por cada uma das semi-rectas que compõe o desenho? Não se pode passar nos vértices.

Como se pode ver esqueci-me de um segmento no meio que está assinalado a vermelho.
Pois é, alguém no bar disse que isto tinha solução e convidou muito boa gente a tentar resolver isto com uma esferográfica em guardanapos. Depois de minutos frustrados e muitos guardanapos amassados o causador recusa-se a revelar a solução. É então altura de por o computador a bulir.
Pensei em usar C++ ou java para testar todas as possibilidades mas alguém muito bem sugeriu prolog. Primeiro paço, modelar o problema separando e nomeando as áreas e os segmentos de recta.

Agora é preciso ligar todas as passagens uma única vez e o resultado assemelha-se a um conjunto de peças de dominó que deveriam encaixar todas de alguma forma. (Na minha primeira tentativa com a linha azul sobraria uma peça de dominó no meio.)

Resolver o problema equivale a encaixar todas estas peças de dominó numa linha.
Agora é só deixar o prolog testar todas as possibilidades e descobrir findadas apenas 2 horas de processamento que isto não tem solução. Ena... alguém andou a gozar comigo.

BC usada:
muro(p1, a0, a1).
muro(p2, a0, a1).
muro(p3, a1, a2).
muro(p4, a0, a2).
muro(p5, a0, a2).
muro(p6, a1, a3).
muro(p7, a1, a4).
muro(p8, a2, a4).
muro(p9, a2, a5).
muro(p10, a0, a3).
muro(p11, a0, a3).
muro(p12, a3, a4).
muro(p13, a4, a0).
muro(p14, a4, a5).
muro(p15, a0, a5).
muro(p16, a0, a5).

muro(p1, a1, a0).
muro(p2, a1, a0).
muro(p3, a2, a1).
muro(p4, a2, a0).
muro(p5, a2, a0).
muro(p6, a3, a1).
muro(p7, a4, a1).
muro(p8, a4, a2).
muro(p9, a5, a2).
muro(p10, a3, a0).
muro(p11, a3, a0).
muro(p12, a4, a3).
muro(p13, a0, a4).
muro(p14, a5, a4).
muro(p15, a5, a0).
muro(p16, a5, a0).

%Os elementos desta lista sao todos diferentes?
todosdif([_|[]]).
todosdif([H|T]) :- not(member(H,T)), todosdif(T).

Query usada:
?- muro(A,X1,X2),muro(B,X2,X3),B\==A,muro(C,X3,X4),C\==A,C\==B,muro(D,X4,X5),D\==A,D\==B,D\==C,muro(E,X5,X6),not(member(E,[A,B,C,D])),muro(F,X6,X7),not(member(F,[A,B,C,D,E])),muro(G,X7,X8),not(member(G,[A,B,C,D,E,F])),muro(H,X8,X9),not(member(H,[A,B,C,D,E,F,G])),muro(I,X9,X10),not(member(I,[A,B,C,D,E,F,G,H])),muro(J,X10,X11),not(member(J,[A,B,C,D,E,F,G,H,I])),muro(K,X11,X12),not(member(K,[A,B,C,D,E,F,G,H,I,J])),muro(L,X12,X13),not(member(L,[A,B,C,D,E,F,G,H,I,J,K])),muro(M,X13,X14),not(member(M,[A,B,C,D,E,F,G,H,I,J,K,L])),muro(N,X14,X15),not(member(N,[A,B,C,D,E,F,G,H,I,J,K,L,M])),muro(O,X15,X16),not(member(O,[A,B,C,D,E,F,G,H,I,J,K,L,M,N])),muro(P,X16,X17),todosdif([A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P]).

Resposta:
No

O Primeiro

2005-04-11T21:38:00.000+01:00

Apenas um teste.