Изменения
→Доказательство
|id=lemma6.12
|statement=Пусть <tex>Y = (A(t), B(t))</tex> — расписание, где <tex>B(t) = \emptyset</tex> <tex>(A(t) = \emptyset)</tex>. Тогда для каждого <tex>s > t</tex>, где <tex>B(s) = O_{ij}</tex> <tex>(A(s) = O_{ij})</tex> выполняется <tex>A(s -1) = O_{i, j - 1}</tex> <tex>(B(s - 1) = O_{i, j -1}))</tex>
|proof={{в разработке}}
}}
{{Теорема
|id=theorem6.13.
|statement=Пусть <tex>O_{ij}</tex> — операция, которую планируют строчкой (*) или (**) и <tex>t = LAST(i) > T1(T2)</tex>. Тогда <tex>A(t) = \emptyset</tex> <tex>(B(t) = \emptyset)</tex>
|proof={{в разработке}}
}}
{{Лемма
|id=lemma6.14
|statement=Если существует расписание без опозданий, то данный алгоритм построит расписание без опозданий.
|proof={{в разработке}}
}}
{{Теорема
|id=theorem6.15.
|statement=Расписание, построенное данным алгоритмом, оптимально.
|proof={{в разработке}}
}}
