Um fazendeiro dispõe de um curral 4x4 e precisa organizá-lo com quatro espécies: cavalo, pato, porco e vaca — quatro unidades de cada. Três posições já foram preenchidas: um porco, um pato e duas vacas. A tarefa é completar os espaços vazios de forma que, em cada fileira horizontal, apareça exatamente um exemplar de cada espécie.
O problema segue a lógica de um quadrado latino: quatro símbolos (as espécies) distribuídos em uma grade 4x4 sem repetição por linha. A restrição das peças já colocadas reduz o espaço de soluções e torna o raciocínio por eliminação e dedução particularmente eficiente. Não há menção a restrições por coluna no enunciado, portanto o foco é garantir a diversidade por fileira.
Estratégia prática: identifique fileiras com mais posições preenchidas e use exclusões para determinar as espécies possíveis nos quadrantes vazios; avance preenchendo células que ficam com única opção e projete consequências nas linhas restantes. Alternar entre análise local (uma fileira) e global (disponibilidade total de cada espécie) costuma levar à solução sem tentativa exaustiva.
O desafio faz parte do acervo da OBMEP, organizado pelo IMPA, que reúne atividades projetadas para estimular raciocínio lógico e criatividade. Quem quiser testar a solução pode tentar montar o quadrado seguindo as pistas dadas; para professores, é um exercício didático simples de aplicar em sala.