CC BY
14
Краткое сообщение/Short message_
УДК 519.852
DOI: http://doi.org/1Q.2Q914/2310-12Q2-2Q18-2-1-6_
Оценка мощности полного множества альтернатив паретовских _подграфов в графе_
Юрий В. Бугаев 1 y_bugaev52@mail.ru _Сергей В. Чикунов 1 chiksv@rambler.ru_
1 Воронежский государственный университет инженерных технологий, пр-т Революции, 19, г. Воронеж, 394036, Россия Реферат. На практике часто встречаются задачи построения оптимального подграфа определённого вида в заданном графе. В качестве возможных приложений используются задачи поиска оптимальной структуры технологических сетей, проектирования архитектуры вычислительных устройств, моделирования искусственного интеллекта и многие другие. Всё более актуальными становятся многокритериальные варианты указанных задач. Существенным сдерживающим фактором совершенствования методов многокритериальной оптимизации на графах является проблема их экспоненциальной вычислительной сложности, вызванной большой размерностью задачи. Ряд данных свидетельствует, что теоретическая оценка сложности, построенная для методов полного перебора, не соответствует действительности, и сделанные выводы не имеют достаточного обоснования. Среди эффективных решений наибольший интерес представляет так называемое полное множество альтернатив, мощность которого может быть на порядки ниже, чем мощность множества Парето. С учётом перечисленных фактов в данной работе изложен результат исследований, состоящий в построении оценки сверху для мощности полного множества альтернатив задачи нахождения парето-оптимальных подграфов для заданного графа.
Ключевые^лова^ЕафиииТЕифинижииивииири™
Power estimation of the full set of alternatives to Paret's subgraphs _in a graph_
Yurii V. Bugaev 1 y_bugaev52@mail.ru _Sergei V. Chikunov 1 chiksv@rambler.ru_
1 Voronezh state university of engineering technologies, Revolution Av., 19 Voronezh, 394036, Russia
Summary .In practice problems of creation of an optimum subgraph of a certain look in a given graph count often meet. As possible annexes problems of search of optimum structure of technological networks, design of architecture of computers, modeling of artificial intelligence and many others are used. More and more relevant are multicriteria options of the specified tasks. An essential limiting factor of improvement of methods of multicriteria optimization on graphs is the problem of their exponential computing complexity caused by big dimension of a task. A number of data demonstrates that the theoretical assessment of complexity constructed for methods of full search isn't true, and the drawn conclusions have no sufficient justification. Among effective decisions the so-called complete set of alternatives which power can be lower on orders, than the power of the Pareto set is of the greatest interest. Taking into account the listed facts in this work the result of researches consisting in creation of assessment from above for the power of a complete set of alternatives of a problem of stay is stated pareto-optimal subgraphs for a given graph.
Keywords:graph, subgraph, Pareto set, complete set of alternatives_
Введение
На практике задачи построения оптимального подграфа определённого вида в заданном графе встречаются достаточно часто [1-8]. В качестве возможных приложений используются задачи поиска оптимальной структуры технологических сетей, проектирования архитектуры вычислительных устройств, моделирования искусственного интеллекта и многие другие. С формализованной точки зрения наиболее популярны задачи поиска кратчайшего пути и остова минимального веса.
В последние десятилетия всё более актуальными становятся многокритериальные варианты указанных задач. Однако существенным сдерживающим фактором совершенствования методов многокритериальной оптимизации на графах является проблема их вычислительной сложности, вызванной большой размерностью
Для цитирования Бугаев Ю.В., Чикунов С.В. Оценка мощности полного множества альтернатив паретовских подграфов в графе // Вестник ВГУИТ. 2018. Т. 79. № 2. С. 1-2. ао1:10.20914/2310-1202-2018-2-1-2
задачи. Полученные оценки [4, 5] свидетельствуют об экспоненциальном возрастании числа эффективных решений.
Однако мощность множество Парето-оптимальных вариантов редко имеет близкую оценку с числом всех допустимых вариантов решений задачи. Ряд данных свидетельствует, что теоретическая оценка сложности, построенная для методов полного перебора, не соответствует действительности, исделанные выводы не имеют достаточного обоснования.
Поясним сказанное. С любой задачей многокритериальной оптимизации ассоциируется множество эффективных решений X*. Оно состоит из таких допустимых вариантов решения х, для каждого из которых не существует элемента у, лучшего, чем х по всем критерием одновременно, то есть такого, что q;(y)<q;(x)
For citation
Bugaev Ju.V., Chikunov S.V. Power estimation of the full set of alternatives to Paret's subgraphs in a graph. Vestnik VGUIT [Proceedings of VSUET]. 2018. vol. 79. no. 2. pp. 1-2. (in Russian). doi:10.20914/2310-1202-2018-2-1-2
сразу для всех j, причём, хотя бы одно неравенство является строгим. Среди эффективных решений наибольший интерес представляет так называемое полное множество альтернатив (ПМА) [9] - подмножество X°çX* минимальной мощности, такое, что образы q(X*^ q(X°) совпадают. Часто мощность множества эффективных решений может быть на порядки выше, чем мощность ПМА.
Кроме того, в практически важных задачах значения оценок по критериям ограничены, а этот факт при теоретическом анализе мощности множества Парето не учитывается.
С учётом перечисленных фактов в данной работе изложен результат исследований попостроению приемлемой оценки сверху для мощности ПМА задачи построения парето-оптимальных подграфов для некоторого графа.
Получение оценки
Пусть задан граф G = (V, E), \V\ = n, \E\ = m произвольного вида, на рёбрах которого заданы значения 5 критериев qt = q(e), i = 1,..., s; eeE. Значения qj будем полагать целыми неотрицательными числами из конечного диапазона [0; d\. Требуется построить множество Парето-оптимальных подграфов, принадлежащих некоторому определённому виду. В качестве критериев эффективности подграфа предполагается минимум суммы значений критериев рёбер, входящих в подграф, так называемый критерий вида minsum [10].
Предположим также, что количество рёбер каждого допустимого подграфа не превосходит некоторого к, k<m.
Теорема 1. При сделанных предположениях мощность ПМА задачи поиска Парето-опти-мальных подграфов не превосходит
N = (d-k + 1)s - (d-k)s. (1)
Доказательство. Покажем, что мощность ПМА паретовских подграфов не больше, чем число целочисленных точек на s ближайших к началу координат гранях гиперкуба [0, k-d]s.
Обозначим это множество точек Г. Оно имеет следующий вид:
¡Ле Es\ 0 <Л;< к - d, Xt-целые,!
I i = 1,..., s ; min Л.= 0 I
Пусть P - множество достижимых критериальных оценок эффективных подграфов. Построим отображение ф: P^ Г следующего вида:
Vp e P ф(p)i = pt - min Pj.
j
Очевидно, что все ф(р), как и p будут иметь целочисленные координаты, причём ттф(р) = 0. Следовательно, ф(р) еГ.
Покажем, что ф инъективно, т. е. двум произвольным различающимся точкам p и r соответствуют разные образы. Предположим противное, т. е. элементамp,reP соответствует один образ А = ф(р) = ф(г). Из этого сразу следует, что p,- minp, = r- min r,. То есть p, - r, = =min p,- min r, = a = const для всех i.
Тогда при a< 0 получим pSritfi. Поскольку p не совпадает с q, то это должно означать, что точка p доминирует по Парето над r. При a> 0 получим обратное отношение. Так или иначе, получаем противоречие с предположением, что обе точки оптимальны по Парето.
В итоге получаем, что, отображение ф между P и Г инъективно, из чего следует |P| < |Г|.
Оценим значение |Г|. Количество точек вдоль каждой из координат равно (kd+1). Тогда количество точек, заполняющих весь 5-мерный куб равно (d-k +1)s. Для оценки мощности Г от этого числа надо отнять количество узлов, заполняющих вложенный куб, из d-k точек по каждой координате, т. е. (d-k)5. Окончательно |Г| = N = (d-k +1)s - (d-k)5. Теорема доказана.
Предположим, что количество критериев s ограничено некоторой константой. Тогда из (1) вытекает, что мощность ПМА паретовских подграфов ограничено некоторым полиномом.
Оценку (1) можно уточнить, если есть возможность определить диапазоны значений по каждому частному критерию [g,mn> q™ax ] -Парето-оптимальных подграфов данного вида. Используя результаты теоремы 1, несложно показать, что в этом случае мы имеет следующую верхнюю оценку мощности ПМА Парето-опти-мальных подграфов
N=П( qmax - qmm +1) - П( qmax - qmm). (2)
¡=1 ¡=1
Пример
Рассмотрим следующий ориентированный граф, на дугах которого заданы два критерия (их численные значения указаны в скобках).
В качестве подграфов будем рассматривать стягивающие остовы графа. Найдём в этом графе все Парето-оптимальные остовы. Для их компактного представления перенумеруем дуги графа согласно таблице 1.
Согласно известной оценке [10], основанной на матрице инциденций исходного графа, легко определить, что граф, представленный на рисунке 1 имеет 101 остовное дерево. Отсюда полным перебором несложно найти его Парето-оптимальные остовы, список которых приведен в таблице 2. В данном случае ПМА паретовских остовов совпадает со списком всех тринадцати Парето-оптимальных остовов.
BeemwuKjBTy^T/Proeeedings of VSUET, Т.
(1,б) б
Рисунок 1. Пример графа с заданными двумя критериями на его дугах
Figure 1. An example of a graph with two given criteria on its arcs
Таблица 1.
Список дуг графа
Table 1.
The list of arcs of the graph
No Начальная вершина Initial vertex Конечная вершинаРша1 vertex Значение Value qi Значение Value q2
1 1 2 1 5
2 2 3 5 1
3 2 4 2 4
4 2 6 7 0
5 3 6 1 9
6 4 1 2 4
7 4 3 1 8
8 4 5 4 4
9 5 4 3 6
10 6 5 1 6
ЛИТЕРАТУРА
1 Мелькумов В.Н., Кузнецов И.С., Кобелев В.Н. Задача поиска оптимальной структуры тепловых сетей // Научный вестник Воронежского государственного архитектурно-строительного университета. Строительство и архитектура. 2011. № 2. С. 37-42.
2 Ильясова Н.Ю., Корепанов А.О., Чикулаев П.М. Метод выделения центральных линий кровеносных сосудов на диагностических изображениях // Компьютерная оптика. 2006. № 29. С. 146-150.
3 Попов А.Ю. О реализации алгоритма Форда-Фалкерсона в вычислительной системе с многими потоками команд и одним потоком данных // Наука и образование. 2014. № 9. С. 162-180.
4 Williams J., Massie Ch., George A.D., Richardson J. et al. Characterization of Fixed and Reconfigurable Multi-Core Devices for Application Acceleration // ACM Transactions onReconfigurable Technology and Systems. 2010. V. 3, №. 4. Art. №. 19.
5 Nguyen Q.H., Ong Y.S., Krasnogor N.A. Study on the Design Issues of Memetic Algorithm // IEEE Congress on Evolutionary Computation (CEC 2007). 2007. P. 2390-2397.
79, № 2, 2018
Таблица 2. Список Парето-оптимальных остовов
Table 2.
List of Pareto-optimal Islands
No Номера дуг, составляющих остов Numbers of arcs that make up the skeleton Значение 1-го критерия Value of the 1st criterion Значение 2-го критерия Value of the 2nd criterion
1 1 2 3 4 8 19 14
2 1 2 3 4 10 16 16
3 1 2 3 5 10 10 25
4 1 2 3 8 10 13 20
5 1 2 3 9 10 12 22
6 1 3 5 7 10 6 32
7 1 3 7 8 10 9 27
8 1 3 7 9 10 8 29
9 2 3 4 6 8 20 13
10 2 3 4 5 10 17 15
11 2 3 5 6 10 11 24
12 2 3 6 8 10 14 19
13 3 5 6 7 10 7 31
Сравним реальное количество остовов с оценкой (2). Имеем следующие диапазоны, которые несложно найти, например, посредством алгоритма Краскала [10]:
[дГ, дП = [6,20],
[qГ, qГ] = [14,32].
Отсюда по формуле (2) получаем N = 33 > 13. Следовательно, оценка (2) справедлива.
6 Ong Y.S., Lim M.H., Zhu N., Wong K.W. Classification of adaptive memetic algorithms: A comparative study // IEEE Transactions on Systems, Man and Cybernetics. Part B: Cybernetics. 2006. V. 36. № 1. P. 141-152.
7 Jie J., Zeng J. Improved Mind Evolutionary Computation for Optimizations // Proceedings of 5 th World Congress on Intelligent Control and Automation. 2004. V. 3. P. 2200-2204.
8 Liang J.J., Qu B.Y., Suganthan P.N. Problem Definitions and Evaluation Criteria for the CEC 2014 Special Session and Competition on Single Objective RealParameter Numerical Optimization. Technical Report 201311. Computational Intelligence Laboratory, Zhengzhou University, Zhengzhou, China; Technical Report. Singapore: NanyangTechnologicalUniversity, 2013. 32 p.
9 Бугаев Ю.В., Музалевский Ф.А. Полиномиальная оценка мощности множества паретовских путей в графе // Вестник Нижегородского университета. 2013. № 2-1. С. 168-170.
10 Костюкова Н.И. Графы и их применение. Комбинаторные алгоритмы для программистов: Учеб. пособие. М. БИНОМ: Лаборатория знаний, 2010. 311 с.
Для связи с редакцией: post@vestnik-vsuet.ru
3
REFERENCES
1 Melkumov V.N., Kuznetsov I.S., Kobelev V.N. The problem of finding the optimal structure of heat networks. Nauchnyi vestnik VGASU [Scientific Bulletin of the Voronezh state University of architecture and construction. Construction and architecture] 2011. no. 2. pp. 37-42. (in Russian)
2 Ilyasova N. Yu,. Korepanov A.O., Chikulaev P.M. Method of selection of Central lines of blood vessels on diagnostic images. Komp 'yuternaya optika [Computer optics] 2006. no. 29. pp. 146-150. (in Russian)
3 Popov A. Yu. On the implementation of the algorithm of Ford-Fulkerson in a computing system, with many streams of commands and a single data stream. Nauka I obrazovanie [Science and education] 2014. no. 9. pp. 162-180. (in Russian)
4 Williams J., Massie Ch., George A.D., Richardson J. et al. Characterization of Fixed and Reconfigurable Multi-Core Devices for Application Acceleration. ACM Transactions onReconfigurable Technology and Systems. 2010. vol. 3, no. 4. art.no. 19.
5 Nguyen Q.H., Ong Y.S., Krasnogor N.A. Study on the Design Issues of Memetic Algorithm. IEEE Congress on Evolutionary Computation (CEC 2007). 2007. pp. 2390-2397.
СВЕДЕНИЯ ОБ АВТОРАХ
Юрий В. Бугаев д.ф-м.н., профессор, кафедра высшей математики и информационных технологий, Воронежский государственный университет инженерных технологий, пр-т Революции, 19, г. Воронеж, 394036, Россия,y_bugaev52@mail.ru Сергей В. Чикунов к.т.н., доцент, кафедра высшей математики и информационных технологий, Воронежский государственный университет инженерных технологий, пр-т Революции, 19, г. Воронеж, 394036, Россия, chiksv@rambler.ru
КРИТЕРИЙ АВТОРСТВА
Все авторы в равной степени принимали участие в написании рукописи и несут ответственность за плагиат
КОНФЛИКТ ИНТЕРЕСОВ
Авторы заявляют об отсутствии конфликта интересов.
ПОСТУПИЛА 02.04.2018 ПРИНЯТА В ПЕЧАТЬ 03.05.2018
6 Ong Y.S., LimM.H., Zhu N., Wong K.W. Classification of adaptive memetic algorithms: A comparative study. IEEE Transactions on Systems, Man and Cybernetics. Part B: Cybernetics. 2006. vol. 36. no. 1. pp. 141-152.
7 Jie J., Zeng J. Improved Mind Evolutionary Computation for Optimizations. Proceedings of 5 th World Congress on Intelligent Control and Automation. 2004. vol. 3. pp. 2200-2204.
8 Liang J.J., Qu B.Y., Suganthan P.N. Problem Definitions and Evaluation Criteria for the CEC 2014 Special Session and Competition on Single Objective Real-Parameter Numerical Optimization. Technical Report 201311. Computational Intelligence Laboratory, Zhengzhou University, Zhengzhou, China; Technical Report. Singapore: NanyangTechnologicalUniversity, 2013. 32 p.
9 Bugaeev Yu.V., Muzalevsky F.A. Polynomial estimation of power of the set of Paret paths in the graph. Vestnik Nizhegorodskogo universiteta [Proceedings of Nizhny Novgorod University] 2013. no. 2-1. pp. 168-170. (in Russian)
10 Kostyukova N.I. Graphs and their application. Kombinatornue algoritmy dlya programistov [Combinatorial algorithms for programmers: Studies. benefit] Moscow, BINOM, 2010. 311 p. (in Russian)
INFORMATION ABOUT AUTHORS Yurii V. Bugaev Dr. Sci. (Phys.-Math.), professor, higher mathematics and information technology department, Voronezh state university of engineering technologies, Revolution Av., 19 Voronezh, 394036, Russia,y_bugaev52@mail.ru
Sergei V. Chikunov Cand. Sci. (Engin.), associate professor, higher mathematics and information technology department, Voronezh state university of engineering technologies, Revolution Av., 19 Voronezh, 394036, Russia, chiksv@rambler.ru
CONTRIBUTION
All authors equally participated in writing the manuscript and responsible for the plagiarism
CONFLICT OF INTEREST
The authors declare no conflict of interest. RECEIVED 4.2.2018 ACCEPTED 5.3.2018
