|
|
Clara está carregando músicas em seu prendedor de cabelo, que funciona
também como um tocador MP3. O tocador é capaz de armazenar exatamente
três músicas longas -- entre C, D e F -- ou exatamente seis músicas
curtas -- entre H, J, K, L, P e Q. Cada música curta ocupa exatamente a
metade da memória de uma música longa. Clara usa toda a memória disponível.
As seguintes restriçÂões devem ser obedecidas:
- Se J é carregada, então L é carregada.
- Se C é carregada, então K não é carregada.
- Se L é carregada, então C é carregada.
- Se ou P ou D são carregadas, então ambas são carregadas.
- Se C é carregada, então Q é carregada.
- Se F é carregada, então D não é carregada.
|