ВУЗ:
Составители:
282
Рисунок Г.19 – Упрощенная схема ре- Рисунок Г.20 – Решетка (&
4
/i, ≤ )
шетки (&
4
/i, ≤), полностью показан-
ной на рисунке Г.18
На рисунке Г.20 изображена решетка (&
4
/i, ≤), являющаяся подрешеткой
(
G
4
/i, ≤). Число около каждой схемы указывает на число различных С-
структур, входящих в перестановочный класс эквивалентности, показанный
на этой схеме; числа, помещенные около дуг, указывают на число непосред-
ственных уточнений С-структуры из данного перестановочного класса экви-
валентности в другой класс. Как уже объяснялось выше, эта решетка изо-
морфна решеткам, определенным на
R
4
/i, P
4
/i и (&
4
/i).
В то время как полные решетки (&
n
, ≤) представляют основу для ло-
кального уровня вычислений в задаче реконструкции, решетки (&
n
, ≤) и их
изоморфизмы являются основой для глобальных вычислений. Для работы на
глобальном уровне вычислений необходима процедура, порождающая для
любой заданной С-структуры C
k
∈
&
n
(n
∈
N) все непосредственные уточнения
в решетке (&
n
, ≤). Ниже приводится одна такая процедура, использую-
щая представление С-структур в виде графов.
Рисунок Г.19 – Упрощенная схема ре- Рисунок Г.20 – Решетка (&4/i, ≤ )
шетки (& 4 / i , ≤), полностью показан-
ной на рисунке Г.18
На рисунке Г.20 изображена решетка (&4/i, ≤), являющаяся подрешеткой
(G4/i, ≤). Число около каждой схемы указывает на число различных С-
структур, входящих в перестановочный класс эквивалентности, показанный
на этой схеме; числа, помещенные около дуг, указывают на число непосред-
ственных уточнений С-структуры из данного перестановочного класса экви-
валентности в другой класс. Как уже объяснялось выше, эта решетка изо-
морфна решеткам, определенным на R4/i, P4/i и (&4/i).
В то время как полные решетки (&n, ≤) представляют основу для ло-
кального уровня вычислений в задаче реконструкции, решетки (&n, ≤) и их
изоморфизмы являются основой для глобальных вычислений. Для работы на
глобальном уровне вычислений необходима процедура, порождающая для
любой заданной С-структуры Ck∈ &n (n∈ N) все непосредственные уточнения
в решетке (&n, ≤). Ниже приводится одна такая процедура, использую-
щая представление С-структур в виде графов.
282
Страницы
- « первая
- ‹ предыдущая
- …
- 280
- 281
- 282
- 283
- 284
- …
- следующая ›
- последняя »
