CC BY
22
Динамический способ формирования классов при решении задачи
«грубого» ранжирования
А.Г.Коротченко, Н.Н. Чернышова Нижегородский государственный университет им. Н.И.Лобачевского
Аннотация: Предлагается динамический способ формирования классов при решении задачи «грубого» ранжирования. При этом под «грубым» ранжированием понимается разбиение элементов конечного множества на классы «равноценных» элементов и их линейное упорядочение.
Ключевые слова: конечное множество, отношение предпочтения, булева матрица, факторизация отношения, принцип «грубого» ранжирования.
В задачах принятия решений нередко возникает ситуация, когда целевые функции не представлены в виде явных функциональных зависимостей на множестве допустимых альтернатив (объектов), а задается отношение предпочтения на этом множестве, то есть имеется возможность только попарного сравнения объектов.
При этом возникает задача выделения некоторого подмножестваисходного множества, элементы которого назовем предпочтительными, либо выделения нескольких подмножеств (классов) с их дальнейшим упорядочиванием. Попарное сравнение объектов не позволяет провести такое выделение подмножеств или классов непосредственно. Поэтому возникает необходимость иметь некоторые принципы, позволяющие выделять такие подмножества. К числу таких принципов, например, относятся принципы недоминируемости, Неймана -Моргенштерна, ранжирования [1,2,3].
В данной работе рассматривается принцип «грубого» ранжирования, состоящий в выделении классов объектов и их линейном упорядочивании для случая, когда исходное отношение является линейным и нетранзитивным[4-8].
Такие задачи возникают в различных предметных областях [9-13].Например, рассмотрим ВУЗ, который имеет несколько филиалов. Каждый филиал характеризуется набором числовых показателей. Вводится решающее правило, позволяющее преобразовать числовые показатели в отношения предпочтения на множестве филиалов. Деятельность группы филиалов, оказавшихся в «худшем» классе, подлежит особому контролю. Данная задача может быть интересна при осуществлении текущего мониторинга деятельности филиалов ВУЗом.
Другим примером может быть задача, связанная с рассмотрением группы товаров (модели телефонов, автомобилей, 1Т - техники), каждый из которых описывается набором числовых характеристик. После введения решающего правила получаем отношения предпочтения на множестве товаров. Интерес вызывает группа товаров, попавших в «лучший» класс.
Пусть р - линейное бинарное отношение предпочтения, введенное на конечном множестве А. Отношение предпочтения может вводиться путем задания решающего правила, если каждый элемент а 6 Охарактеризуется конечным набором показателей. Некоторые способы введения такого рода отношений описаны в [1]. Под ранжированием объектов понимается расположение их в цепочку по убыванию их ценности или важности. При ранжировании допускается наличие «равноценных» объектов. Тогда элементы множества ^разбиваются на классы равноценных объектов и эти классы располагаются в соответствующую цепочку. На языке бинарных отношений введение ранжирования объектов множества означает введение на нем отношения квазипорядка. Если отношение р - транзитивно, то оно является линейным отношением квазипорядка. Тогда, построив диаграмму квазиупорядоченного множества, мы получим ранжирование объектов из множества А. Если же отношение р - нетранзитивно, то это может свидетельствоватьо наличии контуров в графе (А, р) [1]. Тогда для
построения «грубого» ранжированиямножество А разбивается на классы отношения взаимной достижимости р в графе (А, р). При этом каждому классу эквивалентности р будет соответствовать свой контур в графе (А, р). В качестве же линейного упорядочения этих классов выбирается факторизация этого отношения по эквивалентности р .
Пусть р - линейное нетранзитивное отношение на множестве А, состоящем из (п + 1)-ого элемента, а р - его отношение взаимной достижимости. Будем считать, что отношение р задано булевой матрицей М размерности(п + 1) * (п + 1). Тогда, согласно[1,14], алгоритм выделения контуров графа (А, р) состоит в построении отношения рпи соответствующей ему булевой матрицыМп (п- ой степени матрицы ), где при перемножении матриц вместо обычного сложения используют булево сложение. При этом каждый класс эквивалентности р состоит из элементов, которым соответствуют одинаковые строки матрицыМп ,а любые два элемента класса эквивалентности р принадлежат одному контуру графа (Ар). Отметим, что если для^ < п выполнено условиеМк = Мк+1, то Мп — Мки матрицаМп найдена.
Ясно, что при перемножении соответствующей строки и соответствующего столбца двух булевых матриц в получающейся сумме возникает первая единица, то результат будет равен единице.
Представление отношений в виде булевых матриц не всегда является удобным. Введем так называемое Ь — интервальное представление булевой матрицы М, учитывающее только вхождение единиц в каждую строку этой матрицы. Ь — интервальное представление матрицы М обозначим черезЬ(М). В качестве разделителя информации о строках в 1(М) будем использоватьномер строки. Каждая строка матрицы М рассматривается как совокупность последовательностей из подряд идущих единиц. Размеры последовательностей могут изменяться от 1 до (п + 1). Каждая строка
м
в!(М)будетопределяться интервалами вида (,где д^ и р; -натуральные числа, отражающие информацию обиндексах начала и конца ¿-ой последовательности. Поясним Ь — интервальное представление, на примере.
Пусть отношение р таково, что его булева матрица М имеет вид
110 10 1 0 10 111
М = 1 1 1 1 1 0 0 0 1 1 1
1 0 0 0 1 1
0 0 0 1 0 1
Учитывая введенную структуру, запишем интервальное
представление! (М):[(1,2)(4,4)(6,6)1(2,2)(4,6)2(1,6)3(4,6)4(1.1)(5,6)5(4,4)(6,6)6 ]
Как было сказано выше, при выполнении условия Мк — Мк+1, к < п, матрицуМп можно считать построенной и для выделения классов отношения р нужно определить одинаковые строки этой матрицы. Заметим теперь, что одинаковые строки могут появляться уже в матрицеМ1, 2 < I < к. Будем учитывать этот факт при динамическом формировании классов отношенияр" , рассматривая на £ - ом шаге алгоритма матрицу М;, которая получается из матрицы ¿-ой итерации путем удаления ее одинаковых строк. На первой итерацииМ± =М. Таким образом на следующем (г + 1 )-м шаге будет использоваться матрицаМ; * М и из нее, как было описано выше, будет сформирована матрица Итерационный процесс заканчивается при
получении матрицы Мп , либо, когда Мк — Мк+1 ,к < п, либо, когда Мкне содержит ни одного элемента. Для реализации описанной процедуры при вычислении матрицы М^ * М можно использовать булево произведение этих матриц (где обычное сложение заменяется на булево) и затем переходить к^ -интервальному представлениюполучившейся матрицы * М).Можно
также воспользоваться Ь -интервальным представлением матрицы М¿: и аналогичным Ь -интервальному представлению матрицы
М ее -интервальным представлением 11(М), где вместо строк матрицы используются ее столбцы, и находить * М)непосредственно с
использованием Ь{М{) и 11(М).
При этом будем последовательно формировать классыСг(г),где I -номер шага алгоритма, г - номер класса, формируемого на шаге ¿(г = 1,2, ...я). Здесь 5 - число классов на I шаге. Индексы одинаковых строк матрицы М^ ,будут образовывать классСг(7). Классы отношенияр будут построены, когда выполнится условие окончания итерационного процесса.
С учетом изложенной процедуры справедливо
Утверждение: Для каждого класса I - ой итерации существует содержащий его класс {I + 1)- ой итерации.
Информацию о вычеркнутых строках и их номерахбудем сохранять в «шаблоне» класса. «Шаблон» класса Сг(0 будем обозначать через 5Г(0. «Шаблон» класса есть результат умножения подстроки Ь - интервального представления матрицы М^, соответствующей элементам этого класса, на матрицу М. Так как на одной итерации может сформироваться несколькоклассов, то у каждого из них будет свой «шаблон». «Шаблоны» для одноэлементных классов в ходе итерационного процесса не строятся.
Пример 1.Рассмотрим динамическую процедуру формирования классов на примере ранее приведеннойматрицы М.
Итерация 1 .Запишем 1(М):
[(1,2)(4,4)(6,6)1(2,2)(4,6)2(1,6)3(4,6)4(1.1)(5,6)5(4,4)(6,6)6]
Напомним, чтоМх =М и, следовательно, Ь(М1)=Ь(М).
Итерация 2:
¿(М! * М) = [(1,2)(4,6)1(1,2)(4,6)2(1,6)3(1,2)(4,6)4(1,2)(4,6)5(1,1)(4,6)6].
В получившейся матрице первая, вторая и пятая строки совпадают. Это означает, что объекты исследования с перечисленными номерами попадают в один класс: ^(2) = {1,2,5}. Сформируем «шаблон»
класса5'1(2):[(1,2)(4,6)1,2,5]. Вычеркиваем из матрицы Мг * Мпервую, вторую и пятую строки, тем самым получая матрицу М2 .Тогда интервальное представление для оставшейся подматрицы ¿(М2).записывается следующим образом:[(1,6)3(1,1)(4,6)4(4,6)6].
Итерация3:1(М9 * М)=[(1,6)3(1,2)(4,6)4(1,1)(4,6)6]. Сравнивая
информацию строк полученного интервального представления с информацией строк «шаблона», видим, что на второй итерации в класс добавляется еще один элемент: Сх(3) = {1,2,5,4}. Четвертую строку вычеркиваем из матрицыМ2 * М.Корректируем «шаблон» класса Сх(3) и получаем51(3):[(1,2)(4,6)1,2,5,4]. £(М3) записывается следующим образом: [(1,6)3(1,1)(4,6)6].
Итерация 4: ¿(М3 * М) =[ (1,6)3(1,2)(4,6)6].
Добавляем новый элемент в класс, изменяем «шаблон» и вычеркиваем шестую строку из матрицы М3*М. «Шаблон» класса Сх(4)примет вид5'1(3):[(1,2)(4,6)1,2,5,4,6].Интервальное представление для оставшейся подматрицы ¿(М4)записывается следующим образом: [(1,6)3].Итерационный процесс закончен.К концу итерационной процедуры сформировались два класса ^(4) = {1,2,5,4,6} и одноэлементный класс С2(4) = {3}.
Рассмотрим пример 2.Пусть матрица М изначально задается своим Ь — интервальным представлением:
[(1,2)(9,9)1(1,2)2(1,3)(5,10)3((1,9)4(1,2)(5,7)(9,9)5(1,2)(6,7)(9,9)6(1,2)(5,5)(7,7) (9,9)7(1,2)(4,10)8(1,2)(9,9)9(1,2)(4,7)(9,10)10]
Итерация 1: Ь(М1)=Ь(М).
Итерация 2: Ь(Мг * М) имеет вид:
[(1,2)(9,9)1(1,2)(9,9)2(1,10)3(1,10)4(1,2)(5,7)(9,9)5(1,2)(5,7)(9,9)6(1,2)
(5,7X9,9)7(1,10)8(1,2X9,9)9(1,10)]
Строки третья, четвертая, восьмая и десятая образовали класс Сх(2) = {3,4,8,10} с «шаблоном» 51(2: )[(1,10)3,4,8,10]. Вычеркиваем эти строки из матрицы М± * М. Строки пятая, шестая и седьмая образовали класс С2(2) = {5,6,7} с «шаблоном» 5'2(2):[(1,2)(5,7)(9,9)5,6,7]. Вычеркиваем эти строки из матрицы М± * М.Строки первая, вторая и девятая образовали класс С3(2) = {1,2,9} с «шаблоном» 53(2):[(1,2)(9,9)1,2,9]. Вычеркиваем эти строки из матрицы М± * М. Таким образом в матрице М2не осталось строк. Итерационный процесс закончен.
Первый пример иллюстрирует постепенное (динамическое) формирование классов эквивалентности, когда классы пополняются новыми элементами на каждом шаге итерационного процесса. Второй пример показывает, что процедура формирования классов может произойти быстро, на начальных итерациях.
Отметим некоторые преимущества динамического способа формирования классов эквивалентности. На каждом шаге итерационного процесса строится матрица М^ ,которая при наличии одинаковых строк в матрице М^ , имеет меньшую размерность. Следовательно, уменьшается количество вычислений при определении произведения матрицМ; наМ.
Ь - интервальное представления матриц с каждой итерацией укорачиваются. Имея «шаблоны» классов, легко по Ь -интервальному представлению производить операцию добавления элемента в уже сформированный на предыдущей итерации класс.
Описанную итерационную процедуру можно не проводить до конца, а прервать на любом шаге итерационного процесса. При этом в множестве «шаблонов» будет храниться вся информация об уже сформированных к
моменту останова подклассах.Данное обстоятельство можно учитывать в случае существования дополнительной информации об элементах класса отношения взаимной достижимости. Например, в исходном множестве А есть выделенный элемент а*и представляет интерес отыскание хотя бы еще одного элемента b 6 А, который будет находиться в одном классе с а*.
Вышеизложенная процедура была положена в основу программного комплекса, написанного на языке С#. Данный комплекс позволяет решать задачи формирования классов эквивалентности и их линейного упорядочения для различных предметных областей.
Литература
1. Розен В.В. Цель-оптимальность-решение. М.: Радио и связь, 1982.
168 с.
2. Фон НейманДж., Моргенштерн О. Теория игр и экономическое поведение. М.: Наука, 1970. 707 с.
3. TverskyA. Kahneman D. Rational choice and framing decisions// Journal of business. 1986.№ 59. pp.251-278
4. Tversky A. Intransitivity of preferences. Psychological review. 1969. pp. 3148
5. Блюмбер В. А. Какое решение лучше? Метод расстановки приоритетов. Ленинград: Лениздат, 1982. 160 с.
6. Поддъяков А. Н. Непереходность (нетранзитивность) отношений превосходства и принятие решений // Психология. Журн. ВШЭ. 2006. № 3. С. 111.
7. Поддьяков А. Н. Нетранзитивность превосходства при взаимодействиях: Междисциплинарный анализ. М.: Феникс, 2006. С.182.
8. Поддьяков А. Н. Развитие понимания транзитивности и нетранзитивности отношения превосходства // III междунар. конф. по когнитив. науке : тез. докл. В 2 т. Москва. 2008. Т. 2. С. 414-416.
9. Пестерев П.В., Дьяконов Д.В., Рудюк А.П., Янишевская А.Г. Влияние факторов ранжирования на позиции сайтов в поисковых системах // Инженерный вестник Дона. 2014.№4.URL:ivdon.ru/ru/magazine/archive/N4y2014/2729
10.Коржакова С.А. Концептуальный уровень решения задачи анализа автоматизации социальной мобильности // Cyberleninka URL://cyberleninka.m/article/n/kontseptualnyy-uroven-resheniya-zadachi-avtomatizatsii-analiza-sotsialnoy-mobilnosti(дата обращения: 17.03.2015)
11.Алешин С.П., Бородина Е.А. Нейросетевое распознавание классов в режиме реального времени // Инженерный вестник Дона2013.№1.URL: ivdon.ru/ru/magazine/archive/n1y2013/1494
12.Nelyubin A.., Podinovskiy V. Algorithmic decision rule using ordinal criteria importance coefficients with a first ordinal metric scale // Comput. Math. Math. Phys. 2012. № 1. pp. 43-59.
13.Podinovskiy V. Using interval information on relative criteria tradeoffs in analyzing multicriterialdecision making problems // Autom. Remote Control. 2010. Т. 71. № 8. pp. 1648-1660.
14.Зыков А.А. Основы теории графов. М.: Вузовская книга. 2004.С. 664.
References
1. Rozen V.V. Cel'-optimal'nost'-reshenie[Purpose-optimality-solution] . M.: Radio isvjaz', 1982. p.168.
2. Fon Nejman Dzh., Morgenshtern O. Teorija i grijekonomicheskoe povedenie [Theory of games and economic behavior]. M.: Nauka, 1970. P.707.
3. Tversky A.,Kahneman D. Rational choice and framing decisions. Journal of business. 1986. № 59. P. 251-278
4. Tversky A. Intransitivity of preferences. Psychological review. 1969.PP. 31-48
5. Bljumber V.A. Kakoe reshenie luchshe? Metod rasstanovki prioritetov [What solution is better? A prioritization method]. Leningrad :Lenizdat, 1982. P.160.
6. Podd'jakovA. N. Neperehodnost' (netranzitivnost') otnoshenij prevoshodstvai prinjatie reshenij. Psihologija. Zhurn. VShJe. 2006. № 3. P. 111.
7. Podd'jakov A. N. Netranzitivnost' prevoshodstva pri vzaimodejstvijah: Mezhdisciplinarnyj analiz [Intransitive excellence in interactions:interdisciplinary analysis]. M. : Feniks, 2006. P.182.
8. Podd'jakov A. N. Razvitie ponimanija tranzitivnosti i netranzitivnosti otnoshenija prevoshodstva.III mezhdunar. konf. pokognitiv. nauke :tez. dokl. V 2 t. Moskva. 2008. T. 2. P. 414-416.
9. Pesterev P.V., D'jakonov D.V., Rudjuk A.P., Janishevskaja A.G. Inzenernyj vestnik Dona (Rus). 2014. №4. URL:http://www.ivdon.ru/ ru/magazine/archive/N4y2014/2729
10. Korzhakova S.A. Konceptual'nyj uroven' reshenij a zadachi analiza avtomatizacii social'noj mobil'nosti. Cyberleninka URL: http://cyberleninka.ru/article/n/kontseptualnyy-uroven-resheniya-zadachi-avtomatizatsii-analiza-sotsialnoy-mobilnosti(data obrashhenija: 17.03.2015)
11. Aleshin S.P., Borodina E.A. Inzenernyj vestnik Dona (Rus). 2013. №1. URL:ivdon.ru/ru/magazine/archive/n1y2013/1494
12. Nelyubin A..,Podinovskiy V. Algorithmic decision rule using ordinal criteria importance coefficients with a first ordinal metric scale.Comput. Math. Math. Phys. 2012. № 1. PP. 43-59.
13. Podinovskiy V. Using interval information on relative criteria tradeoffs in analyzing multicriterialdecision making problems.Autom. Remote Control. 2010. T. 71. № 8. PP. 1648-1660.
14. Zykov A.A. Osnovy teorii grafov [Basics of graph theory]. M.: Vuzovskaja kniga. 2004.P. 664.
