Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
Нахождение гамильтонова цикла
Рисунок 8.2. Граф G(X, U) и его матрица соединений Включаем в S начальную вершину S={x1}. Первая " возможная" вершина х2 Гх1, S={x1, х2} и т.д. до вершины х7: S={x1, х2, х3, х4, х5, х6, х7}. Ребра (х7, х1) нет. Найдена гамильтонова цепь. Прибегнем к возвращению. Удалим из S вершину х7. S={x1, х2, х3, х4, х5, х6}. У х6 больше нет " возможных" вершин. Удалим и ее. S={x1, х2, х3, х4, х5}. У х5 больше нет " возможных" вершин. Удалим ее. S={x1, х2, х3, х4}. Следующая " возможная" вершина х6. S={x1, х2, х3, х4, х6}. Следующая " возможная" вершина х5. S={x1, х2, х3, х4, х6, х5}. У х5 больше нет " возможных" вершин. Удалим ее. S={x1, х2, х3, х4, х6}. Следующая " возможная" вершина х7. S={x1, х2, х3, х4, х6, х7}. У х7 больше нет " возможных" вершин. Удалим из S вершину х7. S={x1, х2, х3, х4, х6}. У х6 больше нет " возможных" вершин. Удалим ее. S={x1, х2, х3, х4}. Следующая " возможная" вершина х7. S={x1, х2, х3, х4, х7}. Следующая " возможная" вершина х6. S={x1, х2, х3, х4, х7, х6}. Следующая " возможная" вершина х5. S={x1, х2, х3, х4, х7, х6, х5}. Ребра (х5, х1) нет. Найдена гамильтонова цепь. Удаляем вершины х4, х7, х6, х5. S={x1, х2, х3}. И т.д., пока последней не окажется вершина х4, которая образует цикл с вершиной х1. Гамильтонов цикл будет S={x1, х2, х3, х5, х6, х7, х4}. На рис. 8.3 показан полученный гамильтонов цикл.
Рисунок 8.3. Гамильтонов цикл графа G(X, U) 8.2.2. Построение графа пересечений G' Перенумеруем вершины графа таким образом, чтобы ребра гамильтонова цикла были внешними.
Тогда граф G (X, U) будет выглядеть так (рис. 8.4.)
Рисунок 8.4. Граф G(X, U) с перенумерованными вершинами и его матрица соединений Определим p26, для чего в матрице R выделим подматрицу R26. Ребро (х2х6) пересекается с ребром (х1х3). Строим граф пересечений G'
Определим p24, для чего в матрице R выделим подматрицу R24. Ребро (х2х4) пересекается с ребром (х1х3). p2=2. Продолжаем строить граф пересечений G'.
После обработки остальных ребер получим граф пересечений G' (рис. 8.5).
Рисунок 8.5. Граф пересечений G’ и его матрица соединений 8.2.3. Построение семейства Ψ G '
В первой строке матрицы R(G') находим номера нулевых элементов. Составляем список J(j) = {4, 5, 6, 7, 8}. Для первого нулевого элемента составляем дизъюнкцию M14= r1 Ú r4={11110000}. В строке M14 находим номера нулевых элементов. Составляем список J’(j’) = {5, 6, 7, 8}. Записываем дизъюнкцию M145= M14 Ú r5= {11111011}. В строке M145 находим m6=0. Записываем дизъюнкцию M1456= M145 Ú r6= {11111111}. В строке M1456 все «1». Построено ψ 1={u13, u37, u36, u35}. Из списка J’(j’) выбираем следующий элемент. Записываем дизъюнкцию M146= M14 Ú r6= {11110110}. В строке M146 находим m8=0. Записываем дизъюнкцию M1468= M146 Ú r8= {11111111}. В строке M1468 все «1». Построено ψ 2={u13, u37, u35, u57}. Из списка J’(j’) выбираем следующий элемент. Записываем дизъюнкцию M147= M14 Ú r7= {11111110}. И, наконец, M1478= M147 Ú r8= {11111111}. В строке M1478 все «1». Построено ψ 3={u13, u37, u47, u57}. Из списка J’(j’) выбираем следующий элемент. Записываем дизъюнкцию M148= M14 Ú r8= {11110001}. В строке остались не закрытые «0». Из списка J(j) выбираем следующий нулевой элемент r5. Составляем дизъюнкцию M15= r1 Ú r5={11101011}. В строке M15 находим нулевой элемент – m6=0. Записываем дизъюнкцию M156= M15 Ú r6= {11101111}. В строке остался не закрытый «0». Понятно, что «0» в четвертой позиции элементами с номерами j > 4 закрыть не удастся. Во второй строке ищем первый нулевой элемент – r23. Составляем дизъюнкцию M23= r2 Ú r3= {11111111}. В строке M23 все «1». Построено ψ 4={u26, u24}. Во второй строке ищем следующий нулевой элемент – r25. Составляем дизъюнкцию M25= r2 Ú r5= {11111011}. И, наконец, M256= M25 Ú r6= {11111111}. Построено ψ 5={u26, u36, u35}. Во второй строке ищем следующий нулевой элемент – r26. Составляем дизъюнкцию M26= r2 Ú r6= {11110111}. В строке остался не закрытый «0». В третьей строке ищем первый нулевой элемент – r7. Составляем дизъюнкцию M37= r3 Ú r7= {11111110}. И, наконец, M378= M37 v r8= {11111111}. Построено ψ 6={u24, u47, u57}. В третьей строке ищем следующий нулевой элемент – r38. Составляем дизъюнкцию M38= r3 Ú r8= {1111101}. В строке остался не закрытый «0». Из матрицы R(G') видно, что строки с номерами j > 3 «0» в первой позиции закрыть не смогут. Семейство максимальных внутренне устойчивых множеств Ψ G' построено. Это ψ 1 ={u13, u37, u36, u35}; ψ 2 ={u13, u37, u35, u57}; ψ 3 ={u13, u37, u47, u57}; ψ 4 ={u26, u24}; ψ 5 ={u26, u36, u35}; ψ 6 ={u24, u47, u57}. Для каждой пары множеств вычислим значение критерия α γ δ =׀ ψ γ ׀ + ׀ ψ δ ׀ - ׀ ψ γ ∩ ψ δ ׀ . Результаты вычислений запишем в матрицу Α = ׀ ׀ α γ δ ׀ ׀. α 12=׀ ψ 1׀ + ׀ ψ 2׀ - ׀ ψ 1∩ ψ 2׀ =4+4-3=5. α 13=׀ ψ 1׀ + ׀ ψ 3׀ - ׀ ψ 1∩ ψ 3׀ =4+4-2=6 и т.д.
maxα γ δ = α 16= α 35=7, дают две пары множеств ψ 1, ψ 6 и ψ 3, ψ 5. Возьмем множества ψ 1 ={u13, u37, u36, u35} и ψ 6 ={u24, u47, u57}. В суграфе H, содержащем максимальное число непересекающихся ребер, ребра, вошедшие в ψ 1, проводим внутри гамильтонова цикла, а в ψ 6 – вне его (рис. 8.6 (а)).
Рисунок 8.6. Планарные суграфы Удалим из Ψ G' ребра, вошедшие в ψ 1 и ψ 6 ψ 4 ={u26}; ψ 5 ={u26}. Объединим одинаковые множества, не реализованным осталось единственное ребро ψ 4 ={u26}. Проведем его (рис. 8.6 (б)). Все ребра графа G реализованы. Толщина графа m = 2. Если взять множества ψ 3 ={u13, u37, u47, u57} и ψ 5 ={u26, u36, u35}, то не реализованным окажется ребро {u24}. Верификация. Основные понятия Популярное:
|
Последнее изменение этой страницы: 2017-03-10; Просмотров: 582; Нарушение авторского права страницы