Ресинхронизация схемы: различия между версиями

Ресинхронизация схемы (посмотреть исходный код)

4 байта добавлено , 14 мая 2017

м

4551

правка

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