ガイダンス -情認識学研究室.pptVIP

2015年度アルゴリズムとデータ構造 2015年度アルゴリズムとデータ構造 アルゴリズムとデータ構造 第１回ガイダンス 2015/10/14 2015年度アルゴリズムとデータ構造 * なぜ「アルゴリズムとデータ構造」を学ぶのか？ 効率的なプログラムを作成できるようになるため 効率的とは 計算時間が短い メモリ使用量が少ない メリット アルゴリズムは全てのプログラム言語で役に立つ 情報理工学専攻大学院入試に出題される科目 IT関連に就職する人は常識とされる 2015/10/14 2015年度アルゴリズムとデータ構造 * アルゴリズムとは 機械的に実行可能な手続き （例）自然数a0, a1 a0≧a1 の最大公約数を求める単純なアルゴリズム 「nがa0とa1を共に割り切るかを、n a1から始めて１つずつ小さな値nに対してチェックし、初めて割り切る値nを出力」 2015/10/14 2015年度アルゴリズムとデータ構造 * アルゴリズムの表現 自然言語の文章による表現 [日本語の文章による表現] nがa0とa1を共に割り切るかを、n a1から始めて１つずつ小さな値nに対してチェックし、初めて割り切る値nを出力 　長： 特別に知識を必要としない、読みやすい， 　短： 厳密に書くのが難しい、制御構造を表現しづらい プログラミング言語による表現 [C言語による表現] n a1; for ;n 0;n-- if a0%n 0 a1%n 0 return n; 　長： 厳密に書ける、制御構造を表現しやすい， 　短： 読みにくい、記述言語の知識が必要 フローチャートによる表現 右図 長： 制御構造を理解し易い 短： 読みにくい 2015/10/14 2015年度アルゴリズムとデータ構造 * 終了 n←a1 a0とa1が共にnで割り切れる nを出力 Y N 開始 アルゴリズムの擬似コードによる表現 擬似コードによる表現 　　n←a1 loop if a0とa1が共にnで割り切れる then return n end if n←n ? 1 end loop 　長： 読みやすい、制御構造を表現しやすい， 　短： 制御構造記述の知識が少し必要 2015/10/14 2015年度アルゴリズムとデータ構造 * 無限に繰り返す nの値を返してこの 手続きから抜ける ユークリッドの互除法の擬似コード 　　a←a0, b←a1 loop r←aをbで割った余り if r 0 then return b end if a←b, b←r end loop 　 2015/10/14 2015年度アルゴリズムとデータ構造 * どっちのアルゴリズムの方が効率的？ 自然数a0, a1 a0≧a1 の最大公約数を求めるアルゴリズム 　　単純なアルゴリズム　　と　　ユークリッドの互除法 ではどちらの方が効率的なアルゴリズムなのか？ どのような計算モデルを用いて、どのように評価するのかをはっきりさせる必要がある。 2015/10/14 2015年度アルゴリズムとデータ構造 * 計算モデル （決定性）チューリング機械 Turing Machine 1936年に発表した論文でAlan Turingが提案したモ デルであり、計算量の理論でベースとなっているモデル 制御部 １本のテープ、テープヘッド、制御部からなる。 テープヘッドの位置するマス目には、そこに書かれている（Σに属する）文字を読み込んだり、異なる文字に書き換えることが可能。 制御部には現在の（Kに属する）状態が記憶されている。 現在のテープヘッドが位置するマス目の文字、制御部の状態で次の動作が決まる。 １回の動作は次の３つからなる。 　　１．テープヘッドが位置するマス目の文字を書き換える 　　２．テープヘッドを左右に１マス以下動かす 　　３．制御部の状態を新しい状態に書き換える　 テープヘッド Σ: 文字集合（有限個のシンボル） K: 有限個の状態 Alan Turing 1912-1954　英国 2015/10/14 2015年度アルゴリズムとデータ構造 * 決定性チューリング機械の厳密な定義 チューリング機械とは４つ組M K,Σ,δ,s のこと。 　K：有限状態集合 　s∈K：初期状態 　Σ：アルファベット（有限シンボル集合） 　　　K∩Σ φで、`?’（空白）と`?’（先頭）の２つの 特殊シンボルを含む。入力には`?’は使えない。 　δ：K×Σ　→　（K∪ h,``yes’’,``no’’ ×Σ× ←,→,－ , 遷移関数 h: halting state 停止状態 yes: accepting state 受理状態） no: rejecting state