Научная статья на тему 'Некоторые результаты о наследственных классах графов'

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

CC BY
153
34
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НАСЛЕДСТВЕННЫЙ КЛАСС ГРАФОВ / ЗАПРЕЩЕННЫЙ ПОДГРАФ / УПАКОВКИ 3-ПУТЕЙ / ПОКРЫТИЯ 3-ПУТЕЙ / НЕЗАВИСИМОЕ МНОЖЕСТВО / ФАКТОРИАЛЬНЫЙ КЛАСС / МИНИМАЛЬНЫЙ СЛОЖНЫЙ КЛАСС / ЗАДАЧА О РЕБЕРНОМ СПИСКОВОМ РАНЖИРОВАНИИ / HEREDITARY CLASS OF GRAPHS / FORBIDDEN SUBGRAPH / P3-PACKING / P3-COVERING / INDEPENDENT SET / FACTORIAL CLASS / MINIMAL HARD CLASS / EDGE LIST-RANKING PROBLEM

Аннотация научной статьи по математике, автор научной работы — Алексеев Владимир Евгеньевич, Замараев Виктор Андреевич, Захарова Дарья Владимировна, Малышев Дмитрий Сергеевич, Мокеев Дмитрий Борисович

Рассматриваются вопросы структурного описания и асимптотического перечисления наследственных классов графов, исследуется сложность некоторых задач на таких классах

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Алексеев Владимир Евгеньевич, Замараев Виктор Андреевич, Захарова Дарья Владимировна, Малышев Дмитрий Сергеевич, Мокеев Дмитрий Борисович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

SOME RESULTS ON HEREDITARY CLASSES OF GRAPHS

Structural description and asymptotic enumeration of hereditary classes of graphs are considered. The complexity of some problems in such classes is investigated.

Текст научной работы на тему «Некоторые результаты о наследственных классах графов»

МАТЕМАТИКА

УДК 519.17

НЕКОТОРЫЕ РЕЗУЛЬТАТЫ О НАСЛЕДСТВЕННЫХ КЛАССАХ ГРАФОВ

© 2011 г. В.Е. Алексеев 1, В.А. Замараев 2Д, Д.В. Захарова 1, Д.С. Малышев2Д,

Д.Б. Мокеев 1

1 Нижегородский госуниверситет им. Н.И. Лобачевского 2 Национальный исследовательский университет - Высшая школа экономики

(Нижегородский филиал)

dsmalyshev@rambler.ru

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

Рассматриваются вопросы структурного описания и асимптотического перечисления наследственных классов графов, исследуется сложность некоторых задач на таких классах.

Ключевые слова: наследственный класс графов, запрещенный подграф, упаковки 3-путей, покрытия 3-путей, независимое множество, факториальный класс, минимальный сложный класс, задача о реберном списковом ранжировании.

Введение

Целью настоящей статьи является подведение итогов работ в области теории графов, выполненных в течение года коллективом ее авторов. Работы велись в разных направлениях, и статья состоит из четырех частей, тематически слабо связанных между собой. Мы не приводим здесь доказательств, развернутое изложение будет дано в отдельных публикациях по каждой теме.

Объединяет части данной статьи то, что в них рассматриваются наследственные классы графов. Множество графов, замкнутое относительно переименования вершин, называется классом графов. Класс, замкнутый относительно удаления вершин, называется наследственным. Эквивалентно - это класс, который можно задать запрещенными подграфами. Если Х — множество графов, то через Free(X) обозначается класс всех графов, не содержащих порожденных подграфов, изоморфных графам из Х. Множество графов Y является наследственным классом тогда и только тогда, когда Y = Free(X) для некоторого Х.

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

множество запрещенных подграфов для этого класса графов, и мы предполагаем, что это все минимальные запрещенные подграфы.

Во второй части рассматривается задача о независимом множестве графа. Известно, что эта задача КР-полна для класса субкубических графов. Доказывается ее полиномиальная разрешимость для некоторых подмножеств этого класса.

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

В четвертой части рассматривается задача о реберном списковом ранжировании. Найдены все минимальные классы, определяемые не более чем тремя запрещенными порожденными подграфами, для которых эта задача остается КР-полной.

Упаковки и покрытия 3-путей

Пусть X - множество графов. Х-упаоквокй графа G называется множество его непересе-кающихся порожденных подграфов, каждый из которых изоморфен какому-нибудь графу из X. Наибольшее число подграфов в Х-упаковке графа G будем обозначать через pack(X;G). X-пкорытиам ірафа G называется множество вершин, после удаления которых получается

граф, не содержащий порожденных подграфов, принадлежащих X. Наименьшее число вершин в Х-покрытии графа G будем обозначать через cover(X;G). В случае, когда X состоит из единственного графа Н, будем говорить просто об Н-покрытии и Н-упаковке. В частности, К2-упаковки - это паросочетания, а К2-покрытия известны как вершинные покрытия.

Очевидно, всегда выполняется неравенство pack(X^;G) < cover(X;G). Теорема Кенига утверждает, что для двудольных графов имеет место равенство pack(P2;G) = cover(P2;G). Верно и в известном смысле обратное утверждение: если это равенство выполняется для графа G и любого его порожденного подграфа, то этот граф - двудольный.

Граф G будем называть кениговым графом относительно множества X, если для любого его порожденного подграфа Н выполняется равенство pack(X^;H) = cover(X;H). Класс всех ке-ниговых графов относительно X обозначим через К^).

Класс K(X) при любом X является наследственным и, следовательно, может быть описан множеством минимальных запрещенных (порожденных) подграфов. Для Р2 такую характеризацию дает теорема Кенига вместе с известным критерием двудольности. Кроме этой классической теоремы нам известен еще только один результат такого рода для обыкновенных графов - в работе [14] описаны все запрещенные подграфы для класса К(С), где С - множество всех простых циклов.

Цель настоящей работы - охарактеризовать класс К(Р3). Мы применяем два подхода к описанию этого класса. Один из них - «конструктивный»: мы показываем, как можно построить любой граф из этого класса с помощью операций подразбиения ребер и замены вершин кликами. При другом подходе ищется стандартное описание наследственного класса запрещенными подграфами. Найденное множество запрещенных подграфов состоит из четырех бесконечных семейств и трех отдельных графов. Неизвестно, является ли оно полным множеством минимальных запрещенных подграфов для К(Р3), но мы предполагаем, что это так. Далее под кениговым графом подразумеваем кенигов граф относительно Р3.

Операция замены вершины х ¿-кликой состоит в том, что эта вершина удаляется из графа, к нему добавляются ? новых вершин, все они попарно соединяются между собой, и каждая из них соединяется ребром с каждой вершиной, с которой была смежна х. Граф, получаемый из графа G заменой некоторых его вершин степени

1 и 2 кликами (возможно, разного размера), назовем расшираниам графа G.

Лемма 1. Любка расшираниа любкік дарава являатся оаниіквгм ірафкм.

Для описания некоторых графов будем использовать операции сложения + и соединения *. Первая есть просто объединение графов с непе-ресекающимися множествами вершин, во второй к этой сумме добавляются все ребра, соединяющие вершины из разных слагаемых. Обозначим через А множество, состоящее из трех графов: К\*Р4, Кі*(Кі+Р3), К2*03. Введем также обозначения для некоторых бесконечных множеств графов:

В - множество всех циклов, длина которых не кратна 3;

С - множество всех графов, которые можно получить добавлением к циклу, длина которого кратна 3, двух вершин, не смежных между собой, каждая из которых соединяется ребром с одной вершиной цикла, причем расстояние между этими вершинами цикла должно быть не кратно 3;

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

Е - множество всех графов, которые можно получить из циклов длины, кратной 3, путем замены 2-кликами трех вершин цикла, разбивающих цикл на отрезки, длина каждого из которых не меньше 4 и сравнима с 1 по модулю 3.

Связные графы из класса К(Р3) удобно разделить на две категории: расширенные циклы и все остальные графы, последние будем называть ординарными. Пусть Н - мультиграф без петель. Каждое цикловое ребро (ребро, принадлежащее какому-нибудь циклу) этого мультиграфа подразобьем двумя вершинами. Эти вершины будем называть новыми. Заменим каждую новую вершину и каждую вершину степени 1 или 2, не принадлежащую циклу, какой-нибудь кликой. Полученный таким образом граф будем называть 2-расширением исходного мультиграфа.

Теорема 1. Сладующиа утварждания равнк-сильны для связнкік ірафа G:

1) G - крдинарный оаниікв іраф;

2) G на скдаржит пкркжданных пкдірафкв из мнкжаства А В С D Е;

3) G являатся 2-расшираниам наокткркік мультиірафа, ктличнкік кт прксткік циола.

Теорема 2. Каждка расширения циолкв С6 и С9 являатся оаниіквим ірафкм.

Независимые множества в графах без вписанных поддеревьев с большим числом листьев

Независимым мнкжаствкм ірафа называется любое множество попарно несмежных вершин. Задача к назависимкм мнкжаства состоит в том, чтобы найти в заданном графе независимое множество наибольшей мощности. Эта задача КР-трудна, немало работ посвящено поиску областей эффективности, т.е. классов графов, для которых она может быть решена за полиномиальное время. Такие классы называются НМ-простыми. Часто НМ-простые классы описываются запрещенными подграфами, т.е. подграфами, которых не должно быть в графах из рассматриваемого класса. В настоящей работе представлены бесконечные семейства НМ-простых классов, определяемых запрещенными поддеревьями с ограниченным числом листьев. Направление поиска подсказано высказанной в [12] гипотезой о том, что задача целочисленного линейного программирования с матрицей, все миноры которой ограничены по абсолютной величине некоторой константой, решается за полиномиальное время. Однако найденные нами НМ-простые классы на самом деле не являются подмножествами классов графов с ограниченными минорами матриц инцидентности, поэтому полученные результаты сохраняют свое значение независимо от того, верна или нет упомянутая гипотеза.

Обозначим через FTk класс всех графов, у которых отсутствуют поддеревья с k листьями. Используя результаты работы [5], можно доказать следующее утверждение:

Теорема 3. При любкм k оласс FTk являатся НМ-пркстым.

Мы предполагаем, что этот результат можно усилить. Поддерево некоторого графа назовем вписанным, если никакие три его вершины не порождают треугольника в графе. Обозначим через FTk класс всех графов, не имеющих вписанных поддеревьев с k листьями.

Предположение. При любкм k оласс FTk являатся НМ-пркстым.

В настоящее время нами установлена НМ*

простота некоторых подмножеств классов FTk , являющихся пересечениями этих классов с известными классами, для которых задача о независимом множестве остается КР-трудной. Один из них - класс FCз всех графов, не содержащих циклов длины 3. Из теоремы 3 следует

Теорема 4. При любом k класс FTk* FC3 является НМ-простым.

Другой известный класс с КР-трудной задачей о независимом множестве - класс субкуби-ческих графов (графов, у которых степени вершин не превосходят 3), обозначим его SC.

Теорема 5. При любом k класс FTk SC яв-

ляется НМ-простым.

Оценка числа графов в наследственных классах с запрещенными графами маленького порядка

Рассматриваются помеченные графы с множеством вершин {1,2,..., и}. В.Е. Алексеев доказал [2], что для любого бесконечного наследственного класса графов X, отличного от класса всех графов, справедливо соотношение

и2 2

^и) = (1-1ВД) у + 0(И2), (1)

где с^) - натуральное число, называемое индексом класса X, а Xn - множество всех и-вершинных графов из класса X (логарифм здесь и далее берется по основанию 2). Множество классов, соответствующих определенному значению индекса, называется слоем. Так, множество классов с индексом, равным 1, образует унитарный слой. Для классов из унитарного слоя соотношение (1) не дает асимптотической оценки величины ^^п), знание которой важно, например, при экономном кодировании графов из класса X [1]. Для исследования поведения величины ^^и) для классов X из унитарного слоя используется понятие равновелико-сти. Два класса графов X и Y называются равновеликими, если существуют положительные числа с', с" и ио, такие, что |Yn|c < Xn| < YиГ для любого и > и0. Очевидно, что равновели-кость является отношением эквивалентности. Классы эквивалентности на множестве наследственных классов графов называются ярусами. Унитарный слой состоит из бесконечного числа ярусов.

В [3] были выделены первые четыре яруса унитарного слоя, для которых ^^и) по порядку совпадает с 1, logи, и, и иlogи. Эти ярусы называются константным, полиномиальным, экспоненциальным и факториальным соответственно. В каждом из четырех этих ярусов найдены все минимальные элементы [15]. Кроме того, для первых трёх ярусов в [3] дана полная структурная характеризация. Факториальный ярус является наименьшим, для которого такой характеризации не известно. В то же время этому ярусу принадлежат многие известные классы: реберные графы, интервальные графы, леса, планарные графы, кографы и др.

В [4, 6] исследование факториального яруса начато с изучения конечно определенных классов, то есть таких, у которых множество запрещенных подграфов конечно. До сих пор класс Free(K13,C4) был единственным классом, определяемым двумя запрещенными подграфами с четырьмя вершинами, для которого вопрос о принадлежности факториальному ярусу был открыт. В данной работе дается ответ на этот вопрос.

Теорема 6. Класс Free(K13,C4) является факториальным.

Этот результат в совокупности с результатами работ [4, 6] позволяет выделить все факториальные классы, у которых множество запрещенных подграфов состоит из графов с не более чем четырьмя вершинами. Обозначим через B, co(B), P класс двудольных, кодвудольных и расщепляемых графов соответственно.

Теорема 7. Пусть M - множество графов с числом вершин не более четырех и Free(M) - не менее чем факториальный класс. Класс Free(M) является факториальным тогда и только тогда, когда ни одно из следующих множеств не пусто: M п B, M п co(B), M п P, M п

п Free(K13,C4), M п Free(C4, K3).

Конечно определенные минимальные сложные классы графов для задачи о реберном списковом ранжировании

В этом разделе исследуются элементы границы между «простыми» и «сложными» классами графов для некоторой задачи в семействе наследственных классов графов. Формализуем понятия «простого» и «сложного» класса графов. Пусть П - какая-либо NP-полная задача на графах. Наследственный класс графов назовем П-простым, если задача П для графов из этого класса полиномиально разрешима, и П-слож-ным в противном случае. Далее везде предполагаем справедливость неравенства P ^ NP и не включаем его явно в формулировки полученных результатов.

Естественной идеей решения задачи демаркации является поиск максимальных П-простых и минимальных П-сложных классов, т.е. тупиковых классов графов соответствующей сложности из рассматриваемой решетки. К сожалению, использование понятия максимального простого класса графов оказывается безрезультатным. Так, В.Е. Алексеев в работе [13] установил, что ни один П-простой класс не является максимальным простым (правда, в [13] это утверждается только про задачу о независимом множестве, но все рассуждения из данной работы легко переносятся на общий случай). Вместе

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

Первый результат о минимальных сложных классах был получен в работе [7]. Там рассматривалась задача распознавания принадлежности наследственному классу графов X (задача РП[Х]) и было доказано, что для любого наследственного класса X минимальных РП[Х]-сложных классов не существует. С другой стороны, в работах [7-10] было показано, что определенные классы графов являются минимальными сложными для некоторых обобщений задач о раскраске - задач о списковом ранжировании (реберного и вершинного вариантов). Здесь рассматривается только задача о реберном списковом ранжировании.

Задача о реберном списковом ранжировании (далее задача РСР) заключается в следующем. Пусть заданы граф G с множеством ребер E и множество L = {L(e): еє E}, где каждое L(e) -конечное множество натуральных чисел (цветов, в которые разрешается покрасить ребро e). L-ранжированием ребер графа G называется такая раскраска с его вершин, что:

1. с(е) є L(e) для каждого ребра е;

2. Если c(ej) = с(е2), ej ^ е2, то каждый путь, соединяющий ei и е2, содержит такое ребро е3, что с(е3) > с(е1).

Задача РСР состоит в том, чтобы по данным G и L определить, существует ли L-ранжирование ребер графа G. Уточним, что под РСР-простым классом графов далее понимается такой наследственный класс, что задача РСР решается для графов из этого класса за полиномиальное время при любом множестве L.

К настоящему времени полное описание множества минимальных РСР-сложных классов не известно. Начать движение к получению такого описания можно, рассматривая классы, определяемые небольшим числом запрещенных подграфов. Первый результат такого рода был получен в работе [11].

Теорема 8. Класс полных графов является единственным минимальным РСР-сложным класссом, определяемым одним запрещенным подграфом.

Обозначим через BC множество двудольных графов, содержащих не более чем две вершины в одной из долей. Справедлива следующая

Теорема 9. Не существует минимальных РСР-сложных классов, определяемых двумя запрещенными порожденными подграфами. Класс BC является единственным минимальным РСР-сложным классом, определенным тремя запрещенными порожденными подграфами.

Работа выполнена при поддержке РФФИ, проекты № 10-01-00357-а и № 11-01-00107-а, и ФЦП «Научные и научно-педагогические кадры инновационной России на 2009-2012 гг.», номер ГК 16.740.11.0310.

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

1. Алексеев В.Е. Наследственные классы и кодирование графов // В сб.: Проблемы кибернетики. Вып. 39. / Под ред. С.В. Яблонского. М.: Наука, 1982. С.151-164.

2. Алексеев В.Е. Область значений энтропии наследственных классов графов // Дискретная математика. 1992. Т. 4. № 2. С. 148-157.

3. Алексеев В.Е. О нижних ярусах решетки наследственных классов графов // Дискретный анализ и исследование операций. Серия 1. 1997. Т. 4. С. 3-12.

4. Алексеев В.Е., Замараев В.А., Лозин В.В., Мэйхил К. // Тез. докл. XV Нижегородской сессии молодых ученых (математические науки). Красный плес, 25-28 мая 2010 г. С. 16-17.

5. Алексеев В.Е., Захарова Д.В. Независимые множества в графах с ограниченными минорами расширенной матрицы инцидентности // Дискретный анализ и исследование операций. 2010. Т. 17. № 1. С. 3-10.

6. Замараев В.А. Оценка числа графов в некоторых наследственных классах // Материалы X Международного семинара «Дискретная математика и её приложения». Москва, 1-6 февраля 2010 г. С. 301303.

7. Малышев Д.С. О минимальных сложных классах графов // Дискретный анализ и исследование операций. 2009. Т. 16. № 6. С. 43-51.

8. Малышев Д.С. О минимальных сложных элементах решетки наследственных классов графов // Материалы VII Молодежной научной школы по дискретной математике и ее приложениям. Москва,

2009. С. 12-16.

9. Малышев Д.С. О тупиковых по вычислительной сложности наследственных классах графов // Материалы X Международного семинара «Дискретная математика и ее приложения». Москва, 1-6 февраля 2010. С. 314-316.

10. Малышев Д.С. Последовательные минимумы решетки наследственных классов графов для задачи о реберном списковом ранжировании // Вестник Нижегородского университета им. Н.И. Лобачевского.

2010. № 4. С. 70-76.

11. Малышев Д.С. Минимальные сложные классы графов для задачи о реберном списковом ранжировании // Дискетный анализ и исследование операций. 2011. Т. 17. № 1. С. 133-136.

12. Шевченко В.Н. Качественные вопросы целочисленного программирования. М.: Наука, 1995. 192 с.

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

14. Ding G., Xu Z., Zang W. Packing cycles in graphs, II // Journal of Combinatorial Theory, Ser. B. 2003. V. 87. P. 244-253.

15. Scheinerman E.R., Zito J. On the size of hereditary classes of graphs // Journal Combinatorial Theory, Ser. B. 1994. V. 61. P. 16-39.

SOME RESULTS ON HEREDITARY CLASSES OF GRAPHS

V.E. Alekseev, V.A Zamaraev, D. V. Zakharova, D.S. Malyshev, D.B. Mokeev

Structural description and asymptotic enumeration of hereditary classes of graphs are considered. The complexity of some problems in such classes is investigated.

Keywords: hereditary class of graphs, forbidden subgraph, P3-packing, P3-covering, independent set, factorial class, minimal hard class, edge list-ranking problem.

i Надоели баннеры? Вы всегда можете отключить рекламу.