CC BY
93
ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА
2015
Прикладная теория графов
№ 1(27)
УДК 519.171.2 + 519.175
О ПРЕДСТАВЛЕНИИ ГРАФОВ В ВИДЕ ГРУППОИДОВ СПЕЦИАЛЬНОГО ВИДА
М. Н. Назаров
Национальный исследовательский университет «МИЭТ», г. Москва, Россия
Рассмотрен альтернативный способ задания графов путём представления множества вершин графа в виде группоида. Для полученных группоидов описаны конгруэнции, идеалы и подалгебры, а также установлено, когда они являются полугруппами. Дополнительно к этому рассмотрено практическое применение группоидов графов для сжатия данных.
Ключевые слова: алгебраическая теория графов, группоид графа, конгруэнции на графе, идеалы графа, компактное хранение графа.
ON THE REPRESENTATION OF GRAPHS IN THE FORM OF A SPECIAL TYPE OF BINARY ALGEBRA
M.N. Nazarov
National Research University of Electronic Technology, Moscow, Russia
E-mail: [email protected]
An alternative way to define graphs as binary algebras on a set of vertices is considered. For the resulting algebras, we describe congruences, ideals and subalgebras, and obtain criterion for such a graph algebra to be a semigroup. In addition, we consider a practical application of graph algebras for data compression.
Keywords: algebraic graph theory, graph algebra, congruence and ideal on graph, compact .storage of graphs.
Рассмотрим только конечные классические графы, исключая все остальные случаи: ориентированные, кратные, а также графы с петлями и бесконечным числом вершин.
Определение 1. Классическим графом (или просто графом) будем называть пару О = (V, Е), где множество вершин V — любое конечное множество; множество рёбер Е С V х V — бинарное отношение, для которого выполняется:
1) У а, Ь € V ((а, Ь) € Е ^ (Ь, а) € Е) — отношение симметрично;
2) У а € V ((а, а) € Е) —отношение антирефлексивно.
Фактически это означает, что из рассмотрения исключаются рёбра-петли (Ь, Ь), а все остальные рёбра (а,Ь) € Е можно считать неупорядоченными парами.
Определение 2. Пусть О = (V, Е) —произвольный1 граф. Назовём частичным группоидом графа множество (V, •), определив операцию как
1 Данное определение применимо и для графов с петлями, а также для ориентированных.
Введение
а • b = а, если (a, b) Е E, а • b = в, если (a, b) Е E.
Группоиды вида (1) впервые предложены в работе [1] в 1983 г. и впоследствии нашли широкое применение на стыке теории графов и других математических дисциплин, таких, как алгебра [2, 3], теория языков и автоматов [4], топология [5]. Однако у данного определения есть ряд недостатков, которые делают его менее ценным с алгебраической точки зрения; в частности, не представляется возможным связать понятие конгруэнции с нетривиальными свойствами структуры графов. Для преодоления этого недостатка предлагается альтернативное определение группоида для классических графов.
Определение 3. Пусть С = (V, Е) — классический граф. Будем называть множество (V, о) группоидом классического графа, определив операцию как
а о Ь = а, если (а, Ь) Е Е, а о Ь = Ь, если (а, Ь) Е Е.
Замечание 1. Отметим, что по группоиду (V, о), заданному на основе (2), можно восстановить как граф без петель, так и граф, у которого все вершины имеют петли, так как все вершины являются идемпотентами: а о а = а. Поскольку рассматриваются только классические графы, случай с петлями (а, а) Е Е отбрасывается.
1. Общие алгебраические свойства группоидов графов
Напомним, что конгруэнцией на группоиде называется такое отношение эквивалентности р, которое сохраняет операцию: У а, Ь, с ((а, Ь) Е р ^ (ас, Ьс) Е рЛ(са, сЬ) Е р). Классом [а] конгруэнции р называется множество [а] = {а* : (а, а*) Е р}. Понятие конгруэнции определено для произвольной алгебраической системы; в частности, можно его применить для группоидов (V, о). В этом случае конгруэнция р задаёт разбиение множества вершин V графа на классы эквивалентности (пример такого разбиения см. на рис. 1).
а а Ь с 1 е I д н
а 0 1 0 0 0 1 1 1
Ь 1 0 1 0 1 0 0 0
с 0 1 0 1 1 0 0 0
1 0 0 1 0 1 0 0 0
е 0 1 1 1 0 0 0 0
I 1 0 0 0 0 0 0 0
д 1 0 0 0 0 0 0 1
н 1 0 0 0 0 0 1 0
Рис. 1. Пример конгруэнции на группоиде графа с классами {а}, {Ь}, {с, е}, {¿}, {/,д,Н}
Теорема 1. Пусть С = (V, Е) —произвольный классический граф. Тогда для любого элемента с Е V и любого класса [а] произвольной конгруэнции р выполняется одно из трёх условий:
1) с Е [а];
2) (с, а*) Е Е для всех а* Е [а];
3) (с, а*) Е Е для всех а* Е [а].
Доказательство. По определению конгруэнции для любых вершин графа выполняется (а,Ь) Е р ^ (а о с,Ь о с) Е р Л (с о а, с о Ь) Е р. Рассмотрим все варианты значений произведений а о с и Ь о с на группоиде графа и проверим, когда эти значения лежат в одном классе конгруэнции р.
Случай 1: обе пары вершин связаны рёбрами: (а, с) € Е и (Ь,с) € Е .В этом случае а о с = а и Ь о с = Ь, и поскольку (а, Ь) € р, результаты умножения лежат в одном классе без дополнительных ограничений. Если рассмотрим другой элемент d € [а], то, с одной стороны, при d о с = d получим с) € Е без дополнительных условий на р. С другой стороны, в случае d о с = с получаем, что р является конгруэнцией тогда и только тогда, когда (а о с^ о с) = (а, с) € р. Продолжая итерационно процесс для всех элементов класса [а] конгруэнции р, получим, что либо на каком-то шаге с [а], либо для всех а* € [а] выполняется (с, а*) € Е.
Случай 2: (а, с) € Е и (Ь,с) € Е. Тогда а о с = а и Ь о с = с. Как следствие, результаты будут в одном классе конгруэнции, только если (а, с) € р. По определению получаем, что с [а].
Случай 3: (а, с) € Е и (Ь,с) € Е. Этот вариант полностью аналогичен случаю 2, за тем лишь исключением, что необходимо потребовать, чтобы (Ь, с) € р. Пользуясь транзитивностью отношения р, вновь получаем, что с [а].
Случай 4: (а, с) € Е и (Ь,с) € Е. По определению получаем а о с = Ь о с = с, и так как (с, с) р, не требуется дополнительных ограничений для того, чтобы произведения а о с и Ь о с лежали в одном классе конгруэнции. Если рассмотрим другой элемент d € [а], то, с одной стороны, при d о с = с получим ^,с) € Е без дополнительных условий на р. С другой стороны, в случае d о с = d получаем, что р есть конгруэнция тогда и только тогда, когда (а о с^ о с) = (с, д) € р. Продолжая итерационно процесс для всех элементов класса [а] конгруэнции р, получим, что либо на каком-то шаге с € [а], либо для всех а* € [а] имеет место (с, а*) € Е.
Рассмотрев все четыре возможных значения для произведений с о а и с о Ь, получим в точности аналогичный результат. ■
Напомним, что правыми конгруэнциями называются такие отношения эквивалентности р, для которых выполняется Уа,Ь,с ((а,Ь) € р ^ (ас,Ьс) € р), а левыми — такие отношения эквивалентности для которых У а, Ь, с ((а, Ь) € ^ ^ (са, сЬ) € ^).
Следствие 1. На любом группоиде графа все левые конгруэнции являются одновременно правыми, а все правые — левыми.
Доказательство. Результат в доказательстве теоремы 1 получен независимо для случая умножения на с как слева, так и справа. Это означает, что структура классов не зависит от того, является ли конгруэнция правой или левой, а условие теоремы 1 выполняется для обоих типов конгруэнций. ■
Определение 4. Пусть О = (V, Е) — классический граф, а р — конгруэнция на его группоиде. Назовём фактор-графом по р граф О/р = (УР,ЕР), где
1) Vp — множество классов конгруэнции р;
2) ([а], [Ь]) € Ер тогда и только тогда, когда (а,Ь) € Е.
Пример построения фактор-графа для конгруэнции р с классами {а}, {Ь}, {с,е}, {I}, {Н,д, к}, {/} представлен на рис. 2.
Как известно, идеалом на группоиде (О, •) называется такое множество I, для которого любые произведения элементов группоида на элементы идеала лежат в идеале I. Можно по отдельности определить односторонние идеалы:
1) 1ь — левый идеал, если d • г € 1ь для любых d € О и г € 1^;
2) — правый идеал, если г • d € для любых d € О и г € !д.
[f ]
Рис. 2. Пример фактор-графа
Понятия левого и правого идеалов можно, в частности, применить для группоидов графов (V, о). На рис. 3 представлены примеры левых идеалов на и правых идеалов на С2.
Напомним, что компонентой связности графа G = (V, E) называется такое подмножество вершин I С V, что одновременно выполняются следующие два условия:
— любые две вершины u,v Е I можно соединить путём;
— множество I максимально по включению.
Теорема 2. Минимальный по включению левый идеал Il — это компонента связности графа. Любой другой левый идеал является объединением минимальных.
Доказательство. Компонента связности Il является левым идеалом, так как вершины из Il не связаны ни с одной другой вершиной графа G = (V,E), и как следствие V о IL С IL (примеры: ILl, IL2, IL3 на рис. 3). Если допустить, что существует меньший по включению идеал IL С Il, то найдётся вершина u Е Il \ IL, которая связана ребром с некоторой вершиной i из IL .В результате получим противоречие с определением идеала: u о i = u Е IL.
Аналогично доказывается вторая часть теоремы. Если допустить, что произвольный левый идеал Il — это не объединение компонент связности, то в множестве V \ Il найдётся вершина u, которая связана ребром хотя бы с одной вершиной i из предполагаемого идеала IL: u о i = u / IL.w
Определение 5. Пусть дан граф G = (V, E). Подмножество вершин I С V будем называть долей графа G, если для любых i Е I и v Е V \ I верно, что (i, v) Е E.
Теорема 3. Минимальный по включению правый идеал Ir — это доля графа. Любой другой правый идеал является объединением долей графа.
Доказательство. Аналогично доказательству теоремы 2. ■
Теорема 4. Любой произвольный левый Il (правый Ir) идеал на графе является классом некоторой конгруэнции р.
Доказательство. В качестве классов конгруэнции р рассмотрим IL, а остальные классы возьмём одноэлементными. Из теоремы 2 следует, что ни одна вершина
Рис. 3. Примеры левых и правых идеалов на графах
из множества V \ 1ь не связана ребром ни с одной вершиной из идеала 1^. В результате получим корректное разбиение на классы, согласно теореме 1, и определяющее условие конгруэнции будет выполнено. Аналогично доказывается утверждение и для случая правых идеалов !д, за той лишь разницей, что все вершины идеала 1и связаны со всеми вершинами из множества V \ IR. ■
Следствие 2. У произвольного графа О = (У,Е) не может быть левого идеала I = V, который одновременно был бы правым.
Доказательство. Если допустить, что такой идеал I существует, то он одновременно является объединением компонент связности и объединением долей. Это возможно только в случае V \ I = 0. ■
Теорема 5. Группоид графа О является полугруппой тогда и только тогда, когда О — это либо полный граф Кп, либо пустой граф Оп.
Доказательство. Необходимость очевидна, так как для полного графа Кп группоид (V, о) является полугруппой левых нулей, а для Оп — полугруппой правых нулей.
Доказательство достаточности проведём перебором всех вариантов произведений для троек вершин а, Ь, с с проверкой на ассоциативность.
Случай 1: три вершины не связаны ни одним ребром: (а,Ь) € Е, (Ь,с) € Е, (а, с) / Е. Ассоциативность выполняется: а о (Ь о с) = с = (а о Ь) о с.
С л у ч а й 2: три вершины связаны ровно одним ребром: (а, Ь) / Е, (Ь, с) Е, (а, с) / Е. Ассоциативность нарушена, так как а о (Ь о с) = с = Ь = (а о Ь) о с.
С л у ч а й 3: три вершины связаны ровно двумя рёбрами: (а, Ь) Е, (Ь, с) Е, (а, с) / Е. Ассоциативность также нарушена, так как а о (Ь о с) = а = с = (а о Ь) о с.
С л у ч а й 4: три вершины связаны тремя рёбрами: (а, Ь) Е, (Ь, с) Е, (а, с) Е. Ассоциативность выполняется: а о (Ь о с) = а = (а о Ь) о с.
Таким образом, для любых трёх вершин графа для выполнения условия ассоциативности они должны быть либо соединены тремя рёбрами друг с другом, либо не соединены ни одним ребром. Подобное условие верно для всех вершин только в случае, если граф О является полным Кп либо пустым Оп. ■
Класс группоидов классических графов можно задать аксиоматически. Для этого достаточно потребовать выполнения следующих трёх аксиом:
аксиома 1: У а (а2 = а) (идемпотентность);
аксиома 2: У а, Ь (а = Ь ^ аЬ = Ьа) (антикоммутативность);
аксиома 3: У а, Ь (аЬ = а V аЬ = Ь).
Продемонстрируем, что если группоид о) удовлетворяет аксиомам 1-3, то он порождает некоторый граф О3 = (У3, Е3). Для этого нужно гарантировать однозначное восстановление множества рёбер Е3 на основе множества с операцией , о).
Определение 6. Назовём граф О3 = (У3,Е3) порождённым на основе группоида (V,3, о), если его множество рёбер Е3 задано по правилу
Уа ((а, а) / Е,(О)) Л (УЬ = а (а,Ь) € Е,(О) & а о Ь = а).
Достаточно показать, что определение порождённого графа корректно при условии, что группоид V, удовлетворяет аксиомам 1-3. Пусть а о Ь = а, тогда по аксиомам 2 и 3 получим Ь о а = Ь, а ребро будет задано корректно для классического графа: (а, Ь) € Е3 и (Ь, а) € Е3. Аналогично рассматривается случай а о Ь = Ь.
В свою очередь, аксиома 1 позволяет гарантировать, что у итогового графа все вершины не имеют петель в соответствии с замечанием 1 к определению 3.
Напомним, что в теории универсальных алгебр многообразием называется такой класс алгебр, который замкнут относительно взятия подалгебр, фактор-алгебр и прямого произведения алгебр. Под прямым произведением двух группоидов П1 х 02 = = {(й1}й2): й1 Е 01,й2 Е В2} подразумевается группоид, для которого умножение определено покомпонентно для всех его элементов (й1,й2) • (е1,е2) = (й1е1,й2е2) через умножения на и 02. Отметим, что полученный на основе аксиом 1-3 класс объектов не является многообразием, так как он замкнут только относительно подалгебр и фактор-алгебр, а прямое произведение в классическом смысле не определено для графов. Действительно, если допустить, что у некоторых двух графов аЬ = а для а,Ь Е V(О1) и ей = й для сЕ V(О2), то для прямого произведения получим (а, с) • (Ь, й) = (а, й), что является нарушением аксиомы 3.
В теории графов понятие подграфа вводится двумя разными способами. Подграфом в слабом смысле С О называется такой граф, для которого Vs С V и Е3 С Е. Подграфом в сильном смысле называется такой подграф, для которого дополнительно требуется, чтобы Е3 было максимальным по включениям, т. е. содержало бы все рёбра, которые соединяют вершины из V С V в исходном графе О (пример на рис. 4).
а
а а Ь с Л е I
а а а а Л а а
Ь Ь Ь Ь Ь е Ь
с с с с с с с
Л а Л Л Л Л
е е Ь е е е е
I I I с I I I
Н с Л е I
с с с с с
Л Л Л Л Л
е е е е е
I с I I I
Рис. 4. Пример подграфа Н С С в сильном смысле
Теорема 6. Для любого графа О = (V, Е) и любого непустого подмножества вершин Vs С V верно:
1) (V3, о) —подгруппоид исходного группоида (V, о);
2) граф = (Уц, Е3), порождённый о), является подграфом в сильном смысле для О.
Доказательство. Для группоида (V, о) выполняются аксиомы 1-3. Поскольку они определены для всех элементов а,Ь Е V, они также выполняются и на произвольном подмножестве Vs С V. Аксиома 3 гарантирует, что при умножении элементов выйти за пределы V не получится, а значит, V замкнут относительно операции, и как следствие — это подгруппоид для V.
Порождённым графом на основе (Vs, о) по определению 6 является такой граф
= ^¡иЕц), у которого рёбра заданы правилом: (а,Ь) Е Es а о Ь = а. Очевидно, что данный граф является подграфом в сильном смысле графа О, так как он содержит все рёбра, которые соединяют вершины из Vs в исходном графе О. ■
2. Практическое приложение группоидов графов
Наиболее часто для представления графов в памяти компьютера используется матрица смежности для вершин графа. Напомним, что матрицей смежности графа О называется такая булева матрица Апхп, которая индексирована множеством вершин V(О) и для которой А(х,у) = 1 (х,у) Е Е(О). С точки зрения компактного хранения данный способ является сильно избыточным. В первую очередь это связано с тем,
Ь
что матрица смежности любого классического графа симметрична, а на её главной диагонали стоят только нули. Однако даже хранение только верхней части матрицы избыточно, так как хранить в общем случае имеет смысл только реально существующие рёбра (х,у) € Е(О), для которых А(х,у) = 1, а остальные по умолчанию можно считать отсутствующими (А(х,у) = 0). Это подводит нас к рассмотрению первого примера реализации компактного хранения.
Пример 1. Вводим на множестве вершин V(О) любой линейный порядок (V, <), например, перейдя к канонической форме графа Сапоп(О) или любым другим методом [6]. Для компактного хранения в память заносим список рёбер Ет, пользуясь правилом (х,у) € Ет & ((х,у) € Е(О) Л х < у). В результате в память будут занесены все рёбра графа О, и каждое ровно по одному разу.
Отметим, что способ примера 1 не позволяет полностью избавиться от избыточности в хранении графа. В частности, вершина с первым номером будет многократно повторена в записи (х, у\), ..., (х,уи). Более экономично указывать её один раз, а затем перечислять все связанные с ней вершины.
Пример 2. Вводим на множестве вершин графа V(О) (¡V| = п) любую взаимно-однозначную индексацию N : V ^ {1,...,гп}. Для компактного хранения будем последовательно заносить в память двойки (хг, и(хг)) следующего вида:
хг : N (хг) = г, и (хг) = {у : (х,у) € Е (О) ЛУ3<г (у € и (х3))} .
Для дополнительной экономии при хранении графа можно оборвать запись в память на первой паре (хг, и(хг)), для которой и(хг) = 0.
От элементарных примеров сжатия данных для графов перейдём непосредственно к приложению конгруэнций и фактор-графов для компактного хранения графов. Общая идея заключается в том, чтобы вместо самого графа О хранить фактор-граф О/р по максимальной нетривиальной конгруэнции р, а также все нетривиальные (содержащие больше одной вершины) классы [а] конгруэнции р как подграфы О.
Шаг 1: пользуясь результатом теоремы 1, ищем максимальную по включениям конгруэнцию р, исключая тривиальный случай разбиения на один класс [а] = V;
Ш а г 2: определяем, какие из классов состоят более чем из одного элемента;
Ш а г 3: для всех нетривиальных классов [а], определённых на шаге 2, рассматриваем подграфы О\,... ,Ои С О, порождённые группоидами ([а], о);
Ш а г 4: в каждом классе [а] конгруэнции р выбираем произвольного представителя а* € [а];
Шаг 5: вводим новый граф О* /р = (V*, Ер), заменяя в фактор-графе О/р классы вершин [а] на представителей а*, выбранных на шаге 4;
Шаг 6: заменяем исходный граф О полученным набором графов (О* /р, О \,... , О и).
Согласно теореме 1, исходный граф О можно однозначно восстановить на основе (О*/р, О1,... ,Ои). Наличие ребра в О*/р между двумя представителями а* и Ь* разных классов означает, что все элементы из класса [а*] попарно смежны со всеми элементами из класса [Ь*]. Аналогично, если ребра между а* и Ь* нет в О*/р, то классы [а*] и [Ь*] также не связаны друг с другом ни одним ребром. Сжатие данных при этом достигается за счёт удаления из рассмотрения всех «лишних» рёбер, которые связывают элементы различных классов (остаётся лишь один экземпляр такого ребра). Естественно, что положительный результат с точки зрения сжатия достигается лишь в том случае, если для хранения (О* /р, О \,... , О и) использован способ примера 1 или примера 2.
Пример работы алгоритма сжатия представлен на рис. 5. Важно отметить, что в общем случае если исходный граф О связный, то граф О*/р также связный. Однако при этом подграфы О1,... , О и, которые соответствуют нетривиальным классам конгруэнции р, вполне могут получиться несвязными (см. в качестве примера О1 на рис.5).
Замечание 2. Применение алгоритма сжатия для несвязных графов является нецелесообразным. Это связано с тем, что компоненты связности, согласно теоремам 2 и 4, являются классами конгруэнций, так же как и объединение компонент связности.
Предложенный способ описания графов может быть также полезен при решении других задач теории графов. Например, его можно использовать для оптимизации решения задачи о клике. В классической постановке данной задачи необходимо найти внутри произвольного графа G максимальный полный подграф Kn. Согласно теореме 6, группоид для такого подграфа является полугруппой, а значит, можно воспользоваться для его поиска тестами на ассоциативность (тестами Лайта или их вероятностными модификациями [7]). Можно также переформулировать задачу о восстановлении графа по подграфам на языке алгебры, что потенциально может упростить её решение (см. подробнее о задаче восстановления в [8]).
В работе [9] предложен способ задания метрических пространств (D,pR) и (D,pL) на основе бинарной операции на группоиде D. Метрические пространства, которые получены с помощью определения из [9], для рассмотренных в данной работе группоидов графов обладают следующим свойством: если две вершины графа автоморф-ны (x ~ y), то для любой другой вершины z расстояния до x и y совпадают: pR(x,z) = pR(y,z) и pL(x,z) = pL(y,z). В результате по отношению к группоидам графов сформулирована следующая гипотеза.
Гипотеза 1. Если применить к группоидам графов алгоритм поиска метрики, изложенный в работе [9], то две вершины графа автоморфны тогда и только тогда, когда для любой вершины z выполняется pR(x,z) = pR(y, z) Л pL(x,z) = pL(y,z).
ЛИТЕРАТУРА
1. McNultyG.F. and ShallonC.R. Inherently nonfinitely based finite algebras // Universal algebra and lattice theory. Lecture Notes in Math. 1983. V. 1004. P. 206-231.
2. Lee S. M. Simple graph algebras and simple rings // Southeast Asian Bull. Math. 1991. V. 15. P. 117-121.
3. Oates-Williams S. On the variety generated by Murskii's algebra // Algebra Universalis. 1984. V. 18(2). P. 175-177.
Рис. 5. Пример использования алгоритма сжатия графов
Заключение
4. Kelarev A.V., Miller M., and Sokratova O. V. Languages recognized by two-sided automata of graphs // Proc. Estonian Acad. Sci. 2005. V. 54(1). P. 46-54.
5. Trent Y. Groupoid models for the C *-algebras of topological higher-rank graphs //J. Operator Theory. 2006. No. 4. P. 95-120.
6. Назаров М. Н. Альтернативные подходы к описанию классов изоморфных графов // Прикладная дискретная математика. 2014. №3. С. 86-97.
7. Rajagopalan S. and Schulman L. J. Verification of identities // SIAM J. Comput. 2000. V. 29. P. 1155-1163.
8. Harary F. A survey of the reconstruction conjecture // Graphs and Combinatorics. Lecture Notes in Math. 1974. V. 406. P. 18-28.
9. Назаров М. Н. Собственная метрика на группоидах и её приложение к анализу межклеточных взаимодействий в биологии // Фундамент. и прикл. матем. 2013. №3. С. 149-160.
REFERENCES
1. McNulty G. F. and Shallon C. R. Inherently nonfinitely based finite algebras. Universal algebra and lattice theory. Lecture Notes in Math., 1983, vol. 1004, pp. 206-231.
2. Lee S. M. Simple graph algebras and simple rings. Southeast Asian Bull. Math., 1991, vol. 15, pp.117-121.
3. Oates-Williams S. On the variety generated by Murskii's algebra. Algebra Universalis, 1984, vol. 18(2), pp. 175-177.
4. Kelarev A. V., Miller M., and Sokratova O. V. Languages recognized by two-sided automata of graphs. Proc. Estonian Acad. Sci., 2005, vol. 54(1), pp. 46-54.
5. Trent Y. Groupoid models for the C*-algebras of topological higher-rank graphs. J. Operator Theory, 2006, no. 4, pp. 95-120.
6. Nazarov M. N. Al'ternativnye podhody k opisaniju klassov izomorfnyh grafov. Prikladnaya Diskretnaya Matematika, 2014, no. 3, pp. 86-97. (in Russian)
7. Rajagopalan S. and Schulman L. J. Verification of identities. SIAM J. Comput., 2000, vol.29, pp.1155-1163.
8. Harary F. A survey of the reconstruction conjecture. Graphs and Combinatorics. Lecture Notes in Math., 1974, vol.406, pp. 18-28.
9. Nazarov M. N. Sobstvennaja metrika na gruppoidah i ejo prilozhenie k analizu mezhkletochnyh vzaimodejstvij v biologii. Fundament. i Prikl. Matem., 2013, no. 3, pp. 149-160. (in Russian)
