Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Басакер Р. Конечные графы и сети

.pdf
Скачиваний:
74
Добавлен:
25.10.2023
Размер:
12.41 Mб
Скачать

6.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

Д о к а з а т е л ь с т в о . Если

а— число дуг,

соеди­

няющих

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] .

Соседние файлы в папке книги из ГПНТБ