Kärnidé
Översätt villkoren till placeringar i en stapel (överst till nederst). ”Ingen kloss mellan” betyder att röd och vit måste ligga intill varandra.
Lösning
Vi har fyra klossar: röd (R), blå (B), vit (V) och grå (G). R och V är alltid angränsande.
(1) Varken R eller V ligger överst. B ligger längre ner än G.
- •
Om varken R eller V är överst, så är översta klossen antingen B eller G.
- •
Samtidigt säger (1) att B ligger under G, alltså måste G ligga ovanför B.
- •
Om B hade legat överst hade ingen kloss kunnat ligga ovanför B, men G måste ligga ovanför B. Motsägelse.
- •
Alltså kan B inte ligga överst, och då måste G ligga överst.
=> (1) räcker ensam för att avgöra att översta klossen är grå.
(2) Varken R eller V ligger längst ner. B angränsar till R.
- •
Detta räcker inte för en entydig topp, eftersom flera staplingar är möjliga.
- •
Exempel 1 (överst→nederst): V, R, B, G. Här är V överst och alla villkor uppfylls (R intill V, B intill R, varken R eller V längst ner).
- •
Exempel 2 (överst→nederst): B, R, V, G. Här är B överst och alla villkor uppfylls.
Eftersom olika färger kan hamna överst räcker (2) inte ensam.
(1)+(2) tillsammans:
Svar
A
