В этой небольшой заметке я хочу показать, как с помощью алгебры можно решать классическую задачу о раскраске вершин графа. Об этом сюжете я узнал из книги W.W. Adams, P. Loustanau. An Introduction to Groebner Basis (параграф 2.7).
Введение
Для начала обсудим все необходимые понятия. Пусть — это некоторое множество, а
— множество, состоящее из неупорядоченных пар
элементов множества
. Тогда графом называется пара
При этом
называется множеством вершин графа, а
— множеством рёбер графа. Вершины
называются смежными, если они соединены ребром, то есть
.
Рассмотрим граф, состоящий из трех вершин, которые попарно соединены ребрами. Множество вершин такого графа имеет вид , а множество рёбер —
. Все вершины у графа являются смежными. Удобно представить себе этот граф, изобразив его на плоскости.
![](https://habrastorage.org/getpro/habr/upload_files/37b/609/481/37b60948170c0dd1d96cd4aba3c24202.png)
Заметим, что при этом мы смогли нарисовать ребра так, что они не пересекаются вне вершин. Графы, для которых удаётся такое сделать, называются планарными или плоскими. Не всякий граф является планарным. Например, граф с пятью вершинами, у которого каждая пара различных вершин является смежной, не будет планарным.
Пусть — множество из
элементов (множество красок). Тогда раскраской вершин графа
с помощью
красок называется отображение
такое, что для любой пары
смежных вершин графа выполняется условие
. Иными словами, каждой вершине мы однозначно сопоставляем один из
цветов таким образом, чтобы соединенные ребром вершины были покрашены в разные цвета. Для простоты мы будем рассматривать только случай трёх красок (
), хотя используемые методы годятся и для любого
. Наш трехвершинный граф без труда можно раскрасить в три цвета.
![](https://habrastorage.org/getpro/habr/upload_files/513/2dc/a18/5132dca181c6b0431b7cbe094e4c7673.png)
Итак, мы хотим определять по графу, можно ли раскрасить его вершины в три цвета, так чтобы смежные вершины не были раскрашены в один и тот же.
Алгебра приходит на помощь
Пусть парой множестви
задан граф. Основная идея состоит в том, чтобы сопоставить нашему графу систему алгебраических уравнений. В качестве множества красок будем использовать множество
где Это множество состоит из кубических корней из единицы, то есть таких комплексных чисел, которые при возведении их в третью степень дают
(в общем случае нужно рассматривать множество корней
-ой степени). Будем считать, что каждая вершина
является переменной. При раскраске каждая такая переменная
может принять одно из значений
Мы можем выразить этот факт в алгебраической форме следующим образом: при выборе одного из трех указанных значений переменного
должен занулиться многочлен
Таким образом, мы получаем систему из алгебраических уравнений
Однако пока мы никак не учитываем то, что смежные вершины нельзя покрасить в один и тот же цвет. Пусти
являются смежными вершинами, то есть множество
содержит ребро
Тогда в правой части равенства
первый сомножитель не может обращаться в ноль, так как Следовательно должна зануляться вторая скобка. Таким образом, к уже имеющимся
уравнениям мы должны добавить уравнение вида
для каждого ребра. Теперь вопрос о раскраске вершин графа превратился в вопрос о совместности системы алгебраических уравнений, то есть в вопрос о существовании решения у такой системы. Если у системы нет решений, то граф нельзя раскрасить. Если решения существуют, то каждое даёт способ раскраски вершин графа.
Знакомые с коммутативной алгеброй читатели знают, что этот вопрос о совместности системы алгебраическхи уравнений над алгебраически замкнутым полем решается с помощью так называемой слабой теоремы Гильберта о нулях и теории базисов Гребнера. Мы же в следующем пункте воспользуемся встроенной в модуль SciPy функцией решения систем уравнений для реализации разобранного метода на языке Python.
Реализация на Python
В качестве библиотеки, позволяющей работать с графами, будем использовать igraph.
Тестировать наш скрипт будем на следующем графе из восьми вершин. Отметим, что данный граф является планарным, хотя алгоритм Кавады и Каваи не смог уложить его на плоскость без пересечения ребер вне вершин.
![](https://habrastorage.org/getpro/habr/upload_files/8ac/e9a/bf8/8ace9abf8795f389d387927ab369e0f8.png)
from igraph import *
from sympy import solve, symbols
# Зададим количество вершин
NumberOfVertices = 8
# Перечислим все ребра нашего графа
EdgesList = [(0,1), (0,4), (0,5), (1,7), (1,2), (2,3), (2,7), (1,3), (3,4), (3,6), (4,5), (4,6),(5,6), (6,7)]
# Инициализируем граф, обозначив его вершины с помощью символов x1,...x8
TestGraph = Graph()
TestGraph.add_vertices(NumberOfVertices)
TestGraph.add_edges(EdgesList)
x1, x2, x3, x4, x5, x6, x7, x8 = symbols("x1 x2 x3 x4 x5 x6 x7 x8")
TestGraph.vs["name"] = [x1, x2, x3, x4, x5, x6, x7, x8]
TestGraph.vs["label"] = TestGraph.vs["name"]
# Генерируем уравнения для системы, определяющей раскраску
EquationList=[]
for edge in EdgesList:
EquationList.append("x%d^2 + x%d * x%d + x%d^2"%(edge[0]+1,edge[0]+1,edge[1]+1,edge[1]+1))
for vertice in range(NumberOfVertices):
EquationList.append("x%d^3-1"%(vertice+1))
# Сопоставляем кубическим корням из единицы красную, зеленую и синию краски
Roots = solve(x1**3-1)
RootsToColors = {Roots[0]: "red", Roots[1]: "green", Roots[2]: "blue"}
# Непосредственно решаем систему уравнений
Colorings = solve(EquationList, dict=True)
print("The number of colorings is %d."%len(Colorings))
# Если система совместна, то выводим k-ю раскраску.
# Если нет, то делаем вывод о том, что граф нельзя раскрасить в три цвета.
if(Colorings):
# Раскрашиваем вершины графа
k = 0
RawColors = [Colorings[k][vertice] for vertice in TestGraph.vs["name"]]
ColorDictionary = [RootsToColors[color] for color in RawColors]
TestGraph.vs["color"]=ColorDictionary
# Укладываем граф на плоскость и рисуем
Layout = TestGraph.layout_kamada_kawai()
visual_style = {}
visual_style["vertex_size"] = 40
visual_style["bbox"] = (300, 300)
plot(TestGraph, layout=Layout, **visual_style)
else:
print("The graph is non-colorable.")
В результате получаем одну из возможных раскрасок.
![](https://habrastorage.org/getpro/habr/upload_files/6b6/2e1/d99/6b62e1d996f1e53510e8e4712ac425aa.png)
Впрочем раскраску для этого графа нетрудно получить без всякой науки, методом проб и ошибок. Однако добавив к графу ребро, соединяющее вершиныи
, мы приходим к графу, который нельзя раскрасить. В этом случае метод проб и ошибок бессилен.
![](https://habrastorage.org/getpro/habr/upload_files/ff8/d29/f6a/ff8d29f6a0d61306815450326af96f0f.png)