4551
правка
Ресинхронизация схемы: инкрементный подход: различия между версиями
Материал из WEGA
Ресинхронизация схемы: инкрементный подход (посмотреть исходный код)
Версия от 19:41, 27 мая 2017
, 27 мая 2017→Ограничения и цель
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 36: | Строка 36: | ||
Ресинхронизация с достижением минимальной длительности представляет собой решение задачи | Ресинхронизация с достижением минимальной длительности представляет собой решение задачи <math>\langle r, t \rangle \;</math>, удовлетворяющее следующему условию оптимальности: | ||
<math>P3 \triangleq \forall r', t': P(r', t') \implies max(t) \le max(t') \;</math>, где <math>max(t) \triangleq max_{v \in V} t[v] \;</math>. | |||
Далее будет обсуждаться только допустимая ресинхронизация ( | |||
Далее будет обсуждаться только допустимая ресинхронизация (r', t'), поэтому для упрощения изложения условие на диапазон P(r', t') часто будет опущено; значение будет очевидно из контекста. | |||
== Основные результаты == | == Основные результаты == | ||
