WWW.DISSERS.RU

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

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

Pages:     || 2 | 3 |
Государственное образовательное учреждение высшего профессионального образования Уральский государственный университет им. А.М. Горького

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

СКВОРЦОВ Евгений Сергеевич Об эффективных алгоритмах для задачи CSP и их программной реализации 05.13.18 – математическое моделирование, численные методы и комплексы программ

АВТОРЕФЕРАТ

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

Екатеринбург 2008

Работа выполнена в государственном образовательном учреждении высшего профессионального образования Уральский государственный университет им. А. М. Горького на кафедре алгебры и дискретной математики

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

Официальные оппоненты: доктор физико-математических наук, профессор М. Ю. Хачай кандидат физико-математических наук, доцент Э. А. Гирш

Ведущая организация: Саратовский государственный университет им. Н. Г. Чернышевского

Защита состоится 18 июня 2008 г. в _ часов на заседании диссертационного совета Д 212.286.10 по защите докторских и кандидатских диссертаций при Уральском государственном университете им. А. М. Горького по адресу: 620083, г. Екатеринбург, пр. Ленина, 51, комн. 248.

С диссертацией можно ознакомиться в научной библиотеке Уральского государственного университета им. А. М. Горького.

Автореферат разослан _ 2008 г.

Ученый секретарь диссертационного совета, доктор физико-математических наук, профессор В. Г. Пименов

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

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

Данная работа относится к исследованию комбинаторной задачи CSP (от английского ‘Constraint Satisfaction Problem’, в немногочисленной русскоязычной литературе встречается также название Обобщенная выполнимость [1]). Цель данного направления – разработать эффективные универсальные алгоритмы для задач из класса NP. Задача CSP является лишь одной из многих известных NP-полных задач, однако в последнее десятилетие стало ясно, что она занимает особое место. Хотя по самому определению NP-полной задачи к любой такой задаче сводится любая задача из класса NP, соответствующее сведение зачастую оказывается громоздким и искусственным. Преимущество задачи CSP состоит в том, что большинство комбинаторных задач может быть представлено в виде CSP просто и естественно. Многие комбинаторные задачи могут быть естественным образом охарактеризованы как подклассы задачи CSP.

В задаче CSP даны множество переменных, множество их возможных значений, а также заданы ограничения на значения переменных. Каждое ограничение состоит из вектора переменных и отношения на множестве s значений переменных. Ограничение считается выполненным, если вектор значений переменных принадлежит. Требуется указать значения пеs ременных так, чтобы выполнялись все ограничения. Впервые общая задача CSP была введена Монтанари в 1974 г. [43] при решении одной из задач машинного зрения – распознавания формы многогранников по их двумерному изображению. В последующие годы этот формализм с успехом использовался для моделирования как дискретных, так и непрерывных прикладных задач, а затем и разработки универсальных алгоритмов для их решения. Теория задачи CSP находит применение в таких областях, как теория реляционных баз данных [37, 54], временная и пространственная логика [52], распознавание образов [43], автоматическое доказательство теорем [14], техническое проектирование [46], анализ языков программирования [45] и естественных языков [3], биоинформатика [39] и многих других.

Для многих задач очевиден естественный способ представления в виде CSP. Например, k-раскраска графа – это в точности задача CSP на k-элементном множестве, в которой в качестве отношения ограничения используется только неравенство. Популярная игра Судоку может быть представлена в виде задачи CSP, при помощи отношения Sv( = ровно одна s) из переменных из равна v. Легко видеть, что любая система уравнений s есть не что иное, как задача CSP, отношениями ограничения которой являются множества векторов, удовлетворяющие каждому отдельному уравнению. Разумеется, существуют задачи, для которых способ представления в виде CSP неочевиден. К таковым относится, например, задача о пространственной структуре молекул белка, однако и в таких случаях задача CSP зачастую оказывается весьма полезной [5, 39].

В настоящее время существуют специальные декларативные языки программирования: ECLiPSe [4], Oz [49], 2LP [41], CHIP [26], в которых для решения задачи достаточно записать ее в виде CSP. Существуют библиотеки с подобной функциональностью для С++ (например ILOG [48]), расширениями, позволяющими решать задачу CSP, снабжено большинство современных версий Prolog [44]. Язык Newton [27] позволяет решать разновидность задачи CSP в которой областью значений переменных является множество рациональных чисел. Практическая полезность таких программных продуктов напрямую зависит от эффективности алгоритмов, применяемых для решения задачи CSP.

Частным случаем задачи CSP, в котором множество значений переменных двухэлементно, а разрешенные ограничения – дизъюнкции литералов (клозы), является задача Выполнимость, одна из первых задач, NP-полнота которых была доказана [2,13]. Задача Выполнимость представляет самостоятельный интерес, так как формулируется она проще, чем CSP, и в то же время сведение задачи CSP к задаче Выполнимость не составляет труда.

Сама задача Выполнимость является в настоящее время объектом активного исследования. Ей посвящена ежегодная конференция SAT (это название является сокращением от Satisfiability – английского названия задачи Выполнимость), проводящаяся с 1996 г. C 2005 г. в Нидерландах выпускается специализированный журнал JSAT (Journal on Satisfiability, Boolean Modeling and Computation). Важное место в исследовании задачи Выполнимость занимает разработка реально работающих программрешателей. При конференции SAT регулярно проходит соревнование таких программ, в котором принимают участие десятки программных продуктов, созданных специалистами со всего мира. Прогресс, достигнутый в разработке алгоритмов для практических задач огромен: многие задачи, еще лет назад считавшиеся практически неразрешимыми, современными программами могут быть решены за доли секунды.

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

Во-вторых, бльшая структурированность задачи позволяет переносить в теорию CSP алгоритмы, разработанные для других комбинаторных задач.

Кроме того, язык задачи CSP оказывается проще для понимания, поэтому запись задачи в виде CSP на практике оказывается предпочтительнее кодирования в виде задачи Выполнимость с точки зрения взаимодействия с заказчиком при моделировании предметной области.

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

1) На языке CSP может быть сформулированы все задачи из класса NP, а значит и полиномиальные, поэтому важным направлением в исследовании задачи CSP является идентификация полиномиальных подклассов и разработка для них эффективных алгоритмов.

Естественный способ выделения подзадач CSP состоит в задании множества отношений, разрешенных для использования в ограничениях. Для каждого такого множества через CSP() обозначается множество задач CSP, в которых множество отношений, используемых в ограничениях, содержится в.

В 1978 г. Шефер [51], изучая ограниченные классы задачи CSP на двухэлементном множестве, показал, что каждый такой класс либо NP-полон, либо имеет полиномиальный алгоритм, решающий его. Кроме того, он нашел критерий, разделяющий легкие и трудные задачи. В этой же работе Шефер поставил проблему поиска аналогичного критерия для общей задачи CSP: для каждого множества отношений определить сложность задачи CSP() и найти для нее полиномиальный алгоритм, если таковой существует. Множество отношений, для которого задача CSP() полиномиальна, называется полиномиальным.

Полиномиальные множества отношений могут быть заданы многими разными способами. Например, в [17] с использованием техники логического программирования и методов теории групп удалось выявить два больших класса задач CSP, решаемых за полиномиальное время. В частности, в эти классы попадают все легкие задачи CSP, найденные Шефером. Иной подход был предложен в [34, 35], где полиномиальные множества задавались с помощью некоторых инвариантов. Этот подход был развит в [8, 9].

Предпринимались также попытки выделить классы задач CSP, которые могут быть сконструированы из более простых задач так, чтобы решение каждой конкретной задачи сводилось к решению составляющих ее компонент. Такому разложению могут быть подвергнуты как диофантовы формулы из задачи CSP [12, 15, 19, 21, 22], так и множества отношений [10, 11].

В [10, 11] новые множества отношений строятся с помощью операции амальгамирования. Амальгамой множеств отношений RA, RB на множествах A и B соответственно называется множество отношений A(RA, RB) на множестве A B, состоящее из всевозможных объединений A B, где A RA, B RB – отношения одинаковой арности. Нетрудно показать, что задача CSP, соответствующая амальгаме двух множеств, не менее сложна, чем ее составляющие. Кроме того, амальгама двух полиномиальных множеств не всегда полиномиальна. Даже тогда, когда она полиномиальна, алгоритм, сводящий ее к составляющим, может быть весьма нетривиальным.

В [10] был рассмотрен случай, когда множества A и B дизъюнктны. В этом случае при некоторых необременительных ограничениях амальгама полиномиальна тогда и только тогда, когда исходные множества отношений полиномиальны, а алгоритм декомпозиции тривиален. В работе [11] в предположении равенства множеств, на которых заданы отношения, указано несколько частных типов полиномиальных амальгам, важных с прикладной точки зрения. Первой основной задачей является вопрос об условиях полиномиальности амальгамы двух клонов в общем случае.

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

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

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

Локальный Поиск (ЛП) относится к числу стандартных приемов, используемых для решения NP-полных задач, в частности задачи Выполнимость. В отличие от систематического поиска, в котором происходит выбор значений переменных с откатом при появлении противоречия, в локальном поиске идет работа с векторами – наборами значений всех переменных. Начальный набор значений выбирается случайно или следуя некоторой эвристике. Затем на каждом шаге новый набор значений выбирается случайным образом из окрестности текущего в соответствии с некоторым вероятностным распределением.

Локальный Поиск – один из первых алгоритмов, использованных для решения задачи Выполнимость и ее оптимизационного варианта – задачи Максимальная Выполнимость. С конца 1980-х гг. внимание исследователей привлекали разные версии алгоритма ЛП, см., например, [23, 50]. Алгоритм UnitWalk [29], построенный на принципах локального поиска, в 2003 г. занял первое место в одной из номинаций соревнования SAT. Доказано [30], что некоторые варианты локального поиска даже в худшем случае находят решение задачи Выполнимость за время, ограниченное экспонентой от количества переменных с основанием строго меньшим, чем 2.

В простейшей версии ЛП, известной как Итеративное Улучшение [33], мы начинаем со случайного набора значений переменных и затем на каждом шаге изменяем значение одной из переменных, для которых это приводит к увеличению количества выполненных клозов. Если таких переменных больше нет, то работа прекращается и возвращается найденный вектор. Таким образом, работа алгоритма заканчивается, когда текущий набор значений переменных оказывается локальным максимумом количества выполненных клозов для данной формулы.

Куцупиас и Пападимитриу [38] провели вероятностный анализ работы простейшей версии ЛП для модели, в которой равновероятны все формулы, истинные на заданном наборе значений, показав, что в этом случае ЛП находит решение. Второй основной задачей диссертации является исследование эффективности алгоритма ЛП на задачах 3-Выполнимость, распределенных по другому закону, а именно, по закону (n, n): для заданного количества переменных n и константы равновероятна любая задача, содержащая n переменных и n клозов. Это распределение привлекает особое внимание, поскольку известно (см., например, [42]), что в зависимости от параметра оно позволяет генерировать задачи различной сложности с точки зрения как доказательства невыполнимости, так и нахождения решения.

Pages:     || 2 | 3 |






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