CC BY
32
Доклады БГУИР
2013 № 3 (73)
УДК 619.85
МЕТОД ПОСТРОЕНИЯ МНОЖЕСТВА ПАРЕТО ПРИ ДИНАМИЧЕСКОМ ПОЛУЧЕНИИ НАЧАЛЬНЫХ ДАННЫХ
СВ. ЧЕБАКОВ, Л.В. СЕРЕБРЯНАЯ
Объединенный институт проблем информатики НАН Беларуси Сурганова, 6, 220006, Минск, Беларусь
Белорусский государственный университет информатики и радиоэлектроники П.Бровки, 6, 220013, Минск, Беларусь
Поступила в редакцию 15 октября 2012
Рассмотрена многокритериальная задача нахождения паретовских альтернатив при динамическом наборе начальных данных. Представлена общая схема построения частичных решений в случае, когда каждый из элементов формируется по определенному вычислительному алгоритму. Введены понятия доминирующих и доминируемых векторов на паре-товском множестве и предложен алгоритм их построения. Разработана схема формирования частичных решений без непосредственного сравнения альтернатив.
Ключевые слова: множество Парето, частичное решение, доминируемая и доминирующая альтернативы, критериальная граница.
Введение
В традиционных постановках оптимизационных комбинаторных задач на конечном множестве альтернативных вариантов все множество начальных данных обычно задано перед началом решения задачи. Однако подобное предположение не всегда является верным. Элементы множества начальных данных могут формироваться по определенным вычислительным алгоритмам, и их построение может потребовать существенных временных затрат. Предположим, имеется возможность организации параллельных вычислений при решении рассматриваемой комбинаторной задачи. В этом случае возможно одновременное выполнение двух не связанных между собой процессов: формирования множества начальных данных и нахождения частичных решений на множестве построенных альтернатив. Для минимизации времени решения задачи требуется разработать оптимизационные алгоритмы формирования частичных решений, что и является целью данной работы.
Рассмотрим классическую многокритериальную задачу нахождения множества Парето на конечном множестве альтернативных вариантов [1].
Определение 1. Частичным решением оптимизационной задачи нахождения множества Парето назовем паретовское множество на некотором подмножестве всего набора начальных данных.
Пусть имеется частичное решение Рт, где т - число альтернатив Т, сформированных на определенный момент времени, а также построена новая альтернатива Тт+1. Требуется сформировать частичное решение Рт+1. Очевидно, что множество Парето на всем наборе альтернатив может быть получено после того, как построена последняя возможная альтернатива и найдено соответствующее частичное решение.
Одним из вопросов, возникающих при построении паретовского множества Рт+1, является нахождение максимально точных оценок множества Рт с точки зрения разрешения следующих двух ситуаций:
- определение условий доминируемости альтернативы Тт+1 альтернативами уже суще-
ствующего частичного решения Рт;
- определение условий доминируемости альтернативой Тт+\ элементов частичного решения Рт.
Наличие этих характеристик множества Рт в виде некоторых векторов в заданном критериальном пространстве дает возможность оптимизировать построение частичного решения Рт+\. Для нахождения названных оценок в работе вводятся определения доминирующих и доминируемых векторов паретовского множества Рт относительно альтернативы Тт+\ и предлагается способ их построения.
Схема построения частичных решений
Пусть требуется определить частичное решение Рт+\ на подмножестве начальных данных, включающих в себя все ранее построенные альтернативы и новую альтернативу Тт+\. Предположим, что отношение предпочтения между отдельными альтернативами в заданном критериальном пространстве транзитивно. В работе [2] показано, что частичное решение Рт+\ на новом множестве начальных данных представляет собой множество Парето на подмножестве начальных данных, включающем в себя все альтернативы частичного решения Рт и альтернативу Тт+\. Иными словами, все начальные альтернативы, исключенные ранее из рассмотрения при построении частичных решений Рт, т = \, J , не могут входить и в паретовское множество Рт+\. Отметим, что такое соотношение справедливо не для всех оптимизационных комбинаторных задач [2]. Таким образом, для построения нового частичного решения Рт+\ достаточно определить отношение новой альтернативы Тт+\ только с элементами частичного решения Рт. Элементы любого паретовского множества, исходя из его определения, не могут быть упорядочены между собой по отношению доминируемости в заданном критериальном пространстве. Следовательно, для нахождения отношения доминируемости между альтернативой Тт+\ и элементами частичного решения Рт требуется провести операции последовательного сравнения координат альтернативы Тт+\ с координатами всех элементов множества Рт.
Утверждение 1. Если альтернатива Тт+\ доминируется хотя бы одной альтернативой из паретовского множества Рт, то она не может доминировать никакую альтернативу из Рт.
Доказательство. Справедливость утверждения следует из определения паретовского множества и понятия доминируемости альтернатив в заданном критериальном пространстве. Предположим, что требуемое условие не выполняется, т. е. существует альтернатива Н из паретовского множества Рт, которую доминирует альтернатива Тт+\. По условию в множестве Рт существует некоторая альтернатива К, доминирующая альтернативу Тт+\. Тогда, по транзитивности отношения предпочтения альтернатива К должна доминировать альтернативу Н из того же множества Рт, что противоречит определению паретовского множества. Следовательно, предположение о доминировании альтернативой Тт+\ некоторого элемента из Рт неверно.
Утверждение 2. Если альтернатива Тт+\ доминирует хотя бы одну альтернативу из паретовского множества Рт, то она не может доминироваться никакой альтернативой из Рт.
Доказательство. Предположим, что существует альтернатива О из множества Рт, доминирующая альтернативу Тт+\. По условию Тт+\ доминирует альтернативу из Рт, и отношение предпочтения транзитивно. Тогда должна существовать хотя бы одна альтернатива из Рт, которую доминирует альтернатива О, что противоречит тому факту, что Рт является паретовским множеством.
Таким образом, альтернатива Тт+\ может быть либо только доминируемой, либо только доминирующей по отношению к элементам паретовского множества Рт.
Общая схема формирования частичного решения Рт+\ может быть представлена следующим образом. Если альтернатива Тт+\ находится в отношении Парето со всеми альтернативами частичного решения Рт, то Рт+\=Рт. Если альтернатива Тт+\ доминируема хотя бы одной альтернативой частичного решения Рт, то вследствие утверждения 1 дальнейшие сравнения с оставшимися альтернативами этого множества не имеют смысла и Рт+\=Рт. Если альтернатива Тт+\ доминирует хотя бы одну альтернативу паретовского множества Рт, то требуется найти все альтернативы из Рт, которые доминируются альтернативой Тт+\, и исключить их из дальнейшего рассмотрения. Частичное решение Рт+\ в этом случае включает в себя все оставшиеся альтернативы множества Рт и вследствие утверждения 2 альтернативу Тт+\.
Определение 2. Верхней критериальной границей частичного решения Рт назовем вектор Ь+, чьи координаты представляют собой максимум по каждой координате на всем множестве Рт. Нижней критериальной границей множества Рт назовем вектор Ь , чьи координаты представляют собой минимум по каждой координате на множестве Рт.
Из способа построения векторов Ь и Ь получаем, что Ь доминирует любую альтернативу множества Рт, а вектор Ь доминируется каждой альтернативой из Рт. Из транзитивности отношения предпочтения следует, что вектор Ь+ доминирует вектор Ь . Кроме того, по определению множества Парето вектора Ь и Ь не могут совпадать ни с одной альтернативой множества Рт при условии, что множество Рт включает в себя более одного элемента.
Определение 3. Вектор С назовем доминирующим вектором на паретовском множестве Рт, а вектор В - доминируемым вектором на множестве Рт по отношению к альтернативе Тт+1, если выполняются следующие условия:
1) все координаты векторов С и В в заданном критериальном пространстве одновременно являются координатами некоторых векторов множества Рт;
2) вектора С и В не совпадают ни с одной альтернативой паретовского множества Рт;
3) из доминируемости вектором С альтернативы Тт+1 следует, что Тт+1 доминируема хотя бы одной альтернативой паретовского множества Рт;
4) из доминируемости вектора В альтернативой Тт+1 следует, что Тт+1 доминирует хотя бы одну альтернативу паретовского множества Рт.
Очевидно, что при транзитивности отношения предпочтения нижняя Ь и верхняя Ь критериальные границы паретовского множества Рт по определению 3 являются доминирующими и доминируемыми векторами по отношению к альтернативе Тт+1. При этом в соответствии с утверждениями 1 и 2 для нахождения отношения доминируемости между альтернативой Тт+1 и элементами паретовского множества Рт достаточно, чтобы существовала хотя бы одна альтернатива частичного решения Рт, которая либо доминировала альтернативу Тт+1, либо Тт+1 доминировала хотя бы одну альтернативу из этого же множества.
Предположим, что вектора Ь+ и Ь могут быть не единственными векторами, отвечающими определению 3. Для повышения эффективности процесса построения частичного решения Рт+1 требуется, чтобы сформированные по некоторому алгоритму доминирующие вектора на множестве Рт, сохраняя все свои свойства по определению 3, максимально доминировали нижнюю критериальную границу Ь множества Рт. Это позволяет, не проводя непосредственных сравнений с элементами множества Рт, исключить из рассмотрения значительно больше альтернатив, как построенных, так и находящихся на некоторой стадии процесса их формирования, чем при использовании в операциях сравнения только вектора Ь . Аналогичным образом для более эффективного нахождения хотя бы одной альтернативы множества Рт, которая до-минируется альтернативой Тт+1, доминируемые вектора на множестве Рт должны в максимальной степени уступать верхней критериальной границе Ь , что позволяет более эффективно определить тип отношения Тт+1 к альтернативам множества Рт.
Алгоритм построения последовательности упорядоченных векторов
Рассмотрим частичное паретовское множество Рт.
1. Определяяются верхняя 1?т1 и нижняя 17т1 критериальные границы множества Рт.
2. Из множества Рт выделяются те элементы, которые содержат хотя бы одну координату, входящую в вектор Ь+т1 или в вектор Пт1. Это подмножество обозначено как 2*тХ.
3. Множество р* определено следующим образом: р1 = Рт \ . Очевидно, что р* представляет собой паретовское множество.
4. Строятся вектора и 17т2, координаты которых представляют собой максимальные и минимальные значения соответствующих координат элементов множества р*. Если все критериальные оценки альтернатив множества Рт не равны между собой, то, исходя из способа их построения, вектор 17т2 доминирует вектор 17т1, а вектор Ёт2 доминируется вектором Ь+т1.
5. Из множества Ри1 исключаются элементы, имеющие хотя бы одну координату, входящую в вектора Цт2 и Цт2. Определяются верхняя ЦтЪ и нижняя критериальные границы
множества Рт2 = Р* \ Zm2. Процесс построения векторов Ц^ и Ц . продолжается до тех пор, пока не будут исчерпаны все элементы множества Рт.
Из приведенного алгоритма построения множеств Р* следует:
к=]+1
где I — число построенных подмножеств Z^ . Вектора Ц^ и Ц^. связаны соотношениями:
Цт1 > Цт2 > Цт3 > ■■■ > Цт1, Цт1 < Цт2 < Цт3 < ■■■ < Цт1, (2)
где «>«— символ доминирования.
Поскольку ранее было показано, что любой вектор Ц доминирует соответствующий
ему вектор Р^ , то справедливо соотношение:
Цт1 > Цт2 > Цт3 > ■■■ > Цт1 > Цт1 > Цт1-1 > Цт1-2 > ■■■ > Цт1^ (3)
Предположим, что число элементов множества Рт больше 1. Вектора Ц -+1 и Ц .+1 не могут совпадать ни с одной альтернативой паретовского множества Р* . Данное разбиение па-ретовского множества представляет собой отображение Р, чья область определения состоит из элементов множества Рт, а область значений - набор подмножеств Z ■, j = 1,1 со следующими правилами формирования:
- каждый элемент Рт принадлежит только одному Z ■;
- объединение всех элементов подмножеств Z^ совпадает с множеством Рт;
- хотя бы одна координата каждого элемента, входящего в подмножество Z*1, принадлежит верхней или нижней критериальной границе всего паретовского множества Рт, и одна из координат элементов, входящих в подмножества Z* , j = 2,1 обязательно принадлежит верхней или нижней критериальной границе подмножеств = Рт)_2 \ , Р*т0 = Рт .
Следовательно, координаты любого элемента подмножеств Z^ могут принадлежать одному из векторов Ц^- или 17^ , либо одновременно обоим векторам, либо ни одному из этих векторов.
Определение 4. Вектора Ц ■ и Ц~ ■ назовем симметричными элементам образующего их подмножества , если каждый элемент из Z^ содержит хотя бы одну координату, входящую как в вектор Ц^-, так и в вектор Ц. .
Отображение Р назовем симметричным, если все вектора Ц ■ и Ц^ являются симметричными. Для критериального пространства произвольной размерности свойство симметричности не является заранее известным фактом.
Очевидно, что, исходя из описанного выше алгоритма разбиения частичного паретов-ского множества Рт, все вектора 17^ , являясь нижними критериальными границами соответствующих подмножеств, вследствие транзитивности отношения предпочтения отвечают всем условиям определения 3. В соответствии с соотношением (2)
вектор является максимальным доминирующим вектором по отношению к альтернативе Тт+\. Этот вектор будет использован для определения возможной доминируемости новой построенной альтернативы Тт+\ элементами множества Рт. Аналогичным образом вектор Цт1 является минимальным доминируе-
мым, в соответствие с определением 3, среди векторов Ет. по отношению к альтернативе Тт+1 . Следовательно, для того, чтобы альтернатива Тт+1 являлась доминирующей по отношению ко всем элементам паретовского множества Рт, достаточно, чтобы она доминировала вектор Ет1.
Частичное решение Рт в виде (1) также можно использовать, когда построение альтернативных вариантов представляет собой многошаговый процесс с возможностью предварительной оценки некоторых шагов. В этом случае удается определить ситуацию, когда дальнейшее построение альтернатив становится ненужным, т.к. в некоторый момент времени уже существует их доминируемость вектором Е^ или, наоборот, выясняется, что альтернатива уже является доминирующей и необходимо ее построение. Кроме того, соотношения (1) и (2) могут быть применены, когда все множество альтернативных вариантов полностью задается перед началом решения задачи. Требуется лишь упорядочить некоторым образом все элементы множества начальных данных и последовательно их рассматривать для построения отдельных частичных решений в соответствии с заданным упорядочиванием.
Заключение
Введено понятие доминирующего и доминируемого вектора на заданном паретовском множестве Рт по отношению к некоторой внешней альтернативе Тт+1 и предложен алгоритм их построения. Представление паретовского множества в виде (1) дает возможность определения типа отношения новой альтернативы Тт+1 с элементами частичного решения Рт без ее непосредственного сравнения с элементами Рт. Это позволяет разработать алгоритм формирования нового частичного решения Рт+1, минимизирующий общее число требуемых попарных сравнений альтернативы Тт+1 с элементами множества Рт, а также в определенных случаях полностью исключить непосредственное сравнение Тт+1 с элементами Рт.
Предложенный способ построения паретовских множеств может быть использован для решения классической комбинаторной задачи о ранце [3, 4], различные модификации которой широко применяются на практике в прикладной математике, криптографии, экономике, логистике, для нахождения решения оптимальной загрузки различных транспортных средств. Одним из возможных методов ее решения является построение паретовских слоев в заданном двухкритериальном пространстве [5].
METHOD OF CONSTRUCTION OF PARETO SET AT A DYNAMIC INITIAL DATA RECEPTION
S.V. CHEBAKOV, L.V. SEREBRYANAYA Abstract
The many-criterial task of pareto alternatives finding at a dynamic set of initial data is considered. The general scheme of construction of partial solutions in a case when each element is formed on certain computing algorithm is presented. Concepts of dominating and dominated vectors on pareto set are defined and the algorithm of their construction is offered. The scheme of formation of partial solutions without direct comparison of alternatives is developed.
Список литературы
1. Дубов Ю.А., Травкин С.И., Якимец В.Н. Многокритериальные модели формирования и выбора вариантов систем. М., 1986.
2. Чебаков С.В. // Вести НАН Беларуси. Сер. физ.-мат. наук. 2009. № 3. С. 105-113.
3. СэвиджДж. Э. Сложность вычислений. М., 1998.
4. Kellerer H., Pfershy U., Pisinger D. Knapsack Problems. Springer Verlag, 2004.
5. Чебаков С.В. // Вести НАН Беларуси. Сер. физ.-мат. наук. 2005. № 2. С. 112-119.
