Pr-1st-1.1-m07-Slajd07: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 6: | Linia 6: | ||
'''Twierdzenie 7.2''' | '''Twierdzenie 7.2''' | ||
Jeżeli konfiguracja <math>\mathit{\Gamma} = \left \langle S_1^{k1}, S_2^{k2} , \ldots , S_n^{kn} \right \rangle </math> | Jeżeli konfiguracja <math>\mathit{\Gamma} = \left \langle S_1^{k1}, S_2^{k2} , \ldots , S_n^{kn} \right \rangle</math> | ||
jest konfiguracją spójną, w której lokalne stany składowe | jest konfiguracją spójną, w której lokalne stany składowe | ||
<math>S_u^{ku}</math> są osiągalne w pewnej realizacji przetwarzania rozproszonego | <math>S_u^{ku}</math> są osiągalne w pewnej realizacji przetwarzania rozproszonego | ||
Aktualna wersja na dzień 10:50, 5 wrz 2023
Konfiguracja spójna (3)
Twierdzenie 7.2
Jeżeli konfiguracja jest konfiguracją spójną, w której lokalne stany składowe są osiągalne w pewnej realizacji przetwarzania rozproszonego , to istnieje stan osiągalny , taki że dla każdego, .
Dowód wynika wprost z definicji konfiguracji spójnej i stanu osiągalnego.
