Pr-1st-1.1-m10-Slajd69

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dowód warunku C5 (2)

Dowód warunku C5 (2)

Wyznaczając zbiór procesów, od których wiadomości są aktualnie transmitowane do , algorytm uwzględnia w istocie następujące zależności:

, gdyż
.

Zauważmy, że liczniki są monotoniczne:


<< Poprzedni slajd | Spis treści | Następny slajd >>