Лабораторная работа 4: Лабораторная работа №4 - Задачи различения структур и методы их решения с помощью ПСУН «СТРИН» вариант 24

Цель работы:
1. Усвоить понятия, связанные с решением трёх видов задач различения структур (изоморфизм пары структур, изоморфное вложение одной структуры в другую как порождённой подструктуры).
2. Изучить формулировки задач различения структур каждого вида.
3. Овладеть компьютерными методами решения задач различения структур.
Отчёт:
Две структуры изоморфны, если они отличаются только нумерацией вершин.
Отношение изоморфизма структур – это естественное отношение их эквивалентности.
Если две вершины одной структуры не соединены ребром, то они отображаются в несмежные вершины, аналогично и соединённые ребром.
Степенью вершины называется число вершин, смежных с ней.
Задача распознавания изоморфного вложения пары структур заключается в распознавании изоморфизма одной структуры фрагменту дугой.
Порождённую подструктуру можно получить из структуры, удалив из неё несколько вершин.
Подструктуру можно получить, удалив из структуры несколько вершин, а затем несколько рёбер (или 0 рёбер, в качестве частного случая).
Исходные структуры:
G1: 12 вершин, 18 рёбер.