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

Книги и конспекты / Горьковой Дискретная Математика

.pdf
Скачиваний:
154
Добавлен:
28.05.2022
Размер:
1.1 Mб
Скачать

Каждому бинарному отношению α на X можно сопоставить функцию F : X → X следующим образом: y F (x) xαy. Тогда граф можно определить как пару G = (X, F ), где F : X → X есть отображение, которое каждому x X ставит в соответствие подмножество F x X.

Так, для графа из примера 7 таблица, задающая F , имеет вид

F 1

2

3

4

5

 

 

 

 

 

1

3

4

1

2

2

5

5

 

5

4

 

 

 

 

Для такого способа задания графа определение изоморфизма формулируется следующим образом.

О п р е д е л е н и е 21. Два графа G = (X, F ) и H = (Y, P )

называются изоморфными, если существует биекция ϕ : X → Y, такая, что для любых x X и y Y, для которых ϕ(x) = y, имеем

ϕ(F x) = P y.

(2.5.1)

Соотношение (2.5.1) эквивалентно коммутативности следующей диаграммы:

 

 

ϕ

 

x

−−−→ y

F

 

P

 

 

 

 

 

 

 

y

y

ϕ

F x −−−→ P y

где коммутативность означает, что проход по верхней части диаграммы совпадает с проходом по нижней ее части.

Граф, о котором здесь идет речь, называется графом Бержа. Приведем некоторые сведения из теории конeчных групп [5].

О п р е д е л е н и е 22. Группой G называется некоторое множество элементов G = {a, b, c, ...} вместе с одной бинарной операцией, называемой произведением, такой что выполняются:

G0. Закон замкнутости: для каждой упорядоченной пары элементов a, b из G произведение a ◦ b = c существует и является однозначно определенным элементом из G.

G1. Ассоциативный закон: (a ◦ b) ◦ c = a ◦ (b ◦ c).

31

G2. Существование единицы: в G существует такой элемент 1, что 1 ◦ a = a ◦ 1 = a для любого элемента a G.

G3. Существование обратного элемента: для всякого элемента a G существует такой элемент a−1 G, что a−1 ◦ a =

a ◦ a−1 = 1.

Опpеделяя гpуппу через опеpацию умножения, мы на самом деле имеем в виду не обязательно обычное умножение. Под этой операцией подразумевается любая бинарная операция, в том числе и двуместная функция f (a, b), которая состоит в соответствии любым двум элементам a, b G однозначно определенного третьего элемента c G. В частности, имеет место следующая теорема

Теорема 8. Множество всех взаимно однозначных отображений S на себя относительно операции умножения отображе-

ний образует группу.

Д о к а з а т е л ь с т в о. Под умножением отображений, как обычно, понимается их суперпозиция относительно элементов из G. Выполнимость условий G0, G1 очевидна. Проверим выполнение условий G2, G3.

Так как тождественное отображение e является взаимно однозначным, то e S и ef = f e = f для любого отображения f S. Таким образом, тождественное отображение e S играет роль единицы.

Так как всякое отображение f S; f : G → G является взаимно однозначным, то по определению для каждого элемента y G существует единственный x G, такой, что f (x) = y. Cопоставляя элемент x элементу y, мы определяем взаимно однозначное отображение g(y) = x множества G на себя. Из определения отображения g видно, что (g ◦ f )(x) = g(f (x)) = x. Следовательно, f ◦ g = g ◦ f = e и g является отображением, обратным для f .

Взаимно однозначное отображение некоторого конечного множества на себя называется перестановкой. Перестановка традиционно задается следующим образом.

Пусть G = {1, 2, 3}, тогда

f =

Ã2 3 1!

,

g =

Ã1 3 2!

 

1 2 3

 

 

1 2 3

две перестановки, у которых верхняя строка есть множество G, а нижняя образы элементов из G. Согласно определению, их произ-

32

ведением является перестановка

f ◦ g =

Ã3 2 1! .

 

1 2 3

Перестановки можно задавать с помощью перечисления всех их неодноэлементных циклов: f = (1, 2, 3), g = (2, 3), f ◦ g = (1, 3).

Подмножество H группы G, само являющееся группой относительно операции, определенной в G, называется подгруппой.

Оп р е д е л е н и е 23. Взаимно однозначное отображение

ϕ: G → H группы G на группу H называется изоморфизмом, если из того, что ϕ(g1 ) = h1, ϕ(g2 ) = h2, следует, что ϕ(g1 ◦g2 ) =

h1 ◦ h2.

П р и м е р 9. Рассмотрим следующие две подгруппы: G и H соответствующих групп перестановок:

g1

=

Ã1 2 3!

h1

=

Ã1 2 3 4 5 6!

,

 

 

1 2 3

 

 

1 2 3 4 5 6

 

g2

=

Ã2 3 1!

h2

=

Ã2 3 1 6 4 5!

,

 

 

1 2 3

 

 

1 2 3 4 5 6

 

g3

=

Ã3 1 2!

h3

=

Ã3 1 2 5 6 4!

,

 

 

1 2 3

 

 

1 2 3 4 5 6

 

g4

=

Ã1 3 2!

h4

=

Ã4 5 6 1 2 3!

,

 

 

1 2 3

 

 

1 2 3 4 5 6

 

g5

=

Ã3 2 1!

h5

=

Ã5 6 4 3 1 2!,

 

 

1 2 3

 

 

1 2 3 4 5 6

 

g6

=

Ã2 1 3!

h6

=

Ã6 4 5 2 3 1!.

 

 

1 2 3

 

 

1 2 3 4 5 6

 

Тогда отображение ϕ(gi) = hi является изоморфизмом, а подгруппы G и H изоморфны.

Действительно, если ϕ(g2 ) = h2, ϕ(g3 ) = h3 и ϕ — изоморфизм, то должно быть ϕ(g2 ◦ g3) = h2 ◦ h3. Непосредственной проверкой

убедимся,

что

 

 

 

Ã1 2 3 4 5 6!

 

g2

◦ g3 = Ã1 2 3!

,

h2 ◦ h3

=

,

 

1 2 3

 

 

 

1 2 3 4 5 6

 

т. е. g2 ◦g3

= g1 и h2 ◦h3 = h1. Согласно определению отображения

ϕ имеем ϕ(g1 ) = h1.

 

 

 

 

 

33

Группа перестановок является представлением любой группы G в том смысле, что любая группа изоморфна некоторой группе перестановок. Таким образом, будучи вполне конкретным математическим объектом, она позволяет сводить решение достаточно общих математических вопросов к непосредственным вычислениям над перестановками.

Теорема 9 (Кэли). Произвольная группа G изоморфна неко-

торой группе перестановок своих элементов.

Д о к а з а т е л ь с т в о. Для каждого g G определим отображение Rg (x) = gx для всех x G. При фиксированном g получаем отображение множества G на себя, так как для данного

y G

Rg (g−1y) = gg−1 y = y.

Это отображение взаимно однозначно, так как в силу существования в G для любого элемента обратного из соотношения gx1 = gx2 следует x1 = x2. Таким образом, Rg — перестановка для каждого g G. Отображение Rg1 Rg2 таково, что

Rg1 Rg2 (x) = g1 (g2x) = (g1g2)x = Rg1g2 (x).

Поэтому Rg1 Rg2 = Rg1g2 . Далее, Rg1 (1) = g1 и Rg2 (1) = g2, следовательно, если g1 =6 g2, то Rg1 =6 Rg2 . Значит, отображение g → Rg является изоморфизмом. Очевидно, что R1 = 1 тождественная перестановка и Rg−1 Rg = 1, так что Rg−1 = (Rg )−1.

Пусть G — группа, а H — ее подгруппа. Множество элементов вида hx, где h — любой элемент из H, а x — фиксированный элемент из G, называется левым смежным классом по H и обозначается Hx. Аналогично определяется правый смежный класс

xH.

Теорема 10. Два левых (правых) смежных класса группы G по H или не пересекаются, или совпадают. Смежные классы по H и подгруппа H совпадают по мощности.

Д о к а з а т е л ь с т в о. Предположим, что z Hx ∩Hy. Тогда

−1

−1

z = h1x = h2y. Отсюда x = h1

h2y и hx = hh1 h2y. Поэтому

−1

h1x, следовательно, Hy Hx,

Hx Hy. Аналогично hy = hh2

откуда Hx = Hy. Аналогичное доказательство проводится и для правых классов.

Равномощность H, Hx и xH доказывается так же, как утверждение в теореме Кэли.

34

Из этой теоремы следует, что существуют такие x2 , . . . , xr из G, что смежные классы H, Hx2, . . . , Hxr не пересекаются и исчерпывают всю группу G, в этом случае пишут G = H Hx2 · · ·Hxr . Если G — конечная группа, то число r называется индексом подгруппы H в G, а число элементов группы G — порядком группы.

Теорема 11. ( Лагранжа). Порядок группы G равен произве-

дению порядка подгруппы на индекс H в G.

Д о к а з а т е л ь с т в о. Число элементов в каждом из r смежных классов G по H равно числу элементов в H, т. е. ее порядку. Если таких классов r, то количество элементов в G есть произведение r на порядок H.

О п р е д е л е н и е 24. Группа G называется циклической, если каждый ее элемент является степенью gi некоторого

фиксированного элемента g.

Если все степени элемента g различны, то циклическая группа имеет бесконечный порядок и изоморфна группе по сложению всех целых чисел. Если же не все степени различны, то существует такое m > 0, что gm = 1.

Пусть n > 0 — наименьшее положительное число, для котоpого gn = 1. Тогда легко видеть, что элементы 1, g, ..., gn−1 составляют всю группу. Число n называется порядком элемента g и при r ≥ 0, s < n имеем gr gs = gr+s , если r + s < n, если же r + s ≥ n, то gr gs = gr+s−n . Элемент g называется образующей циклической группы 1, g, ..., gn−1 .

Для любой перестановки g как для элемента группы перестановок также существует понятие порядка пеpестановки.

Теорема 12. Порядок перестановки ϕ равен наименьшему общему кратному длин ее циклов.

Д о к а з а т е л ь с т в о. Для цикла (x1, ..., xn ) имеем ϕj (xi ) = xi+j , где i+j берется по модулю n. Следовательно, ϕt (xi ) = xi тогда

и только тогда, когда m кратно n. В этом случае ϕm (xi) = xi для всех xi G тогда и только тогда, когда m кратно длинам всех циклов перестановки ϕ. Следовательно, при таком m ϕm = e, где e — тождественная перестановка.

Как мы выяснили, множество всех взаимно однозначных отображений множества на себя образует группу. И вообще все взаимно однозначные отображения множества на себя, сохраняющие данное его свойство, также образуют группу.

Если задана некоторая система A, состоящая из некоторого мно-

35

жества X и некоторой совокупности операций fk, то взаимно однозначное отображение ϕ множества X на себя называется автоморфизмом системы A, если из соотношения fk (x1, ..., xn ) = y следует fk (ϕ(x1 ), ..., ϕ(xk )) = ϕ(y). Под fk могут подразумеваться как однозначные отображения, так и многозначные.

Из определения автоморфизма следует, что произведение двух автоморфизмов есть снова автоморфизм, поэтому все автоморфизмы относительно умножения образуют группу.

В случае, когда fk — многозначное отображение, особую актуальность приобретает задача описания свойств циклов автоморфизма в терминах отображения fk .

2.6. Теорема об изоморфизме графов

Общее число шагов, которое необходимо сделать для выяснения изоморфности графов с n вершинами, равно n!. Если удачно провести классификацию вершин гафов и наделить полученные классы сравнительными характеристиками, то общий перебор можно сократить по крайней мере до Σini!, где ni — число вершин в i-м классе.

Пусть G = (X, F ) и H = (Y, P ) — два конечных графа Бержа, таких, что |X| = |Y |; здесь X и Y — множества вершин, F : X → X, P : Y → Y — отображения, ставящие в соответствие каждой вершине x X (y Y ) множество вершин, в которые из x X (y Y ) идут дуги.

О п р е д е л е н и е 25. Представлением графа G = (X, F ) называется пара ΠG = (TX , AF ), где TX {(α, β)x }x X ; α = |F x|, β = |F −1x|, а AF : TX → TX — соответствие, порождаемое соответствием F при замене элементов x X и F x X в G парами (α, β)x TX , такое, что AF (α, β)x = {(α, β)x}xF x .

Таким образом, в терминах графического способа задания графа представление графа отличается от него самого тем, что вершина графа с номером i у представления помечена (α, β)i .

Пусть 1 и 2 — два множества из TX . Будем писать 12, если отображение 1 2 с точностью до индексов x из X элементов из i , i = 1, 2, является тождественным.

П р и м е р 10. Пусть 1 и 2 из TX имеют следующий вид:1 = {(0, 1)i1 , (1, 0)i2 , (1, 0)i3 },

2 = {(1, 0)j1 , (0, 1)j2 , (1, 0)j3 }.

36

Тогда 1 2. Если же, например,

2 = {(1, 0)j1 , (0, 1)j2 , (0, 1)j3 },

то 1 6 2.

Обозначим через X/ρ множество классов, полученных с помощью разбиения ρ множества X, а через Fρ — сужение отображения F на X/ρ, относящее каждому классу из X/ρ некоторое множество классов из X/ρ.

Определим на классах из X/ρ некоторые порядки. Если σ X/ρ, то через tσ будем обозначать t копий упорядоченного множества σ, а через σs — результат применения перестановки s к σ. Выражение t σs следует понимать как ts ).

Теорема 13. Два графа G = (X, F ) и H = (Y, P ), |X| = |Y |,

изоморфны тогда и только тогда, когда существует разбиение ρ и биекция ϕˆ : X/ρ → X/ρ, такие, что для любых σ X/ρ и Σ Y /ρ, удовлетворяющих соотношениям |σ| = |Σ|, ϕˆ(σ) = Σ, коммутативна следующая диаграмма:

 

 

 

 

 

ϕˆ

 

Σ

 

 

 

σ

 

 

 

−−−→

 

 

 

 

Fρ

 

 

 

 

 

Pρ

(2.6.1)

s1

 

 

sr

 

ϕ

s1

 

sr

 

 

tr

)

ˆ

 

)

(t1 1

, . y

r

−−−→

(t1 Σ1

y

tr Σr

σ

. . ,

σ

 

 

 

, . . . ,

 

Здесь Pρ и Fρ — сужения отображений P и F на Y /ρ и X/ρ

соответственно.

З а м е ч а н и е. Если графы G и H изоморфны, вопрос о существовании разбиения ρ и биекции ϕˆ, вообще говоря, очевиден, так как всегда в качестве ρ можно взять тривиальное разбиение, при котором в каждом классе содержится по одной вершине. Тогда в качестве ϕˆ будет выступать ϕ. Интересно выяснить, существуют ли какие-то другие разбиения, отличные от тривиальных, и как их найти. Один из ответов на этот вопрос дается в данной теореме, где искомое разбиение формулируется исходя из некоторых качественных и количественных характеристик вершин и их совокупностей.

Д о к а з а т е л ь с т в о. Н е о б х о д и м о с т ь. Пусть графы G и H изоморфны и ϕ — биекция, осуществляющая изоморфизм. Разобьем множество X (соответственно Y ) на непересекающиеся подмножества последовательно следующим образом:

37

1 этап. Разбиение π1 = {σ0 , σ1}:

σ0 = {x X : x / F x}; σ1 = {x X : x F x}.

II этап. По разбиению π1 строим разбиение π2, при котором классы σ0 и σ1 разбиваются на подмножества σkp, k = 0, 1, следующим образом:

σkp = {x, y σk : (α, β)x (γ, δ)y &AF (α, β)x AF (γ, δ)y

&AF −1 (α, β)x AF −1 (γ, δ)y }.

Здесь p можно положить равным (α, β), но в общем случае представляет собой, кроме того, перечисление всех пар вида t, β, ) как из AF (α, β)x , так и из AF −1 (α, β)x .

III этап. По разбиению π2 строим разбиение π3 множеств σkp на подмножества σkpη , относя к одному подмножеству σkpη те и только те вершины x, y из σkp, для которых выполняется равенство |F x ∩ F −1x| = |F y ∩ F −1y|, при этом η полагается равным |F x ∩ F −1x|.

IV этап. По разбиению π3 построим разбиение π4 классов σkpη на подмножества σkpηξ, каждое из которых характеризуется следующим свойством:

{( x σkpηξ)( y σkpηξ : α = |F x ∩ F y| не зависит от x и y)} Положим ξ = α. Обозначим через σ(x)± след класса σ на F x и

F −1x соответственно.

V этап. Разбиение π5, построенное по разбиению π4, есть разбиение классов σkpηξ на подклассы σkpηξl , такие, что

{( x, y σkpηξl )( σ π5)(|σ(x)±| = |σ(y)±|)}.

Упорядочим элементы F x для всех x из каждого σ таким образом, чтобы в строке с номером m содержались вершины, принадлежащие одному классу. В силу свойства разбиения π5 это возможно сделать. Множество вершин с номером m из F σ будем обозначать

(F σ)m .

VI этап. По ризбиению π5 строим более мелкое разбиение ρ классов σkM , M = (pηξl) на подмножества σkM q , такие, что:

1) для любого x из σkM q

(

 

) =

t

¯

¯

 

{1 2 }

(2 6 2)

 

kM q m

kM q¯

, , ... ,

. .

 

F σ

 

 

σ¯

 

, t

если |σkM q| > 1;

38

2) если |σkM q| = 1, то непустой след любого класса в F σkM q совпадает с самим классом.

Очевидно, что построенное таким образом разбиение ρ таково, что G/ρ = (X/ρ, Fρ ) есть не обязательно граф Бержа.

Покажем, что все свойства, указанные в разбиении π1 − π5 , ρ графа G, переносятся на соответствующие классы графа H.

Пусть ϕ(σ) = Σ, σ X/ρ, Σ — некоторое подмножество вершин из Y . Так как ϕ — биекция, то |σ| = |Σ| для всех σ X/ρ.

Пусть x F x, т. е. при x имеется петля и ϕ(x) = y. Тогда y = ϕ(x) ϕ(F x) = P ϕ(x) = P y т. е. y P y. Аналогично, из того, что x / F x, следует, что и y = ϕ(x) / P y. Таким образом, при изоморфизме вершинам с петлями в графе G соответствуют вершины с петлями в графе H, а вершинам без петль в G соответствуют вершины без петель в H.

Пусть вершине x в G соответствует пара (α, β)x в ΠG, а вершине y = ϕ(x) H — пара (γ, δ)y ΠH . Тогда в силу изоморфности ϕ имеем ϕ(F x) = P y, ϕ(F −1 x) = P −1y, следовательно,

|F x| = |P y|, |F −1x| = |P −1y| и α = |F x| = |P y| = γ, β = |F −1x| =

|P −1y| = δ. Таким образом, (α, β)x (γ, δ)y .

Каждой вершине xi F x, в силу изоморфности ϕ, соответ-

ствует yi

 

P y, где y = ϕ(x), ϕ(xi ) = yi. Так как |F x| = |P y|

и (α, β)xi

(γ, δ)yi , то AF ±1 (α, β)x AP ±1 (γ, δ)y . А так как для

e e

 

e e

любых x, z

σkp выполняется AF ±1 (α, β)x AF ±1 (γ, δ)z , то и

для y = ϕ(x) и t = ϕ(z) из соответствующего Σkp¯ выполняется

AP

±1

(ξ, η)y AP

±1

(r, s)t . Следовательно, |σkp| = |Σkp¯| и p = ¯.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

Из того, что ϕ — изоморфизм, следует, что ϕ(F x ∩ F −1x) =

ϕ(F x) ∩ ϕ(F −1 x) = P ϕ(x) ∩ P −1

ϕ(x) = P y ∩ P −1y. А тогда |F x ∩

F −1x| = |P y ∩ P −1y|, где x σ, y Σ, ϕ(σ) = Σ.

 

 

 

 

 

 

Таким образом, классы σ и Σ характеризуются одной и той же

числовой характеристикой.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично проверяется для Σ свойство, указанное в разбиении

π4.

Пусть классы σ, ˜ из разбиения

 

графа

 

классы Σ

˜

из

 

 

5

 

5

 

G,

Σ

 

 

 

 

 

 

σ

 

 

 

 

 

 

π

˜

 

 

 

,

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

графа H таковы, что ϕ(σ) = Σ, ϕ(˜ ) = Σ, и пусть класс ˜ из

 

±

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

σ

 

 

 

 

 

 

σ

 

F

σ

такой, что |˜(

)| =

k

для всех

x

 

σ.

Тогда в силу биективности

 

 

σ x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ϕ

имеем |˜( )| =

 

˜

 

 

для всех

 

 

 

и

 

Σ, таких, что

|Σ( )| =

k

x

σ

y

 

 

σ x

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

ϕ(x) = y. Наконец, в силу того, что ϕ — изоморфизм и ϕ(σ) = Σ, имеем

ϕ(t

σs1

, ...,tr σsr ) = ϕ(F σ) = P ϕ(σ) = P Σ = (t

Σs1

, ...,ir

Σsr ).

1

1

r

1

i1

 

ir

39

Д о с т а т о ч н о с т ь. Пусть существует разбиение ρ и биекция ϕˆ, такая, что для любых σ X/ρ и Σ Y /ρ, удовлетворяющих соотношениям |σ| = |Σ| и ϕˆ(σ) = Σ, коммутативна диаграмма (2.6.1). Зафиксируем некоторые порядки на элементах разбиения из X/ρ и Y /ρ. Построим по биекции ϕˆ биекцию ϕ следующим образом. Если ϕˆ(σ) = Σ, то элементу x σ, имеющему номер i, поставим в соответствие элемент y Σ c тем же номером. Из диаграммы (2.6.1) видно, что ϕˆ ◦ si = si ◦ ϕ,ˆ и, следовательно,

ˆ(ti

si

 

 

si

.

 

 

 

 

 

 

 

 

 

 

i

) =ti ( ˆ i )

 

 

 

 

 

 

 

 

 

 

ϕ

σ

 

ϕσ

 

 

 

 

 

 

 

 

 

 

 

 

Пусть xi из σ и yi из Σ таковы, что ϕ(xi ) = yi, и пусть

 

F xi = (xj1 s1 ), ..., xjr sr )), P yi = (yk1 s1 ), ..., ykr sr )).

 

 

 

 

 

1

 

 

r

 

 

1

 

 

r

Здесь i = kp + jt, k

{0, 1, ...}, p = |σt|, t

=

1, r, а xji si ) есть

 

 

 

si

 

 

 

 

 

 

 

 

 

 

 

i

вершина из

с номером ji. Тогда в силу перестановочности ˆ и

σi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ϕ

si имеем kt = jt , t = 1, r, и, следовательно, диаграмма

 

 

 

 

 

 

 

 

 

ϕ

 

 

 

 

 

 

 

 

 

 

 

xi

 

 

 

−−−→

 

 

yi

 

 

 

 

 

 

F

 

 

 

 

 

 

P

 

 

 

 

 

s1

 

 

 

sr

 

ϕ

s1

 

 

 

sr

 

 

( j1

( 1

)

 

jr

( r ))

−−−→

y

,

 

jr

r ))

 

 

y

 

( j1 1

)

y

 

 

x

σ

, ..., x

σ

 

 

 

 

..., y

 

.

коммутативна, а ϕ, построенный по указанному правилу, есть изоморфизм.

П р и м е р 11. Пусть графы G = (X, F ) и H = (Y, P ) заданы следующим образом:

1

2

3

4

5

6

7

8

1

2

3

4

5

6

7

8

5

3

2

3

1

1

1

4

4

6

4

1

3

2

1

1

G 6

6

4

5

4

2

2

5

H 7

7

5

3

6

3

2

2

7

7

6

8

8

3

8

7

8

8

6

7

8

5

4

5

Так как графы G и H являются однородными графами степени три без петель [4], то первые три разбиения π1, π2 , π3 будут тривиальными и состоят из одного элемента, т. е. π1 = π2 = π3 = {X} (соответственно {Y } для графа H). Поиск разбиения ρ и биекции ϕˆ, удовлетворяющих теореме об изоморфизме, будем проводить одновременно для графов G и H.

Построим разбиение π4 для графа G. Как видно из определения разбиения π4, каждый его класс σ характеризуется тем, что для любой вершины x σ существует y σ, такой, что α = |F x ∩ F y| одно и то же для всех таких пар.

40