WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

загрузка...
   Добро пожаловать!

Pages:     || 2 | 3 |

На правах рукописи

Малышев Дмитрий Сергеевич ИССЛЕДОВАНИЕ ГРАНИЦ ЭФФЕКТИВНОЙ РАЗРЕШИМОСТИ В СЕМЕЙСТВЕ НАСЛЕДСТВЕННЫХ КЛАССОВ ГРАФОВ 01.01.09 дискретная математика и математическая кибернетика

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата физико-математических наук

Нижний Новгород 2009 г.

Работа выполнена на кафедре математической логики и высшей алгебры факультета вычислительной математики и кибернетики Нижегородского государственного университета им. Н. И. Лобачевского.

Научный консультант: д.ф.-м.н., проф. Алексеев В. Е.

Официальные оппоненты: д.ф.-м.н., проф. Иорданский М. А.

к.ф.-м.н., доц. Носков В. В.

Ведущая организация: факультет вычислительной математики и кибернетики Московского государственного университета им. М. В. Ломоносова

Защита диссертации состоится 3 декабря 2009 года в 14 часов 40 минут на заседании совета по защите докторских и кандидатских диссертаций Д.212.166.06 при Нижегородском государственном университете им. Н. И. Лобачевского по адресу: 603950, г. Нижний Новгород, пр. Гагарина, корп. 2, конференц зал.

С диссертацией можно ознакомиться в фундаментальной библиотеке Нижегородского государственного университета им. Н. И. Лобачевского.

С текстом автореферата можно ознакомиться на официальном сайте Нижегородского государственного университета им. Н. И. Лобачевского http://www.unn.ru.

Автореферат разослан 29 октября 2009 года.

Ученый секретарь совета по защите докторских и кандидатских диссертаций Д.212.166.06 к.ф.-м.н., доцент В. И. Лукьянов

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

Развитие теории сложности вычислений способствовало формированию фактических стандартов эффективной разрешимости и труднорешаемости. В соответствии с этой концепцией под быстрой (эффективной) разрешимостью данной массовой задачи понимается возможность ее решения на детерминированной машине Тьюринга за время, ограниченное полиномом от длины входных данных. В то же время, имеется ряд неподдающихся (называемых в теории сложности NP-полными) задач, для которых в настоящее время не получено быстрых алгоритмов. Справедливость известной гипотезы P =NP означает, что таких алгоритмов вообще не существует.

Выполнение этого неравенства предполагается на протяжении всей работы.

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

В диссертации содержатся результаты исследования наследственных классов Алексеев В. Е. Исследование количественных и сложностных характеристик наследственных классов графов:

диссертация на соискание ученой степени доктора физико-математических наук по специальности 01.01.09 дискретная математика и математическая кибернетика. Нижний Новгород, 2002. 113 Стр.

Сорочан С. В. Исследование количественных характеристик наследственных классов ориентированных и цветных графов: диссертация на соискание ученой степени кандидата физико-математических наук по специальности 01.01. дискретная математика и математическая кибернетика. Нижний Новгород, 2006. 149 Стр.

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

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

Именно, любой такой класс является сложным для данной задачи тогда и только тогда, когда он содержит некоторый граничный для этой задачи класс. В. Е. Алексеев также показал, что для задачи о независимом множестве некоторый конкретный класс графов является граничным. Затем рядом авторов6,7 исследовались вопросы выявления граничных классов и для других задач.

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

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

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

Алексеев В. Е. Об энтропии фрагментно замкнутых классов графов // Комбинаторно-алгебраические методы в прикладной математике. Горький: Из-во Горьк. ун-та, 1986. Стр. 5–15.

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

Alekseev V. E., Korobitsyn D. V., Lozin V. V. Boundary classes of graphs for the dominating set problem // Discrete Mathematics. 2004. V. 285. P. 1–6.

Alekseev V. E., Boliac R., Korobitsyn D. V., Lozin V. V. NP-hard graph problems and boundary classes of graphs // Theoretical Computer Science. 2007. V. 389. P. 219–236.

Результаты работы и научная новизна Все полученные в диссертации результаты являются новыми. Наиболее важными из них являются следующие.

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

2. Введено понятие относительного граничного класса и рассмотрен вопрос о полном описании совокупности таких классов для задачи о независимом множестве относительно класса планарных графов. К настоящему времени известен только один такой класс. Его единственность эквивалентна эффективной разрешимости указанной задачи для некоторого бесконечного семейства классов планарных графов.

В диссертации устанавливается полиномиальный сложностной статус рассматриваемой задачи для некоторых подсемейств данного семейства.

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

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

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

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

Личный вклад соискателя Уточнение понятия граничного класса графов принадлежит В. Е. Алексееву.

Формулировка и доказательство критерия граничности (теорема 1.3), а также некоторых из условий граничности (теорема 1.4, лемма 1.3) получены совместно с научным руководителем. Остальные результаты первой главы диссертации (оставшиеся условия граничности и все излагаемые случаи граничности) получены соискателем лично.

Во второй главе работы, посвященной продвижениям на пути к доказательству единственности некоторого класса графов, как граничного относительно класса планарных графов для задачи о независимом множестве, ряд результатов получен в соавторстве. При этом доказательство теорем 2.1, 2.2, идея использования звезд в теоремах 2.2 и 2.3, а также идея сведения задачи о независимом множестве к планарным графам невысокой степени (лемма 2.10) принадлежат автору. В. Е.

Алексееву принадлежит идея использования аппарата сжатий, позволившего при формулировке леммы 2.10 существенно понизить порядок параметра i. Теорема 2.доказана В. Е. Алексеевым, В. В. Лозиным, соискателем и M. Millanic’ем на паритетных началах.

Все результаты третьей и четвертой глав (основные из них указание континуальных множеств граничных классов графов, новые случаи полного описания относительных граничных классов, доказательство отсутствия и первые примеры минимальных сложных классов) диссертации получены автором лично.

Апробация работы и публикации Результаты, полученные в диссертации, докладывались и обсуждались на следующих конференциях, молодежных школах, семинарах и симпозиумах:

Dereniowski D. The complexity of list ranking of trees // Ars Combinatoria. 2008. V. 86. P. 97–Jamison R.E. Coloring parameters associated with rankings of graphs // Congressus Numerantum. 2003. V. 164.

P. 111–127.

• VI и VII молодежные международные научной школы по дискретной математике и ее приложениям (Москва, 2007, 2009), • XV международная конференция студентов, аспирантов и молодых ученых Ломоносов 2008 (Москва, 2008), • XV международная конференция Проблемы теоретической кибернетики (Казань, 2008), • 33rd international symposium on Mathematical Foundations of Computer Science (Torun, 2008), • VIII международная конференция Дискретные модели в теории управляющих систем (Моск. обл., 2009), • семинар ВМиК МГУ Дискретный анализ (руководитель А. А. Сапоженко), • общегородские семинары г. Н. Новгорода по дискретной математике (руководитель В. Н. Шевченко).

По теме диссертации имеется 16 работ, список которых приводится в конце автореферата. Среди них одна статья в изданиях, рекомендованных ВАК РФ для публикаций материалов диссертаций по математике и механике (в журнале Дискретная математика ), а также 7 работ в ведущих рецензируемых изданиях из списка ВАК РФ (6 статей в журнале Дискретный анализ и исследование операций и одна в журнале Вестник Нижегородского государственного университета ).

Структура и объем работы Диссертация состоит из введения, четырех глав и списка литературы, включающего 53 наименования. Общий объем диссертации составляет 113 страниц.

Нумерация всех теорем и лемм ведется независимо внутри каждой главы, причем номер каждого такого утверждения состоит из двух частей, первая из которых соответствует номеру главы, вторая порядковому номеру внутри главы.

КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ

Во введении обосновывается актуальность темы исследований и кратко излагаются основные результаты диссертации.

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

Pages:     || 2 | 3 |






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»