Pr-1st-1.1-m10-Slajd19: 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 10: | Linia 10: | ||
Z kolei z przedstawionych lematów otrzymujemy, że: | Z kolei z przedstawionych lematów otrzymujemy, że: | ||
* <math> SC^{**} \ge SC(\tau _b^2)</math> (lemat 10.1.4) | * <math>SC^{**} \ge SC(\tau _b^2)</math> (lemat 10.1.4) | ||
* <math>SC(\tau _b^2) \ge SC(\tau _e^1)</math> (lemat 10.1.2) | * <math>SC(\tau _b^2) \ge SC(\tau _e^1)</math> (lemat 10.1.2) |
Aktualna wersja na dzień 22:13, 11 wrz 2023
Dowód twierdzenia 10.1
Dowód
Z założenia wynika, że:
(1)
Z kolei z przedstawionych lematów otrzymujemy, że:
- (lemat 10.1.4)
- (lemat 10.1.2)
- (lemat 10.1.5)
- (lemat 10.1.3)