XXVI Olimpíada Brasileira de Informática
Show de aviões
Exatamente quatro aviões, numerados de 1 a 4, foram disponibilizados pela Esquadrilha da Fumaça para serem usados no show de aviões que está acontecendo agora para comemorar o aniversário da cidade. Os pilotos Ana, Beto e Cida estão a bordo de aviões que estão sendo usados no show e são os únicos pilotos qualificados para o show. Os co-pilotos Dino, Eva e Flávio estão a bordo de aviões que estão sendo usados no show e são os únicos co-pilotos qualificados para o show. Nenhuma outra pessoa, além desses pilotos e co-pilotos, está a bordo dos aviões que estão sendo usados no show. Nem todos os aviões disponibilizados estão necessariamente sendo usados no show.
As seguintes restrições são obedecidas:
- Nenhum avião pode voar sem um piloto a bordo (mas um avião pode voar sem um co-piloto).
- Ana voa apenas no avião 1 ou no avião 4.
- Dino voa apenas no avião 2 ou no avião 3.