ВУЗ:
Составители:
285 
Рисунок Г.22. Структурное соседство G-структуры G 
этом запрещается изменять элементы, содержащие только две вершины, и, 
следовательно, граф данной r-структуры остается неизменным. 
Представление о непосредственных уточнениях (или укрупнениях) струк-
тур  различных  типов  можно  использовать  для  разбиения  соответствующего 
множества  структур  на  блоки  структур,  эквивалентных  в  смысле  уровня 
уточнения,  т.  е.  таких  структур,  которые  достигаются  от  универсальной 
верхней  границы  {N
n
}  соответствующей  решетки  уточнения  за  одинаковое 
число  шагов  уточнения.  Будем  называть  эту  эквивалентность  эквивалентно-
стью уровня уточнения и обозначать 
≡
i
. Так, например, структуры G
1
, G
2
, G
3
 на 
рисунке Г.22 - l-эквивалентные G-структуры из множества &
4
; структуры, по-
казанные  на  рисунке  Г.21,б, - l-эквивалентные  С-структуры  из  множества 
G
5
; структуры Р
1
.P
2
, Р
3
, P
4
 на рисунке Г.24 являются l-эквивалентными 
Р-структурами из множества &
Г.
Для того чтобы можно было составить представление о скорости роста 
числа структур этих трех типов с ростом п, а также числа их классов i- и l-
эквивалентности,  в  таблице  Г.12  приведены соответствующие  данные  для 
п ≤ 7. Понятно, что 
,|R||,R||P||&|
/)n(n
nnnn
21
2
−
=
=
=  
           Рисунок Г.22. Структурное соседство G-структуры G
этом запрещается изменять элементы, содержащие только две вершины, и,
следовательно, граф данной r-структуры остается неизменным.
    Представление о непосредственных уточнениях (или укрупнениях) струк-
тур различных типов можно использовать для разбиения соответствующего
множества структур на блоки структур, эквивалентных в смысле уровня
уточнения, т. е. таких структур, которые достигаются от универсальной
верхней границы {Nn} соответствующей решетки уточнения за одинаковое
число шагов уточнения. Будем называть эту эквивалентность эквивалентно-
                                    i
стью уровня уточнения и обозначать ≡ . Так, например, структуры G1, G2, G3 на
рисунке Г.22 - l-эквивалентные G-структуры из множества &4; структуры, по-
казанные на рисунке Г.21,б, - l-эквивалентные С-структуры из множества
G5; структуры Р1.P2 , Р 3 , P 4 на рисунке Г.24 являются l -эквивалентными
Р-структурами из множества &Г.
    Для того чтобы можно было составить представление о скорости роста
числа структур этих трех типов с ростом п, а также числа их классов i- и l-
эквивалентности, в таблице Г.12 приведены соответствующие данные для
п ≤ 7. Понятно, что
                         | &n |=| Pn |=| Rn |,| Rn |= 2 n( n−1 ) / 2 ,
285
Страницы
- « первая
 - ‹ предыдущая
 - …
 - 283
 - 284
 - 285
 - 286
 - 287
 - …
 - следующая ›
 - последняя »
 
