Конец алгоритма. 2. Утверждение об уточнении оценки времени выполнения алгоритма на наборе процессоров { } i=1, ,m

2. Утверждение об уточнении оценки времени выполнения алгоритма на наборе процессоров { } i=1,…,m.

Утверждение 1. Пусть каждый оператор данного алгоритма может быть выполнен процессором одного и только одного типа из множества типов i=1,…,k. Тогда для того, чтобы Т было наименьшим временем реализации данного алгоритма, состоящего из множества { } процессоров, либо для того, чтобы набор { } был достаточен для выполнения данного алгоритма за время Т необходимо чтобы для любого отрезка времени выполнялось соотношение:

Утверждение 2. Об уточнении оценки времени выполнения алгоритма на наборе процессоров { }.

Пусть Алгоритм задан информационным графом со скалярными весами вершин, и каждый оператор может быть выполнен процессором одного и только одного типа из множества типов i=1,…,k. Пусть ВС состоит из процессоров указанного типа. Пусть далее оценка реализации данного алгоритма на ВС, для которого на некотором отрезке

.

Тогда время выполнения данного алгоритма .