4551
правка
Ресинхронизация схемы: инкрементный подход: различия между версиями
Материал из WEGA
Ресинхронизация схемы: инкрементный подход (посмотреть исходный код)
Версия от 15:02, 3 июля 2017
, 3 июля 2017→Основные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 94: | Строка 94: | ||
<math>r, t, \phi := 0, d, \infty \;</math> | <math>r, t, \phi := 0, d, \infty \;</math> | ||
do {P1} | do {P1} | ||
<math>\exist (u, v) \in E: r[u] - r[v] = w[u, v]</math> | <math>\exist \; (u, v) \in E: r[u] - r[v] = w[u, v]</math> | ||
<math>\and \; t[v] - t[u] < d[v] \to t[v] := t[u] + d[v]</math> | <math>\and \; t[v] - t[u] < d[v] \to t[v] := t[u] + d[v]</math> | ||
<math>\neg P3 \and \exist v \in V: t[v] \ge \phi</math> | <math>\neg P3 \and \exist \; v \in V: t[v] \ge \phi</math> | ||
<math>\to r[v], t[v] := r[v] + 1, d[v]</math> | <math>\to r[v], t[v] := r[v] + 1, d[v]</math> | ||
<math>P0 \and P2 \and \phi > max(t) \to \phi := max(t)</math> | <math>P0 \and P2 \and \phi > max(t) \to \phi := max(t)</math> | ||
<math>\exist (u, v) \in E: r[u] - r[v] > w[u, v]</math> | <math>\exist \; (u, v) \in E: r[u] - r[v] > w[u, v]</math> | ||
<math>\to r[v] := r[u] - w[u, v]</math> | <math>\to r[v] := r[u] - w[u, v]</math> | ||
<math>od \{ P0 \and P1 \and P2 \and P3 \} \;</math>. | <math>od \{ P0 \and P1 \and P2 \and P3 \} \;</math>. | ||
