Изменения

Перейти к: навигация, поиск

J2ni2Cmax

10 байт добавлено, 18:53, 22 июня 2013
Доказательство корректности алгоритма
|proof=
Рассмотрим 2 варианта:
<ul>
<li><tex>T_{1}(I_{12}) + T_{1}(I_{1}) >= T_{2}(I_{21}) </tex>.
Тогда <tex>M_{1}</tex> работает без прерываний, т.к к тому моменту завершения выполнения <tex>I_{1}</tex> на <tex> M_{1} </tex> все работы <tex>I_{21}</tex> выполнены на <tex>M_{2}</tex>.
</ul>
<li>
394
правки

Навигация