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

Перейти к навигации Перейти к поиску
м
Строка 11: Строка 11:
Чтобы гарантировать, что новые регистры – это перемещенные старые, метка <math>r: V \to \mathbb{Z} \;</math> используется для обозначения того, сколько регистров перемещены из исходящих ребер каждой вершины на входящие. Используя эту нотацию, можно вычислить новое количество регистров ребра (u, v) по формуле  
Чтобы гарантировать, что новые регистры – это перемещенные старые, метка <math>r: V \to \mathbb{Z} \;</math> используется для обозначения того, сколько регистров перемещены из исходящих ребер каждой вершины на входящие. Используя эту нотацию, можно вычислить новое количество регистров ребра (u, v) по формуле  


w'[u, v] = w[u, v] + r[v] - r[u].
<math>w'[u, v] = w[u, v] + r[v] - r[u] \;</math>.




4551

правка

Навигация