4551
правка
Технологическое отображение последовательной схемы: различия между версиями
Материал из WEGA
Технологическое отображение последовательной схемы (посмотреть исходный код)
Версия от 14:23, 1 апреля 2019
, 1 апреля 2019→Основные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 71: | Строка 71: | ||
|| <math>\{ i^0, b^0, z^0 \}</math> | || <math>\{ i^0, b^0, z^0 \}</math> | ||
<math>\{ a^0, b^0, z^0 \}</math> | <math>\{ a^0, b^0, z^0 \}</math> | ||
|| <math>\{ x^0, y^1 \}</math> | || | ||
<math>\{ i^1, z^1, b^1 \}</math> | <math>\{ x^0, y^1 \}</math> | ||
<math>\{ a^1, z^1, b^1 \}</math> | <math>\{ i^1, z^1, b^1 \}</math> | ||
<math>\{ i^1, z^1, y^1 \}</math> | <math>\{ a^1, z^1, b^1 \}</math> | ||
<math>\{ a^1, z^1, y^1 \}</math> | <math>\{ i^1, z^1, y^1 \}</math> | ||
<math>\{ a^1, z^1, y^1 \}</math> | |||
|| | || | ||
<math>\{ z^0 \}</math> | <math>\{ z^0 \}</math> | ||
| Строка 88: | Строка 89: | ||
Лемма 1. После не более чем Kn итераций процедура перечисления разрезов найдет K-разрезы для всех вершин в N. | ''Лемма 1. После не более чем Kn итераций процедура перечисления разрезов найдет K-разрезы для всех вершин в N.'' | ||
