Граничные классы для задачи о независимом множестве в классе планарных графов Текст научной статьи по специальности «Математика»

Математика

Вестник Нижегородского униве рситета им. Н.И. Лобачевского, 2007, № 2, с. 165-1 68

165

УДК 519.17

ГРАНИЧНЫЕ КЛАССЫ ДЛЯ ЗАДАЧИ О НЕЗАВИСИМОМ МНОЖЕСТВЕ

В КЛАССЕ ПЛАНАРНЫХ ГРАФОВ

© 2007 г. Д.С. Малышев

Нижегородский госуниверситет им. Н.И. Лобачевского vestnik_nngu@.mail.ru

Поступила в редакцию 16.02.2007

Известно, что задача о независимом множестве для планарных графов №-полна. Доказывается её полиномиальная разрешимость для некоторых подклассов класса планарных графов.

Введение

Независимым множеством в обыкновенном графе называется множество попарно несмежных вершин. Задача о независимом множестве для данного графа состоит в нахождении независимого множества наибольшей мощности. Для краткости задачу о независимом множестве будем называть задачей НМ. Хорошо известно, что эта задача является NP-полной в классе всех графов и остаётся таковой даже при значительных сужениях рассматриваемого класса графов. В тоже время известны и некоторые «области эффективности», т.е. классы графов, для которых задача о независимом множестве имеет полиномиальную сложность.

Класс графов К называется НМ-псоотым, если существует алгоритм, решающий эту задачу для любого графа Ge K за полиномиальное время и НМ-оложным, если для графов этого класса задача НМ остаётся NP-полной [2]. В литературе имеется множество примеров как НМ-простых, так и НМ-сложных классов. Так, класс планарных графов Planar является НМ-сложным [1].

Класс графов X называется наследственным, если он замкнут относительно изоморфизма и удаления вершин и сильно наследственным, если он замкнут ещё и относительно удаления рёбер. Любой наследственный класс (и только наследственный класс) графов X может быть задан множеством запрещённых порождённых подграфов S: X состоит из тех и только тех графов, которые не имеют порождённых подграфов из S. В этом случае принята запись X=Free(S). Если S является конечным, то такой наследственный класс называется конечно опседелённым.

В [4] дано определение гсаничного класса и доказано, что конечно определённый класс графов является НМ-сложным тогда и только тогда, когда в нём содержится какой-нибудь граничный класс. В этой работе вводится более

широкое понятие относительного граничного класса. Наследственный класс графов X назовём предельным классом относительно наследственного класса У (или предельным относительно У), если существует такая последовательность Х13 Х2 3 .... НМ-сложных классов, содержащихся в классе У, что I Хп =Х. Мини-

п

мальный по включению предельный относительно У класс назовём граничным относительно У классом. Из последнего определения следует, что X <3 У. Класс X назовём конечно определённым относительно наследственного класса У, если существует такое конечное множество графов М, что Х=У П| Free(M). Для относительных граничных классов легко доказывается обобщение теоремы 3 из работы [2], а именно, относительный конечно определённый класс графов является НМ-сложным тогда и только тогда, когда в нём содержится какой-нибудь относительный граничный класс.

Триодом называется дерево, имеющее ровно одну вершину степени три и ровно три листа, отстоящих от вершины степени три на расстояниях г,],к соответственно. Пусть Т — класс всех графов, у которых каждая из компонент связности является деревом не более чем с тремя листьями. Иными словами, класс Т состоит только из тех графов, у которых каждая из компонент является либо триодом, либо простым путем. В работе [2] доказано, что Т является граничным классом, а если Р Ф КР, то Т -единственный сильно наследственный граничный класс. Возможно, Т - единственный граничный класс не только среди сильно наследственных. Доказательство этого предположения равносильно доказательству того, что для любого графа Ge Т класс Free(G) является НМ-простым. К настоящему времени это доказано для графов с не более чем с 5 вершинами из Т (за исключением Р5 и графов вида pK2+qK1).

Таким образом, вопрос о единственности T как граничного класса оказался сложным.

В настоящей работе рассматривается класс планарных графов. Класс T является граничным относительно Planar. Доказательство этого легко получить по аналогии с доказательством теоремы 4 из [2]. Возможно, что T - единственный граничный класс относительно Planar. Это утверждение пока не доказано, но в его исследовании удалось продвинуться значительно дальше, чем в исследовании аналогичного предположения для класса всех графов. Именно, в настоящей работе доказывается НМ-простота класса Planar n Free(T11t) для любого натурального i.

Определения и вспомогательные результаты

Предположим, что имеется планарный граф G и он задан в виде своей плоской укладки. Определим понятие глубины графа G. Из плоской укладки графа G удалим вершины с инцидентными им ребрами, принадлежащие внешней грани. Множество этих вершин обозначим через Vi. С оставшейся укладкой будем проделывать аналогичную операцию до тех пор, пока множество вершин не станет пустым. В результате мы получим разбиение множества вершин графа на подмножества VbV2,...,Vk которые будем называть усовнями графа. Величину к назовём глубиной графа G и будем обозначать у (G).

Разделяющая клика графа - множество вершин, порождающее полный подграф, удаление которого приводит к увеличению числа компонент связности. Назовём C-блоком максимальный по включению порождённый подграф данного графа, не имеющий разделяющей клики. Пусть K - некоторый класс графов, тогда обозначим через [К]с множество всех графов, у которых каждый C-блок принадлежит К. В дальнейшем, понадобятся две операции над классами графов, которые сохраняют свойство НМ-простоты. Первая из этих операций - переход от класса K к классу [К]с. Оказывается, что справедливо следующее утверждение [2].

Лемма 1. Если X - НМ-простой наследственный класс графов, то [X^ также является НМ-простым.

Второй операцией является переход от класса графов К к классу графов [K]r, представляющему собой множество всех графов, для которых можно удалить не более r вершин так, чтобы получился граф из К. Имеет место следующее утверждение [3].

Лемма 2. Если К - НМ-простой наследственный класс, то для любого фиксированного г класс [К]г является НМ-простым.

Лемма 3. Если G - связный граф и G не принадлежит классу Free(Tlд>г■) (і > 3), то либо Gє Free(Tш), либо diam(G)<2i+3.

Доказательство. Предположим, что G не принадлежит классу Free(Tш), тогда граф G содержит в качестве порождённого граф Тш. В этом порождённом подграфе вершины степени 1 обозначим через а, Ь, с, а вершину степени 3 обозначим через d. Рассмотрим вершину е, наиболее удалённую от d, и кратчайший простой путь Р=(уь у2,..., у5), где у1 = d, у = е. Покажем, что 5 < і+2. Предположим, что s>i+2. Возможны два случая.

1. Одна из вершин а, Ь, с принадлежит этому пути. Пусть для определённости это вершина с (т.е. у2 = с). Рассмотрим вершину а. Вершина а не может быть смежна с вершиной у, где і > 4 (иначе в графе G существовал бы более короткий путь из d в е, чем путь Р). То же верно для вершины Ь. Если ни одна из вершин а, Ь не смежна с вершиной у3, то граф G содержит порождённый Тш (порождён множеством вершин а, Ь и вершинами пути Р. Если хотя бы одна из вершин а, Ь смежна с вершиной у3 (пусть для определённости это вершина а), то граф G опять содержит порождённый Тш (порождён множеством вершин а, с и вершинами у3, у4, ..., у).

2. Пусть ни одна из вершин а, Ь, с не принадлежит Р. По тем же причинам, что и в пункте 1, ни одна из вершин а, Ь, с не смежна с такой вершиной уі, что і > 4. Если одна из вершин а, Ь, с смежна с вершиной (пусть это будет вершина а), то в G найдётся порождённый Тш (порождён вершинами а, Ь, с, d, у3, ., у). Если две из вершин а, Ь, с смежны с вершиной (пусть это вершины а и Ь), то в G имеется порождённый Т11і. (порождён вершинами а, Ь, у3, ..., у5). Остаётся рассмотреть случай, когда ни одна из вершин а, Ь, с не смежна с у3. Понятно, что если не более чем одна из вершин а, Ь, с смежна с у2, то в графе G найдётся порождённый Т11і. Предположим, что среди этих трех вершин не менее двух (пусть это будут а и Ь) смежны с у2. Тогда G содержит порождённый Т11і (порождён множеством вершин а, Ь и вершинами у2, ..., у). Получаем противоречие с условием леммы. Мы показали, что неравенство d(d, е) < і+1 является справедливым, для любой вершины е. Ввиду неравенства треугольника для любых двух вершин х, у имеем d(x,y) < d(x,D)+d(y,D) < 2і+2. Лемма 3 доказана.

Лемма 4. Если G - связный граф и Ge Planar n Free(Jui) (i > 3), у (G)<2i+3.

Доказательство. Из леммы 3 следует, что если G - связный граф и Ge Planar n Free(TIIi)\Free(TIII) (i > 3), то

diam(G)<2i+3. Пусть Vi,V2,.,Vy(G) - все

уровни графа G. Рассмотрим простой путь Р , соединяющий произвольную вершину из VI с произвольной вершиной из Vk (в силу связности G такой путь всегда найдётся). Пусть |Р | - длина этого пути, тогда ясно, что

2i+3>diam(G) > |Р | >y (G), отсюда и следует, что y (G)<2i+3.

Лемма 5. Класс планарных графов единичной глубины является НМ-простым.

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

Если G не содержит разделяющих клик, а VI - первый уровень графа G, то граф, порождённый множеством VI, является простым циклом. Для каждой вершины xe V(G)\VI определим множество N(x, VI) всех вершин из VI, смежных с х. Пусть deg(x, VI) - мощность множества N(x,VI). Для каждой вершины xe V(G)\VI определим величину m(x) как максимальное количество последовательных вершин из VI, не смежных с x.

Лемма 6. Пусть y (G)>1 и G не содержит разделяющих клик, а VI - первый уровень графа G. Тогда, если для некоторой вершины xe V(G)\VI выполнено неравенство deg(x,VI)>5, то m(x)<i+1.

Доказательство. Предположим противное. Тогда существуют такие последовательно стоящие в первом уровне вершины

a,vI,... ,vi+I,b, что х смежна с вершинами а и b и несмежна ни с одной из вершин vk (k=1,i+1). Поскольку deg(x,V1)>5, то в N(x,VI) существуют такие вершины с и d, что вершины a,c,d являются попарно несмежными, но при этом в G будет содержаться порождённый T11l. (Порождён множеством вершин a,c,d,x и некоторыми из вершин VI, ...,Vi+i).

Доказательство основного результата

Основным результатом настоящей работы является следующая теорема.

Теорема 1. Для любого натурального i класс Planar Пі Free(T11i) является НМ-простым.

Докажем сначала вспомогательный результат. Обозначим через Qir подмножество класса Planar П Free(T11l), состоящее из графов глубины не более чем r.

Лемма 7. Для любых натуральных i и r класс Qir является НМ-простым.

Доказательство. Известно [4, 5], что классы Free(T11l) при i=1, 2 являются НМ-простыми. Отсюда следует НМ-простота рассматриваемых классов Qir при i=1, 2 и любых г.

Пусть i > 3. Доказательство проведем индукцией по г. Класс Qi1 является НМ-простым ввиду леммы 5.

Пусть G - связный граф из Qir. Если Gg Free(T111), то задача НМ для графа G полиномиально разрешима. Поэтому будем считать, что Gg Qir+1\ Free(T111). Ввиду леммы 1 можно считать, что G не содержит разделяющих клик. Из леммы 3 следует, что diam(G)<2i+3. Пусть V1 - первый уровень графа G. Если \ V1\ < 2i+3, то Gg [Qir]2l+3. Из леммы 2 следует, что класс [Qir]2l+3 НМ-простой. Далее будем считать, что \V1\>2i+3. Пусть v1,v2,.,vt - все вершины из V1 и пусть они покрашены в чёрный цвет. Рассмотрим вершины v1 и V[t/2]. Пусть P - путь из v1 в V[t/2] длины меньшей, чем 2i+3. Рассмотрим всевозможные независимые множества подграфа, порождённого множеством вершин этого пути. Для каждого такого множества S рассмотрим граф G (S), порождённый множеством вершин V(G)\(N(S)П V(P)), где V(P) - множество вершин подграфа, порождённого вершинами из P, N(S) - множество тех вершин графа G, которые смежны хотя бы с одной вершиной из множества S. Зная решение задачи НМ для графов G (S) для всех S, можно за время О(1) найти решение задачи НМ для графа G. Пусть G1(S),.,GP(S) - компоненты связности графа *

G (S), которые содержат чёрные вершины и имеют глубину, равную r+1 (остальные компоненты принадлежат классу Qir). Если множество S содержит такую вершину х, что deg(x,V1)>5, то ввиду леммы 6 каждый из этих графов содержит не более чем i+1 чёрную вершину, а следовательно, каждый из них принадлежит НМ-простому классу [Qir]l+1. Если такой вершины не найдется, то ясно, что p<5\SI< <10i+15. Каждый из графов G1(S), ..., Gp(S) содержит не более [t/2]+1 чёрных вершин, причём в каждом из них на первом уровне все чёрные вершины стоят последовательно. К каждому из этих графов применимы те же действия, что и к

168

Д.С. Maлышeв

графу G (т.е. если рассматриваемый граф Gi(S) (і=1,...,р) не принадлежит ни классу Free(T111), ни классу Юіг]2і+3, то концы пути Рі следует выбирать по следующему правилу - на первом уровне графа Gi(S) такие две вершинні, что одна из них является чёрной, делящей последовательно стоящие чёрные вершины на две «дуги», отличающиеся не более чем на одну вершину.)

Таким образом, всю процедуру решения задачи НМ для графа G можно изобразить в виде дерева решений. Листья этого дерева соответствуют графам из классов ЮІГ]2і+3\^гее(Тш), Free(Tш), а внутренние узлы соответствуют графам, содержащим не менее 2і+3 черных вершин и имеющих глубину, равную k+1 и не принадлежащих классу Free(Tш). Поскольку множество черных вершин каждый раз делится на две почти равные части, то высота данного дерева ограничена сверху величиной [^2(п)] + 1.

Оценим в дереве решений общее количество внутренних узлов. Каждый внутренний узел имеет не более чем с=(10і+15)22і+3 непосредственных потомков, являющихся внутренними узлами, следовательно, общее количество внутренних узлов в дереве решений не превосходит

ГІ0Є9 (п)]+ 2

с1 , т.е. ограничено полиномом от п.

Общее число потомков каждого внутреннего узла, являющихся листьями, не превосходит n, следовательно, число узлов в дереве решений ограничено сверху полиномом от n. Лемма 7 доказана.

Утверждение теоремы 1 следует из леммы 7, поскольку в силу леммы 4, класс Planar n n Free(T11i) является подмножеством объединения классов Free(T111) и Qi2i+3..

Список литесатусы

1. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. - М.: Мир, 1982.

2. Alekseev V.E. On easy and hard hereditary classes of graphs with respect to the independent set problem // Discrete Applied Mathematics. 2004. V. 132. P. 17-26.

3. Алексеев В.Е., Коробицын Д.В. О сложности некоторых задач на наследственных классах графов // Дискретная математика. 1992. Т. 4. № 4. С. 34-40.

4. Minty.G.J. On maximal independent sets in claw-free graphs // J. Combin Theory Ser. 1980. V. 28. P. 284-304.

5. Алексеев. В.Е. Полиномиальный алгоритм для нахождения наибольшего независимого множества в графах без вилок // Дискретный анализ и исследование операций. 1999. Серия 1. Т. 6. № 4.

BOUNDARY CLASSES FOR THE INDEPENDENT SET PROBLEM IN THE CLASS OF PLANAR GRAPHS

D.S. Malyshev

The Independent Set Problem for planar graphs is known to be NP-complete. In this paper, its polynomial solvability for some subclasses of planar graphs is proved.