Kärnidé
I datatillräcklighet ska vi kunna peka ut en enda vinnare. Om det finns minst två möjliga placeringar som uppfyller villkoren men ger olika vinnare, så räcker informationen inte.
Lösning
Vi tänker oss fyra platser runt bordet i medurs ordning (alla sitter vända in mot bordet). ”Till höger om” betyder då platsen direkt medurs.
(1) ensam:
Karin (K) sitter mittemot Elisabeth (E). Då är de två andra platserna också mittemot varandra.
”Muhammed (M) sitter mellan K och E” betyder att M sitter på en av de två återstående platserna (båda ligger mellan K och E när man går runt bordet).
Dessutom: ”K sitter till höger om vinnaren” innebär att vinnaren sitter direkt till vänster om K.
Men den platsen kan vara antingen M eller Arne (A), beroende på vilken av de två mellan-platserna M råkar ha. Alltså går det inte att bestämma vinnaren. (1) räcker inte.
(2) ensam:
A sitter mittemot M, och vinnaren sitter till höger om E.
Men vi vet inte var E sitter och inte heller om personen till höger om E råkar vara A, M eller K. Det finns flera möjliga placeringar som uppfyller (2) men ger olika vinnare. Alltså räcker (2) inte.
(1) + (2) tillsammans:
Från (1) får vi K mittemot E, och att M och A tar de två återstående platserna.
Då är A automatiskt mittemot M, så första meningen i (2) ger ingen extra begränsning.
Kvar är: vinnaren sitter till höger om E. Men platsen till höger om E är en av de två återstående platserna, och den kan vara antingen A eller M:
- •
Exempel 1: Medurs runt bordet: K, M, E, A. Då är personen till höger om E = A, så A vinner.
- •
Exempel 2: Medurs runt bordet: K, A, E, M. Då är personen till höger om E = M, så M vinner.
Båda uppfyller (1) och (2), men vinnaren blir olika. Alltså räcker inte ens (1) och (2) tillsammans.
Svar
E
