《AHP重要度算出法》

【えーえいちぴーじゅうようどさんしゅつほう (AHP weight calculation method) 】

　AHPにおいて, 意思決定者が行なった一対比較から重要度を算出する代表的な方法として,

　幾何平均法 (geometric mean method),固有ベクトル法 (eigenvector method),対数最小二乗法 (logarithmic least squares method)がある.また, 一対比較値を区間表現を用いて拡張したAHPにおいて, 重要度を算出する方法は, CIミニマム法 (C. I. minimum method)など様々提案されている.

　一対比較値$a_{ij}\,$を行列形式で表したものが一対比較行列 ${\boldsymbol {A}}\,$であり, 一対比較する要素は構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n\, } 個あるので, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n \times n\, } の正方行列となる.もし, 一対比較する要素の重要度$w_{1},w_{2},\ldots ,w_{n}\,$が既知ならば, 一対比較値$a_{ij}\,$は, $\textstyle a_{ij}={\frac {w_{i}}{w_{j}}}\,$を満たすことになる.したがって, 一対比較行列 ${\boldsymbol {A}}\,$は次のようになる.

${\boldsymbol {A}}=\left[{\begin{array}{ccccc}{\frac {w_{1}}{w_{1}}}&\cdots &{\frac {w_{1}}{w_{j}}}&\cdots &{\frac {w_{1}}{w_{n}}}\\\vdots &\ddots &\vdots &&\vdots \\{\frac {w_{i}}{w_{1}}}&\cdots &{\frac {w_{i}}{w_{j}}}&\cdots &{\frac {w_{i}}{w_{n}}}\\\vdots &&\vdots &\ddots &\vdots \\{\frac {w_{n}}{w_{1}}}&\cdots &{\frac {w_{n}}{w_{j}}}&\cdots &{\frac {w_{n}}{w_{n}}}\end{array}}\right]$

この行列 ${\boldsymbol {A}}\,$は, 意思決定者の判断が完全に首尾一貫している場合に実現されるだけで,それ以外の場合にはこのような形にはならない.意思決定者の判断が完全に首尾一貫している場合にせよ, していない場合にせよ, 一対比較値$a_{ij}\,$から$\textstyle {\frac {w_{i}}{w_{j}}}\,$を推定することで, 重要度を算出することが考えられ, いくつか提案されている.

　この一対比較行列 ${\boldsymbol {A}}\,$に, 重要度ベクトル ${\boldsymbol {w}}=[w_{1},w_{2},\ldots ,w_{n}]^{\top }\,$を右側から乗じると, ${\boldsymbol {A}}{\boldsymbol {w}}=n{\boldsymbol {w}}\,$となり, 変形すると固有値問題( ${\boldsymbol {A}}-n{\boldsymbol {I}}){\boldsymbol {w}}={\boldsymbol {0}}\,$となる.なお, "${\rm {T}}\,$"は転置を表している.ここで, ${\boldsymbol {w}}\neq {\boldsymbol {0}}\,$が成り立つためにはnが行列 ${\boldsymbol {A}}\,$の固有値でなければならない.さらに, 行列${\boldsymbol {A}}\,$のランク (rank)は1であるから, 固有値$\lambda _{i}(i=1,2,\ldots ,n)\,$のうち1つだけが非ゼロで, 他はすべてゼロとなる.また, 行列 ${\boldsymbol {A}}\,$の対角要素の和は$n\,$であるから, トレース (trace)の定義により, 唯一ゼロでない固有値を$\lambda _{\rm {max}}\,$とすると, $\lambda _{\rm {max}}=n\,$となる.したがって, 重要度ベクトル ${\boldsymbol {w}}$は行列 ${\boldsymbol {A}}\,$ の最大固有値 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda_{\rm max}\, } に対する正規化した(構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \textstyle \sum^{n}_{i=1}w_i=1\, } )固有ベクトルとなる.

　上記の背景を基に, 一対比較行列 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle {\boldsymbol A}\, } から重要度を算出する方法として, 行列 ${\boldsymbol {A}}\,$ の最大固有値 $\lambda _{\rm {max}}\,$ に対する(構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \textstyle \sum^{n}_{i=1}w_i=1\, } )固有ベクトルを求めるのが, 固有ベクトル法である. 上記の固有ベクトル法の解釈が成り立つのは, 意思決定者の判断が完全に首尾一貫している場合だけである.意思決定者の判断が完全に首尾一貫していない場合の固有ベクトル法の解釈は, 文献 [3] で詳しく議論されているので参照されたい.

　この固有ベクトル法の他に, 一対比較行列 ${\boldsymbol {A}}\,$から重要度を算出する方法は, いくつか提案されている.その1つが, 一対比較行列 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle {\boldsymbol A}\, } の行の要素の幾何平均

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle w_i = \left( \prod^{n}_{j=1}a_{ij} \right)^{\frac{1}{n}} \;\; (i=1,2,\ldots,n)\, }

を求め, 重要度を算出する幾何平均法である.幾何平均法は, よく固有ベクトル法の簡便法として紹介されるが, 次に示す対数最小二乗法 (LLSM)と同じであることが知られている [1].また, 幾何平均法には, いくつかの好ましい性質があるが, 詳しい内容は文献 [5] にあるので参照されたい.

　次の重要度算出法としては,意思決定者が行なった一対比較値構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a_{ij}\, } は, 真の構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \textstyle \frac{w_i}{w_j}\, } に誤差構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \varepsilon_{ij}\, } が生じたものとして, 誤差の二乗和を最小化して重要度を算出する最小二乗法 (LSM)や対数最小二乗法 (LLSM)がある.最小二乗法 (LSM)では, 一対比較のモデルとして, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \textstyle a_{ij} = \frac{w_i}{w_j} + \varepsilon_{ij}\, } を仮定し, 誤差の二乗和を最小化して重要度を算出する.すなわち,

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \min \;\; \sum^{n}_{i=1} \sum^{n}_{j=1} \left| a_{ij}-\frac{w_i}{w_j} \right|^2\, }

となる.この最小二乗法 (LSM)では, 解が唯一とは限らないことが難点としてあげられている [2].そして, 対数最小二乗法 (LLSM)では, 一対比較のモデルとして, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \textstyle a_{ij} = \frac{w_i}{w_j} \varepsilon_{ij}\, } を仮定し, 誤差の対数二乗和を最小化して重要度を算出する.すなわち,

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \min \;\; \sum^{n}_{i=1} \sum^{n}_{j=1} \left| \ln a_{ij}- \ln \left( \frac{w_i}{w_j} \right) \right|^2\, }

となる.ここで, 誤差構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \varepsilon_{ij}\, } には, 互いに独立で平均1, 分散$\sigma ^{2}\,$の対数正規分布を仮定する.このとき, 行列 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle {\boldsymbol A}\, } の行の要素の幾何平均は最尤推定量になり, 幾何平均法と同じであることが知られている [1].

　一対比較値を区間値やファジィ数に拡張したAHPにおける重要度算出法については, 拡張型AHPの項を参照されたい.

---

参考文献

[1] G. Crawford and C. A. Williams, "A Note on the Analysis of Subjective Judgment Matrices," Journal of Mathematical Psychology, 29 (1985), 387-405.

[2] T. L. Saaty and L. G. Vargas, "Inconsistency and Rank Preservation," Journal of Mathematical Psychology, 28 (1984), 205-214.

[3] K. Sekitani and N. Yamaki, "A Logical Interpretation for the Eigenvalue Method in AHP," Journal of the Operations Research Society of Japan, 42 (1999), 219-232.

[4] 刀根薫, 『ゲーム感覚意思決定法 -AHP入門』, 日科技連, 1986.

[5] 刀根薫, 眞鍋龍太郎 編集, 『AHP事例集』, 日科技連, 1990.