4551
правка
Ресинхронизация схемы: различия между версиями
Материал из WEGA
м
→Ограничения
Irina (обсуждение | вклад) мНет описания правки |
Irina (обсуждение | вклад) м (→Ограничения) |
||
| Строка 32: | Строка 32: | ||
Таким образом, для ресинхронизации схемы с длительностью такта <math>\varphi \;</math> должно удовлетворяться следующее ограничение: | Таким образом, для ресинхронизации схемы с длительностью такта <math>\varphi \;</math> должно удовлетворяться следующее ограничение: | ||
<math>P1(r) \triangleq \forall u, v \in V: D[u, v] > \phi \ | <math>P1(r) \triangleq \forall u, v \in V: D[u, v] > \phi \implies W[u, v] + r[v] - r[u] \ge 1 \;</math>. | ||
== Основные результаты == | == Основные результаты == | ||
