
книги из ГПНТБ / Басакер Р. Конечные графы и сети
.pdf6.5] МАТРИЦА СМЕЖНОСТИ ВЕРШИН 1-Ш
соотношения |
ортогональности, которое существует меж |
||||||||||
ду матрицей |
циклов |
и транспонированной матрицей |
раз |
||||||||
резов, имеем |
СК'—О. |
Таким |
образом, |
|
|
|
|
||||
|
|
|
|
|
|
= |
О, |
|
|
|
|
следовательно, |
/ < " ц + С ч 2 = 0 . |
Отсюда |
заключаем, |
что |
|||||||
Ku = Ci2, так |
как —1 |
= 1 мод. 2. |
|
|
|
|
|
||||
Упражнения |
|
|
|
|
|
|
|
|
|
||
5.8. |
Используя |
последний |
результат, |
получить |
К'п |
из |
t?i2 в |
||||
упражнении 5.6 |
и |
проверить совпадение ответа с ответом |
упражне |
||||||||
ния 5.7. |
|
|
|
|
|
|
|
|
|
|
|
5.9. Выписать матрицы иицпдеицнп, циклов и разрезов |
полного |
||||||||||
графа, имеющего пять вершин. |
|
|
|
|
|
|
|
||||
|
|
5.5. Матрица |
смежности вершин |
|
|
|
|||||
Д л я |
ориентированных |
и |
неориентированных |
графов |
|||||||
можно |
определить матрицу |
смежности |
вершин |
(или |
про |
||||||
сто матрицу |
смежности)*). |
|
Элемент |
на пересечении 1-й |
строки и /-го столбца этой матрицы равен числу ребер,
инцидентных |
одновременно |
|
t'-й и /-й |
вершинам (или |
на |
||||||
правленных от вершины i к |
вершине / в случае ориен |
||||||||||
тированного |
г р а ф а ) . Таким |
образом, |
для ориентирован |
||||||||
ного графа, |
изображенного |
на |
рис. |
5.3 |
|
(см. т а к ж е |
уп |
||||
ражнение 5.2), имеем |
матрицу |
смежности: |
|
||||||||
|
|
«i |
v~_ "з |
|
|
"Л |
v7 |
|
|
|
|
|
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
01 |
|
|
|
|
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
|
|
|
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
|
|
|
|
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
* |
|
|
»л |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
|
|
|
v7 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
2 |
|
|
|
"а |
lO |
0 |
0 |
0 |
0 |
0 |
0 |
0; |
|
|
В общем случае, имеет место следующая теорема, KaJ сающаяся матрицы смежности V графа .
Теорема 5.5. Матрица V" дает число ориентирован ных маршрутов длины п между любыми двумя верши нами ориентированного графа .
*) В тексте Vertex matrix, adjacency matrix. (Прим. перев.)
150 |
МАТРИЧНОЕ ПРЕДСТАВЛЕНИЕ ГРАФОВ |
1ГЛ. 5 |
||
Д о к а з а т е л ь с т в о . Если |
а1к — число дуг, |
соеди |
||
няющих |
v( с vh, а ак} |
— число дуг, соединяющих |
vk с vh |
|
то aihakJ |
есть число |
различных |
ориентированных |
марш |
рутов, каждый из которых состоит из двух дуг, соеди няющих vt с Vj и проходящих через ~ок. Если это произ ведение просуммировать по всем к, т. е. по всем про межуточным вершинам, то получим число ориентирован ных маршрутов длины два между вершинами о,- и vt. Используем теперь of j для получения a;jaim. В результате найдем число различных ориентированных маршрутов
длины 3 |
между вершинами v( п vm, |
проходящих через |
||||
t'j, |
и так |
далее . Таким образом, если мы предположим, |
||||
что |
теорема верпа |
для |
V " - 1 , то |
элементы |
матрицы |
|
- > |
—> |
->- |
|
|
|
|
Vn—V"~]V |
дадут |
число |
ориентированных |
маршрутов |
длины п между соответствующими вершинами. Теорема доказана .
З а м е ч а н и е . |
Очевидно, |
если при |
некотором Л', |
1'"=0 для н ^ Л ; , |
то в графе |
нет циклов. |
Если в графе |
пет циклов, то элементы Г" дают число простых путей между любыми двумя вершинами графа.
Упражнение 5.10. Доказать аналогичную теорему для неориен тированных графой. Обозначить матрицу смежности неориентирован ного графа через V.
З а м е ч а н и е . Матрицу |
смежности можно исполь |
|
зовать для |
исследования свойств бинарного отношения |
|
R на конечном множестве |
|
|
|
S={au |
а,,}. |
- у |
|
|
Пусть |
V=(Vjj)—матрица |
смежности вершин, свя- |
занпая с R. Если R рефлексивно (нерефлексивно), то V имеет единицы (пули) ниже главной диагонали . Если R
симметрично, то V — симметрическая матрица. Если R
->
асимметрично, то V2 будет иметь те ж е элементы па главной диагонали, что и V. Действительно, единствен ный путь длины два из а,- в а, получается двукратным проходом по петле Ьщ (если она существует), если нет такого элемента а,-, что аДал и ajRat. (В последнем слу-
5.5] МАТРИЦА СМЕЖНОСТИ ВЕРШИН 151
чае |
будет существовать еще один путь |
длины два |
из а} |
|||||||
в |
flj |
и |
матрица |
V2=[v\f) |
будет |
иметь |
элементы |
у'?'== |
||
= |
и н |
+ |
1 и vf= |
v4+ |
1.) |
|
|
|
|
|
|
I рапзитивиость |
т а к ж е |
легко |
определяется |
на |
языке |
||||
теории |
графов. Это |
свойство формулируется |
следующим |
образом. Если существует путь длины 2 от а{ к а-„ то
существует |
дуга |
из а( в а,. Таким образом, необходимо |
только проверить |
положительность v(j при положитель- |
|
ном vfj . |
Если |
это так, то R транзитивно. |
|
И н д е к с п р и м и т и в н о с т и |
|
Заметим, что матрица вершин как в случае ориен |
||
тированных, |
так |
и в случае неориентированных графов |
имеет неотрицательные элементы. Нулевой элемент оз начает, что вершина, соответствующая строке рассмат риваемого элемента, не связана ребром с вершиной, со
ответствующей столбцу. Однако эти вершины |
могут |
||||||
быть |
связаны путем (пли |
цепью) определенной |
длины. |
||||
М о ж е т оказаться, |
что l / m > 0 |
для |
некоторого |
целого |
|||
in^\, |
т. е. после |
возведения |
V в степень т все |
ее |
эле |
||
менты |
становятся |
положительными. |
|
|
|
||
В |
этом случае |
к а ж д а я |
вершина |
достижима |
из |
лю |
бой другой вершины ориентированным маршрутом, со
стоящим из т дуг, и граф, соответствующий |
Vm, |
явля |
|||
ется |
полным (действительно, |
он имеет дугу, направлен |
|||
ную |
от любой другой) |
и имеет |
петли у каждой |
вершины. |
|
Рассмотрим теперь |
ориентированный граф |
D. |
Если |
||
D сильно связен, то |
его матрицу смежности |
V |
будем |
называть неприводимой. В общем случае, не требуется, чтобы неотрицательная квадратная матрица U (из ко торой мы формируем ориентированный граф в зависи мости от того, является ли некоторый ее элемент нулем или положительным числом) была неприводимой. Если
она неразложима, т. е. граф сильно связен, и |
с / " ' > 0 д л я |
|||||||
некоторого целого |
т>\, |
то U называется |
примитивной |
|||||
(соответствующий |
ей |
граф |
т а к ж е называется |
примитив |
||||
ным), |
а наименьшее |
целое |
/п, для |
которого |
это |
верно |
||
(т. е. к а ж д а я вершина |
|
достижима из |
любой другой |
вер |
||||
шины |
е помощью |
последовательности дуг |
длины |
т ) , |
132 МАТРИЧНОЕ ПРЕДСТАВЛЕНИЕ ГРАФОВ [ГЛ. 5
называется индексом примитивности |
U и |
обозначается |
ч(Щ *)• |
|
|
П о к а ж е м , что н е р а з л о ж и м а я |
матрица |
примитивна |
тогда и только тогда, когда наибольший общий делитель
длины |
всех его |
простых |
циклов равен |
единице |
( с м . [ 7 3 ] , |
|
гл. |
6). |
|
|
|
|
|
|
Определение. Если Н — подграф графа G, |
то поряд |
||||
ком |
Н |
назовем число вершин подграфа |
И. |
|
||
|
Определение. |
Если |
Р — ориентированный |
маршрут |
(ориентированная последовательность дуг) в ориентиро
ванном графе D, то длиной |
Р называется число дуг |
в Р |
||||||||||||
(считая |
и |
повторения). |
|
|
|
|
|
|
|
|
||||
Лемма |
|
5.6. |
Если |
D=(V, |
А)—примитивный |
граф, |
||||||||
с индексом примитивности |
in, |
и v, |
w е |
V, |
то |
для |
всех |
|||||||
целых |
q^m |
существует |
ориентированный маршрут |
дли |
||||||||||
ны |
q |
из |
о |
в и |
п ориентированный |
маршрут |
длины |
q из |
||||||
W В |
V. |
|
|
|
|
|
|
|
|
|
U — прими |
|||
Д о к а з а т е л ь с т в о . |
Заметим, |
что |
если |
|||||||||||
тивная матрица, то |
к а ж д а я |
строка |
и каждый |
столбец U |
||||||||||
д о л ж н ы |
содержать, |
по |
крайней |
мере, |
одни |
|
ненулевой |
|||||||
элемент. |
Из этого следует, |
что |
произведение |
U'"-U |
со |
держит только положительные элементы. Действительно, произведение Um+"• U== Uq, где п — любое положитель ное целое число, содержит только положительные эле менты.
|
Теорема 5.7. Необходимым п достаточным |
условием |
|||||||||||||||
примитивности сильно связного графа D=(V, |
|
А) |
с |
чис |
|||||||||||||
лом вершин п^2 |
является |
равенство |
единице |
наиболь |
|||||||||||||
шего общего делителя длины всех |
простых |
циклов |
гра |
||||||||||||||
фа |
D. |
|
|
|
Достаточность. |
|
|
|
|
|
|
||||||
|
Д о к а з а т е л ь с т в о . |
|
Предположим, |
||||||||||||||
что |
D—(V, |
А) — сильно связный |
граф |
с |
я ^ 2 . |
Пусть |
|||||||||||
D |
имеет |
г простых циклов |
с порядками |
ри |
р2, . . . , р„, |
||||||||||||
|
*) Понятие примитивной матрицы можно ввести |
другим |
путем. |
||||||||||||||
Если неразложимая |
матрица |
U^O |
имеет |
h |
характеристических |
чисел |
|||||||||||
Ль А2 , . . . , Я h с максимальным |
модулем |
г |
( \kx | = |
|
|л.2 | = |
. . . = |
j A.f t | = |
||||||||||
— г), |
то |
матрица U называется |
примитивной |
при |
Л = 1 |
и |
имприми- |
||||||||||
тивной |
при |
Л > 1 . |
Число Л |
называется |
индексом |
|
|
импримитивности |
|||||||||
матрицы |
U. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
М о ж н о |
показать, что в этом смысле матрица |
U^O |
является |
при |
||||||||||||
митивной в том и только в том случае, когда |
некоторая |
степень |
|||||||||||||||
матрицы |
U положительна, т. е. U'" > 0 |
(m^ |
I ) . См., например, |
Г а н т- |
|||||||||||||
м а х е р |
Ф. |
Р., Теория матриц, «Наука», |
1967. |
|
(Прим. |
|
ред.) |
|
|
5.5J |
МАТРИЦА СМЕЖНОСТИ |
ВЕРШИН |
153 |
и |
предположим, что наибольший |
общий делитель |
этих |
порядков равен единице. Выберем замкнутую последо
вательность дуг |
(ориентированный |
маршрут) Р |
такую, |
|
что Р проходит |
через все вершины |
D. Начальная |
и ко |
|
нечная |
вершины |
не обязательно должны фиксироваться. |
||
Символ |
Р будет |
обозначать любую |
последовательность, |
эквивалентную первоначально выбранной в том смысле,
что все дуги |
расположены |
в одной и той ж е последова |
||||||
тельности, хотя начальная и конечная вершины |
могут |
|||||||
быть различными. Пусть Р имеет длину /'. |
|
|||||||
Так |
как |
D |
сильно связен, |
то |
для |
каждой |
пары |
|
s . i e e l / |
существует путь |
из о в |
ш. |
Сопоставим с |
к а ж |
|||
дой такой упорядоченной |
парой |
(v, |
w) |
положительное |
||||
целое число |
i^n, |
определяющее |
длину |
некоторого |
пути |
из |
и |
в w. Теперь при желании можно пройти |
из и в |
w |
следующим образом: (1) начать движение с |
обхода |
Р |
||
(из |
v |
в v) и, начиная с различных заранее |
определен |
ных вершин, проходить все простые циклы, которым они
принадлежат, и (2) |
затем |
пройти путь |
с / дугами. |
Д л и |
||||
на |
всего «путешествия» может |
быть выражена формулой |
||||||
|
|
|
|
г |
|
|
|
|
где |
eih |
— неотрицательное |
целое число |
для каждого |
к. |
|||
, |
П о к а ж е м теперь, |
что для |
каждого |
/ можно так вы-' |
||||
брать |
е„„ что s окажется |
константой, |
т. е. не будет за |
|||||
висеть |
от I . (Зависимость |
от i |
исключается |
выбором |
вл.) |
|||
|
Напомним, что если к — множество |
целых чисел, для |
||||||
которых наибольший |
общий делитель |
равен |
1, то 1 мож |
|||||
но |
представить как |
линейную |
комбинацию |
этих чисел. |
Следовательно, мы можем выбрать положительные це
лые числа « 1 , |
а-2, |
. . . , |
аг, которые |
можно разбить |
на два |
|||
.взаимно дополнительных |
множества |
.Y п |
Y так, что |
|
||||
|
|
2 |
akPk — 2 |
°kPk = |
1. |
|
|
|
Теперь для каждого целого / |
( 1 ^ / ^ п ) |
н каждого |
це |
|||||
лого к |
(\^к^.г) |
определяем |
(при достаточно больших |
|||||
целых |
т) |
|
|
|
|
|
|
|
151 |
МАТРИЧНОЕ ПРЕДСТАВЛЕНИЕ ГРАФОВ |
[ГЛ. 5 |
Отсюда
г
2 e>kpk + i = 2
= /" 2 акрк
("'• + 1 — 0 |
акрк -! |
^ |
Ц — 1)акрк |
+ |
I |
= |
||||
+ S йд.р,: — У) |
|
i |
S |
я/.-Рк + |
|
|
|
|||
fce.v te.v ter teA' |
|
|
|
|
|
|
|
|
|
|
+ i Ъ |
dkPk + |
i = |
m |
2J |
A' |
«tPft |
+ |
1 |
- |
|
tei' |
fee |
|
|
|
|
|
|
|
Последнее выражение |
является |
константой, |
так |
как |
|||||
не зависит от /. Следовательно, существует |
фиксирован |
||||||||
ное целое |
|
|
|
|
|
|
|
|
|
|
|
s = / - H т ^ акрк |
+ 1 |
|
|
|
|
||
|
|
|
fte.v |
|
|
|
|
|
|
такое, что для каждой упорядоченной пары |
v, |
w е |
V |
||||||
существует ориентированный маршрут длины s |
из |
v в W. |
|||||||
Таким |
образом, |
существует целое |
число |
s такое, |
что |
||||
если |
U—матрица |
вершин |
графа |
D, |
то С / ' > 0 . |
(Чтобы |
показать, как реализуется требуемый путь длины s, на помним, что
|
|
|
s |
= |
/ + |
2J e/fcPft + |
i. |
|
|
|
|
|
|
|
Необходимость. |
Предположим, |
что |
D = ( V , |
Л) |
— п р и |
|||||||
митивный граф |
с я ^ 2 и индекс |
примитивности |
равен |
т. |
|||||||||
П о |
предположению |
(в |
силу |
примитивности), |
граф |
D |
|||||||
сильно связен. Выберем контур Р (из некоторой |
верши |
||||||||||||
ны |
v е |
V в v) |
так, |
чтобы каждый |
простой контур |
в |
D |
||||||
проходился, по крайней мере, один раз и 1^т, |
|
где |
t — |
||||||||||
длина |
Р. Так как |
Р |
можно разбить |
па последователь |
ность простых контуров (обобщение упражнения 2.3 на замкнутые последовательности дуг), то число t можно
записать как |
линейную комбинацию |
порядков |
р ь |
р2,.. |
• |
||||||||
..., |
рг |
простых контуров, |
где |
все |
коэффициенты |
поло |
|||||||
жительны. |
Д а л е е |
по лемме |
4.6 |
существует |
замкнутая |
||||||||
последовательность дуг длины t-\-\ |
|
из v в v. |
Тогда |
по |
|||||||||
той |
ж е |
лемме |
существует замкнутая |
последовательность |
|||||||||
дуг |
R |
(дважды Р) |
и 5 длины |
2t |
и |
2 / + 1 соответственно. |
|||||||
Заметим, |
что |
оба |
числа 2t |
и 2 / + 1 |
могут быть |
записаны |
|||||||
как |
линейные |
комбинации |
чисел |
pt |
|
( i = l , 2, |
. . ., |
г) |
(со |
строго положительными коэффициентами) . Отмеченное выше обобщение упражнения 2.3 можно применить к
5.5] МАТРИЦА СМЕЖНОСТИ ВЕРШИН 155
замкнутой последовательности дут |
длины |
г + 1 |
и |
после |
||||
довательность 5, длина которой |
|
|
|
|
|
|||
|
|
/ + / + 1 = 2 4 - 1 |
|
|
|
|
|
|
может быть |
записана |
в качестве |
желаемо й |
линейной |
||||
комбинации. Но два последовательных числа |
можно |
|||||||
представить |
как линейную |
комбинацию |
одного |
и |
того |
|||
ж е множества целых |
чисел |
/л только в этом случае, |
ес |
ли наибольший общий делитель р,- этих чисел равен еди нице. Теорема доказана .
Примером |
неориентированного непримитивного гра |
фа является |
двудольный граф . Специальным случаем |
этого графа является решетчатый граф, представляемый, например, границами квадратов шахматной доски. В та ком графе некоторые пары вершин можно соединить цепями только четной длины, а другие пары вершин — только цепями нечетной длины. ( Д о к а ж и т е в качестве упражнения, что это справедливо для всех двудольных
графов.) При этом все простые циклы |
имеют |
четное |
|||||||||||||
число |
ребер, поэтому |
граф |
не |
|
удовлетворяет |
условию |
|||||||||
примитивности, так |
как |
общий |
делитель равен |
2. |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
- >• |
|
|
|
|
|
|
|
Взяв /-ую степень матрицы V ориентированного |
гра |
|||||||||||||
фа D, получим матрицу ориентированного графа, |
кото |
||||||||||||||
рый имеет |
те ж е вершины, что |
и D, |
и для |
которого |
упо |
||||||||||
рядоченная пара (У,-, и,) |
является |
ребром |
тогда |
и |
толь |
||||||||||
ко |
тогда, |
когда |
существует |
|
последовательность |
дуг |
|||||||||
длины |
t, соединяющая |
~о{ с у,- |
BV. |
|
|
|
|
|
|
||||||
|
Упражнения |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
-> |
|
|
|
|
|
|
->( |
|
|
|
5.11. Показать, что если V примитивна, то матрица |
V |
также |
||||||||||||
примитивна |
для г > 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
5.12. |
Показать, что в примитивном графе для каждой вершины v-L |
|||||||||||||
существует |
целое число Л такое, что |
существует путь длины Л из |
t1/ |
||||||||||||
в любую другую вершину vj. |
Наименьшее значение /( называется |
ра |
|||||||||||||
диусом охвата и/ и обозначается через Л,-. |
|
|
|
|
|
|
|||||||||
|
5.13. |
Показать, что |
в примитивном |
графе, если |
p ^ / i j , |
существу |
|||||||||
ет |
ориентированный маршрут длины р |
из и г в любую Vj. |
(Заметим, |
||||||||||||
что |
так |
как |
граф сильно |
связей, |
то |
существует |
дуга |
из |
некоторой |
||||||
Vfi |
в vj |
и, |
следовательно, |
имеется |
путь из vi через o/j |
в vj |
длины |
/i + l и т. д . по индукции.)
5.14.Показать, что в примитивном графе D индекс примитивно
сти v(D) |
определяется |
выражением v (D) = max [hlt |
. . . , Л ; ( ] . |
5.15. Показать, что если в вершине и ; сильно связного графа |
|||
имеется |
петля, то hi^n— |
1. |
|
156 МАТРИЧНОЕ ПРЕДСТАВЛЕНИЕ ГРАФОВ [ГЛ. 5
Понятие индекса примитивности является очень в а ж ным. Рассмотрим, например, гипотетическую химическую реакцию с «обратной связью», т. е. циклическим восста новлением компонент. Здесь вершинам графа будут со ответствовать различные химические ингредиенты. Тре буется определить возможность получения некоторого определенного продукта с помощью процесса, начинаю щегося в любой из вершин и состоящего из фиксиро
ванного числа шагов. В математической экономике, |
если |
|||||||||||||
U — примитивная |
матрица, то |
показатель |
степени |
т |
со |
|||||||||
ответствует |
т - м у |
такту |
функционирования |
системы. |
При |
|||||||||
этом |
если |
^(D)=m, |
|
то |
все секторы |
экономической |
мо |
|||||||
дели |
затраты — выпуск, |
начиная с m-го такта |
и |
па |
|
всех |
||||||||
последующих, |
связаны. |
|
|
|
|
|
|
|
|
|||||
Возникает |
вопрос, |
когда |
неотрицательная |
неразло |
||||||||||
ж и м а я |
матрица |
примитивна, |
и чему |
равен |
ее |
показа |
||||||||
тель примитивности, или какова его оценка? |
Остановим |
|||||||||||||
ся на |
второй |
части вопроса. |
|
|
|
|
|
|
|
|||||
Одна |
из наиболее |
ранних |
оценок |
показателя |
прими |
тивности, полученная Ловенгеймом и Вилаидом, утверж
дает, что он не может превосходить |
(п—1)2+1, |
где п — |
|
число |
вершин (и, конечно, т а к ж е |
порядок |
матрицы) . |
Эта |
оценка является следствием |
следующей |
теоремы. |
Теорема 5.8. Пусть D — примитивный граф и V — его матрица смежности. Если s — д л и н а кратчайшего про стого контура в D, то индекс примитивности матрицы
V удовлетворяет неравенству 7(V) |
sg/7-f-s(/7—2). |
|
|
||||||||
|
Д о к а з а т е л ь с т в о . |
Согласно |
утверждению |
уп- |
|||||||
ражнення |
5.11 Ds |
(граф, |
соответствующий |
матрице |
Vs) |
||||||
является примитивным. Учитывая, что D имеет простой |
|||||||||||
контур длины s, получим, что граф |
D* имеет, по край |
||||||||||
ней мере, s вершин с петлями. Следовательно, |
сущест |
||||||||||
вует |
последовательность |
дуг длины |
pi^n—s |
из |
любой |
||||||
вершины vt к некоторой вершине vh, |
которая имеет |
пет |
|||||||||
лю в |
Ds. |
|
|
|
|
|
|
|
|
|
|
|
Д а л е е |
согласно |
упраженению |
5.15, в |
D" |
сущест |
|||||
вует |
последовательность |
дуг длины |
/г—1 из vh в |
любую |
|||||||
Vj. Таким образом, в графе D последовательность |
дуг из |
||||||||||
v„ |
в |
Vj имеет длину |
( л — 1 ) 5 , а |
последовательность |
из |
||||||
vt |
в |
Vj имеет длину |
р( -)-(/г— l)s . |
|
|
|
|
|
G.G] |
МАТРИЦА ПУТЕП |
|
|
|
157 |
|||
' Следовательно, |
hi^.pi-T-(n—l)s |
|
|
и |
|
|
|
|
• y ( D ) = m a x [ / i i , |
hn]<n—s+(n— |
|
])s = |
n-t-s(n—2). |
||||
Следствие 5.9. В примитивном графе наибольший об |
||||||||
щий делитель длин |
всех |
простых |
циклов равен единице |
|||||
н, следовательно, s ^ n — |
1. Отсюда |
|
следует, |
что |
||||
у (V) < п + |
(п - |
1) (п - |
2) |
= |
(« - |
1 ) 2 |
+ |
1. |
Хнп н Лппн [11] показали, что |
если |
граф, |
соответст |
|||||
вующий матрице U, имеет, по |
крайней |
мере, |
к~^2 про |
стых циклов, длины которых различны и взаимно про стые, то показатель примитивности не превышает
|
(я - |
I ) 2 |
+ 1 - |
( / г - 2 ) |
(2/г — /г — 3) |
2. |
|
|
|
|
5.6. Матрица |
путей |
|
||
Д л я |
связного |
графа, |
вершины |
которого |
перенумеро |
||
ваны, |
можно |
построить |
матрицу |
путей (пли цепей) Р |
следующим образом: строки матрицы д о л ж н ы соответ ствовать путям из первой вершины в последнюю, а столбцы — ребрам графа . Следовательно, элемент мат рицы принимает значение 1 пли 0 в зависимости от то го, принадлежит ли данное ребро данному пути или нет. Например, граф, изображенный па рис. 5.8, имеет сле
дующую матрицу |
путей между |
вершинами |
vx |
и v5: |
|||||||||
|
|
|
|
|
|
с, |
с. |
е„ |
с, |
с, |
ел |
|
|
|
|
|
|
|
Я, |
/1 |
0 |
0 |
0 |
1 |
Оч |
|
|
|
|
|
р |
_ р 2 |
/ 1 0 0 |
1 0 |
11 |
|
|
||||
|
|
|
|
|
вА 0 |
1 |
1 |
0 |
1 |
О Г |
|
|
|
|
|
|
|
|
Р , |
\0 |
1 |
1 |
1 |
0 |
1/ |
|
|
Теорема |
5.10. |
Произведение |
АР' |
матрицы |
пнцидеи- |
||||||||
цпй |
на транспонированную |
матрицу |
путей дает в резуль |
||||||||||
тате |
матрицу, все |
|
строки |
" |
|
|
<?. |
иг |
|
е5 |
|||
которой, |
исключая |
пер- |
|
|
|
|
|
|
|||||
вую |
и последнюю, |
содер |
|
|
|
|
|
|
|
||||
ж а т |
нули, |
а |
первая |
и |
по |
|
|
|
|
|
|
|
|
следняя — единицы. |
|
|
|
|
|
|
|
|
|
||||
Д о к а з а т е л ь с т в о. |
|
|
|
|
|
|
|
||||||
Элемент |
матрицы |
|
АР' |
|
|
|
|
|
|
|
|||
принимает |
значение |
1 тог |
|
|
|
|
Рис. |
5.8. |
|
||||
да и только |
тогда, |
когда |
|
|
|
|
|
|
|
некоторое ребро одновременно принадлежит данному пу ти и инцидентно первой или последней вершине. В каж -
15S |
МАТРИЧНОЕ ПРЕДСТАВЛЕНИЕ |
ГРАФОВ |
[ГЛ. 5 |
дой цепи |
между двумя вершинами |
существует |
только |
одно такое ребро. Вершины любого пути, не являющиеся
конечными, имеют степени 0 или 2, и следовательно, |
все |
||||||
остальные |
элементы матрицы |
равны |
нулю |
по |
моду |
||
лю 2 [21] . |
|
|
|
|
|
п |
|
З а м е ч а н и е . |
Ранг матрицы путей |
графа |
с |
вер |
|||
шинами и т ребрами равен т—л+2—с, |
где |
с — число |
|||||
независимых циклов в таких разделимых |
подграфах |
||||||
между конечными вершинами, удаление которых |
из |
||||||
графа не удаляет ни одной из конечных |
вершин. И з |
те |
|||||
оремы 5.10 |
следует, |
что ранг Р |
не превосходит |
|
/п—п-\-2. |
Заметим т а к ж е , что хорды деревьев в подграфах, опи санных выше, не п р и н а д л е ж а т ни одному пути.
5.7.Реализуемость матриц циклов и разрезов
До сих пор мы занимались задачами построения и описания различных матриц, соответствующих г р а ф а м . Обратная задача построения графа, соответствующего заданной матрице, в общем случае, пли тривиальна, пли
весьма сложна . Первый случай легко проиллюстрировать с помощью матрицы, которая имеет в точности два еди
ничных элемента в к а ж д о м столбце |
и нули |
во |
всех ос« |
тальпых местах. |
|
|
|
Граф всегда можно построить, если заданная |
матри |
||
ца является матрицей инциденций. |
З а д а ч а |
построения |
|
графа по матрице циклов ие является столь |
же |
простой |
в силу того, что ребро может принадлежать более чем двум циклам или двум разрезам .
Вопрос о реализуемости графа изучался многими ис следователями. Интересный обзор работ в этом направ
лении дан в статье Аша и Кима |
[ 1 ] . Строгая и глубокая |
теория, д а ю щ а я необходимые |
и достаточные условия |
реализуемости, была развита Таттом [17, 18]. Здесь мы ограничимся только самым общим рассмотрением ос новной теоремы.
Рассмотрим вектор-столбцы некоторой матрицы. Под множество этих столбцов может оказаться линейно за висимым или линейно независимым. В общем такие подмножества распадаются на два класса, которые ие являются произвольными в силу, например, следующих двух теорем [19] .