Príklad: Urcenie termínu schôdzky
Úloha: urcit najblizší vyhovujúci cas (pre 3 osoby), kedy sa môzu stretnút
F má volný len kazdý pondelok, tak vzdy povie dátum najblizšieho pondelka; f, g, h sú funkcie zodpovedajúce osobám F, G, H („co povedia“)
com(t) ? { t = f(t) = g(t) = h(t) } (boolovská funkcia)
Špecifikácia: dané sú monotónne neklesajúce císelné fukcie f, g, h také, ze pre kazdé t platí:
- f(t) ? t ? g(t) ? t ? h(t) ? t
- f(f(t)) = f(t) ? g(g(t)) = g(t) ? h(h(t)) = h(t)
- existuje z také, ze com(z) platí
Treba nájst program, ktorý má nasledujúci stabilný predikát:
Rôzne stratégie:
- F, G, H sedia za okrúhlym stolom a posielajú si lístocky s najblizším vyhovujúcim casom; ked lístok obehne dookola bez zmeny, tak je to dohodnuté
- ústredný koordinátor: kazdý mu pošle svoj návrh, ten naspät pošle všetkým maximum; opakuje sa to, az koordinátor nedostane naspät to isté, co poslal
- aukcia (kto dá viac), prekrikovanie