Pr-1st-1.1-m04-Slajd21

Zegary wektorowe (2)

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

$(E\mapsto E')\Leftrightarrow ({\mathcal {T^{V}}}(E)<{\mathcal {T^{V}}}(E'))$

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