Vecerajúci filozofi
daný je súvislý, konecný, neorientovaný graf G bez sluciek
jeho vrcholy reprezentujú procesy (filozofi)
(u, v) je oznacenie hrany medzi u a v
boolovská matica incidencie E
E[u, v] = E[v, u], ?E[u, u]
pre ?u máme premennú u.dine s hodnotami t, h, e (u.dine má práve jednu z týchto hodnôt)
u.t ? (u.dine = t) thinking
u.h ? (u.dine = h) hungry
u.e ? (u.dine = e) eating
mozná zmena stavu premennej u.dine:
realizovanie zmien stavu premennej u.dine:
- program user: t ? h, e ? t
- program os: h ? e
Úloha: navrhnút os tak, aby os ? user zabezpecil, ze
- susedia nejedia naraz
- hladný eventually bude jest (ak ziadny proces neje vecne, tak na kazdého hladného urcite raz dôjde)