Pr-1st-1.1-m10-Slajd19: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Szopen (dyskusja | edycje)
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 twierdzenia 10.1


Dowód Z założenia wynika, że:

(1) RC*=SC**

Z kolei z przedstawionych lematów otrzymujemy, że:

  • SC**SC(τb2) (lemat 10.1.4)
  • SC(τb2)SC(τe1) (lemat 10.1.2)
  • SC(τe1)RC(τe1) (lemat 10.1.5)
  • RC(τe1)RC* (lemat 10.1.3)


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