Ha 28 Casais Em Uma Festa

Resolvendo o problema clássico dos 28 casais na festa

Você já deve ter visto esse enigma circulando em grupos de matemática recreativa ou em competições de lógica. A versão padrão diz assim: há 28 casais em uma festa. Cada pessoa aperta a mão de todos os outros, exceto do próprio parceiro(a). Ninguém aperta a mão de si mesmo. Você pergunta a cada pessoa quantas mãos ela apertou e recebe todas as respostas possíveis de 0 a 54 — sem repetições. A pergunta é: quantas mãos o parceiro(a) da pessoa que respondeu 54 apertou? Antes de entrar na solução, preciso falar de uma armadilha que vejo gente cometer o tempo todo. As pessoas tentam montar uma tabela gigante com 56 linhas e tentar emparelhar manualmente. Isso não funciona porque o problema não pede que você liste cada aperto de mão individual. Ele pede uma propriedade estrutural do grafo. Tratar isso como um exercício de contagem brute-force é perder completamente a ideia.

O que ha 28 casais em uma festa realmente exige

O problema é uma aplicação direta do teorema do handshake combinado com uma propriedade de pareamento em grafos complementares. A chave é reconhecer que as respostas de 0 a 54 envolvem exatamente 55 pessoas — pois você não pergunta a si mesmo. Na configuração padrão, o host ou a pessoa que faz as perguntas fica de fora do conjunto de respondentes. Então temos 55 respondedores e uma pessoa não-respondente (você). Aqui vai a propriedade central que a maioria dos tutoriais esquece de enfatizar: se uma pessoa disse que apertou N mãos, o parceiro dela obrigatoriamente apertou (54 - N) mãos. Isso se prova por indução simples sobre o número de casais. No caso de 28 casais, o par da pessoa que disse 54 apertou 54 - 54 = 0 mãos. O par da pessoa que disse 53 apertou 1 mão. E assim por diante.

A lógica passo a passo

Vamos estruturar isso de forma prática. Tenho 28 casais, então 56 pessoas no total. As possibilidades de aperto de mão vão de 0 (nenhum) a 54 (todas exceto o parceiro e eu mesmo). Como tenho 55 respondedores e 55 valores possíveis (0 até 54), cada valor aparece exatamente uma vez. Considere a pessoa que disse 54. Ela apertou mãos com todo mundo na festa, exceto o próprio parceiro. Isso significa que todas as outras 54 pessoas (além dela e do parceiro) receberam pelo menos um aperto de mão dela. A única pessoa que poderia ter zero apertos é o parceiro dela — porque ela não apertou a mão do parceiro, e todo mundo já apertou com ela. Portanto, o parceiro da pessoa que disse 54 é obrigatoriamente a pessoa que disse 0. Agora remova esse casal do problema. Sobram 27 casais e 54 pessoas. Dentro desse subconjunto, as contagens originais de 1 a 53 ainda valem como graus relativos, porque cada pessoa perdeu exatamente um aperto de mão (o que teve com o casal removido). Repita o mesmo raciocínio: o que tinha 53 no original agora tem 53 - 1 = 52 no subproblema, e o que tinha 1 agora tem 0. O par com 52 no subproblema está conectado a todos exceto seu parceiro, então seu parceiro deve ter 0 no subproblema. Em termos originais: o par da pessoa que disse 53 é a pessoa que disse 1.

Continue removendo casais sucessivamente. Cada par removido corresponde a uma soma de 54 nas respostas originais. No final, restará apenas você (não respondedor) e seu parceiro. Como a soma de cada par é sempre 54, e você é a única pessoa sem resposta cadastrada, seu número de apertos mais o número do seu parceiro também deve somar 54.

Um detalhe prático que ninguém menciona

Na minha experiência revisando soluções escritas por estudantes, o erro mais frequente não é na lógica em si, mas na interpretação de quem é o "perguntador". O problema original funciona perfeitamente quando o perguntador é casado e faz parte do grupo social, mas não responde à própria pergunta. Se o perguntador fosse uma trigésima pessoa solteira, ou se houvesse um número ímpar de casais somado a alguém a mais, a simetria que permite o pareamento perfeito quebra e o problema não tem solução única. Uma vez tentei aplicar esse raciocínio a uma variação onde um dos casais era formado por duas pessoas que se conheciam de outra forma — por exemplo, irmãos gêmeos que também estavam na festa. A premissa de que "ninguém aperta a mão do parceiro" precisava ser reavaliada, e o argumento de pareamento por soma constante caía. Nesse caso específico, a única saída foi abandonar o método simétrico e montar um grafo explícito com representação matricial, usando Python para verificar as restrições. O script levou uns 40 minutos para rodar e confirmar que não havia solução única naquele cenário alterado.

Limitações e quando o método falha

O argumento de pareamento por soma funciona exclusivamente quando o número de respondedores cobre exatamente o intervalo completo de 0 a 2n-2 sem lacunas. Se faltar qualquer valor nesse intervalo — digamos que ninguém disse 27 — a simetria se quebra e você não consegue parear automaticamente. Nesse caso, o problema se torna um exercício de restrição lógica muito mais aberto, e a resposta pode não ser única. Também vale notar que esse problema assume que todos os 28 casais estão presentes e que a regra de não apertar a mão do próprio parceiro é estritamente obedecida. Na prática, variações menores na descrição — como "cada pessoa aperta no máximo uma mão com o parceiro" ao invés de "nunca aperta" — alteram completamente o espaço de soluções. Sempre verifique a redação exata antes de aplicar a fórmula de pareamento. A resposta para a pergunta clássica, mantendo todas as premissas originais, é que o parceiro da pessoa que disse 54 apertou 0 mãos. O raciocínio de eliminação sucessiva de casais é o que justifica isso de forma rigorosa.