Pr-1st-1.1-m04-Slajd21

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zegary wektorowe (2)

Zegary wektorowe (2)

Niech , oraz będą wartościami zegarów wektorowych zdarzeń i . Wówczas:

Można wykazać, że nie istnieją zegary wektorowe o liczbie elementów mniejszej od n, dla których prawdziwe byłoby powyższe twierdzenie.


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