ВУЗ:
Составители:
Рубрика:
§ 3. Арифметические свойства сильно связного графа. Циклические классы. 35
Д о к а з а т е л ь с т в о . Согласно лемме 1 для каждого i найдется
такое l
i
, что ld ∈ N
ii
при всех l > l
i
. Положим l
0
= max
i
l
i
. Тогда
ld ∈ N
ii
при всех l > l
0
и любом i (напомним, что по предложению 1
НОД множеств N
ii
совпадают и равны d).
Рассмотрим простой (i, j)-путь. Его длина может быть представ-
лена в виде q
0
d + t
ij
, где q
0
зависит от i, j, но ввиду простоты пути
всегда не больше, чем n. Ясно, что при любом q > l
0
+ q
0
существует
(i, j)-путь длины qd+t
ij
. Учитывая неравенство q
0
≤ n, окончательно
получаем: для любых вершин i, j и любого q > q
0
= n + l
0
существует
(i, j)-путь длины qd + t
ij
. ¤
Ниже значок [i] употребляется для обозначения циклического
класса, содержащего вершину i.
Теорема 2. Существует такое число k
0
, что для любого k ≥ k
0
и любых классов [i], [j] верно одно из двух утверждений:
1) из любой вершины u класса [i] можно перейти за k шагов в
любую вершину v класса [j],
2) ни из какой вершины u ∈ [i] невозможен переход за k шагов
ни в какую вершину v ∈ [j].
Первое случится, если k ≡ t
ij
(mod d), второе — в противопо-
ложном случае.
Д о к а з а т е л ь с т в о. Прежде всего заметим, что t
uv
= t
ij
в
силу предложения 4. Теперь для доказательства первого утверждения
достаточно положить k
0
= q
0
d и применить предложение 6. Второе
утверждение вытекает непосредственно из определения числа t
ij
. ¤
Замечание 3. В дальнейшем обозначение k
0
закрепим за наи-
меньшим из чисел, существование которых доказано в теореме 2.
Рассмотрим последовательность степеней произвольной булев-
ской матрицы A. Поскольку множество булевских матриц порядка n
конечно, то существует наименьшее p с тем свойством, что A
p
= A
p+r
для некоторого r > 0. Число p называется предпериодом матрицы A,
а наименьшее r с указанным свойством — её периодом. Таким обра-
зом, последовательность степеней матрицы A имеет вид
A, ..., A
p−1
|A
p
, ..., A
p+r−1
|A
p
, ..., A
p+r−1
|...
Вернёмся к рассмотрению последовательности степеней матрицы
смежности. Мы остановились на том, что при нормальной нумерации
вершин графа степени его матрицы смежности имеют периодически
повторяющуюся блочную структуру. Теорема 2 в переводе на язык
§ 3. Арифметические свойства сильно связного графа. Циклические классы. 35
Д о к а з а т е л ь с т в о . Согласно лемме 1 для каждого i найдется
такое li , что ld ∈ Nii при всех l > li . Положим l0 = max li . Тогда
i
ld ∈ Nii при всех l > l0 и любом i (напомним, что по предложению 1
НОД множеств Nii совпадают и равны d).
Рассмотрим простой (i, j)-путь. Его длина может быть представ-
лена в виде q 0 d + tij , где q 0 зависит от i, j, но ввиду простоты пути
всегда не больше, чем n. Ясно, что при любом q > l0 + q 0 существует
(i, j)-путь длины qd+tij . Учитывая неравенство q 0 ≤ n, окончательно
получаем: для любых вершин i, j и любого q > q0 = n + l0 существует
(i, j)-путь длины qd + tij . ¤
Ниже значок [i] употребляется для обозначения циклического
класса, содержащего вершину i.
Теорема 2. Существует такое число k0 , что для любого k ≥ k0
и любых классов [i], [j] верно одно из двух утверждений:
1) из любой вершины u класса [i] можно перейти за k шагов в
любую вершину v класса [j],
2) ни из какой вершины u ∈ [i] невозможен переход за k шагов
ни в какую вершину v ∈ [j].
Первое случится, если k ≡ tij (mod d), второе — в противопо-
ложном случае.
Д о к а з а т е л ь с т в о. Прежде всего заметим, что tuv = tij в
силу предложения 4. Теперь для доказательства первого утверждения
достаточно положить k0 = q0 d и применить предложение 6. Второе
утверждение вытекает непосредственно из определения числа tij . ¤
Замечание 3. В дальнейшем обозначение k0 закрепим за наи-
меньшим из чисел, существование которых доказано в теореме 2.
Рассмотрим последовательность степеней произвольной булев-
ской матрицы A. Поскольку множество булевских матриц порядка n
конечно, то существует наименьшее p с тем свойством, что Ap = Ap+r
для некоторого r > 0. Число p называется предпериодом матрицы A,
а наименьшее r с указанным свойством — её периодом. Таким обра-
зом, последовательность степеней матрицы A имеет вид
A, ..., Ap−1 |Ap , ..., Ap+r−1 |Ap , ..., Ap+r−1 |...
Вернёмся к рассмотрению последовательности степеней матрицы
смежности. Мы остановились на том, что при нормальной нумерации
вершин графа степени его матрицы смежности имеют периодически
повторяющуюся блочную структуру. Теорема 2 в переводе на язык
Страницы
- « первая
- ‹ предыдущая
- …
- 33
- 34
- 35
- 36
- 37
- …
- следующая ›
- последняя »
