Ni fick ju en förenkling på det konstruktiva drinkarproblemet. Ett par av er tyckte det var för enkelt (jag håller nog inte med)! Men för sådana personer så finns nu det ursprungliga problemet, som är klart svårare, som en labb

~malo/LabbSvårKonstruktivDrinkare

Detta problem säger

Om det inte finns en person på pubben P sådan att om han dricker så dricker alla, så är pubben tom.

Till den här behövs inte att domänen är icke-tom. Naturligtvis skall den göras utan RAA!

Ni kan välja denna labb eller den ursprungliga (~malo/LabbKonstruktivDrinkare), båda ger var för sig en halv poäng på VG, dock fås inte dessa halvor adderas (jag kan ju inte dela ut hur mycket bonus som helst, det slutar ju med att en del av er inte behöver göra tentan!).

--Jan

Upp: Matematisk logik