4817
правок
Ценообразование процессорного времени: различия между версиями
Перейти к навигации
Перейти к поиску
Ценообразование процессорного времени (посмотреть исходный код)
Версия от 16:06, 14 августа 2025
, 14 август→Основные результаты
Irina (обсуждение | вклад) м (→Нотация) |
Irina (обсуждение | вклад) |
||
| Строка 61: | Строка 61: | ||
Рассмотрим следующую задачу линейного программирования: | Рассмотрим следующую задачу линейного программирования: | ||
<math>max \sum_{i = 1}^n \sum_{j = 1}^{k_i} q_{ij} x_{ij}</math> | |||
Обозначим задачу как LPR (релаксацию линейного программирования), а ее целочисленное ограничение – как IP (целочисленное программирование. Следующая теорема показывает, что из ненулевого разрыва между задачей целочисленного программирования IP и ее линейной релаксацией следует несуществование вальрасовского равновесия. | такую, что <math>\sum_{i, j | \omega_k \in S_{ij}} x_{ij} \le \delta_k, \; \forall \omega_k \in \Omega</math> | ||
<math>\sum_{j = 1}^{r_j} x_{ij} \le 1, \; \forall 1 \le i \le n </math> | |||
<math>0 \le x_{ij} \le 1, \; \forall i, j</math>. | |||
Обозначим задачу как '''LPR''' (релаксацию линейного программирования), а ее целочисленное ограничение – как '''IP''' (целочисленное программирование). Следующая теорема показывает, что из ненулевого разрыва между задачей целочисленного программирования IP и ее линейной релаксацией следует несуществование вальрасовского равновесия. | |||