# travessia do rio
(1, 1, 1, 1)🐺 Lobo, 🐐 Cabra, 🥬 Alface e o 🚣 fazendeiro com barco. Todos começam à esquerda.
Levar todos à margem direita com o fazendeiro no barco. Estado objetivo: (1, 1, 1, 1) — lobo, cabra, alface e barco valendo 1.
(lobo, cabra, alface, barco) — cada um em margem 0 (esquerda) ou 1 (direita). Início: (0, 0, 0, 0).
Sem o fazendeiro numa margem, valem as regras:
Exemplo: se o 🚣 atravessa para a direita, quem ficou à esquerda não pode ser só 🐺+🐐 nem só 🐐+🥬. O mesmo vale para a margem direita quando o barco está à esquerda. Violar isso encerra a partida.
O 🚣 sempre viaja no barco. Você pode atravessar sozinho ou levando um personagem que esteja na mesma margem.
Movimentos que violam essas regras nem geram sucessores — o algoritmo nunca expande estados inválidos.
Puzzle clássico de travessia com restrições: estados inválidos são podados na geração de sucessores. Ideal para falar de estado válido vs alcançável — disciplina Introdução à Inteligência Artificial (Ciência da Computação / UFMA).