Проверка изоморфности графов

Определение

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

Использование

Для проверки двух графов на изоморфность:

1. Необходимо создать 2 отдельных графа для проверки.
2. Выбрать алгоритм Алгоритм → Проверка изоморфности графов.
3. Для проверки двух графов на изоморфность кликните по вершине первого графа, а потом по вершине второго графа.

Для поиска всех изоморфных подграфов в графе:

1. Необходимо создать 2 отдельных графа для проверки.
2. Выбрать алгоритм Алгоритм → Проверка изоморфности графов.
3. Поставить галочку Поиск изоморфных подграфов.
4. Выбрать граф, которому должны быть изоморфны подграфы.
5. Выбрать граф, в котором необходимо искать изоморфные подграфы.
6. В выпадающем списке вы можете выделить разные подграфы.

Алгоритм

Для данного алгоритма вы использовали библиотеку CBioInfCpp, которую разработал Сергей Черноухов.