単元一覧 › 大学数学 アルゴリズムと計算量

アルゴリズムと計算量の問題

難易度 2教科書の演習問題レベル大学数学 アルゴリズムと計算量

行列どうしの積を計算するある分割統治アルゴリズムは、 が 以上の のべきのとき、各行列を の つのブロックに分け、 行列どうしの積を 回だけ再帰的に計算し、そのほかにブロックどうしの和と差の計算に の手間をかける。このアルゴリズムの計算時間 は、 以上の整数 に対して のとき

を満たす。

となる関数 を、係数を含まない のべきの形で求めよ(答えは の中身の式 で答えること)。

この問題で使うもの

この問題を解けるようになるまで(30 技能)

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

漸化式を の形と見て、, , を読み取り、マスター定理を使いましょう。

ヒント 2

比べる相手は です。 と の次数 の大小を調べます。

ヒント 3

なので であり、 は より多項式的に小さくなります。マスター定理のどの場合にあたるかを考えましょう。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

漸化式 において 、、 である。

マスター定理では、 と を比べる。

であり、 である( より)。 とおくと

なので、マスター定理の第 の場合にあたり、

(確認)再帰木で考えると、深さ の段には大きさ の部分問題が 個あり、その段の手間は である。公比 の等比数列なので、最下段()の が全体を支配する。実際に解くと となり、 であることが確かめられる。

よって である。

別解

として漸化式を解く。特殊解を と仮定すると、 より 、すなわち 。同次解は なので 。 より 、。よって

検算: で、公式は となり一致。、公式 で一致。

なので第 1 項が支配的で、(マスター定理のケース 1 とも一致)。したがって 。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題