Оценка степени согласованности результатов парных сравнений

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

Можно показать, что при выполнении условия однородности a_ik = a_is • a_sk максимальное собственное число А,_тах матрицы А всегда в точности равно порядку п матрицы, а все остальные собственные числа равны нулю (т.е. ноль — корень характеристического уравнения кратности /7−1). При небольших отклонениях суждений эксперта от однородности одно из собственных значений будет существенно больше остальных и приблизительно равно порядку матрицы. Таким образом, для оценки однородности суждений эксперта необходимо использовать отклонение А,_тах — п собственного значения А,_тах от порядка матрицы п.

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

где М[1₀] — среднее значение (математическое ожидание) индекса однородности случайным образом составленной матрицы парных сравнений А. Величина М[/₀] найдена на основе экспериментальных данных (табл. 11.3), полученных методом численного эксперимента в работе Т. Саати¹.

Таблица 113

Среднее значение М[/₀] индекса /₀ в зависимости ог порядка п матрицы.

¹ Саати Т.Л. Принятие решений. Метол анализа иерархий: пер. с англ. М.: Радио и связь, 1989.316 с.

Если для матрицы парных сравнений отношение однородности превышает пороговое значение ?, > 0,10, то это свидетельствует о существенном нарушении логичности суждений, допущенном экспертом при заполнении матрицы. В этом случае эксперту предлагается пересмотреть данные, использованные для построения матрицы, чтобы улучшить ее однородность. Значение ниже порогового ^ < 0,10 считается допустимым, т. е. отклонения элементов матрицы парных сравнений А от согласованных величин не столь велики, чтобы заметно нарушить однородность.

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

Обратите внимание!

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

Несмотря на существенные преимущества, отношение согласованности иногда обладает и недостатками. Например, ограничение % < 0,10 зачастую вступает в противоречие с логикой исследователя. Ярким проявлением этого служит связанное с таким ограничением требование наличия транзитивности в предпочтениях эксперта¹.

Напомним, что отношение предпочтения транзитивно, если из x_t > х₂ и х₂ > х₃ вытекает х_х > х₃. Нетрудно убедиться, что при отсутствии транзитивности в матрице парных сравнений почти всегда имеет место? > 0,10. Иллюстрацией данного факта служит приведенный выше пример (метод средних геометрических для нахождения приоритетов). Отношение предпочтения, заданное матрицей А в данном примере, не транзитивно — в частности, имеет место х, > х₂ (с коэффициентом 5), х₂ > х₃, но при этом х₃ > х, (с показателем 4). Результат отсутствия транзитивности таков: индекс однородности равен /₀ = 6,51, а отношение однородности = 7,23, т. е. пороговое значение = 0,10 превышено в 72 раза. В то же время транзитивность на практике не всегда присутствует в экспертных оценках, особенно когда характеристики исследуемой системы — качественные, и их невозможно представить числовыми величинами. Нередко выбор экспертом предпочтений х, > х₂, х₂ > х₃, но при этом х₃ > X, при наличии нескольких критериев бывает обоснован вескими аргументами, которые нелегко опровергнуть.

Однако, как показывает следующий пример, даже выполнение условия транзитивности не гарантирует справедливости ограничения % < 0,10.

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

' Преимущества и недостатки метода анализа иерархий [Электронный ресурс]. URL: http://cyberleninka.rU/article/n/preimuschestva-i-nedostatki-metoda-analiza-ierarhiy (дата обращения: 04.08.2015).

Каждая альтернатива здесь предпочтительнее всех последующих с показателем от двух до п, т. е. при i х_к — транзитивность соблюдается. Болес того, оценки парных сравнений в матрице выглядят вполне логичными и соответствуют ощущениям многих экспертов, выстраивающих эти оценки в виде арифметической прогрессии. Но с возрастанием размера матрицы п ее наибольшее собственное число довольно быстро растет, поэтому растут и показатели /₀ и q. Скажем, при п = 10 они равны /₀ = 0,438 и? = 0,311, что превышает пороговое значение % = 0,10 более чем в три раза.

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

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

которая содержит п строк по числу альтернатив и т столбцов — по числу критериев.

Если иерархия содержит лишь одну цель ЛПР, как на рис. 11.2, то, соответственно, вектор приоритетов критериев относительно цели — только один. Этот вектор V состоит из т компонент — по числу критериев.

Обратите внимание!

Объединение матрицы В (приоритетов альтернатив относительно критериев) и вектора V (приоритетов критериев относительно цели) в единый вектор №₀ (приоритетов альтернатив относительно цели) осуществляется путем линейной свертки. С точки зрения теории матриц производится умножение матрицы В справа на вектор V:

Полученный в результате вектор 1У₀ приоритетов альтернатив относительно цели, как и векторы W_v W₂,…, W_m, состоит из п компонент — по числу альтернатив. Эти компоненты представляют собой искомые итоговые приоритеты альтернатив.

В подробной записи каждая из компонент представляется в виде суммы т произведений элементов вектора V на элементы соответствующей строки матрицы В.