imos 法を線形代数で理解・一般化して,フィボナッチ数列でも足せるようにする
この間の opt (@opt_coder) さん作の yukicoder の問題
No.1172 Add Recursive Sequence - yukicoder
において,imos 法を漸化式で表される数列の加算に一般化することが問われました. この一般化はパッと見何をしているか分かりにくいのですが,線形代数のレンズを通して見ることですっきり理解できると感じたのでこの記事にまとめます. この記事を読めば,通常の imos 法で想定される「ある区間の値に全て 1 を足す」クエリを超えて,「ある区間に を足す」「ある区間にフィボナッチ数列を足す」などのクエリが処理できるようになるはずです.
復習: imos 法
この記事では 1-indexed な記法を用います. imos 法は以下のような問題を解きたい時に用いる手法です.
- 長さ で値が全て 0 の配列 に対して, 個の以下のクエリを適用する.
- クエリ : なる各整数 について, に 1 を加算する
愚直に加算していこうとすると, 回程度の加算が必要になるため, や が大きいときに計算量が非常に多くなってしまいます.
この問題を解決するため,imos 法では以下のような計算を行います.
- クエリ について, を し, を する.
- 最後に, から の順に という更新を行う.
こうすることで,正しい出力を 回程度の加算で計算することができます.典型 of 典型のようなテクニックなので使ったことがある人も多いと思います.
線形代数を通して imos 法を理解する
操作の理解
さて,この imos 法を線形代数の気持ちで理解していきます. そのために,配列を 次元縦ベクトルで表現することにします. そして,ベクトル を なる各整数 について ,それ以外の については なるベクトルとして定義します(以降,このベクトルのことをクエリベクトルと呼びます). このとき,計算したいものは になります.
さて,このような表記のもと,imos 法は実は以下のような操作をしていると理解することができます.
- 正則行列 に関して, を計算する.ただし, は対角成分が , 成分が ,それ以外が であるような行列.例えば, のとき
である.
- を計算する.
ここで, より,この操作が正しい解を出力することが保証されます.
気持ちとしては, 行列 で表される線型写像によって一度全体を別の空間に飛ばし,そこでクエリを処理した上で によってもとの空間に戻す という感じです. ここで 写像が線形であることは本質的です : なぜなら という線形性こそが飛ばした世界でクエリを処理することを正当化しているからです. また,写像が 正則 (逆行列が存在する)でないと情報が落ちてしまうのでもとの空間に戻せません.
具体例を見てみましょう.
黒の矢印が普通の計算手順を,赤の矢印が imos 法による計算手順を表します.
なぜ高速か?
これだけ見るとむしろ面倒で計算量が増えているだけに見えます. しかし,以下の 2 つの条件が満たされるため,この方法が非常に効率的になります.
(1) 全ての について, が スパース(非零要素数が少ない)である.
(2) が 高速に 計算できる.
この計算法に必要な計算の回数は, をベクトル の非零要素数,を の計算に必要な計算回数として 程度となります. 従って,(1) (2) の条件が満たされる場合には非常に高速な計算法になり得るわけです.
(1) が成り立つことは,飛んでくるクエリベクトル において, は高々 2 つの を除いて 0 になることから確認できます.
(2) が成り立つことを確認しましょう. を計算することは, なる連立方程式を について解くことに他なりません.この連立方程式は,
となりますが,これを変形すると
となります.この式に従って から順番に計算していくと, を計算する際には は計算済みであるため, 回程度の計算で が求められることがわかります.また,このようにして を求める手順は,通常の imos 法において最後に累積和を取っていく操作と同じであることも見てとれます.
一般化
さて,ここまでの議論を踏まえ,imos 法を一般化する方法を考えます.そのためには, なぜ imos 法がうまくいったのか を考えることが重要です.
なぜ がスパース になるのでしょう? これは,飛んでくるクエリベクトル において,端である 付近以外では という線形の関係式が成り立つ からです.この性質から,適当な行列 を取ってやることで 付近以外では を 0 にすることができるのです.
なぜ が高速に計算できるのでしょう? これに関しては, がスパースな下三角行列であることが重要です. を計算することは,線形方程式 を解くことに他なりません. このとき, が下三角行列であれば, に関する方程式に および の要素しか出てきません. 従って から順番に求めていくことで, 回程度の計算で を計算することができるのです. がスパースであれば は非常に小さくなり,高速な計算が実現できます. 一般の の係数行列を持つ線形方程式を普通に解こうとすると 回程度の計算が必要であることから,これが非常に良い性質であることが見てとれます.
が下三角行列であることは, の正則性の観点からも重要です.下三角行列に関する重要な事実として,行列式の値が対角成分の積に等しいというものがあります. が正則 の行列式の値が非零 であることから, は 対角成分が全て非零でありさえすれば正則 であることが保証されます.
逆に言えば,上記の性質が成り立つことを目指せば,別の問題においても類似の効率的な手法を設計することが可能です.これを見ていきましょう.
応用例
等比数列
次のような問題を考えてみましょう.
- 長さ で値が全て 0 の配列 に対して, 個の以下のクエリを適用する.
- クエリ : なる各整数 について, に を加算する
というような数列を区間に足していくイメージです. ここでは簡単のため公比 2 の等比数列を考えていますが,他の公比の場合も同様の議論が可能です.
この問題を imos 法と同様にして処理することを考えましょう. 重要な性質は,各クエリベクトルにおいて 端である 付近以外では という線形の関係式が成り立つ ことです. このことを考慮すれば, をスパースにするためには, として対角成分が , 成分が ,それ以外が であるようなものを取れば良さそうです. 例えば のときは
です.この行列はスパースな下三角行列であり,さらに対角成分が全て非零であることから,必要な性質を全て備えています.
の計算,すなわち なる を求める操作は,
より
となります.毎回値を 2 倍しながら累積和を取るイメージですね.
具体例で見てみましょう.
うまくクエリベクトルをスパースにしつつ正しい解を出力できていることが分かると思います.
フィボナッチ数列
更なる応用として,区間へのフィボナッチ数列の加算を考えてみましょう.
- 長さ で値が全て 0 の配列 に対して, 個の以下のクエリを適用する.
- クエリ : なる各整数 について, に を加算する.ただし, は 番目のフィボナッチ数.
この問題を imos 法と同様にして処理することを考えましょう. 重要な性質は,各クエリベクトルにおいて 端である 付近以外では,フィボナッチ数列の定義より という線形の関係式が成り立つ ことです. このことを考慮すれば, をスパースにするためには, として対角成分が , 成分及び 成分が ,それ以外が であるようなものを取れば良さそうです. 例えば のときは
です.この行列はスパースな下三角行列であり,さらに対角成分が全て非零であることから,必要な性質を全て備えています.
の計算,すなわち なる を求める操作は,
より
となります.累積和とは違う形になっていることが分かると思います.
具体例を見てみましょう.
線形漸化式で定義される数列
フィボナッチ数列以外でも,なんらかの線形漸化式で定義される数列にもここでの議論が応用できます. まさに冒頭で挙げた問題である Add Recursive Sequence はこれを問うている問題であり,同様の考え方で解くことができます.
注意点としては,線形漸化式の項数が多くなればなるほど,計算量が増えていくということです. 項間漸化式であれば, をかけた後のクエリベクトルの非零要素の数は最大 個となるため,一度の加算に必要な計算量は最大 回程度となります. また,最後に を掛ける操作にも 回程度の計算が必要になります.
まとめ
線形代数を通してみると imos 法の理解が深まり,さらに拡張することができることが分かったと思います. 何かコメントやご意見があればご遠慮なくお願いします. この記事を書くきっかけとなった問題を作り,記事に関してコメントを下さった opt さんに感謝します.