アルゴリズムとプログラム - okamoto7’s blog
アルゴリズムを語る上で，次は重要だと思ってます． アルゴリズムは数学的な抽象概念で，それをコンピュータ上に実現したものがプログラムである．抽象的なアルゴリズムと具体的なプログラムは分離されなくてはならない．さらに，プログラムはそれが採用するプログラミング言語に大きく依存する． アルゴリズムについて数学的に証明すべきことは「正当性」と「計算量」であり，それらは分離されなくてはならない．さらに，それらはアルゴリズムや問題が採用する計算モデルと計算量評価モデルに大きく依存する． 思考を明確にするためには，分離できるところをとことん分離していく立場を取ることが重要だと思います (いわゆる「分析」)． ということを前提として，「私ごときがアルゴリズム本を書くことにした訳」にdankogaiさんからコメントをいただいたので，私見を述べます． 「裸のアルゴリズム」が正しいか否かを証明するのは、数学の証明
The Sorting Algorithm Demo
Sorting Algorithms The animations on this page illustrate a number of different sequential and parallel sorting algorithms. The relative execution times of the animations give a very rough idea of the relative speeds of the algorithms. Each algorithm is finished when its colored lines disappear. Speed and Efficiency Analysis. Bubble Sort is a sequential algorithm, with an average case time of O(n2
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
BohYoh.com【著書】Javaよるアルゴリズムとデータ構造《演習問題の解答》
並列計算特論（第 7 回） 2005 年 11 月 29 日 4 ネットワークモデル ネットワークモデルは，システムの相互結合網 (interconnection network) を仮定した並列計算のモデルである．シ ステム内の各ノ�