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

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

難易度 1教科書の例題レベル大学数学 アルゴリズムと計算量

ある分割統治アルゴリズムは、サイズ の問題をサイズ の部分問題 個に分けて再帰的に解き、分割と結果の統合に の時間をかける。その計算時間 は、( は 以上の整数)のとき次の漸化式で与えられる。

マスター定理を用いて となる を求めよ。ただし は の中身の式として、係数 の単項式(例: , )で答えること。

この問題で使うもの

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

ヒント

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

ヒント 1

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

ヒント 2

を計算し、 がそれより多項式的に小さいか、同じ程度か、大きいかを調べます。 は底を にそろえると計算しやすくなります。

ヒント 3

より で、 と同じ程度です。マスター定理のどの場合にあたるかを考えましょう。

答えと解説

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

手順1: を読み取る。
漸化式 と見比べると

である。

手順2:比較の基準 を計算する。
なので である。よって

手順3: と を比べて場合を判定する。
は とちょうど同じなので、 が成り立つ。これはマスター定理の第2の場合(再帰の各段の仕事量がほぼ等しい場合)にあたる。

手順4:結論を書く。
第2の場合では なので

(確認) とすると である。 とおき、漸化式 の両辺を で割ると

となるので である。よって

となり、主要な項は の定数倍なので、確かに である。

答え:

別解

漸化式 において , , である。 なので、 となり である。これはマスター定理の第2の場合()にあたり、 となる。

検算: とおくと である。 とおくと 、 なので となる。よって である。これは と一致する。

この問題の確認

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

間違いを報告する

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

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

関連する問題