Научная статья на тему 'Задача разбиения множества объектов территориально распределенной системы на подмножества неравной мощности'

Задача разбиения множества объектов территориально распределенной системы на подмножества неравной мощности Текст научной статьи по специальности «Математика»

CC BY
593
57
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЗАДАЧА РАЗБИЕНИЯ / КОМПАКТНОЕ МНОЖЕСТВО / СКОПЛЕНИЕ ОБЪЕКТОВ / ФУНКЦИЯ ПЛОТНОСТИ / ГРАФ ПАРНЫХ ПЕРЕСЕЧЕНИЙ / DECOMPOSITION TASK / COMPACT SET / COLLECTION OF OBJECTS / DENSITY FUNCTION / GRAPH OF THE PAIR INTERSECTIONS

Аннотация научной статьи по математике, автор научной работы — Погребной Александр Владимирович, Погребной Владимир Кириллович

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

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

Похожие темы научных работ по математике , автор научной работы — Погребной Александр Владимирович, Погребной Владимир Кириллович

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

The article considers the task of compact decomposition of object set in geographically distributed system into subsets the number and power of which may vary within the specified value interval. The notions of natural and relative object collection are introduced. The authors have developed the method for extracting collections. It is used the compact object sets and density function and the graph of compact set paired intersection obtained on their base. The solution of decomposition task is reduced to matching the best fit between the collections and subsets.

Текст научной работы на тему «Задача разбиения множества объектов территориально распределенной системы на подмножества неравной мощности»

Заключение

1. Предложен метод анализа и классификации ЭКГ, заключающийся в вейвлет-анализе сигналов и нейросетевом распознавании образов на основе многослойного персептрона.

2. Осуществлен выбор оптимальных вариантов базисной вейвлет-функции и алгоритма обучения персептрона. Ими оказались вейвлет-функция Добеши четвертого порядка и алго-

ритм Левенбергам-Марквардта для обучения нейронной сети.

3. Работоспособность разработанного метода диагностирования была доказана на основе численных экспериментов.

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

СПИСОК ЛИТЕРАТУРЫ

1. Бойцов С.А., Гришаев С.Л., Солнцев В.Н., Кудрявцев Ю.С. Анализ сигнал-усредненной ЭКГ (по данным вейвлет-преобразования) у здоровых и больных ИБС // Вестник аритмоло-гии. - 2001. - №23. - С. 32-34.

2. Misiti M., Misiti Y., Oppenheim G., Poggi J. Wavelets and their applications. - London: ISTE. - 2007. - 352 с.

3. Блаттер К. Вейвлет-анализ. Основы теории. - М.: Техносфера. - 2004. - 280 с.

4. Открытая база данных ЭКГ MIT. 2012. URL: http://www.phys-ionet.org/cgi-bin/atm/ATM (дата обращения 30.01.2012).

5. Добеши И. Десять лекций по вейвлетам. - Ижевск: Регулярная и хаотическая динамика. - 2001. - 464 с.

6. Гонсалес Р., Вудс Р. Цифровая обработка изображений. - М.: Техносфера, 2006. - 1072 с.

Поступила 17.09.2012 г.

УДК 519.174.1

ЗАДАЧА РАЗБИЕНИЯ МНОЖЕСТВА ОБЪЕКТОВ ТЕРРИТОРИАЛЬНО РАСПРЕДЕЛЕННОЙ СИСТЕМЫ

НА ПОДМНОЖЕСТВА НЕРАВНОЙ МОЩНОСТИ

Ал.В. Погребной, В.К. Погребной

Томский политехнический университет E-mail: pogrebnoy@tpu.ru

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

Ключевые слова:

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

Key words:

Decomposition task, compact set, collection of objects, density function, graph of the pair intersections.

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

Задача компактного разбиения множества объектов, заданных координатами на топологиче-

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

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

Компактные множества и функция

плотности расположения объектов

Объекты множества 0=(д), /=1,2,...,п, подлежащего разбиению, на топологическом поле представлены в виде точек с координатами (х,у¡). Согласно положениям, изложенным в [2], для объекта еQ может быть сформировано множество Q¡■(g) с заданной мощностью g, такое, что Q;(g)cQ, де (}^), а величина Д, определяющая суммарное расстояние от центра этого множества до всех вошедших в него объектов, является минимальной. Множество Qi(g), полученное относительно объекта д с минимальным значением Д, названо компактным. Алгоритм формирования компактного множества Qi(g) мощностью g заключается в выборе из множества 0\д ровно g-1 объектов, доставляющих минимальное значение Д. Эффективный алгоритм формирования таких множеств предложен в [2].

Таким образом, будем считать, что для всех объектов де Q получены компактные множества Q¡ мощностью ^ Вопросы назначения величины g и ее влияния на решение задачи разбиения требуют отдельного исследования. Предполагается, что значение g может приниматься в диапазоне от трех до величины нижней границы интервала мощностей, установленного для подмножеств разбиения. Если число центров (число подмножеств разбиения) известно и равно С, то величина g может приниматься также исходя из условия: 3<^и/2С, в котором п/2С>3. Если п/2С<3, то gпринимается равным 3. Заметим, что независимо от принятого значения g формируется п множеств Qi(g).

Рассмотрим, каким образом можно воспользоваться наличием множеств Qi(g) для решения задачи разбиения. Напомним, что множества Qi(g) являются компактными и формируются независимо друг от друга. Следовательно множества Q¡(g) могут пересекаться между собой. Увеличение мощности пересечения двух множеств Q¡(g) при прочих равных условиях соответствует росту компактности (плотности) скопления объектов, входящих в эти множества. Сказанное иллюстрируется примером, представленным на рис. 1.

Суммарные оценки компактности множеств Q1, Q2 и Q1', Q" совпадают, а мощность пересечения \Q1nQ2\>\Q1'nQ2'\. Это соответствует тому, что компактность объединения выше (значение

оценки Д меньше), чем у объединения ^'1^^'). Данные объединения представляют соответствующие локальные скопления, компактность которых

можно сопоставлять с плотностью расположения объектов на топологическом поле.

Рис. 1. Сравнение мощности пересечения множеств и компактности скоплений

В общем случае будем сравнивать две совокупности множеств Qi(g), обозначим их А и В, каждая из которых содержит равное число Q¡(g) сформированных для определенного значения ^ Пусть в А суммарная мощность парных пересечений множеств Q¡(g) составляет величину р(А), а в В - р(В). Мощность объединения объектов множеств Q¡(g) в А обозначим д(А), а в В - д(В). Если р(А)>р(В), то нетрудно установить, что ^(А)<^(В). С увеличением р(А) уменьшается число объектов, образующих некоторое скопление, на котором сформированы множества совокупности А, что соответствует увеличению плотности этого скопления. Из этого следует, что совокупность А объединяет множество объектов, которое относительно своего окружения выделяется как более плотное скопление.

Наличие связи параметра пересечений множеств Q¡(g) с относительной плотностью скоплений объектов имеет принципиально важное значение для выявления скоплений и формирования на этой основе подмножеств разбиения. Участие объекта де Q в парных пересечениях множеств Qi(g), сформированных для фиксированного g, представим функцией В^). Значение В^) функции Щ) равно числу вхождений объекта д в множества Qi(g). Функцию В^) назовем функцией плотности скоплений объектов множества Q на топологическом поле. Принадлежность объекта д к пересечению некоторой совокупности компактных множеств свидетельствует о том, что в окрестности д1 присутствуют объекты, которые наряду с д входят в эту совокупность компактных множеств. Например, значение В^)=5 означает, что объект двходит в состав пяти компактных множеств. Учитывая, что каждое из пяти множеств является компактным, можно говорить о принадлежности д к некоторому скоплению объектов, образованному этими множествами.

Выделение естественных компактных скоплений

объектов

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

объектов удаленных от объектов окружения на расстояния, превышающие расстояния между объектами внутри скопления. Скопления, которые располагаются на топологическом поле и выделяются независимо от решения задачи разбиения множества объектов на подмножества, назовем естественными. Совокупность объектов £ из множества 2 является естественным скоплением, если все компактные множества 2,^) мощностью g, сформированные для д1е£, состоят из объектов совокупности £, т. е. 2,(ё)^£-

Выделение естественных скоплений (ЕС) рассмотрим на примере фрагмента топологического поля, представленного на рис. 2.

2 4 6 8 10 12 14 16 18

Рис. 2. Фрагмент топологического поля

Множество 2 в примере на рис. 2 содержит 16 объектов. Ярко выраженные ЕС на топологическом поле отсутствуют. Визуально можно выделить три ЕС: £1=(1, 2, 3, 4, 5, 6, 11, 12, 13), £2=(7, 9, 10), £3=(8, 14, 15, 16). Рассмотрим возможные подходы к формализации методов решения задачи выделения ЕС. Примем g=3 и сформируем компактные множества 2 (3). Состав множеств 2 (3) и значения функции ¥(3) представим в виде таблицы.

q^ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

0(3) 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

2 1 1 5 4 2 9 15 7 7 5 4 5 15 14 14

3 3 2 12 12 3 10 16 10 9 6 5 12 16 16 15

F(3) 3 4 4 3 5 2 3 1 3 3 1 4 1 3 4 4

Каждое множество 2,(3) представлено в столбце таблицы тремя объектами. На первом месте вверху столбца указан объект д, относительно которого сформировано компактное множество 2 (3). Внизу таблицы приведены значения функции ¥ (3), полученные для соответствующих д. Например, ¥6(3)=2, т. к. объект д6 входит в 26(3) и 2И(3). Заметим, что компактные множества 2 (3) сформированы по алгоритму [2] согласно координатной сетке, обозначенной на рис. 2 снизу и слева от топологического поля. Оценки компактности Д множеств 2(3) вычислялись при этом относительно центров, которые определялись как центры единичных масс.

Используя значения ¥ (ё), после выполнения аппроксимации получим функцию В*^) в виде «холмистой» поверхности, на которой каждый «холм» соответствует скоплению объектов. Если все значения ¥(£) уменьшить на величину шт{¥^)}, то некоторые «холмы» на поверхности Г(%) предстанут в виде «островов». По границе «острова» устанавливается граница соответствующего скопления. Выделенные скопления исключаются из множества 2, а операция вычитания минимального значения В(я) и исключения скопления при необходимости повторяется. Объекты, которые оказались «потерянными» при выполнении операции вычитания минимального значения В, ^) распределяются между скоплениями.

Для рассматриваемого примера после вычитания 1 из В^) теряются соответствующие объекты д8, ди, д13, что приводит к обособлению четырех «островков» (скоплений) £1*=(1,2,3,6), £2*=(4,5,12), £3*=(7,9,10), £4*=(14,15,16). Заметим, что компактные множества, сформированные на объектах в разных скоплениях, не пересекаются между собой. По этому признаку, в частности, можно определять границы скоплений. Распределение «потерянных» объектов д8, д11, д13 по скоплениям производится в соответствии с их минимальным удалением от объектов скоплений: д8 в £4*, д13 в £2*, дп в £3*.

Полученную совокупность скоплений можно рассматривать как результат решения задачи свободного разбиения множества 2 на подмножества, каждое из которых соответствует определенному скоплению. Очевидно, что свободное разбиение не всегда соответствует требованиям к разбиению по количеству подмножеств и их мощности, поэтому выделение ЕС и скоплений с уточненными границами будем рассматривать как этап предварительного анализа характера расположения объектов множества 2 на топологическом поле.

Формирование подмножеств

в заданном интервале мощностей

Основные параметры разбиения, связанные с ограничением числа подмножеств С и наличием интервала изменения допустимых мощностей [а,Ь], могут устанавливаться в зависимости отре-зультатов выделения скоплений. Решение задачи разбиения для заданных параметров будем рассматривать независимо от того получены они на основе выделенных скоплений или назначены по другим основаниям. Вместе с тем при разработке метода разбиения будем стремиться максимально использовать полученные скопления в качестве подмножеств.

Введем граф парных пересечений компактных множеств и обозначим его О. Вершины графа Осо-ответствуют компактным множествам 2 , а ребра (2,2,) - наличию пересечений 2о2}^0 свесом Гт12л2/|. Граф О, отражающий парные пересечения компактных множеств для рассматриваемого примера, приведен на рис. 2. Вершины графа соот-

ветствуют объектам дь относительно которых были построены соответствующие компактные множества 0;.

Матрица связности вершин данного графа с указанием весов ребер г^ представлена на рис. 3.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

1 3 3 2 1

2 3 3 2 2

3 3 3 2 3

4 3 13 2 4

5 3 13 2 5

6 2 2 2 1 6

7 3 3 7

8 2 2 2 8

9 3 3 9

10 3 3 10

11 1 1 1 1 1 11

12 3 3 1 2 12

13 2 2 1 2 13

14 2 3 3 14

15 2 3 3 15

16 2 3 3 16

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

Рис. 3. Пример матрицы связности вершин графа G

Граф на рис. 2 состоит из трех компонент связности [3], которые по составу объектов соответствуют скоплениям Sl, S2, S3, выделенным ранее визуально. В условиях, когда граф О является связным, т. е. состоит из одной компоненты связности, выделение скоплений можно осуществлять путем удаления ребер с минимальным весом, по аналогии с тем, как это делалось ранее при вычитании минимальных значений функций плотности. Например, удаление пяти ребер с весом г=1, связывающих вершину 0И в скоплении ^=(1,2,3,4,5,6,11,12,13), приводит к выделению скоплений (1,2,3,6) и

(4.5.12.13). Полученная совокупность из четырех скоплений в данном примере может служить основой для принятия решения о разбиении множества 0 на С=4 подмножества с интервалом мощностей [а,Ь]=[3,5]. Для данных значений параметров С и [а,Ь] после включения объекта ди в скопление

(4.5.12.13) имеем решение задачи разбиения. В общем случае, когда требуемые значения параметров С и [а,Ь] назначены без предварительного выделения и анализа скоплений, решение задачи разбиения множества 0 на подмножества включает выполнение следующих этапов.

I. По заданным значениям С и[а, Ь] определяются усредненные (исходные) мощности подмножеств разбиения. Для этого величина п представляется в виде суммы (разложения) п0(С-к)+(п0+1)к. Здесь п0 - целая часть величины п/С, а к=п-п0С. Разложение величины п предполагает разбиение 0 на (С-к) подмножеств мощностью п0 и к подмножеств мощностью (п0+1). Например, при п=32 и С=5 получим п0=6, к=2, и мощно-

сти подмножеств будут приниматься согласно разложению (6,6,6,7,7). Для примера на рис. 2 при С=3 разложение п= 16 получим в виде (5,5,6), а интервал [а,Ь] в этом случае может быть принят равным [4,7].

2. Для величины g, взятой из интервала [3, а], формируются компактные множества 0,(£). При выборе исходного значения g предпочтение отдается g=a. Для проведения более глубокого анализа наличия ЕС меньшей мощности значение g может последовательно понижаться до 3.

3. На основе анализа функции плотности В^) или (и) выделения компонент связности графа О^) проверяется наличие ЕС. Все ЕС, мощность которых укладывается в интервал [а,Ь], заносятся в разложение, замещая его элементы. После этого незамещенные элементы разложения корректируются так, чтобы сумма элементов была равна п. Если ЕС отсутствуют, т. е. граф О(д) состоит из одной компоненты связности или мощность ЕС превышает Ь, то соответствующая компонента связности подлежит разбиению.

4. Разбиение компонент связности и графа О выполняется с помощью матричного алгоритма разрезания графов на минимально связанные подграфы и соответствующего программного средства СиФгаГ [4]. При этом размерность блоков матрицы-шаблона принимается в соответствии с элементами исходного разложения, если разрезается граф О. Если разрезается компонента связности, то используются незамещенные элементы из скорректированного разложения.

5. Для выделенных ЕС и скоплений, полученных в результате решения задачи разрезания, определяются центры, и относительно них решается задача подключения объектов к центрам по критерию минимизации суммарной оценки компактности скоплений (подмножеств). Задача формулируется как задача математического программирования транспортного типа [5]. Необходимость решения данной задачи возникает при наличии «потерянных» объектов либо при желании оценить качество решения задачи разбиения.

Решение задачи разбиения для примера на рис. 2 с заданными параметрами С=4, [а,Ь]=[3,5] приводит к разложению (4,4,4,4). После формирования 0(3), построения и анализа графа О(3), выделяются три ЕС (три компоненты связности). Две из них (7,9,10) и (8,14,15,16) укладываются в интервал и заносятся в разложение, замещая два последних элемента. В результате корректировки получается новое разложение (4,5,3,4). На рис. 4 приведены результаты разрезания графа О(3) для размерно -стей блоков матрицы-шаблона, соответствующих элементам скорректированного разложения. Справа и снизу матрицы приведены номера объектов, вошедших в блоки, которые соответствуют подмножествам разбиения.

в 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

1 3 3 2 1

2 3 3 2 2

3 3 3 2 3

4 2 2 2 1 6

5 1 3 2 3 5

6 1 1 1 1 1 11

7 3 1 2 3 4

8 2 1 2 2 13

9 3 1 3 2 12

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

10 3 3 10

11 3 3 7

12 3 3 9

13 2 2 2 8

14 2 3 3 14

15 2 3 3 15

16 2 3 3 16

1 2 3 6 5 11 4 13 12 10 7 9 8 14 15 16

Рис. 4. Результат разрезания графа G(3)

При назначении параметров С=3 и [а,Ь]=[4,7] получим разложение (5,5,6). Граф О (4), построенный для (3,(4), состоит из двух ЕС. Одно из них (7,8,9,10,14,15,16) укладывается в интервал, второе разрезается согласно скорректированному разложению (4,5,7). Оба варианта решения задачи разбиения не приводят к появлению «потерянных объектов».

Программная реализация перечисленных этапов решения задачи разбиения предполагает более детальную алгоритмизацию этапов и в ряде случаев интерактивное вмешательство пользователя. Необходимость вмешательства возникает при выборе величины g, выделении ЕС и скоплений

на основе функции или графа О^), примене-

нии алгоритмов решения задачи подключения объектов к центрам и в ряде других случаях.

Выводы

1. Замена объектов на компактные множества и соответственно отношений между объектами в виде расстояний на отношения между компактными множествами в виде мощностей парных пересечений усиливает эффект локализации скоплений объектов на топологическом поле.

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

3. При наличии инструмента выделения скоплений задача разбиения множества объектов на подмножества в заданном интервале мощностей в основном сводиться к нахождению максимального соответствия между скоплениями и подмножествами с учетом их числа и допустимой мощности.

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

Работа выполнена в рамках госзадания «Наука»

СПИСОК ЛИТЕРАТУРЫ

1. Погребной Ал.В., Погребной Ан.В. Алгоритм решения задачи компактного разбиения множества объектов территориально распределенной системы // Известия Томского политехнического университета. - 2010. - Т. 317. - № 5. - С. 22-28.

2. Погребной Ал.В. Определение нижней границы оценки компактности для топологических разбиений // Известия Томского политехнического университета. - 2011. - Т. 319. - № 5. -С. 27-32.

3. Кристофидес Н. Теория графов. Алгоритмический подход. -М.: Мир, 1978. - 432 с.

4. Погребной Ан.В., Погребной Д.В. Исследование матричного алгоритма решения задачи разрезания графов // Молодежь и современные информационные технологии: Труды VIII Все-росс. научно-практ. конф. молодых ученых. - Томск, 2010. -С. 140-148.

5. Гольштейн Е.Г, Юдин Д.Б. Задачи линейного программирования транспортного типа. - М.: Наука, Физматлит, 1969. -384 с.

Поступила 27.09.2012 г.

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