PRÁTICA COM QUESTÕES OFICIAIS
Questão 18 (Nível 2) da OBMEP 2018
Ao redor de uma mesa sentaram-se os 17 participantes de um debate. Alguns deles sempre dizem a verdade, e os demais sempre mentem. Todos iniciaram o debate dizendo: “Meus dois vizinhos mentem”. No máximo, quantos mentirosos havia entre os participantes?
- A10
- B11
- C12
- D15
- E17
Reportar erro na questão
Resolução comentada
Resolução comentada
Cada pessoa diz "meus dois vizinhos mentem". Vamos ver o que isso implica em cada caso.
Verdadeiro (V): a frase é verdadeira, então os dois vizinhos são mentirosos (M).
Mentiroso (M): a frase é falsa, então pelo menos um vizinho diz a verdade.
Consequências na mesa circular:
- Cada V tem dois M ao lado, então dois V nunca ficam juntos.
- Cada M tem pelo menos um V ao lado, então três M seguidos são impossíveis (o M do meio teria dois vizinhos M).
- Logo, os grupos de M entre dois V consecutivos têm tamanho 1 ou 2.
Se há v verdadeiros, há v grupos de mentirosos, cada um com no máximo 2. Então M \le 2v.
Como v + M = 17, temos M \le 2(17 - M), ou seja, 3M \le 34 e M \le 11{,}33. Portanto M \le 11.
Verificação com M = 11 e v = 6: são 6 grupos de mentirosos, somando 11, então 5 grupos de 2 e 1 grupo de 1. Isso dá 5\cdot 2 + 1 = 11. A disposição V M M V M M V M M V M M V M M V M funciona: cada V está entre dois M, e cada M tem um V ao lado.
O máximo é 11.
Alternativa B.
Por que as outras alternativas estão erradas
- A10 é possível, mas não é o máximo; existe configuração com 11 mentirosos.
- C12 mentirosos exigiria v=5 e M\le10, o que é contraditório.
- D15 mentirosos deixaria apenas 2 verdadeiros, e então haveria grupos de mentirosos com 3 ou mais seguidos.
- ESe todos mentissem, nenhum mentiroso teria vizinho verdadeiro, e a frase "meus vizinhos mentem" seria verdadeira, o que é contraditório.
Assunto: Lógica e raciocínio lógico.
Reportar erro na resolução
Ver como caiu na prova
Fonte: OBMEP 2018 · Nível 2. Prova oficial ↗