Documente Academic
Documente Profesional
Documente Cultură
Proces_1
Proces_n
22/12/2009
Universitatea Politehnica Bucuresti - Facultatea de Automatica si Calculatoare
Exemple
Comandant
atac atac
atac
atac atac
Locotenent 1 Locotenent 2 Locotenent 3
atac ***
***
atac
Exemple (2)
Scanariul 2. Comandantul este neloial şi transmite mesaje
diferite locotenenţilor.
Comandant
atac ***
retrag
atac retrag
Locotenent 1 Locotenent 2 Locotenent 3
retrag ***
***
atac
Există soluţie pentru un trădător între 4 generali.
22/12/2009 Algoritmi Paraleli si Distribuiti – Curs 12 8
Universitatea Politehnica Bucuresti - Facultatea de Automatica si Calculatoare
Exemple (3)
Scenariul 3. Grupul conţine trei generali.
a) locotenentul 2 este neloial
b) comandantul este neloial
+-----------+ +-----------+
+-<-¦ comandant ¦->+ +-<-¦ comandant ¦>-+
¦ +-----------+ ¦ ¦ +-----------+ ¦
¦atac ¦atac ¦atac retrag ¦
¦ atac ¦ ¦ atac ¦
+-----------+------>+-----------+ +-----------+------->+-----------+
¦locotenent1¦ retrag¦locotenent2¦ ¦locotenent1¦ retrag ¦locotenent2¦
+-----------+<------+-----------+ +-----------+<-------+-----------+
(a) (b)
C
v v
v
L1 L2 L3
v v v v x y
L2 L3 L3 L1 L1 L2
L2 L3 L3 L1 L1 L2
Notaţie
Algoritmul OM(n-k,m-k) va trimite o valoare prefixată de o secvenţă de k
numere ale locotenenţilor.
Corectitudine
LEMA 1. Pentru orice m şi k, OM(n,m) satisface IC2 dacă numărul n de
generali este mai mare de 2k+m şi sunt cel mult k trădători.
TEOREMA 1. Pentru orice m, algoritmul OM(n,m) satisface condiţiile IC1 şi
IC2 dacă numărul de generali n este mai mare de 3m şi sunt cel mult m
trădători.
22/12/2009 Algoritmi Paraleli si Distribuiti – Curs 12 14
Universitatea Politehnica Bucuresti - Facultatea de Automatica si Calculatoare
Notaţii:
– x:i este valoarea x semnată de generalul i
– x:j:i este valoarea x semnată de j, apoi valoarea x:j semnată de i
– generalul 0 este comandantul
– locotenentul i păstreaza mulţimea Vi a ordinelor bine semnate primite
(dacă comandantul este loial, Vi ar trebui să conţină doar un element)
COMMANDER
“attack”:0 “retreat”:0
“attack”:0:1
LIEUTENANT LIEUTENANT
1 2
“retreat”:0:2
Universitatea Politehnica Bucuresti - Facultatea de Automatica si Calculatoare
Crăciun Fericit !