4551
правка
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 92: | Строка 92: | ||
В работе [7] были предложены некоторые техники для ускорения | В работе [7] были предложены некоторые техники для ускорения выполнения процедуры. С их помощью все 4-разрезы для каждой из эталонных схем ISCAS89 могут быть найдены не более чем за пять итераций. | ||
Строка 124: | Строка 124: | ||
|| <math>\{ a^1, z^1, b^1 \}: 0</math> | || <math>\{ a^1, z^1, b^1 \}: 0</math> | ||
|| <math>\{ z^0 \}: 0</math> | || <math>\{ z^0 \}: 0</math> | ||
|} | |} | ||
Строка 130: | Строка 129: | ||
Процедура разметки стремится найти метку для каждой вершины, как схематически показано на рис. 5, где <math>w_v</math> обозначает вес кратчайших | Процедура разметки стремится найти метку для каждой вершины, как схематически показано на рис. 5, где <math>w_v</math> обозначает вес кратчайших путей из первичных входов к вершине v. | ||
правка