本記事は日曜数学 Advent Calendar 2023の1日目の記事です。
ご無沙汰しています。日曜数学者のtsujimotterです。
2022年12月に子どもが生まれまして、そこからブログや動画の投稿が滞っていたのですが、アドベントカレンダーの季節ということで久しぶりに復活しました。*1
今年も日曜数学アドベントカレンダーを立ち上げました。
adventar.org
明日話したくなる数学豆知識 (2014)から数えると、なんと 10年目 です。
今年の分も、おかげさまでブログ執筆時点で21件の方が登録してくれています。記事が投稿されるのを楽しみにしています!
残りの枠についても、よろしければご参加いただけると嬉しいです!
背景
可愛い我が子の保育園を決めたのですが、これがtsujimotter家にとってはなかなかの難問でした。
近所にはよさげな保育園が4つ(保育園A・B・C・Dと呼ぶことにします)ありました。
たとえば、保育園Aは家から激近ですが、保育士さんが少なかったりして安全性に少し不安がありました。保育園Bは家からちょっと遠いんですが活発で良い感じだなぁとか。
保育園を決めるにあたっていろいろな項目を考える必要があり、どうやって決めていいかわからん・・・。
そんなときに思いついたのが AHP(階層分析法) を使うことです。*2
AHP(Analytic Hierarchy Process、階層分析法)とは、複雑な状況での意思決定を行うための構造化法の1つで、1970年代にトーマス・サーティによって提案された手法です。以下のような特徴があります:
- 目標達成に向けて、評価基準と代替案を階層的に分析する
- 主観評価に基づく一対比較によって、意思決定のための数値化(重要度)を行う
AHPの具体的な手続きについては、今回の記事では省略しますが、以下の動画で具体的に解説しています。ぜひ一度ご覧ください:
www.nicovideo.jp
tsujimotter家では保育園の決定に、このAHPを用いてみたというわけです。実際、得られた一対比較行列は次のようになりました:
これを使って近隣の4保育園の重要度を決定し、実際の保育園の応募の際に役立てました。*3
その様子を日曜数学会というイベントの中でプレゼンしたのですが、それが上記の動画となっています。
今回考えたいこと:AHPの数学的背景
今日のテーマは、AHPという手法の数学的な背景を探ってみようという内容です。特に、AHPのキモは一対比較行列にありますので、一対比較行列に絞って考えてみましょう。
AHPの面白いところは、各項目に対して全順序が簡単にはつけられない問題に対しても、その順序を機械的につける方法を提供しているところです。すなわち重要度という一元的な指標で表すことが難しいときに、項目間の順序関係だけに限定して利用者に評価させることで、一対比較行列を作ることができます。
この一対比較行列からは、なんと各項目の重要度が機械的に計算できてしまうというのです。
上記の動画では、一対比較行列から重要度を計算する際に、一対比較行列の各行の「幾何平均」を用いていました。
と表します。ここで、 は項目 に対する項目 の評価値を表します。
ここで、項目 の重要度 を、一対比較行列の値の 行目に対する幾何平均
を用いて
として計算します。これを幾何平均法と言います。
最後に で割っているのは
とするためです。 この「すべて足すと1になるように定数倍する操作」は規格化といって、今回の記事では何度も登場します。
動画では、まさにこの幾何平均法によって一対比較行列から重要度を決定していたのですが、この部分の計算に疑問を持った人は多いのではないでしょうか。
重要度を決めるのになぜ幾何平均なのだろうか。本当に幾何平均で良いのだろうか。
今日はこの問題について、納得がいくまで数学的なアプローチで挑みたいと思います。
一般論のための準備
この疑問に答える前に、まず一般論のための用語を定義したいと思います。
一対比較のことは一回忘れて、単に 行列
を考えます。ここで、行列 に対し次の①②の条件を仮定します。
① 任意の に対し とする。
② 任意の に対し とする。
①の条件を満たす行列を正行列といいます。
①②を満たす行列 のことを一般化された一対比較行列ということにしましょう。
AHPにおいて一対比較をした結果として得られる一対比較行列は、まさに上記の一般化された一対比較行列の定義を満たしていますね。
一番シンプルなケースを考えよう①:幾何平均を考えるわけ
さて、幾何平均法の正当性を考える上で有効なのは、一番シンプルなケースを考えるというものです。
一番シンプルなケースというのは、重要度が明らかに分かっているケースです。
たとえば「家からの近さ」のような基準で考えたときに、保育園の重要度は単純に距離に比例しそうですよね。
すなわち、項目 に対して重要度 が既に分かっているとします。もちろんこのような場合は一対比較をする必要はありませんが、あえて一対比較をしたときに、どのような行列になるのかを考えてみましょう。なお、重要度は (正の値)であり
を満たすとします。このように「すべて足して1になるように調整すること」を規格化といいます。
実際、「重要度の比」を一対比較の評価値にすればよさそうです。つまり、項目 に対する項目 の評価値 を
とするのです。これは「項目 より項目 の方が 倍よい」という、実に直感的な評価値となっています。
この場合の一対比較行列 は次のようになります:
後の議論に必要になりますが、この一対比較行列には推移律、すなわち項目 に対し
が成り立つことがわかります。
この一対比較行列に対して、幾何平均によって得られるベクトルを具体的に計算してみましょう。
の 行目のベクトルの幾何平均は
となります。
の総和を考えると
となります。ここで を使いました。
よって を規格化すると
となり、重要度に一致します。
したがって、シンプルなケース(重要度の比を一対比較の評価値としたケース)においては、一対比較行列の各行の幾何平均を取ると項目の重要度 がちゃんと得られるということがわかりました。
一番シンプルなケースを考えよう②:重要度は実は固有ベクトルだった
重要度を並べて得られるベクトル
を考えます。これを重要度ベクトルと呼びましょう。この重要度ベクトルのもう一つの側面を紹介します。
唐突ですが、重要度ベクトル に対して、先ほどの一対比較行列 を掛けてみましょう。
面白いのでぜひ自分でも計算してみてほしいのですが、実際計算してみると次のようになります:
すなわち
というわけです。行列 を にかけると、 のちょうど 倍になってしまいます。面白いですね!
言い換えると、重要度ベクトル は の(固有値 の)固有ベクトル だというわけですね。
さらにいうと、 はランクが1であり、固有値が (多重度 )と (多重度 )だけであることも以下の議論によって分かります。
の1行目の横ベクトル に対して を掛けると2行目に一致する。同様に を掛けると 行目の横ベクトルに一致する。
したがって、行基本変形によって、1行目以外のすべての行が 0 ベクトルになる。
の固有値が のみであること:
行列 を次で定義する:
この行列の逆行列 は
であり
である。 は の相似変換になっているので、両者の固有方程式は等しい。
したがって のすべての固有値は、(重複度も込みで) の固有方程式を解けば得られる:
より、 の固有値は (重複度 )と (重複度 )のみである。
要するに一対比較行列 は、固有値 と に属する固有ベクトル を持つというわけです。
固有値 の重複度が1なので、その固有空間も1次元であり、この固有ベクトルは定数倍を除いて一意に定まります。したがって、規格化の条件を与えれば、重要度ベクトルが固有ベクトルという性質によって特徴付けられるというわけですね。 は重要度から由来するものなので、すべての要素が正になっていることもポイントです。
以上によって、重要度の比で表されるシンプルな一対比較行列 に関して言えば、次の2つのことが分かったというわけです。
- 元々の重要度ベクトルは各行の幾何平均としても表される
- 元々の重要度ベクトルは固有値 に対する固有ベクトルとしても表される
実は、元々のサーティによって提唱されたAHPは、固有ベクトルを重要度とする方法でした。なので、ここからは固有ベクトルの方がむしろ重要度の定義だったという流儀で話を進めたいと思います。
今回の発表で紹介した幾何平均法は、シンプルなケースに限定して考えると固有ベクトルそのものが得られる手法になっています。より一般のケースにおいては、幾何平均によって固有ベクトルの近似を与える簡易計算手法だったといえそうです。
一般のケース①:最大固有値に対応する固有ベクトルは正でたった一つ
ここまでの話では、要素が重要度の比で表されるシンプルな一対比較行列の場合には、最大の固有値に対応する固有ベクトルが重要度に一致するということでした。
一般の一対比較行列に対しても、同じように考えられないでしょうか。
たとえば、重要度の比で表されるシンプルな一対比較行列にとても近い一対比較行列の場合は、その最大の固有値に対応する固有ベクトルのことを重要度と思ってもよさそうです。
一般の一対比較行列の場合も、その最大の固有値に対応する固有ベクトルを重要度ベクトルとしてしまおうというのがAHPの発想です。
しかし、このとき以下の疑問も生まれます:
- そもそも最大の固有値に対応する固有ベクトルは(定数倍を除いて)一意に定まるか?
- 固有ベクトルとして、要素がすべて正のものは取れるのか?
実際、固有ベクトルが複数あるならどれを選んだら良いのか分かりません。また、固有ベクトルが一意に定まったとしても、要素がマイナスのものであれば「重要度」として意味をなしません。
これらの疑問に対しては、実は線形代数の一般論による回答が得られています。それが ペロン=フロベニウスの定理 です。
このとき、 のある正の固有値 が存在して次が成り立つ:
(i) の任意の固有値 の絶対値に対して、 を満たす。
(ii) 固有値 の重複度は1であり、固有値 に属する正の固有ベクトル(要素がすべて正ということ)が存在する。
(iii) 以外の固有値に属する正の固有ベクトルは存在しない。
(i) の条件から のことを最大固有値と呼びます。(文字通り最大の固有値なので。)
最大固有値を と表すことにします。
これらがまさに答えになっていることがわかるでしょうか。
一般化された一対比較行列 は定義より正の正方行列なので、ペロン=フロベニウスの定理の仮定を満たします。
したがって、 の最大固有値 が存在して (i) を満たします。
(ii) より に属する正の固有ベクトルが存在します。さらに重複度が1なので、固有空間は1次元であり、定数倍を除いて一意に定まります。総和が1になるよう規格化したものを としておきましょう。このような固有ベクトルを主固有ベクトルといいます。
(iii) から正の固有ベクトルはこれ以外に存在しないことも分かります。
すなわち、条件を満たす正の固有ベクトルは だけということになりますね。これを一対比較行列 から定まる重要度ベクトルとしてしまおうというわけです。
ペロン=フロベニウスの定理すごいですね!
ペロン=フロベニウスの定理の証明はかなり難しいのですが、Web上だと次のページにまとまっています。
math-note.xyz
一般のケース②:推移律が成り立つ場合は・・・
一般のケースとシンプルなケースの間にどの程度の「差」があるのかについて考えたいと思います。
実際、次の定理が成り立ちます:
これは大変興味深い定理ですね。
シンプルなケースの一対比較行列 においては、最大固有値に関して等号
が成り立っていたところですが、一般のケースの一対比較行列 ではそれが不等号
になるというわけです。
証明は次のようになされます。
(証明)
の主固有ベクトル(最大固有値 に対応する正の固有ベクトル)を とすると
が成り立つ。成分で考えると に対して
が成り立つ。左辺に が来るように整理すると
となる。
上記は の 本の式であるが、これらをすべて足し合わせると
となる。
右辺に関して、 の部分と の部分に分けて考えると、次のように式変形できる:
最後の等式では を使った。一対比較行列 や固有ベクトル が正であることから がいえる。
ここで、 とおいて両辺 で割ると
となる。 であることと、相加平均と相乗平均の関係 から
が得られる。よって、 が示された。
相加平均・相乗平均の関係
が証明のポイントだったわけですが、等号成立条件は でした。
ここから面白いことがわかります。
と より が得られます。 の定義より
すなわち
が成り立つわけです。これはまさにシンプルなケースの一対比較行列ですね!
つまり、こういうことが言えたというわけです:
- (前節までの議論)各要素を重要度の比によって定義された一対比較行列 の場合、最大固有値は
- (今わかったこと)一般化された一対比較行列 に対して、最大固有値が を満たすならば、 はその主固有ベクトル の要素の比によって得られる
実は、 なる条件は、推移律(任意の成分について )とも同値であることが知られています。
要するに、推移律が成り立つような完全に整合的な一対比較を行うと、それはすなわち に一致するというわけです。面白いですね!
整合度について
以上の議論によって
- のとき一対比較行列は完全に整合的
- のとき一対比較行列は整合的ではない
ということが分かりました。
そこで、 と の差をとったこんな指標を考えたくなります:
これを整合度(Consistency Index)といいます。
C.I.が大きくなれば不整合で、0であれば完全に整合的であるというわけです。経験則的に、C.I.が0.1〜0.15以下であればよいという基準があるそうです。
なお、C.I.を計算する際には、最大固有値 を計算する必要がありますが、固有値の計算をするのは が大きければ大きいほど面倒になります。
固有値を厳密に求める代わりに、近似的に求める方法があります。これもやはり幾何平均法を活用する方法なのですが、以下の手順で行います。
まず、一対比較行列 の 行目の幾何平均を とし、 を要素とするベクトルを とします。これが幾何平均法による(近似的な)主固有ベクトルの求め方でした。
これが主固有ベクトルの近似になっているはずなので
が成り立つはずです。要素で表すと
が成り立ちます。よって で割って
とすれば、 が近似的に得られるはずです。
実際は、各行 について、上式の右辺を計算して、その(算術)平均を取ることで を近似的に得るというのが実際の計算方法です。
というわけで、保育園の決定に使った一対比較行列について最大固有値を近似的に求めて、ここからC.I.を計算してみましょう。
まずは、評価基準5つに関する一対比較行列です。結果はこちら。
最大固有値の近似値は
となりました。
これを使って整合度を計算すると
となります。
あれ?
C.I.の基準として、0.1〜0.15以下だとよいとのことでしたが、なんと0.15を超えてしまいました・・・。
これはどういうことかというと、我々の入力した一対比較の値が十分整合的ではなかったということです。
整合的とは、 が になっているということです。厳密に一致することはないにせよ、近い値にもなっていなかったというわけですね。
では、どの部分が整合的ではなかったのでしょうか。
これを頑張って目視で探そうとしてもなかなか大変です。実際には次のような方法が使えます。
- 現在得られた の重要度(幾何平均の結果)から (重要度の比を要素に持つ行列)を計算する
が理想的な一対比較だと思えるわけですね。
- 理想と実際の差を考えるために を計算する。
差が大きいところを考えると、例えば「近さに対する安全性の評価値」は 程度となっていますね。これは、 に設定された「近さに対する安全性の評価値」が高すぎることを意味します。
- 元々の に対して と差が大きい要素を修正する(以上を繰り返す)
というわけで「近さに対する安全性の評価値」を修正することにします。たしかに、近さに対する安全性の評価が高すぎたなぁと反省して、 へと変更してみます。対応して「安全性に対する近さの評価値」を と変更します。
すると、整合性の値は一気に小さくなって、 になりました。めでたしめでたし。
実際は、毎回ここまでうまくいくわけではないですが、このような処理を繰り返していくことで整合的な行列にすることができるわけですね。
もちろん値を変更する際には、ただ機械的に の分だけ修正するのではなく、自分の頭で考えて一対比較の値を決め直すということが必要です。
まとめ
今回はAHPの背景にある数学的な仕組みについて解説してみました。
AHPの重要度は、最大固有値に対応する固有ベクトルだったというのが一番のポイントでした。そもそも、そんなちょうどいい固有ベクトルがあるということ自体が非自明なわけですが、それはペロン=フロベニウスの定理によって保証されているのでした。面白いですね。
そして問題になっていた幾何平均法は、その固有ベクトルを近似的に計算するための方法だったというわけですね。完全に整合的なときに限り、その近似的な重要度ベクトルと固有ベクトルがピッタリ一致するというのも面白いです。
整合的でない場合は、最大固有値の値の差を利用して整合性の度合いを計算することができ、ここから修正すべき要素まで特定できるということでした。
というわけでいかがだったでしょうか。AHPは思った以上に数学的な背景が詰まっていて面白かったですね。楽しんでいただけたら幸いです。
日曜数学アドベントカレンダーは明日以降も続きますので、ぜひお楽しみに!
次回は、Taichi Aokiさんの記事を予定しています。
それでは!!