Pr-1st-1.1-m04-Slajd21

Zegary wektorowe (2)

Niech ${{𝒯}}^V(E)$, oraz ${{𝒯}}^V(E^{\prime })$ będą wartościami zegarów wektorowych zdarzeń $E$ i $E^{\prime }$. Wówczas:

$(E\mapsto E^{\prime })\iff ({{𝒯}}^{{𝒱}}(E)<{{𝒯}}^{{𝒱}}(E^{\prime }))$

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 >>