Pr-1st-1.1-m07-Slajd14: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 5: | Linia 5: | ||
Zgodnie z definicją, każdemu odcięciu <math>\Psi</math> opisanemu przez linię odcięcia | Zgodnie z definicją, każdemu odcięciu <math>\Psi</math> opisanemu przez linię odcięcia | ||
<math>\sigma _1^{k1}, \sigma _2^{k2}, \ldots, \sigma _n^{kn} </math> | <math>\sigma _1^{k1}, \sigma _2^{k2}, \ldots, \sigma _n^{kn}</math> | ||
odpowiada konfiguracja <math>\mathit{ \Gamma} = \left \langle S_1^{k1}, S_2^{k2}, \cdots, S_n^{kn} \right \rangle </math>. | odpowiada konfiguracja <math>\mathit{ \Gamma} = \left \langle S_1^{k1}, S_2^{k2}, \cdots, S_n^{kn} \right \rangle</math>. | ||
'''Twierdzenie 7.5''' | '''Twierdzenie 7.5''' | ||
| Linia 12: | Linia 12: | ||
Niech <math>\mathit{\Gamma}</math> będzie konfiguracją a <math>\mathit{\Psi}</math> odpowiadającym jej odcięciem. | Niech <math>\mathit{\Gamma}</math> będzie konfiguracją a <math>\mathit{\Psi}</math> odpowiadającym jej odcięciem. | ||
Konfiguracja <math>\mathit{\Gamma}</math> jest konfiguracją spójną, wtedy i tylko wtedy, gdy | Konfiguracja <math>\mathit{\Gamma}</math> jest konfiguracją spójną, wtedy i tylko wtedy, gdy | ||
<math>\mathit \Psi </math> jest odcięciem spójnym. | <math>\mathit \Psi</math> jest odcięciem spójnym. | ||
Aktualna wersja na dzień 10:45, 5 wrz 2023
Odcięcie spójne a konfiguracja spójna
Zgodnie z definicją, każdemu odcięciu opisanemu przez linię odcięcia
odpowiada konfiguracja .
Twierdzenie 7.5
Niech będzie konfiguracją a odpowiadającym jej odcięciem. Konfiguracja jest konfiguracją spójną, wtedy i tylko wtedy, gdy jest odcięciem spójnym.
