Ценообразование процессорного времени: различия между версиями

Перейти к навигации Перейти к поиску
м
Строка 82: Строка 82:
   
   


'''Теорема 3. В одномашинной задаче планирования заданий MWCT вальрасовское равновесие всегда существует, если m > EM + A, где m – общее количество процессорного времени, EM = Pin=1 si и A = maxk fskg. Равновесие может быть вычислено за полиномиальное время.'''
'''Теорема 3. В одномашинной задаче планирования заданий MWCT вальрасовское равновесие всегда существует, если <math>m \ge EM + \Delta</math>, где <math>m</math> общий объем процессорного времени, <math>EM = \sum_{i=1}^n s_i</math> и <math>\Delta = max_k \{ s_k \}</math>. Равновесие может быть вычислено за полиномиальное время.'''




Строка 88: Строка 88:




Теорема 4. Если существует вальрасовское равновесие в задаче планирования заданий, то оно может быть приведено к равновесию с последовательным распределением и невозрастающим вектором равновесных цен.
''Теорема 4. Если существует вальрасовское равновесие в задаче планирования заданий, то оно может быть приведено к равновесию с последовательным распределением и невозрастающим вектором равновесных цен.''


== Применение ==
== Применение ==
4817

правок

Навигация