Число способов, которыми можно пометить граф

Граф G порядка p состоит из конечного непустого множества V=V(G), содержащего p вершин, и множества X из q неупорядоченных пар различных вершин; при таком определении автоматически исключаются петли (ребра, соединяющие вершину с ней самой) и кратные (параллельные) ребра. Пара x={u,v}, принадлежащая множеству X, называется ребром графа G и говорят, что ребро соединяет вершины u b v. Вершины u и v называют при этом смежными; вершина u и ребро х, так же как вершина v и ребро x, называются инцидентными друг другу. Граф с р вершинами и q ребрами называется (p,q)-графом.

Значительно удобнее и нагляднее представлять графы диаграммами. Рассмотрим граф G, выбранный случайным образом, с множеством вершин V={v₁, v₂, v₃, v₄} и множество ребер

Х={ { v₁, v₂,}, { v₂, v₃,}, { v₃, v₄,}, { v₄, v₁,}, { v₁, v₃,}}

Его изображение диаграммой дано на рис. 1. На этой диаграмме буквами

v₁ v₂

v₃ v₄

рис. 1 Граф с четырьмя вершинами и пятью ребрами

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

В помеченном графе порядка р вершинам приписываются целые числа от1 до р. Например, граф, изображенный на рис. 1 может быть помечен шестью различными способами, которые указаны на рис 2.

1 4 1 4 1 3 2 4 2 3 3 2

3 2 2 3 2 4 1 3 1 4 1 4

рис. 2 Шесть различных распределений пометок в графе

Возникают два естественных вопроса. Первый: “Сколько существует помеченных графов порядка р?” Второй: “Сколько существует графов порядка р?” Первый мы обсудим сейчас, а на второй будет исследоваться позже.

Мы ответим на первый вопрос, незначительно обобщив задачу следующим образом: Найти число помеченных графов с данным числом вершин и ребер. Пусть G_p(t) – многочлен, у которого коэффициент при t^k равен числу помеченных графов порядка p, имеющих ровно k ребер (G_p(t) - производящая функция для помеченных графов с заданным числом вершин и ребер). Если V – множество из р вершин, то существуетразличных неупорядоченных пар этих вершин. В каждом помеченном графе с множеством вершин V любая пара вершин является либо смежной, либо нет. Следовательно, число помеченных графов с k ребрами равно.

Теорема. Производящая функция G_p(t) для помеченных графов порядка р задается соотношением

G_p(t)== (1+ t)^m, где m= (1)

Так как G_p(t)=(1+ t)^m и число G_p помеченных графов порядка р равно G_p(1), то

G_p=. (2)

Для р=3 существует восемь помеченных графов порядка 3 и только четыре (непомеченных) графа этого порядка. Существует 64 помеченных графов порядка 4 и только 11 графов порядка 4. (Проверьте приведенные данные!).

Возникает вопрос: “Сколькими способами можно пометить данный граф?” Чтобы ответить на этот вопрос, мы должны рассмотреть симметрии, или автоморфизмы, графа:

Взаимно однозначное отображение α множества V(G) на множество V(G₁), сохраняющее смежность, обычно называется изоморфизмом. G=G₁, то α является автоморфизмом графа G. Совокупность всех автоморфизмов графа G, обозначаемая Г(G), образует группу, называемую группой графа G. Таким образом, элементы группы Г(G) являются подстановками (перестановками), действующими на множестве V. Например, граф G, изображенный на рис. 1, имеет в точности четыре автоморфизма, так что Г(G) содержит следующие перестановки, записанные здесь с использованием обычного представления в виде произведения циклов:

(v₁)(v₂)(v₃)(v₄), (v₁)(v₃)(v₂v₄), (v₁ v₃)(v₂)(v₄), (v₁ v₃)(v₂v₄).

Пусть s(G)=│ Г(G)│ - порядок группы Г(G), обозначающий число симметрий графа G. Тогда ответ на задачу распределения пометок, поставленную выше, содержится в следующей теореме.

Теорема. Число способов распределения пометок в данном графе порядка р равно

i(G)=p!/ s(G). (3)

Доказательство этого утверждения будет приведено позже. Для иллюстрации теоремы мы просто заметим, что граф G на рис. 1 имеет p!/ s(G)=4!/ 4=6 распределений пометок и шесть различных помеченных графов на рис. 2.

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

Ориентированный граф, или орграф, D порядка p состоит из конечного непустого множества V=V(D), различных p объектов, называемых верши нами, вместе с заданным множеством X содержащим q упорядоченных пар различных вершин из множества V. Пара x=(u,v), принадлежащая множеству X, называется дугой орграфа D и, говорят, что u смежна к вершине v; вершина u и дуга х являются инцидентными друг другу, так же как вершина v и дуга x. Полустепенью исхода вершины u называется число дуг, для которых вершина u является первой вершиной; полустепенью захода вершины u называется число дуг, для которых вершина u является второй вершиной. Для орграфа также возможно представление в виде диаграммы, которой мы будем обращаться, как с самим орграфом.

В помеченном орграфе порядка р вершинам приписываются целые числа от 1 до р, и группа орграфа D, обозначаемая Г(D), состоит из всех подстановок множества вершин V(D) орграфа D, сохраняющая смежность. Так как число помеченных орграфов порядка р, имеющих в точности k ребер, равно,то получаем следующие результаты:

Теорема. Производящая функция D_p(t) для помеченных орграфов порядка р задается соотношением

D_p(t)== (1+ t)^p(p-1), (4)

Очевидно, что D_p(t)=G_p²(t), так что D_p(1)=2^p(p-1)=G_p²(1)

В круговом турнире заданное множество игроков ведут игру, правилами которой запрещен ничейный исход. Любые два игрока встречаются между собой только один раз, и лишь один из них одержит победу. Следовательно, турнир представляет собой орграф, в котором каждая пара вершин соединяется только одной дугой.

Упражнение. Докажите, что число помеченных турниров порядка р, равно.

Дата добавления: 2014-01-06