О разнообразии графа и применении этого понятия к проблеме изоморфизма графов

Тип работы:
Реферат
Предмет:
Физико-математические науки


Узнать стоимость

Детальная информация о работе

Выдержка из работы

Г. М. Хитрое
О РАЗНООБРАЗИИ ГРАФА И ПРИМЕНЕНИИ ЭТОГО ПОНЯТИЯ К ПРОБЛЕМЕ ИЗОМОРФИЗМА ГРАФОВ
В настоящей статье обобщаются некоторые понятия, введенные ранее в работах [1, 2], и показывается, что при установлении изоморфизма графов число формальных переборов всегда может быть уменьшено относительно числа полного перебора. Данная работа основывается на том, что граф задается своей матрицей смежности. При этом рассматриваются только те свойства графов, которые не зависят от нумерации вершин графа.
Как известно, матрица смежности графа зависит от нумерации вершин и при изменении их нумерации переходит в перестановочно подобную (P-подобную) матрицу к исходной. Другими словами, если в исходной нумерации вершин граф Г задается матрицей смежности, А и если изменение нумерации вершин задается матрицей перестановки Р, то тот же граф Г в новой нумерации вершин задается матрицей В = РАР'- (штрих вверху обозначения матрицы здесь и далее означает транспонирование).
Свойства матриц смежности, которые не меняются при перестановочном преобразовании (преобразовании P-подобия), будем, как это и принято, относить к свойствам графа (см., например, понятие спектра графа). Рассмотрим некоторые свойства матриц, описываемых следующими определениями.
Определение 1 [2, с. 737]. Будем называть две матрицы одинаковыми по составу, если одна получается из другой переменой местами строк.
Определение 2. Уточним определение 1. Будем говорить, что матрица F размерности [п х 777.] имеет одинаковый состав с матрицей Т той же размерности, если существует такая матрица перестановки Р размерности [п х гг], что и PF — Т.
Ясно, что если F имеет одинаковый состав с матрицей Т, то и Т имеет одинаковый состав с матрицей F, так как из PF — Т следует, что Р'-Т = F. Поэтому будем иногда говорить просто, что матрицы F и Т одинаковы по составу, подразумевая, что от одной матрицы можно перейти к другой с помощью умножения одной из них слева на некоторую матрицу перестановки.
Определение 3 [1, с. 9]. Разнообразием матрицы будем называть число различных строк матрицы. Строки матрицы называются различными (разными), если они отличаются хотя бы одним элементом, стоящим на одинаковых местах в строках.
Если в матрице имеются одинаковые строки, то соберем их в группы. Тогда разнообразие матрицы в указанном выше смысле есть не что иное, как число различных групп одинаковых строк матрицы. Если мы хотим учитывать не только его, но и число одинаковых строк в каждой группе, то будем вынуждены либо ввести еще одно определение, либо расширить предыдущее. Поскольку, говоря о конечной матрице, мы всегда подразумеваем, что у нее задано общее число строк, то, говоря о разнообразии матрицы в указанном выше смысле, всегда считаем, что оно связано с заданным числом строк. Потому расширим данное выше понятие разнообразия матрицы.
Определение 4. Разнообразием матрицы F будем называть число различных строк в матрице F с учетом их кратности. Так, если в матрице F размерности
© Г. М. Хитров, 2006
[п х т] имеется к групп одинаковых строк с числом строк в группе П1, П2,., п* сок
ответственно, где числа П]., П2, п* связаны условием щ = п, то набор чисел
г=1
к
р (Р) = (к, П1,., Пк'-, '-^2пг = п) определяет разнообразие матрицы Р. Часто разнооб-
г=1
разие будем отождествлять с первым числом в таком наборе, т. е. писать р{Р) = к, полагая, что это не приведет к недоразумениям.
Если две матрицы одинаковы по составу, то они имеют не только одинаковое разнообразие, но и состоят из одних и тех же элементов. Потому, когда говорим о двух матрицах одинакового состава, введенное определение разнообразия становится излишним. Но как только ограничиваемся одной матрицей, так это определение приобретает самостоятельный смысл.
В дальнейшем введенное определение будем в основном связывать с некоторой вспомогательной матрицей Я а, которая будет строиться по матрице смежности, А графа Г.
Напомним, что матрицей смежности графа с п вершинами называется квадратная (ОД)-матрица размерности [п х п], у которой на месте (г, _?'-) стоит единица, если имеется дуга, идущая из г-й вершины в j-ю, и нуль — в противном случае. Если наряду с дугой, идущей из г-й вершины в j-ю, имеется дуга, идущая из 1-й вершины в г-ю, то говорят, что г-я вершина соединена с 3-У1 вершиной ребром. Граф, у которого вершины могут быть соединены только простыми (некратными) ребрами и не имеющий петель (дуг, идущих из вершины в себя), называется обыкновенным.
Возвращаясь к вспомогательной матрице Я а, определим понятия и обозначения, используемые для ее построения, а также введем обозначения: е — столбец из единиц-
5 А1 — столбец строчных сумм ^'--Й степени матрицы А, Т. е. в Аз — А^е
Яаз ~ столбец столбцовых сумм. ?-й степени матрицы А, т. е. qAi — А'-^е —
— диагональ. у-й степени матрицы А, выписанная в виде столбца, ] = 1, 2,., п- К — матрица полного п-вершинного обыкновенного графа, т. е. матрица, у которой
все недиагональные элементы — единицы, а элементы главной^диагонали — нули-
если, А — матрица смежности обыкновенного графа, то, А — матрица смежности дополнительного обыкновенного графа, т. е. А = К — А-
— множество матриц перестановок размерности п-
Е — единичная матрица-
А (А) — число Фробениуса-Перрона [3, с. 141] - максимальное собственное число неотрицательной матрицы А-
X — вектор Фробениуса-Перрона — неотрицательный собственный вектор, отвечающий собственному числу А (. А), т. е. X удовлетворяет соотношению АХ — А{А)Х. Зададим теперь матрицу Я, а как матрицу, построенную из столбцов:
Я, А — ЯА) & amp-а 1 8 А21 ЧА21 & amp-А2 —, ЯАп — & amp-Ап)
(п — размерность матрицы А).
Определение 5. Разнообразием графа будем называть разнообразие матрицы [1] Яа — {8А,(1А, с1А, 8А2, ЦА2,(1А2,~-8А''-, ЯА'-'-, с1А''-), построенной по матрице смежности, А графа Г.
Будем обозначать разнообразие графа Г через р (Г) или р (Ял) —
Покажем, что это определение корректно. Действительно, если нумерация вершин в графе изменилась, то изменилась и матрица смежности графа. Пусть теперь тот
же граф задается матрицей смежности Р, причем В = PAP'-, Р € Пп. Рассмотрим цепочки следствий, получаемых из условия В = РАР'-: Р Е Пп, сделав предварительно одно очевидное замечание: (ОД)-матрица Р является матрицей перестановки, т. е. Р €Е Пп, тогда и только тогда, когда Ре = Р'-е — е. Итак:
В — РАР1, ?еП=& gt- В^е = PAiР'-е PJe РЛ-'-е =& gt- - Ps^j-
В = РЛР'-, Р 6 П =& gt- В'- = РЛ'-Р'- =" Р'-^е = РЛ'-^ =* № = P9aj-
Р = PAP'-, Р Е П =& gt- с1в — PdA =& gt-¦ Pdjj.
Замечание1. Выписанные цепочки охватывают большинство необходимых условий перестановочного подобия (ОД)-матриц и, как следствие, необходимых условий изоморфизма графов, заданных матрицами смежности, А и В [1].
Так как Rb — (sb, & lt-/?, djg, ввг,& lt-72, cf?2,…,, с/вп), то из этих цепочек тотчас
же следует, что Rb = (PsA, PqA, PdA, PsA2, PqA2,PdA2,…, PsA*, PqAn, PdAn), т. е. Rb — PR а- Последнее равенство означает, что матрицы Rb и Ra имеют одинаковый состав и, как следствие, их разнообразия равны. Следовательно, независимо от того, какой матрицей смежности — А или В — задается граф, разнообразие построенных по ним вспомогательных матриц Rb и Ra остается одним и тем же и характеризует сам граф. Это и означает, что введенное выше определение разнообразия графа корректно.
Поясним, почему при построении матрицы R по квадратной матрице, А размерности [п х п используются ее степени до п-й включительно. Р-подобие — частный случай подобия матриц. Известно, что характеристические многочлены подобных матриц равны. Многочлены равны, если равны их коэффициенты. Коэффициенты характеристического многочлена матрицы могут быть вычислены через следы степеней матриц, с первой степени до п-й включительно. Именно потому для определения разнообразия графа выбран данный вид матрицы R.
Понятно, что в некоторых частных случаях разнообразие графа можно определить, не выписывая всю матрицу R.
Действительно, если матрица, А = К или, А — 0, то p (Ra) — 1- Если p (sa) = п или p{Qa) = п, то p (Ra) — п. Это тривиальные случаи.
Рассмотрим нетривиальный случай. Предположим, что известна группа автоморфизмов графа Г с матрицей смежности А. Обозначим ее через Ga, т. е. положим Ga — {Р ¦ Р € Пп, РАР1 — А}. Обозначим через Gra — {Р: Ре Пп, PRA — Ra } группу автоморфизмов матрицы RA (таким же образом может быть определена и группа автоморфизмов для любого столбца размерности п). В отличие от GA, группа GцА вычисляется (и даже выписывается) весьма просто.
Действительно, предположим, что матрица, А такова, что R^ имеет специальный вид, а именно, все одинаковые строки идут подряд, т. е. собраны в группы. Пусть число этих групп равно к, т. е. p{RA) — к, и размерности их обозначим через щ, к
J2 пг = п. Тогда матрицы Р 6 Gr. имеют следующий квазидиагональный вид:
І- 1
Р —
/ Pi о.. 0
0 р2 '- •. 0
. 0
V 0 0. • Pfc)
где Рі Є Пп, і - 1, 2,., к.
Число таких матриц N = пі!пг! • • ¦ п*! и равно порядку группы Если Я А имеет произвольный вид, то существует матрица Н Є Пп такая, что будет иметь уже требуемый упорядоченный вид при этом, А = НАН1.
Замечание 2. Из определения разнообразия матрицы следует, что оно не меняется, если мы умножим элементы любого ее столбца на число, отличное от нуля. И оно может лишь стать больше, если увеличим число столбцов в матрице путем добавления новых.
Замечание 3. Мы можем менять вид вспомогательной матрицы Ra, через которую определяли разнообразие графа, заданного матрицей смежности А, путем добавления новых столбцов ZПри этом добавляемые столбцы Zk должны удовлетворять требованию: если матрица смежности графа, А меняется по закону РАР'-, где Р? Пп, то вектора Zk меняются по закону PZk для тех же самых Р. Например (см. [1]), если X — вектор Фробениуса-Перрона неразложимой матрицы смежности А, то РХ — вектор Фробениуса-Перрона матрицы смежности РАР'-. Добавление столбца X в матрицу Ra для неразложимой матрицы, А может лишь увеличить разнообразие графа (см. замечание 2), что, как будет показано ниже, вполне соответствует цели нашего исследования.
Утверждение 1. Gra D Ga-
Доказательство. Пусть Р е Ga, т. е. РАР'- - А. Рассмотрим цепочки следствий из этого равенства: (РАР'-У — AJ =& gt- РА^Р'- - A? =& gt-• РА^е — А^е =$¦ Psaj — sAj, т. е. Р е GSAj, j = 1,
Аналогично показывается, что Р € GqAj. Несложно показать, что dpAip& gt- = PdAi, и, следовательно, для Р 6 Ga будет dpAip'- - PdAi = или Р е Ga • Далее из РАР'- = А и АХ — А{А)Х вытекает, что РХ = X, т. е. Р 6 Gx-
Из того что Р оставляет неизменным каждый столбец матрицы Ra, вытекает, что Р оставляет неизменным матрицу Ra, т. е. Р G Gra. Тем самым, если Р € Ga, то Р € Gra: т. е. Gra D Ga- Утверждение доказано.
Из доказанного утверждения следует, что если порядок какой-нибудь группы Ga является кратным п, а п — простое число, то p (Ra) = 1 и порядок группы Gra равен п. Последнее вытекает из того, что порядок группы Gra, равный N — niri2 должен делиться на п, а это возможно только при указанных выше условиях.
Рассмотрим в качестве примера следующую матрицу:
(0 1 0 0 1
1 0 1 0 0
0 1 0 1 0
0 0 1 0 1
11 0 0 1 0)
Для нее максимальный порядок группы Ga равен 10. Следовательно, p (Ra) —
1, и порядок группы Gra равен 5! или 120. Сказанное выше относительно данной матрицы, А проверяется непосредственными вычислениями.
Следует отметить, что введенное в работе [1] понятие разнообразия матрицы и обобщенное здесь до понятия разнообразия графа является важной характеристикой графа. Оно позволяет оценить количество матриц перестановок, подлежащих перебору при формальной проверке двух графов с матрицами смежности, А и В на изоморфность. Проверка при условии, что Ra = Rb, состоит в том, что рассматривается произведение РАР'- (Р € Gra) и сравнивается с матрицей В. Если для некоторой матрицы перестановки Р произведение равно матрице В, то матрицы, А и В P-подобны, а соответствующие им графы изоморфны. Если же для всех матриц перестановок Р из класса, определяемого матрицей Ra, выписанное выше произведение не равно матрице В, то графы с матрицами смежности, А и В не изоморфны.
Введенное понятие разнообразия графа позволяет говорить, что изоморфными могут быть лишь графы, имеющие одинаковое разнообразие, и если оно больше единицы, то количество перебираемых матриц перестановок при проверке на изоморфизм п-вер-шинных графов меньше, чем п (полный перебор).
Отдельного исследования требует лишь случай, когда разнообразие графа равно единице. Действительно ли для установления изоморфности двух n-вершинных графов с разнообразием, равным единице, в общем случае необходим полный, описанный выше, перебор?
Изучение этой проблемы начнем с рассмотрения обыкновенных графов с разнообразием, равным единице. Матрицы смежности таких графов — симметрические (0,^-матрицы с нулевой главной диагональю. Будем предполагать, что рассматриваются только связные графы, т. е. графы, матрицы смежности которых являются неразложимыми матрицами. Более того, будем рассматривать только такие графы, дополнительные к которым также являются связными, т. е. графы, у которых не только их матрицы смежности, А неразложимы, но неразложимы и матрицы, А = К — А. Это не нарушает общности исследования, так как из РАР'- = В всегда следует РАР'- = В, и наоборот. Потому проверку на изоморфность заданных графов можно заменить задачей проверки на изоморфность дополнительных графов. Если у дополнительных графов матрицы смежности разложимы, то мы начинаем рассматривать их и тем самым уходим от полного перебора матриц перестановок размерности п.
Итак, рассмотрим обыкновенный граф с разнообразием, равным единице, у которого матрица смежности, А и матрица смежности дополнительного графа, А являются неразложимыми. Установим, какой вид будет иметь в данном случае матрица Ra-
В силу симметрии матрицы А, все saj — Ча* 0 — 1,2, …, п), потому
Ra — (®. А) & amp-А 1 ^А2)а2 j j & amp-Ап -& amp-Ап) •
В силу того что разнообразие матрицы Ra равно единице, все ее столбцы Ra будут пропорциональны столбцу е, т. е. Ra = (cue, Ое, /Зе, ае,…, ае). Выписанный вид матрицы Ra может быть интересен разве лишь интерпретацией коэффициентов а, /3, …, а. Так, при выписывании данного вида матрицы учтено, что для матрицы смежности, А обыкновенного графа sa = & lt-^2, т. е. а равно числу ребер, выходящих из вершины г, или числу циклов длины 2, проходящих через г-ю вершину, или числу единиц в г-й строке матрицы А.- Не нарушая общности рассуждений, можем считать, что 2 ^ а ^ [(п — 1)/2], здесь через [(гг — 1)/2] обозначена целая часть числа (гг — 1)/2.
Действительно, случай, а — 0 означает, что матрица, А = 0, и потому исключается из рассмотрения как тривиальный. В случае, а = 1 имеем Ае = А'-е = е, т. е. А — матрица перестановки, причем симметрическая. Чтобы она была матрицей обыкновенного графа, она не должна иметь единиц на диагонали, и, следовательно, ее размерность может быть только четной. Симметричная матрица перестановки четной размерности больше двух разложима, а случай разложимой матрицы исключен нами из рассмотрения. В итоге мы и приходим к ограничению числа снизу: 2 ^ а. Ограничение, а сверху объясняется тем, что от рассмотрения матрицы, А мы всегда можем перейти к изучению матрицы А. Кроме указанных ограничений, имеется ограничение, вытекающее из симметрии (0,1)-матриц. Действительно, число ребер у обыкновенного графа всегда четное (в силу симметрии матрицы, число единиц над диагональю равно числу единиц под диагональю). Или, по-другому, сумма элементов матрицы смежности обыкновенного графа — всегда четное число. Это означает, что аипне могут быть одновременно
нечетными числами, так как их произведение равно сумме элементов матрицы смежности обыкновенного графа.
Утверждение 2. Если произведение ап (2 ^ а ^ [(гг — 1)/2]) — четное число, то всегда существуют симметричные (ОД)-матрицы с нулевой диагональю и разнообразием, равным единице.
Доказательство. Пусть, а — четное число. Тогда в качестве матриц А
я..
можно взять, например, матрицы вида, А — ^2(Рг + Р'-г), где ц — а/2, а
г=1
р —
V
1 ¦ о с. 0 0
: о 0.. 0: о
0 0.. 1 0
1 и четным а.
Е (Р* + Рн) ср (Яа)
1=1
обязательно четное. Возьмем в качестве
циклическая матрица п-го порядка. Матрица Р — неразложимая, тогда и матрица, А -неразложимая. Произведение любой степени матрицы Р или Р'- на столбец е будет равно столбцу е, следовательно, произведение степени матрицы, А на столбец е будет столбцом, пропорциональным е. Покажем, что и вектор йдз в рассматриваемом случае будет пропорционален столбцу е. Действительно, в силу перестановочности матриц Р и Р1 (РР' - Е), степень матрицы А3 будет состоять из слагаемых, являющихся степенями матриц Р и Р'- с некоторыми коэффициентами. Степени Рт и Р'-к будут иметь единичную диагональ, если тик кратны п, и нулевую диагональ — в противном случае. В любом случае с!^ будет пропорционален столбцу е. Тем самым мы построили
неразложимые симметричные (ОД)-матрицы А
Пусть теперь, а — нечетное число, тогда п
Я..
А матрицу вида, А = (^ +2 (Р2г + Р'-2г) — Здесь Р — то же самое, что и в предыдущем
г=1
случае, q = (а — 1)/2, & lt-3 — матрица перестановки — диагональная матрица с единицами вдоль побочной диагонали, т. е. диагонали, идущей из левого нижнего угла в правый верхний. Ясно, что С}2 — Е. В силу четности п, побочная диагональ не имеет общих элементов с главной диагональю, и матрица, А является симметричной (ОД)-матрицей с нулевой главной диагональю. Из цикличности Р и п & gt- 2 (случай гг = 2 не представляет интереса) получаем, что Р2 неразложима. Как и в предыдущем случае, произведение степени матрицы, А на столбец е будет столбцом, пропорциональным е. Поскольку С^РэС} - Р'-з, а у матриц С^Р2г, & lt-5-Р'-2г, Р2г& lt-5, Р/2г& lt-5 главная диагональ нулевая, то столбцы с1дз будут пропорциональны е. То есть и для этой матрицы, А имеем р (Ял) — 1- Утверждение доказано полностью.
Казалось бы, построенные типы матриц смежности графов с разнообразием, равным единице, показывают, что даже для обыкновенных графов при установлении их изоморфизма не избежать полного перебора. Однако это не так.
Воспользуемся наблюдением из [2], заключающимся в следующем. Если в двух Р-подобных (ОД)-матрицах с нулевыми главными диагоналями поставим по одной единице на соответствующие места, то измененные матрицы останутся Р-подобными. И наоборот, если в двух Р-подобных (ОД)-матрицах со следом, равным единице, удалим'- единицы с диагонали, то полученные таким путем матрицы останутся Р-подобными.
Применим это наблюдение к установлению перестановочного подобия двух матриц, А и В с разнообразием матриц Я, а и Яв, равным единице, и имеющих одинаковый
состав. Поставим в матрицах, А и В по единице на места (г, г) и (j, j) соответственно. Обозначим полученные матрицы через А^ и соответственно. Тогда p (Raw) ^ 2 и p (RBu)) ^ 2. Будем для определенности считать, что единица в матрицу, А поставлена на место (1,1) и, кроме того, матрица А^ такова, что в RAw одинаковые строки собраны в группы и следуют друг за другом.
Начнем теперь перебор (напомню, что нас интересует проблема полного перебора, точнее, когда его можно избежать) следующим образом.
Берем матрицы RAw и RBu) i j — 1,2, Если матрицы RAw и RBu) для выб-
ранного j различны по составу, то А^ и В^ не подобны перестановочно. И мы переходим к следующему j. Если для выбранного j матрицы RA () и RBu) одинаковы по составу, то найдется такая матрица перестановки Н^ что RA (i) — RB{3). Обозна-
чим через
Cti)
матрицу С& amp- = H^B^H'-ti) и начинаем перебор матриц Р € Gr (1), т. е. начинаем вычислять матрицы L{p = А& lt-х>- - РС^Р'-. Если для данного j и всех Р е GraW получим, что ф 0, то А^ и С, а следовательно, А^ и В^ перестановочно не подобны, и мы переходим к следующему j. Если же для данного j найдется такое Р е GraW, что L^p — 0, то А^ и перестановочно подобны и АМ = РН^ В^ Н'-^ Р1. Отсюда перестановочно подобны, А и В, причем, А — РН^ВН1^Р'-. Перебирая таким образом j, мы либо на некотором шаге получим, что, А и В перестановочно подобны, либо для всех j А^ и BU)
перестановочно
не подобны, тогда, А и В перестановочно не подобны.
Понятно, что применять данную процедуру перебора следует лишь тогда, когда p (RAw) & gt- 2, в этом случае общее число вариантов перебора меньше п, т. е. полного перебора.
Утверждение 3. Всегда при указанных выше условиях на матрицу А1),
p (Raw) & gt- 2.
Доказательство. Так как предполагалось, что матрица А^ - неразложимая с одной единицей на главной диагонали на месте (1,1), то при доказательстве утверждения 3 будем пользоваться очевидным соображением: разнообразие матрицы RA (i) (в смысле числа различных строк) всегда больше либо равно разнообразию подматрицы матрицы RA (i), построенной из произвольного набора столбцов матрицы Raw-
Воспользуемся также результатом работы [1], заключающимся в том, что если (ОД)-матрица А^ неразложима, то в нашу матрицу RA (i) всегда может быть включен в качестве одного из столбцов вектор Фробениуса-Перрона — положительный собственный вектор X матрицы А1), отвечающий максимальному положительному собственному числу А (А^).
Возьмем подматрицу (dAi, i), X) матрицы RAii& gt-, образованную двумя выписанными столбцами (напомним, что, в отличие от матрицы А, в матрице Ана месте (1,1) стоит единица). Ясно, что p ((dAw, X)) ^ 2. Покажем, что p ((dA (i), X)) ф 2.
От противного, пусть p ((d^(i), X)) = 2. Тогда, в силу того, что dA (i) совпадает с первым столбцом единичной матрицы, следует, что у вектора X все положительные элементы, начиная со второго, совпадают между собой. Не нарушая общности рассуждений, можно считать, что они равны единице. Так как p (Ra) — 1, то Ае — sa — ае. Далее, А^е = s^(i), причем отличается от sa только первой координатной, которая в 5до) равна, а +1. Из вида s^i) также следует, что максимальное собственное число матрицы заключено в промежутке, а & lt- А (А^) & lt- а + 1 (см. [3, с. 149]). При указанных ограничениях на А (А^ и предположениях относительно координат вектора X п покомпонентных равенств А^Х = А (А^Х не может быть выполнено по крайней
мере в п — а — 1 случаях. Это противоречит предположению, что р ((1А{1), Х) = 2. Следовательно, р{йА^)-, Х) & gt- 2, откуда следует утверждение 3.
Пример. Рассмотрим матрицы Ап В десятого порядка с разнообразием, равным единице. Пусть, А — Р2 + Р'-2 + С} и В = Р4 + Р'-4 + & lt-2, где Р — циклическая матрица перестановки десятого порядка, а — диагональная матрица десятого порядка с единицами вдоль побочной диагонали (диагонали, идущей из правого верхнего угла в левый нижний). Как было показано в общем случае, разнообразие матриц Я, а и Яв равно единице, и непосредственной проверкой можно убедиться, что Яа и Яв имеют одинаковый состав. Обозначим через Е^' матрицу, у которой на месте О', Я стоит единица, а все остальные элементы равны нулю. Положим А^ - Р2 + Р'-2 + & lt-5 + Е и В= Р4 + Р/4 + (^ + Е^ Выпишем матрицы Л*1), ВЫ, ЯАт и Дв (1) в явном виде, причем в матрицах ЯА () и ЯВ{1) (без потери нужной информации) достаточно выписать по 10 первых столбцов:
aw =
f 1 0 1 0 0 0 0 0 1 1 (1 0 0 0 1 0 1 0 0 1
0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0
1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0
0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1
0 0 1 0 0 1 1 0 0 0 rW = 1 0 0 0 0 1 0 0 1 0
0 0 0 1 1 0 0 1 0 0 5 — 0 1 0 0 1 0 0 0 0 1
0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0
0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0
1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0
11 1 0 0 0 0 0 1 0 0) V 1 0 0 1 0 1 0 0 0 0)
(4 1 13 4 43 7 136 29 437 62
3 0 9 3 29 0 89 19 285 6
3 0 10 3 31 1 100 20 311 15
3 0 9 3 27 0 84 19 259 2
3 0 9 3 28 0 86 19 270 3
Raw — 3 0 9 3 27 0 84 19 259 2 5
3 0 9 3 28 0 86 19 270 3
3 0 9 3 29 0 89 19 285 6
3 0 10 3 31 1 100 20 311 15
I 3 0 10 3 31 1 101 20 314 17)
f 4 1 13 4 43 7 136 29 437 62
3 0 9 3 27 0 84 19 259 2
3 0 9 3 28 0 86 19 270 3
3 0 9 3 29 0 89 19 285 6
RB (3 0 10 3 31 1 100 20 311 15
) — 3 0 9 3 29 0 89 19 285 6
3 0 10 3 31 1 100 20 311 15
3 0 9 3 27 0 84 19 259 2
3 0 9 3 28 0 86 19 270 3
V 3 0 10 3 31 1 101 20 314 17)
Нетрудно видеть, что Raw и RB{и имеют одинаковое разнообразие p (RAw) = p{RB (и) = (6,1,1, 2, 2, 2,2) и одинаковый состав. Действительно, RAd) — WRB (i& gt-, где
(1 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0 0
0 0 0 0 1 0 0 0 0 0
0 0 0 0 0 0 0 1 0 0
0 0 0 0 0 0 0 0 1 0
0 1 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 0 0
0 0 0 '-0 0 1 0 0 0 0
0 0 0 0 0 0 1 0 0 0
^ 0 0 0 0 0 0 0 0 0 1)
Теперь, для того чтобы проверить, изоморфны ли матрицы и достаточно
перебрать не более 2!2!2!2! — 16 вариантов произведения матриц РЩВ^Ш'-Р'-, где
Р е и ¦
В общем случае для проверки, изоморфны ли матрицы, А и В или нет, необходимо перебрать не более 160 вариантов, вместо полного перебора вариантов, число которых равно 10! = 3 628 800.
Для нашего примера ответ получается сразу — матрицы, А и В изоморфны, поскольку АС1) = УВМ]У и, следовательно, А ~ УВУ'-.
Замечание 4. В нашем примере разнообразие матрицы Яа^) совпадает с разнообразием любого ее столбца, начиная с девятого.
Утверждение 4. Если (ОД)-матрица А, для которой выполнено условие р (Ял) = 1, разложима, то с помощью перестановки рядов (перестановки строк и такой же перестановки столбцов) она может быть приведена к квазидиагональному виду.
Доказательство. Пусть р (Яа) — 1, тогда вл = Ае — ае и qA = А'-е — ае (а ^ 1). Из предположения разложимости матрицы, А следует, что существует та-
кая матрица перестановки Р, что Ар — РАР'- -
(

А
0
0
0
*
А2
о
о

Ак-
0
*
Ак)
где
матрицы А, А2,…, Аь — квадратные неразложимые матрицы, 0 — нулевые блоки соответствующих размерностей, * - блоки, которые могут быть ненулевыми. Из ел — Ае = ае вытекает, что зав = А^е — ае, и, таким образом, вАк = А^е — ае. Из неразложимости матрицы, А к следует, что, А (Ак) — максимальное собственное число матрицы Ак — заключено между максимальной и минимальной строчными суммами этой матрицы (между максимальным и минимальным элементами вектора вд*.). Поскольку все элементы вектора вАк равны а, то А (Л^) = а.
Из тех же соображений получаем, что А (Ак) — а заключено между максимальной и минимальной столбцовыми суммами матрицы Ак- Любая столбцовая сумма матрицы Ак является частью соответствующей столбцовой суммы матрицы Ац& gt-, которые все равны, а (яа0 — А'-ве — ае). Следовательно, все столбцовые суммы матрицы Ак не могут быть больше а, но не могут быть и меньше а. То есть все они равны а. Это означает, что все блоки *, расположенные над матрицей Ак, нулевые. По аналогии получаем затем, что все блоки * - нулевые, т. е. матрица Ац — квазидиагональная. Утверждение 4 доказано.
Замечание 5. При доказательстве утверждения 3 нигде не использовалась симметричность матрицы А, применялись лишь факт неразложимости (в этом случае
положительный вектор X определяется единственным образом с точностью до постоянного положительного множителя) и то, что у матрицы, А главная диагональ нулевая. Когда, А = Е + А (напомним, что из p (Ra) — 1 следует, что матрица, А может иметь только нулевую или единичную диагональ), мы всегда от рассмотрения матрицы, А можем перейти к рассмотрению (ОД)-матрицы А.
Действительно, из В — РАР'- и, А = Е + А, В = Е + В вытекает, что В — РАР'- и обратно. Поэтому решение задачи на перестановочное подобие матриц, А и В с единичными главными диагоналями можем заменить аналогичной задачей, но уже для матриц, А и В с нулевыми диагоналями, для которых сможем воспользоваться утверждением 3.
Итак, можно утверждать, что в случае, когда p (Ra) = 15 мы всегда от матрицы, А сможем перейти к эквивалентной в отношении P-подобия матрице, для которой ее вспомогательная матрица будет иметь разнообразие больше двух. Следовательно, при установлении изоморфизма графов число формальных переборов всегда может быть уменьшено относительно числа полного перебора.
Summary
Khitrov G. М. Graph’s diversity and its application to the graphs isomorphism problem.
Graph’s diversity definition and its application to the graphs isomorphism problem are examined.
Литература
1. Беспалов А. А. Матричный метод проверки изоморфизма графов // Вести. С. -Пе-терб. ун-та. Сер. 10: Прикладная математика, информатика, процессы управления. 2004. Вып. 3−4. С. 3−12.
2. Беспалов А. А. P-подобие матриц // Устойчивость и процессы управления: Труды междунар. конференции. СПб., 2005. С. 731−740.
3. Никайдо X. Выпуклые структуры и математическая экономика / Пер. с англ. А. В. Ма-лишевского- Под ред. Э. М. Бравермана. М.: Мир, 1972. 517 с.
Статья поступила в редакцию 11 декабря 2005 г.

ПоказатьСвернуть
Заполнить форму текущей работой