4511
правок
Irina (обсуждение | вклад) м (→Кернелизация) |
Irina (обсуждение | вклад) м (→Свертка) |
||
Строка 26: | Строка 26: | ||
== Свертка == | == Свертка == | ||
Предположим, что v – вершина степени 2 в графе G, имеющая двух соседей u и w, не являющихся смежными друг с другом. Построим новый граф | Предположим, что v – вершина степени 2 в графе G, имеющая двух соседей u и w, не являющихся смежными друг с другом. Построим новый граф G' следующим образом: удалим все вершины v, u и w и введем новую вершину <math>v_0 \;</math>, смежную со всеми оставшимися соседями вершин u и w в графе G. В таком случае говорится, что граф G' был получен из графа G в результате [[свертка|свертки]] вершины v. Для технологии свертки был получен следующий результат. | ||
'''Теорема 2. Пусть | '''Теорема 2. Пусть G' – граф, полученный из графа G в результате свертки вершины v второй степени, два соседа которой не были смежными друг другу. Тогда граф G имеет вершинное покрытие из k вершин в том и только том случае, если G' имеет вершинное покрытие из k-1 вершины.''' | ||
Операция свертки позволяет уменьшить значение параметра k без применения ветвления. Такие операции оказались весьма эффективными для разработки экспоненциальных по времени алгоритмов решения задачи о вершинном покрытии. Недавно было предложено расширение операции свертки, допускающее применение к множеству из нескольких вершин графа [6]. | Операция свертки позволяет уменьшить значение параметра k без применения ветвления. Такие операции оказались весьма эффективными для разработки экспоненциальных по времени алгоритмов решения задачи о вершинном покрытии. Недавно было предложено расширение операции свертки, допускающее применение к множеству из нескольких вершин графа [6]. | ||
== Ветвление и поиск == | == Ветвление и поиск == |
правок