Pr-1st-1.1-m07-Slajd15

Odcięcie niespójne – przykład

Odcięcia przedstawione na slajdzie nie są odcięciami spójnymi, co łatwo wykazać. Odcięcie ${\mathrm{\Psi }}_3$ zawiera $E_1^1$, które jest zdarzeniem odbioru wiadomości $M_1$ wysłanej w wyniku zdarzenia $E_2^1$. Tak więc zachodzi przyczynowa zależność między tymi dwoma zdarzeniami ($E_2^1\mapsto E_1^1$) podczas gdy $E_2^1$ nie należy do odcięcia ${\mathrm{\Psi }}_3$. Zgodnie z twierdzeniem 7.5 odcięcie to nie reprezentuje więc żadnej spójnej konfiguracji.

Analogiczna sytuacja zachodzi w przypadku odcięcia ${\mathrm{\Psi }}_4$. W tym przypadku, zawiera ono zdarzenie $E_3^2$ odbioru wiadomości $M_4$ wysłanej w wyniku zdarzenia $E_2^3$ . Zachodzi więc, podobnie jak poprzednio, przyczynowa zależność między $E_2^3$ oraz $E_3^2$ ( $E_2^3\mapsto E_3^2$), podczas gdy zdarzenie nie należy do odcięcia ${\mathrm{\Psi }}_4$.

Aby te odcięcia stały się odcięciami spójnymi, należy albo je poszerzyć o dodatkowo zdarzenia, albo pewne zdarzenia z nich usunąć. W przypadku odcięcia ${\mathrm{\Psi }}_3$ należałoby albo usunąć zdarzenie $E_1^1$, albo dodać zdarzenie $E_2^1$. W przypadku odcięcia ${\mathrm{\Psi }}_4$, aby stało się ono odcięciem spójnym, należałoby poszerzyć je o zdarzenie $E_2^3$, albo usunąć z niego zdarzenie $E_3^2$.

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