Pr-1st-1.1-m07-Slajd12

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Maksymalne odcięcie spójne

Maksymalne odcięcie spójne


Mając dane pewne odcięcie , zawsze można wyznaczyć zbiór spójnych odcięć , takich, że:

Trywialnym przykładem jest odcięcie obejmujące zbiór zdarzeń początkowych.

Maksymalnym odcięciem spójnym określa się najświeższe (najnowsze ) odcięcie należące do . Formalnie zdefiniować je można jako takie odcięcie spójne , że .




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