Pr-1st-1.1-m10-Slajd15: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| (Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
| Linia 4: | Linia 4: | ||
Ponieważ liczniki są monotoniczne i dla każdego <math> i \in \{1, 2, ... , n \}: \tau _i \le \tau _e^1 </math>, więc tym samym <math>rc_i(\tau _e^1) \le rc_i(\tau _i)</math> dla każdego <math>i</math>, a w konsekwencji: | Ponieważ liczniki są monotoniczne i dla każdego <math>i \in \{1, 2, ... , n \}: \tau _i \le \tau _e^1</math>, więc tym samym <math>rc_i(\tau _e^1) \le rc_i(\tau _i)</math> dla każdego <math>i</math>, a w konsekwencji: | ||
:<math>RC^{*} \le RC(\tau _e^1 ) </math> | :<math>RC^{*} \le RC(\tau _e^1 )</math> | ||
[[Pr-1st-1.1-m10-Slajd14 | << Poprzedni slajd]] | [[Pr-1st-1.1-m10-toc|Spis treści ]] | [[Pr-1st-1.1-m10-Slajd16 | Następny slajd >>]] | [[Pr-1st-1.1-m10-Slajd14 | << Poprzedni slajd]] | [[Pr-1st-1.1-m10-toc|Spis treści ]] | [[Pr-1st-1.1-m10-Slajd16 | Następny slajd >>]] | ||
Aktualna wersja na dzień 22:15, 11 wrz 2023
Dowód lematu 10.1.3 (2)
Ponieważ liczniki są monotoniczne i dla każdego , więc tym samym dla każdego , a w konsekwencji:
