[論文レビュー] An Algorithm for the Optimal Consistent Approximation to a Pairwise Comparisons Matrix by Orthogonal Projections

Waldemar W. Koczkodaj, M. Orłowski|arXiv (Cornell University)|May 8, 2015

Advanced Scientific Research Methods参考文献 10被引用数 6

ひとこと要約

本稿では、対比較行列の不整合性を解消する最適な一貫性近似を計算するための効率的なアルゴリズムを提示する。対数変換されたベクトル空間における直交射影を用いることで、一貫性行列の空間に対する事前計算された直交基底を活用し、問題を基底行列の線形結合に還元する。これにより、数値的安定性と単純さを保証しつつ、最小二乗法による一貫性近似をO(n²)で計算可能にする。

ABSTRACT

The algorithm for finding the optimal consistent approximation of an inconsistent pairwise comparisons matrix is based on a logarithmic transformation of a pairwise comparisons matrix into a vector space with the Euclidean metric. Orthogonal basis is introduced in the vector space. The orthogonal projection of the transformed matrix onto the space formed by the images of consistent matrices is the required consistent approximation.

研究の動機と目的

• 専門家の判断から生じる不整合性を有する対比較行列の不整合を低減する課題に取り組む。
• 不整合な逆行列を一貫性のあるものに近似するための数学的に整合性があり、計算効率の高い手法を提供する。
• 対数変換を用いた線形代数フレームワークに問題を変換することで、近似プロセスを単純化する。
• 任意のサイズNの行列に対して、一貫性行列の空間に対する再利用可能な直交基底を構築する。これにより、任意の行列に対して高速かつ安定した射影計算が可能になる。
• 不整合性の定量化と最小化を通じて、意思決定システムにおける知識獲得とデータ検証を支援する。

提案手法

• 元の対比較行列Mを対数行列A = [log m_ij]に変換することで、一貫性行列の空間を線形部分空間Lに変換する。
• Lを、すべてのi,j,kについてm'_ik + m'_kj = m'_ijを満たす行列の集合として定義する。これは、対数ドメインにおける一貫性比行列に対応する。
• 指標行列B_kに基づく再帰的公式を用いて、{T₁, T₂, ..., T_{N-1}}という直交基底を構築する。これにより、効率的な射影が可能になるように正規直交性を保証する。
• 射影係数t_k = (T_k · A) / ||T_k||²を、基底行列T_kと対数行列Aとの内積を用いて計算する。
• 最適な一貫性近似A'を線形結合A' = Σ t_k × T_kとして再構成する。これは、対数空間内での最小二乗近似に対応する。
• 得られた行列A'を指数関数的に変換することで、元のスケールにおける最終的な一貫性のある対比較行列を回復する。

実験結果

リサーチクエスチョン

• RQ1 不整合な対比較行列の最適一貫性近似を、効率的かつロバストに計算する方法は何か？
• RQ2 対数ベクトル空間における一貫性対比較行列に対応する線形部分空間の構造は何か？
• RQ3 この部分空間に対して、射影計算を簡素化できるように、系的に直交基底を構築できるか？
• RQ4 得られる近似アルゴリズムの計算量は何か？実用的利用のための最適化は可能か？
• RQ5 対数空間における直交射影の使用は、従来の不整合低減手法に比べてどのように改善されるか？

主な発見

• 一貫性対比較行列の空間は、対数ベクトル空間R^{N×N}内に次元N−1の線形部分空間Lを形成する。
• 明示的かつ閉形式の直交基底{T₁, ..., T_{N−1}}がLに対して構築可能であり、T_kは再帰的に定義され、既知のユークリッドノルム√[2(N−k)/(N−k+1)]を持つ。
• 対数行列AのLへの射影は、基底行列T_kの線形結合として計算され、係数t_k = (T_k · A)/||T_k||²を用いる。これにより、最小の最小二乗誤差が保証される。
• 本アルゴリズムは、一貫性近似を計算するにあたりO(n²)の時間計算量を達成し、実用的応用にスケーラブルである。
• 直交基底の使用により、斜交射影の複雑さを回避するため、数値的安定性と単純さが保証される。
• 最終的な一貫性行列は、射影された対数行列を指数関数的に変換することで得られ、逆行列性および一貫性の性質が保持される。