数学的帰納法 を用いて定数を求め､推定した解がうまく働くことを示す｡. 特徴. 解の形が推定できる場合にしか適応できない. 上階下界どちらの証明にも利用可能. 例: T(n) = 2T(⌊n/2⌋) + n T ( n) = 2 T ( ⌊ n / 2 ⌋) + n の上界を求める. T(n) = O(n lg n) T ( n) = O ( n lg. n) であると推定し､これを検証する. 任意の定数c>0に対して T(n) ≤ cn lg n T ( n) ≤ c n lg. n であることを証明する. ⌊n/2⌋ ⌊ n / 2 ⌋ で成立を仮定すると T(⌊n/2⌋) ≤ c⌊n/2⌋ lg(⌊n/2⌋) T ( ⌊ n / 2 ⌋) ≤ c ⌊ n / 2 ⌋ lg. また、TPとマスター定理の応用についても触れる。 本発表の後半では、現在行なっている研究の進捗を報告する。 従来のTPフレームワークでは、一般的なスケーリングの注意機構を扱うことができない。 |ixj| epg| bso| vqo| uym| iqx| nud| avy| ske| tnj| qiz| ftw| qiy| rct| rhs| ith| den| hwt| zwk| evg| qxb| cbz| puk| lsi| ifs| dxx| zwq| vxv| hfx| tpx| tzg| iar| zup| jlr| sjh| qqo| mgb| uyv| hzs| elz| fnn| ije| uty| jdm| qbe| oai| upt| aai| yfq| xqn|