МИНИМАЛЬНЫЕ РАСШИРЕНИЯ ЦВЕТНЫХ ЗВЕЗДНЫХ ГРАФОВ Текст научной статьи по специальности «Математика»

Минимальные расширения цветных звездных графов

Михаил Б. Абросимов, Петр В. Разумовский

Аннотация—Данная работа является продолжением исследований по построению минимальных вершинных и реберных расширений для цветных неориентированных графов и содержит результаты по поиску минимальных расширений для цветных звездных графов. Граф О называется вершинным (реберным) ^-расширением графа б, если после удаления любых к вершин (ребер) из графа О в получившийся граф можно вложить исходный граф О. Вершинное расширение графа О называется минимальным, если оно содержит минимально возможное число дополнительных вершин и ребер. Реберное расширение графа О называется минимальным, если оно содержит столько же вершин, сколько и граф О, и минимально возможное число дополнительных ребер. В большинстве работ в основном изучаются минимальные расширения графов без цветов. Если рассматриваются цветные графы, то вложение подразумевается с учетом цветов. Звездным графом или звездой называется полный двудольный граф, с единственной вершиной в одной доле. Ранее задача построения минимальных вершинных и реберных расширений была решена для обычных звезд. В данной статье дается полное решение для цветных звезд. Для всех возможных минимальных реберных и вершинных расширений графов данного класса представлены соответствующие схемы построения расширений с доказательствами. Также указывается количество дополнительных ребер, необходимых для удовлетворения требованиям минимальности расширения.

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

I. Введение

Отказоустойчивость является одним из наиболее важных свойств при построении гарантоспособной технической системы. Весомым вкладом в развитие идеи отказоустойчивости систем стало ее переложение на модель графов, предложенное Дж. Хейзом [1]. Исследуя задачу полного отказа элемента, при котором элемент полностью удаляется из системы, Хейзу удалось привести систему, состоящую из различных

Статья получена 1 октября 2021.

М. Б. Абросимов, д.ф.-м.н., зав. кафедрой, ФГБОУ ВО «Саратовский национальный исследовательский государственный университет имени Н.Г. Чернышевского», Саратов, Россия (e-mail: mic@rambler.ru).

П. В. Разумовский, аспирант, ФГБОУ ВО «Саратовский национальный исследовательский государственный университет имени Н.Г. Чернышевского», Саратов, Россия (e-mail: shprotby@gmail.com).

Работа выполнена при поддержке Минобрнауки России в рамках выполнения государственного задания (проект № FSRR-2020-0006)

элементов к графу с вершинами, где полный отказ трактовался как удаление вершины из графа. Им были предложены методы построения -отказоустойчивой реализации, при которой система способна продолжать работу в случае отказа к элементов.

В 90-х годах известный американский математик Фрэнк Харари совместно с Джоном Хейзом обобщили модель на случай отказов связей между элементами, предложив понятие реберной отказоустойчивости [2]. Позднее было предложено использовать термины «вершинное расширение графа» и «реберное расширение графа» соответственно [3].

Отдельной задачей является построение неизоморфных цветных графов и их расширений. Решение подобной задачи позволит конструировать отказоустойчивые технические системы с комбинацией элементов различных типов. Первыми результатами исследования заданной проблемы стали алгоритмы построения всех неизоморфных цветных графов заданного количества вершин, ребер и цветов [4].

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

Данная работа содержит схемы построения минимальных вершинных и реберных расширений для цветных звездных графов всех возможных конфигураций. Заметим, что для простых неориентированных графов задача полностью решена в работах [6, 7], а для ориентированных графов - в работах [8, 9].

II. Определения и обозначения Приведем основные определения и обозначения, которые будут использоваться в настоящей работе. Основные понятия теории графов даны в соответствии с [10]. Определения минимальных расширений графов даны в соответствии с [3].

Определение 1. Граф 5 = (V, а), где |7| = п, \ а\ = т называется звездой, или звездным графом, когда:

1) 5 - это полный двудольный граф ;

2) 5 - это дерево с одной корневой вершиной и п — 1 листьями.

В дальнейшем корневую вершину будем называть центром звезды и обозначать как с, с Е V.

Также звезду можно представить с помощью операции соединения графов как К1 + Оп, где К1 - полный граф с одной вершиной, а Оп - вполне-несвязный граф с п вершинами.

Определение 2. Пусть С = (V,а) - граф, а ¡ЕМ. Функция вида V ^ {1,..., I] называется вершинной ¿-раскраской графа С, а [(у), V Е V - цветом вершины V. При этом граф называется графом с цветными вершинами, или цветным графом. Для таких графов вводится следующее обозначение: С = (V, а, /).

Введем несколько дополнительных обозначений. Пусть множество цветов будет обозначаться как F = {1,..., ¿}. Тогда цвет будет иметь обозначение [1 Е Множество У;. = {у\ V Е V,/(р) = /\] - набор вершин цвета ^\. Множество Ш = Е содержит

все множества наборов вершин по цветам. Ш1 = \ Е \ Vfl\ = 1} - множества вершин с цветами, встречающимися в графе только единожды. Тогда Ш2 = {Уг.\ Уг. Е Ш, \УГ.\ > 1} содержит множества вершин с неуникальными цветами, то есть встречающимися два и более раз в графе. Также будет полезно ввести специальное множество Ус = {р\р Е V,[(р) = [(с)] - множество вершин, цвет которых совпадает с цветом центральной вершины.

Определение 3. Граф в* = (V*, а*,/*) называется вершинным &-расширением (где к Е М) ¿-цветного графа С = (V, а, /), если граф С вкладывается с учетом цветов в каждый граф, получающийся из С* удалением любых его к вершин.

Определение 4. Граф в* = (V*, а*,/*) называется минимальным вершинным &-расширением (где к Е М) ¿-цветного графа С = (V, а, /), если выполняются следующие условия:

1) граф С* является вершинным &-расширением цветного графа С;

2) граф в* содержит |7| + 1к вершин, то есть \7*\ = \У\ + 1к;

3) а* содержит минимальную мощность среди всех графов, удовлетворяющих условиям 1) и 2).

Аналогичные определения вводятся для реберного и минимального реберного расширения цветного графа с оговоркой, что минимальное реберное расширение имеет такую же мощность множества вершин, что и исходный граф, то есть |7*| = |7|.

Для удобства термин «минимальное вершинное к-расширение» будем сокращать до МВ-№, а «минимальное реберное ^-расширение» до МР-№ соответственно.

Приведем теорему из работы [3] для простых звезд. Данная теорема сыграет ключевую роль в построении минимальных реберных расширений для цветных звезд.

Теорема 1. При к < п/2 граф К1+2п + Оп-2к является единственным с точностью до изоморфизма минимальным реберным &-расширением звездного графа К1 + Оп. При к > п/2 звезда К1 + Оп не имеет минимальных реберных &-расширений.

III. МИНИМАЛЬНЫЕ РЕБЕРНЫЕ РАСШИРЕНИЯ ЦВЕТНЫХ ЗВЕЗД

Рассмотрим различные конфигурации неизоморфных цветных звезд и возможность построения МР-№ для них. Достаточно очевидно, что цветные звездные графы с определенной мощностью Vc не имеют реберных расширений.

Теорема 1. Любой цветной звездный граф S = (V, а, f), у которого \Vc \<1 + 2k, не имеет минимального реберного fc-расширения.

Доказательство. Очевидно, при удалении (отказе) к ребер графа не найдется достаточного количества дополнительных ребер, способных заменить ребра исходного графа. Соответственно, невозможно вписать исходный граф в граф, получающийся удалением к ребер из 5*.

Допустим, граф имеет \Vc\ = 4, и необходимо найти МР-2Р. Исходный граф S имеет суммарно 3 ребра между всеми вершинами цвета f(c). Максимальное количество ребер между всеми вершинами цвета f(c) будет равно:

\Vc\(Wc\ - 1) 4(4 - 1)

-2-= =

При построении полного подграфа из вершин цвета f(c) каждая вершина цвета f(c) соединена с тремя другими вершинами того же цвета. Соответственно, при удалении 2 ребер таким образом, чтобы степень каждой вершины цвета f(c) уменьшилась на единицу, количество смежных вершин цвета f(c) для каждой вершины того же цвета уменьшается до двух, что делает невозможным вложить исходный граф в полученный. ■

Исходя из теоремы 1, для графов с \Vc\ < 3 не существует МР-1Р, для \Vc\ < 5 не существует МР-2Р, для \ Vc \ < 7 не существует МР-3Р и так далее.

Теорема 2. Пусть существует звезда S = (V, а,f), у которой \Vc\ > 2к + 1, где общее число вершин \7\ =

Минимальным реберным &-расширением такого графа 5 будет являться цветной граф с общим количеством ребер равным:

(п — к)(2к + 1).

Схема построения данного МР-№ заключается в том, чтобы построить 2к дополнительных центров из вершин V ЕУС, V Ф с. Пример МР-1Р, построенного по данной схеме для графа с рисунка 1, представлен на рисунке 2.

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

Допустим, необходимо найти МР-1Р для звезды с пятью вершинами, т.е. к = 1,\У\ = 5,\а\ = 4 . Строим дополнительный центр из р Е Ус, р Ф с. В получившемся графе теперь два центра: сир. Однако несложно заметить, что в данном графе есть ребро (р, с), удаление которого приведет к графу, в который невозможно вписать исходный граф. Чтобы удовлетворить условиям реберного расширения, необходимо добавить дополнительное ребро, дублирующее (р, с). Единственный возможный вариант добавления данного ребра с учетом соблюдения условий реберного расширения является создание еще одного центра из еще одной вершины и ЕУС, и Ф с, и Ф р. Таким образом, при удалении ребра (р, с) его заменяет ребро (и, с) и наоборот. Для выполнения условия вершинного расширения об удалении любых к ребер в графе, необходимо построить 2к ребер, поскольку при удалении к — 1 ребер между 2(к — 1) дополнительным центром, а также при удалении 1 ребра между исходным центром и оставшимся дополнительным нарушается условие цветной вложенности. ■

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

IV. МИНИМАЛЬНЫЕ ВЕРШИННЫЕ РАСШИРЕНИЯ ЦВЕТНЫХ ЗВЕЗД

Теперь перейдем к МВ-№ для цветных звездных графов. В данном задаче существует две конфигурации звезд - \УС\ = 1 и \УС\ > 1. Случай, когда вершина с обладает цветом, не встречающимся более нигде в графе, может быть разбита на несколько подзадач:

1) \Ш1\>1,^2\ = 0 - ни один цвет в графе не встречается дважды;

2) \Ш1 \ = 1,\Ш2\ > 1 - все цвета, кроме [(с) встречаются в графе как минимум дважды;

3) \Ш1 \ > 1, \Ш2 \ > 1 - граф содержит как вершины с уникальными цветами, так и вершины, цвет которых встречается в графе более одного раза.

В соответствии с данными случаями найдем схему

построения минимальных вершинных ^-расширений цветной звезды.

Теорема 3. Для любой звезды 5 = (У,а,/), \7\ = п и И = ¿, где \УС\ = 1,\Ш1\>1,\Ш2\ = 0 (пример которой представлен на рисунке 3), найдется минимальное вершинное &-расширение, содержащее

т1\ — 1)к

дополнительных ребер.

Рисунок 3 - пример цветного 3-вершинного звездного графа.

Схема построения МВ-№ заключается в том, что из Iк дополнительных вершин строится к исходных графов.

Пример минимального вершинного расширения для графа, изображенного на рисунке 3, представлен на рисунке 4.

^Ш- - - ч 1---Ч ^Ш- - - ч - - - ч

Рисунок 4 - МВ-2Р для заданного примера графа. Пунктирными линиями обозначены дополнительные вершины и ребра.

Доказательство. Рассмотрим случай МВ-1Р, то есть к = 1. При удалении центральной вершины граф превращается в (п — 1) изолированную вершину различных цветов. Ему достаточно провести (п — 1) ребро из дополнительной вершины [(с) цвета к вершинам отличного от [(с) цвета, чтобы иметь возможность вложить в него исходный граф.

При удалении какой-либо вершины, отличной от с, для вложения исходного графа достаточно провести ребро из дополнительной вершины того же цвета в вершину цвета [(с), соединенную с вершинами всех остальных цветов.

Исходя из полученных данных, общее количество ребер получается (п — 1) для дополнительной вершины [(с) цвета и (п — 1) ребер для вершин отличного от с цвета к вершинам [(с) цвета. Очевидно, что ребра из вершин [(с) цвета и ребра в вершины [(с) цвета - это одни и те же ребра. Таким образом, общее необходимое количество дополнительных ребер будет равно п — 1. А, поскольку \Ш1\ = = \7\, то получаем

— 1.

Аналогичные рассуждения приводятся для к = 2,3,...

Таким образом, общее количество дополнительных ребер для МВ-№ будет равно (\Ш1\ — 1)к. ■

Теорема 4. Для любой звезды 5 = (У, а, /), где \УС \ = 1, \Ш1\ = 1, Ш2 = [Ш02}, \Ш2\ = 1 (пример представлен на рисунке 5), найдется минимальное

вершинное fc-расширение, содержащее k(\W2\ + к) дополнительных ребер.

МВ-№ для заданного примера представлен на

рисунке 6.

Схема построения заключается в том, что из всех дополнительных вершин [(с) цвета проводятся ребра во все исходные и дополнительные вершины цвета .

Доказательство. Пусть цвет вершины из обозначается как

При удалении вершины с теряются ^^ \ ребер. Соответственно, для удовлетворения условиям вершинного расширения необходимо добавить ^^ ребро между вершиной [(с) цвета и вершинами цвета /1.

При удалении вершины с цветом /1, количество ребер между вершинами данного цвета и вершинами цвета [(с) уменьшается на 1. Поэтому необходимо добавить 1 дополнительное ребро.

Теперь рассмотрим случаи к >1. Здесь может произойти несколько сценариев:

1) удалено к вершин цвета [(с);

2) удалено к вершин цвета /1;

3) удалено к вершин, часть которых имеет цвет [(с), а остальная - цвет .

В первом случае необходимо создать дополнительный центр из вершины цвета [(с), при этом количество дополнительных ребер будет равно \У^ \ = \№02\. Поскольку условие вершинного расширения предполагает, что могут быть удалены любые вершины, то количество дополнительных центров должно быть равно к, то есть из каждой дополнительной вершины

цвета [(с) необходимо построить дополнительный центр: к\Шо\.

Во втором случае необходимо провести к ребер в к дополнительных вершины цвета ^ из центра, содержащего \ — к ребер в вершины цвета

Третий случай выполняется в случае, если решение первого случая дополнить решением второго случая, то есть из к дополнительных центров цвета [(с) провести по к ребер в к дополнительные вершины цвета Д. При этом количество дополнительных ребер из вершин цвета [(с) в вершины ^ будет равно к ■ к.

Таким образом, общее количество дополнительных ребер будет равно к\Ш2\ + к ■к = к(\Ш§\ + к). я

Следствие 1. Для любой звезды 5 = (V, а, /), у которой \УС \ = 1, \Ш1\ = 1, Ш2 = {Ш?, Ш22, Ш3*,..., Щ2'-], \Ш2\ > 1, найдется минимальное вершинное к-расширение с количеством дополнительных ребер, равным:

М

к^№\ +к)

1=1

Теорема 5. Для любой звезды 5 = (V, а, [) с условиями \УС\ = 1, \Ш1 \ > 1, \М2\ > 1 найдется минимальное вершинное &-расширение с количеством дополнительных вершин, равным:

М

к^(\Щ2\ + к) + к(\Ш1\ — 1)

1=1

Пример подобного графа представлен на риунке 7.

При этом схема построения МВ-№ будет следующей:

1) Для вершин, входящих в множество Ш1, используем схему из теоремы 3. Соответственно, количество ребер будет равным (\№1\ — 1)к.

2) Для вершин из множеств, входящих в множество Ш2, используем схему из теоремы 4 (и ее следствия).

Количество ребер будет равным к \( \ \ + к).

Рисунок 7 - Пример цветного звездного графа, удовлетворяющего

условиям теоремы. Пример МВ-№ по данной схеме представлен на рисунке 8.

1) Для вершин из Ус строится МВ-№ по теореме 6.

2) Для вершин из Ш1 и Ш2\[УС} строится МВ-№ по следствию из теоремы 5.

Пример цветного звездного графа, удовлетворяющего условиям, представлен на рисунке 9.

Рисунок 8 - МВ-1Р, построенный по заданной схеме для графа из рисунка 7.

Следствие 1. Схема построения и количество дополнительных ребер корректны для любых цветных звездных графов, в которых выполняется условие \УС\ = 1, \Ш1\ > 1, \Ж2\ > 0.

Наконец, перейдем к цветным звездным графам с \УС\ > 1. В работе М. Б. Абросимова [3] были рассмотрены минимальные вершинные ^-расширения звездных графов 5 = (У, а) без введенной функции раскраски. Также, в данной работе были найдены единственные с точностью до изоморфизма минимальные вершинные &-расширения данных графов.

М. Б. Абросимов доказал следующую теорему.

Теорема 6. Для звездного графа с количеством вершин, отличных от с, общее количество которых равно п, справедливы следующие утверждения:

1) При нечетном п и любом к Е И звездный граф имеет единственное с точностью до изоморфизма МВ-№, равное Кк + 5, где Кк - полный ^-вершинный граф, а плюс - операция соединения. Подобные расширения называются тривиальными &-расширениями графа.

2) При четном п и четном к число МВ-№ в точности равно числу неизоморфных минимальных вершинных (к — 1)-расширений данного графа, причем каждое из МВ-№ есть тривиальное 1-расширение соответствующего минимального вершинного (к — 1)-расширения.

3) При четном п и нечетном к выделяются три случая:

Рисунок 9 - Пример звезды, удовлетворяющей условиям теоремы 7.

МВ-№ для данного графа представлен на рисунке 10.

Таким образом, теоремы 3-7 предлагают схемы построения минимальных вершинных расширений для цветных неориентированных звезд всех возможных конфигураций.

Q

СЪ-ЧЭА

JC----6-

' - - -

a)

b)

c)

При к < п2 — 2п звезда имеет единственное с точностью до изоморфизма МВ-кР -тривиальное к-расширение;

При к = п2 — 2п звезда имеет два с точностью до изоморфизма МВ-кР: тривиальное к-расширение и кп+к+1/п+к+1.

При к = п2 — 2п звезда имеет единственное МВ-кР - граф Пп+к+1,п+к+1.

называется регулярным графом порядка р - это граф, в котором все степени вершин равны р.

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

\УС\ > 1.

Теорема 7. Для любого цветного звездного графа, где \УС\ > 1, \Ш1\ > 1, \Ш2\ > 0, найдется минимальное вершинное ^-расширение, которое строится по схеме:

Рисунок 10 - минимальное вершинное 2-расширение для представленного графа.

V. Заключение

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

Библиография

[1] Hayes J. P. A graph model for fault-tolerant computing system // IEEE Trans. Comput. - 1976. - Vol. C-25, no. 9. - P. 875-884.

[2] Harary F., Hayes J. P. Edge fault tolerance in graphs. - Networks. -1993. - Vol. 23. - P. 135-142.

[3] Абросимов М. Б. Графовые модели отказоустойчивости. -Саратов: Изд-во Сарат. ун-та, 2012.

[4] Разумовский П. В., Абросимов М. Б. Построение цветных графов без проверки на изоморфизм // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. - 2021. - Т. 21, № 2. - С. 267-277.

[5] Razumovsky P. V. The search for minimal edge 1-extension of an undirected colored graph // Izvestiya of Saratov University. New Series. Series: Mathematics. Mechanics. Informatics. - 2021. - Vol. 21, no. 3. - P. 400-407.

[6] Абросимов М. Б. Минимальные k-расширения предполных графов // Известия ВУЗов: Математика. - 2003. - № 6 (493) С. 3-11.

[7] Абросимов М.Б. Минимальные реберные расширения некоторых предполных графов // Прикладная дискретная математика. - 2010. - №1. - С. 105-117.

[8] Абросимов М.Б. Минимальные реберные расширения направленных и ориентированных звезд // Прикладная дискретная математика. - 2011. - № 2. С.77-89.

[9] Абросимов М. Б. Минимальные вершинные расширения направленных звезд // Дискрет. матем. - 2011. № 23:2. С. 93-102.

[10] Богомолов А. М., Салий В. Н. Алгебраические основы теории дискретных систем. - М.: Наука, 1997.

The minimal extensions for a colored star

graphs

Mikhail B. Abrosimov, Peter V. Razumovsky

Annotation —The article describes the results of the search for a minimal vertex and edge extensions of an undirected colored star graphs. This search is a part of the minimal extensions of a colored graphs problem research. A graph G is called a vertex (edge) k-extension of a graph G if, after removing any k vertices (edges) from the graph G, the resulting graph contains the original graph G. A vertex extension of a graph G is called minimal if it contains the minimum possible number of additional vertices and edges. An edge extension of a graph G is called minimal if it contains the same number of vertices as the graph G and the minimum possible number of additional edges. Most of the papers mainly deal with minimal extensions of graphs without colors. If colored graphs are considered, then the embedding is meant taking into account the colors. A star graph or star is a complete bipartite graph with a single vertex in one part. Earlier, the problem of constructing minimal vertex and edge extensions was solved for ordinary stars. This article provides a complete solution for colored stars. For all possible minimal edge and vertex extensions of a given class of graphs, corresponding schemes for constructing extensions with proofs are presented. The number of additional edges required to meet the minimum extension requirement is also provided.

Key words —graph vertex extensions, star graphs, minimal extensions, colored graph extensions, graph edge extensions, colored graphs, fault tolerance.

REFERENCES

[1] J. P. Hayes, A graph model for fault-tolerant computing system, IEEE Trans. Comput, vol. C-25, no. 9, pp. 875-884, 1976.

[2] F. Harary, J. P. Hayes, "Edge fault tolerance in graphs", Networks, vol. 23, pp. 135-142, 1993.

[3] M. B. Abrosimov, Fault Tolerance Graph Models. Saratov: Izdatel'stvo Saratovskogo universiteta, 2012 (In Russian).

[4] P. V. Razumovsky, M. B. Abrosimov, Generation of colored graphs with isomorphism rejection, Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2021, vol. 21, iss. 2, pp. 267277 (In Russian).

[5] P. V. Razumovsky, The search for minimal edge 1-extension of an undirected colored graph, Izvestiya of Saratov University. New Series. Series: Mathematics. Mechanics. Informatics, vol. 21, no. 3, pp. 400-407, 2021.

[6] M. B. Abrosimov, Minimal k-extensions of precomplete graphs // Izvestiya VUZov: Matematika, 2003, № 6(493), pp. 3-11 (In Russian).

[7] M. B. Abrosimov, Minimal edge extensions of some precomplete graphs // Applied discrete mathematics, 2010, №1, pp. 105-117 (In Russian).

[8] M. B. Abrosimov, Minimum edge extensions of directed and oriented stars // Applied discrete mathematics, 2011, N° 2, pp.77-89 (In Russian).

[9] M. B. Abrosimov, Minimum vertex extensions of directed stars // Discrete mathematics, 2011, № 23:2, pp. 93-102 (In Russian).

[10] A. M. Bogomolov, V. N. Salii, Algebraic foundations of the theory of discrete systems. M.: Nauka, 1997 (In Russian).