アルゴリズム - 版の履歴

Imahori: 基礎編と用語編のマージ

2008-03-13T13:57:10Z

基礎編と用語編のマージ

2007年8月8日 (水) 11:39にKanda.kによる

2007-08-08T11:39:47Z

Orsjwiki: "アルゴリズム" を保護しました。 [edit=sysop:move=sysop]

2007-07-19T22:04:52Z

"アルゴリズム" を保護しました。 [edit=sysop:move=sysop]

2007年7月9日 (月) 05:36に122.17.2.240による

2007-07-09T05:36:01Z

2007年7月9日 (月) 05:35に122.17.2.240による

2007-07-09T05:35:42Z

2007年7月3日 (火) 05:58に122.26.167.76による

2007-07-03T05:58:55Z

122.26.167.76: 新しいページ: '【あるごりずむ (algorithm) 】　アルゴリズム (algorithm)とは, その実行が必ず有限ステップで停止する有限個の機械的操作の列の...'

2007-07-03T05:51:20Z

新しいページ: '【あるごりずむ (algorithm) 】　アルゴリズム (algorithm)とは, その実行が必ず有限ステップで停止する有限個の機械的操作の列の...'

新規ページ

【あるごりずむ (algorithm) 】

　[[アルゴリズム]] (algorithm)とは, その実行が必ず有限ステップで停止する有限個の機械的操作の列のことであり, 算法とも訳される.ここで, 機械的操作とは, 計算機の基本命令の列と考えて良い.この名称は, 9世紀のアラビアの代数学者, フワーリズミー (al-Khwarizmi) に由来する.数学の研究においては, 問題に対して解を構成する手順を求める接近法と,解の存在を証明する接近法とが典型的であるが, 前者の, 解を求める手順のうち有限ステップで停止するものがアルゴリズムである.ユークリッド(Euclid) の互除法, 定規とコンパスによる作図, 高次方程式の解法等, 古くよりアルゴリズムを求める研究がなされてきた.その中で, アルゴリズムの概念を厳密に定義する必要性が,1900年に提唱されたヒルベルト(D. Hilbert) の第10問題, すなわち, 不定不等式の有理整数解の存在を判定するアルゴリズムを求める問題以来, 次第に明確に意識されるようになり,1930年代に至ってチューリング (A. M. Turing), チャーチ (A. Church),クリーネ (S. C. Kleene)によってそれぞれ異なった計算モデルを用いてアルゴリズムの厳密な定義がなされた. それらは, 等価であることが知られている.特に, チューリングによりそれを解くアルゴリズムが存在しない問題があること (チューリング機械の停止問題, halting problem for Turing machines) が示されたことの意義は大きい.

　アルゴリズムの設計法は, 1940年代の電子計算機の出現とともに精力的に研究されてきた. 巡回セールスマン問題(traveling salesman problem)等,原理的に有限ステップでは解けるが,現実的な時間で解くアルゴリズムを作るのが困難な問題があることが知られるにつれ, 次第に計算の複雑さ(computational complexity)への認識が高まってきた.一般に, 実行時間が入力サイズの多項式時間(polynomial time)以下のアルゴリズムを効率の良いアルゴリズムという.1971年にクック(S. A. Cook)によりNP困難性(NP-hardness, 計算の複雑さ参照)の概念が導入され, それ以来,カープ(R. Karp)を始め多くの研究者によって, 巡回セールスマン問題等, [[組合せ最適化問題]] (combinatorial optimizationproblem) を含む幾多の問題がNP困難であることが証明されてきた. あるNP困難な問題に対する多項式時間のアルゴリズムがあれば, 従来多項式時間のアルゴリズムを作るのが困難と思われてきた多くの問題に対しても多項式時間アルゴリズムが構成できる.しかしながら, それはほとんどありえないことから, NP困難な問題に対して多項式時間アルゴリズムは存在しないと信じられている.

　与えられた問題に対して効率の良いアルゴリズムを開発するには,
　　・問題の構造に対する深い洞察
　　・アルゴリズム設計技法の知識
が必要である.
　代表的なアルゴリズム設計技法としては以下のものが知られている.
　・[[貪欲アルゴリズム]] (greedy, 欲張り法ともいう) :解の構成要素を, 効果のあるものから順に選択していく.
　例: [[最小木問題]] (minimum spanning tree) に対するクラスカル(J. B. Kruskal Jr.) のアルゴリズム,その他, 近似アルゴリズム (approximation algorithm) としても良く用いられる.
　・2分探索(binary search):予めソートされた列中で, ある要素を探す.中央の要素と比較し, それよりも大きいか, 小さいかを調べ, ソート列中のどちら側にあるかを知る. 一回の反復毎に要素数が半分以下になるので,$\log$ (ソート列中の要素数) 回の比較で求まる.
　例: 辞書中での単語の検索.
　・分割統治(divide and conquer): 解くべき問題を小規模な部分問題に分割して解き,部分問題の解を統合することで全体の解を得ようとする方法.これは, 逐次のみならず並列アルゴリズムの設計においても基本的方法である.
　・[[動的計画]] (dynamic programming):「最適方策(optimal policy) は, それまでの決定がどのようであろうとも,それ以降も最適な決定を下さなければならない. (R. Bellman)」という, [[最適性の原理]] (principles of optimality) に基づく.アルゴリズム的観点から見ると, 一度計算した結果を記憶しておくことで冗長な再計算を避ける方法である. [[最短路問題]] (shortest path problem) に対する各種アルゴリズム等, グラフ・ネットワーク問題 (graph and network problems), および,組合せ最適化問題において多くの応用例がある.
　問題が良い構造をもつと効率の良いアルゴリズムを設計することが可能となる.特に, 貪欲アルゴリズムがうまく適用できる問題の構造については,[[マトロイド]] (matroid) の項目を, その他, グラフ・ネットワークの構造を持つ問題で効率の良いアルゴリズムが存在するものについては,グラフ・ネットワーク, [[グラフの連結度]] (connectivity), [[ネットワークフロー問題]] (network flow problem),[[マッチング問題]] (matching problems)等の項目を, また,組合せ最適化問題について, その他,劣モジュラ最適化(submodular optimization), 離散凸解析(discrete convexanalysis) 等の項目を参照されたい.また, [[データ構造]] (data structure) を工夫することで効率の良いアルゴリズムを設計できる場合が多い.

　なお, アルゴリズムの実行時にデータが次々に入力され, 実行前には入力されるデータが未知であるアルゴリズムを[[オンラインアルゴリズム]] (online algorithm) という. オンラインアルゴリズムのいくつかの例が [1] にある. また, これまでは, 逐次かつ決定的アルゴリズムを論じてきたが,実行に確率的動作を導入した[[確率アルゴリズム]] (probabilistic algorithm, または, ramdomized algorithm),複数のプロセッサ上での[[並列アルゴリズム]] (parallel algorithm), および, 分散環境下での複数の計算機間に跨る計算に関する[[分散アルゴリズム]] (distributed algorithm) については, それぞれの用語解説, 及び, 並列アルゴリズムについては, [5, 9, 15, 16] を,分散アルゴリズムについては, [10, 14, 19] を参照されたい. 文献[3] は, 連立1次方程式の解法, 逆行列の計算から始め, 非線形最適化 (nonlinear optimization), ネットワーク最適化 (networkoptimization) 等に関連した多様な並列, ないし, 分散アルゴリズムを扱っており, OR関係者にとって便利である. なお, 紙数の関係で本中項目では離散的対象に関する厳密に解を求めるアルゴリズムに話題を限ったが,線形計画 (linear programming), [[非線形計画]] (nonlinear programming) 等,各種数理計画に関するアルゴリズムについては, それぞれ該当する項目を参照されたい.また, NP困難な問題に対して良い実行可能解(feasible solution)を現実的に求める近似アルゴリズムやその枠組である[[メタヒューリスティックス]] (metaheurisitics)についても, それぞれ該当する項目を参照されたい.

'''参考文献'''

[1] A. V. Aho, J. E. Hopcroft and J. D. Ullman, ''The Design and Analysis of Computer Algorithms'', Addison-Wesley, 1974; 野崎昭弘, 野下浩平共訳,『アルゴリズムの設計と解析I, II』, サイエンス社, 1977.

[2] 浅野孝夫, 今井浩, 『計算とアルゴリズム-計算機の科学-』, オーム社, 1986.

[3] D. P. Bertsekas, J. Tsitsiklis, ''Parallel and Distributed Computation'', Prentice-Hall, 1989.

[4] T. H. Cormen, C. E. Leiserson, R. L. Rivest, ''Introduction to Algorithms'', MIT Press, 1990; 浅野哲夫, 岩野和生, 梅尾博司, 山下雅史, 和田幸一訳,『アルゴリズムイントロダクション』, 第1-3巻, 近代科学社, 1995.

[5] A. Gibbons, W. Rytter, ''Efficient Parallel Algorithms'', Cambridge University Press, 1988.

[6] 平田富夫,『アルゴリズムとデータ構造』, 森北出版, 1990.

[7] 茨木俊秀,『アルゴリズムとデータ構造』, 昭晃堂, 1989.

[8] 石畑清,『アルゴリズムとデータ構造』, 岩波書店, 1989.

[9]
J. Jáá, ''An Introduction to Parallel Algorithms'', Addison-Wesley, 1992.

[10] 亀田恒彦, 山下雅史,『分散アルゴリズム』, 近代科学社, 1994.

[11] D. E. Knuth, ''The Art of Computer Programming, Vol.I'', Addison-Wesley, 1973; 広瀬健訳,『基本算法$/$基礎概念』, サイエンス社, 1978, および, 米田信夫, 筧捷彦訳, 『基本算法$/$情報構造』, サイエンス社, 1978.

[12] D. E. Knuth, ''The Art of Computer Programming, Vol.II'', Addison-Wesley, 1981; 渋谷正昭訳,『準数値算法$/$乱数』, サイエンス社, 1981, および, 中川圭介訳, 『準数値算法$/$算術演算』, サイエンス社, 1986.

[13] Jan van Leeuwen ed., ''Handbook of Theoretical Computer Science Vol.A: Algorithms and Complexity'', Elsevier Science B. V., 1990; 廣瀬健, 野崎昭弘, 小林孝次郎監訳,『コンピュータ基礎理論ハンドブックI, アルゴリズムと複雑さ』, 丸善, 1994.

[14] N. A. Lynch, ''Distributed Algorithms'', Morgan Kaufmann, 1996.

[15] 宮野悟,『並列アルゴリズム』, 近代科学社, 1993.

[16] F. P. Preparata著, 上林弥彦, 岡部寿男, 浜口清治, 武永康彦編・訳,『プレパラータ先生の超並列計算講義』, 共立出版, 1996.

[17] R. Sedwick, ''Algorithms, 2nd ed.'', Addison-Wesley, 1988; 野下浩平, 星守, 佐藤創, 田口東共訳,『アルゴリズム第1巻=基礎・整列』, 近代科学社, 1990,『アルゴリズム第2巻=探索・文字列・計算幾何』, 近代科学社, 1992, および,『アルゴリズム第3巻=グラフ・数理・トピックス』, 近代科学社, 1993.

[18] 島内剛一, 有澤誠, 野下浩平, 浜田穂積, 伏見正則編,『アルゴリズム辞典』, 共立出版, 1994.

[19] G. Tel, ''Introduction to Distributed Algorithms'', Cambridge University Press, 1994.

@@ 1行目: / 1行目: @@
 '''【あるごりずむ (algorithm)】'''
 その実行が必ず有限ステップで停止する有限個の機械的操作の列のこと. ここで, 機械的操作とは, 計算機の基本命令と考えて良い. ORにおいては, 定式化した問題に対し具体的に解を求めて現実に適用する必要があるので, 問題の解を得る効率の良いアルゴリズムを求めることは非常に重要である. アルゴリズムの代表的な設計法としては, 貪欲法(greedy), 2分探索, 動的計画, 分割統治等がある.
-詳しくは[[《アルゴリズム》|基礎編：アルゴリズム]]を参照.
+=== 詳説 ===

← 古い版		2007年8月8日 (水) 11:39時点における版
2行目:		2行目:

	その実行が必ず有限ステップで停止する有限個の機械的操作の列のこと. ここで, 機械的操作とは, 計算機の基本命令と考えて良い. ORにおいては, 定式化した問題に対し具体的に解を求めて現実に適用する必要があるので, 問題の解を得る効率の良いアルゴリズムを求めることは非常に重要である. アルゴリズムの代表的な設計法としては, 貪欲法(greedy), 2分探索, 動的計画, 分割統治等がある.		その実行が必ず有限ステップで停止する有限個の機械的操作の列のこと. ここで, 機械的操作とは, 計算機の基本命令と考えて良い. ORにおいては, 定式化した問題に対し具体的に解を求めて現実に適用する必要があるので, 問題の解を得る効率の良いアルゴリズムを求めることは非常に重要である. アルゴリズムの代表的な設計法としては, 貪欲法(greedy), 2分探索, 動的計画, 分割統治等がある.
		+
		+	詳しくは[[《アルゴリズム》\|基礎編：アルゴリズム]]を参照.

← 古い版		2007年7月9日 (月) 05:36時点における版
1行目:		1行目:
−	【あるごりずむ (algorithm) 】	+	'''【あるごりずむ (algorithm)】'''

	その実行が必ず有限ステップで停止する有限個の機械的操作の列のこと. ここで, 機械的操作とは, 計算機の基本命令と考えて良い. ORにおいては, 定式化した問題に対し具体的に解を求めて現実に適用する必要があるので, 問題の解を得る効率の良いアルゴリズムを求めることは非常に重要である. アルゴリズムの代表的な設計法としては, 貪欲法(greedy), 2分探索, 動的計画, 分割統治等がある.		その実行が必ず有限ステップで停止する有限個の機械的操作の列のこと. ここで, 機械的操作とは, 計算機の基本命令と考えて良い. ORにおいては, 定式化した問題に対し具体的に解を求めて現実に適用する必要があるので, 問題の解を得る効率の良いアルゴリズムを求めることは非常に重要である. アルゴリズムの代表的な設計法としては, 貪欲法(greedy), 2分探索, 動的計画, 分割統治等がある.

← 古い版		2007年7月9日 (月) 05:35時点における版
1行目:		1行目:
	【あるごりずむ (algorithm) 】		【あるごりずむ (algorithm) 】

−	~~[[アルゴリズム]] (algorithm) とは, その実行が必ず有限ステップで停止する有限個の機械的操作の列のことであり, 算法とも訳される~~.ここで, 機械的操作とは, 計算機の基本命令の列と考えて良い.この名称は, 9世紀のアラビアの代数学者, フワーリズミー (al-Khwarizmi) に由来する.数学の研究においては, 問題に対して解を構成する手順を求める接近法と,解の存在を証明する接近法とが典型的であるが, 前者の, 解を求める手順のうち有限ステップで停止するものがアルゴリズムである.ユークリッド(Euclid) の互除法, 定規とコンパスによる作図, 高次方程式の解法等, 古くよりアルゴリズムを求める研究がなされてきた.その中で, アルゴリズムの概念を厳密に定義する必要性が,1900年に提唱されたヒルベルト(D. Hilbert) の第10問題, すなわち, 不定不等式の有理整数解の存在を判定するアルゴリズムを求める問題以来, 次第に明確に意識されるようになり,1930年代に至ってチューリング (A. M. Turing), チャーチ (A. Church),クリーネ (S. C. Kleene)によってそれぞれ異なった計算モデルを用いてアルゴリズムの厳密な定義がなされた. ~~それらは~~, ~~等価であることが知られている.特に~~, チューリングによりそれを解くアルゴリズムが存在しない問題があること (チューリング機械の停止問題, halting problem for Turing machines) が示されたことの意義は大きい.	+	その実行が必ず有限ステップで停止する有限個の機械的操作の列のこと. ここで, 機械的操作とは, 計算機の基本命令と考えて良い. ORにおいては, 定式化した問題に対し具体的に解を求めて現実に適用する必要があるので, 問題の解を得る効率の良いアルゴリズムを求めることは非常に重要である. アルゴリズムの代表的な設計法としては, 貪欲法(greedy), 2分探索, 動的計画, 分割統治等がある.
−
−	~~アルゴリズムの設計法は~~, 1940年代の電子計算機の出現とともに精力的に研究されてきた. 巡回セールスマン問題(traveling salesman problem)等,原理的に有限ステップでは解けるが,現実的な時間で解くアルゴリズムを作るのが困難な問題があることが知られるにつれ, 次第に計算の複雑さ(computational complexity)への認識が高まってきた.一般に, 実行時間が入力サイズの多項式時間(polynomial time)以下のアルゴリズムを効率の良いアルゴリズムという.1971年にクック(S. A. Cook)によりNP困難性(NP-hardness, 計算の複雑さ参照)の概念が導入され, それ以来,カープ(R. Karp)を始め多くの研究者によって, 巡回セールスマン問題等, [[組合せ最適化問題]] (combinatorial optimizationproblem) を含む幾多の問題がNP困難であることが証明されてきた. あるNP困難な問題に対する多項式時間のアルゴリズムがあれば, 従来多項式時間のアルゴリズムを作るのが困難と思われてきた多くの問題に対しても多項式時間アルゴリズムが構成できる.しかしながら, それはほとんどありえないことから, NP困難な問題に対して多項式時間アルゴリズムは存在しないと信じられている.
−
−	~~与えられた問題に対して効率の良いアルゴリズムを開発するには,~~
−
−	~~・問題の構造に対する深い洞察~~
−
−	~~・アルゴリズム設計技法の知識~~
−
−	~~が必要である.~~
−
−	~~代表的なアルゴリズム設計技法としては以下のものが知られている.~~
−
−	~~・[[貪欲アルゴリズム]]~~ (greedy~~, 欲張り法ともいう~~) ~~:解の構成要素を~~, ~~効果のあるものから順に選択していく.~~
−
−	例: [[最小木問題]] (minimum spanning tree) に対するクラスカル(J. B. Kruskal Jr.) のアルゴリズム,その他, 近似アルゴリズム (approximation algorithm) としても良く用いられる.
−
−	~~・2分探索(binary search):予めソートされた列中で~~, ある要素を探す.中央の要素と比較し, それよりも大きいか, 小さいかを調べ, ソート列中のどちら側にあるかを知る. 一回の反復毎に要素数が半分以下になるので,$\log$ (ソート列中の要素数) 回の比較で求まる.
−
−	~~例: 辞書中での単語の検索.~~
−
−	・分割統治(divide and conquer): 解くべき問題を小規模な部分問題に分割して解き,部分問題の解を統合することで全体の解を得ようとする方法.これは, 逐次のみならず並列アルゴリズムの設計においても基本的方法である.
−
−	~~・[[~~動的計画]] (dynamic programming):「最適方策(optimal policy) は, それまでの決定がどのようであろうとも,それ以降も最適な決定を下さなければならない. (R. Bellman)」という, [[最適性の原理]] (principles of optimality) に基づく.アルゴリズム的観点から見ると, 一度計算した結果を記憶しておくことで冗長な再計算を避ける方法である. [[最短路問題]] (shortest path problem) に対する各種アルゴリズム等, グラフ・ネットワーク問題 (graph and network problems), および,組合せ最適化問題において多くの応用例がある.
−	問題が良い構造をもつと効率の良いアルゴリズムを設計することが可能となる.特に, 貪欲アルゴリズムがうまく適用できる問題の構造については,[[マトロイド]] (matroid) の項目を, その他, グラフ・ネットワークの構造を持つ問題で効率の良いアルゴリズムが存在するものについては,グラフ・ネットワーク, [[グラフの連結度]] (connectivity), [[ネットワークフロー問題]] (network flow problem),[[マッチング問題]] (matching problems)等の項目を, また,組合せ最適化問題について, その他,劣モジュラ最適化(submodular optimization), 離散凸解析(discrete convexanalysis) 等の項目を参照されたい.また, [[データ構造]] (data structure) を工夫することで効率の良いアルゴリズムを設計できる場合が多い.
−
−	なお, アルゴリズムの実行時にデータが次々に入力され, 実行前には入力されるデータが未知であるアルゴリズムを[[オンラインアルゴリズム]] (online algorithm) という. オンラインアルゴリズムのいくつかの例が [1] にある. また, これまでは, 逐次かつ決定的アルゴリズムを論じてきたが,実行に確率的動作を導入した[[確率アルゴリズム]] (probabilistic algorithm, または, ramdomized algorithm),複数のプロセッサ上での[[並列アルゴリズム]] (parallel algorithm), および, 分散環境下での複数の計算機間に跨る計算に関する[[分散アルゴリズム]] (distributed algorithm) については, それぞれの用語解説, 及び, 並列アルゴリズムについては, [5, 9, 15, 16] を,分散アルゴリズムについては, [10, 14, 19] を参照されたい. 文献[3] は, 連立1次方程式の解法, 逆行列の計算から始め, 非線形最適化 (nonlinear optimization), ネットワーク最適化 (networkoptimization) 等に関連した多様な並列, ないし, 分散アルゴリズムを扱っており, OR関係者にとって便利である. なお, 紙数の関係で本中項目では離散的対象に関する厳密に解を求めるアルゴリズムに話題を限ったが,線形計画 (linear programming), [[非線形計画]] (nonlinear programming) 等,各種数理計画に関するアルゴリズムについては, それぞれ該当する項目を参照されたい.また, NP困難な問題に対して良い実行可能解(feasible solution)を現実的に求める近似アルゴリズムやその枠組である[[メタヒューリスティックス]] (metaheurisitics)についても, それぞれ該当する項目を参照されたい.
−
−	~~'''参考文献'''~~
−
−	[1] A. V. Aho, J. E. Hopcroft and J. D. Ullman, ''The Design and Analysis of Computer Algorithms'', Addison-Wesley, 1974; 野崎昭弘, 野下浩平共訳,『アルゴリズムの設計と解析I, II』, サイエンス社, 1977.
−
−	~~[2] 浅野孝夫, 今井浩, 『計算とアルゴリズム-計算機の科学-』, オーム社, 1986.~~
−
−	~~[3] D. P. Bertsekas, J. Tsitsiklis, ''Parallel and Distributed Computation'', Prentice-Hall, 1989.~~
−
−	[4] T. H. Cormen, C. E. Leiserson, R. L. Rivest, ''Introduction to Algorithms'', MIT Press, 1990; 浅野哲夫, 岩野和生, 梅尾博司, 山下雅史, 和田幸一訳,『アルゴリズムイントロダクション』, 第1-3巻, 近代科学社, 1995.
−
−	~~[5] A. Gibbons, W. Rytter, ''Efficient Parallel Algorithms'', Cambridge University Press, 1988.~~
−
−	~~[6] 平田富夫,『アルゴリズムとデータ構造』, 森北出版, 1990.~~
−
−	~~[7] 茨木俊秀,『アルゴリズムとデータ構造』, 昭晃堂, 1989.~~
−
−	~~[8] 石畑清,『アルゴリズムとデータ構造』, 岩波書店, 1989.~~
−
−	~~[9]~~
−	~~J. Jáá, ''An Introduction to Parallel Algorithms'', Addison-Wesley, 1992.~~
−
−	~~[10] 亀田恒彦, 山下雅史,『分散アルゴリズム』, 近代科学社, 1994.~~
−
−	[11] D. E. Knuth, ''The Art of Computer Programming, Vol.I'', Addison-Wesley, 1973; 広瀬健訳,『基本算法$/$基礎概念』, サイエンス社, 1978, および, 米田信夫, 筧捷彦訳, 『基本算法$/$情報構造』, サイエンス社, 1978.
−
−	[12] D. E. Knuth, ''The Art of Computer Programming, Vol.II'', Addison-Wesley, 1981; 渋谷正昭訳,『準数値算法$/$乱数』, サイエンス社, 1981, および, 中川圭介訳, 『準数値算法$/$算術演算』, サイエンス社, 1986.
−
−	[13] Jan van Leeuwen ed., ''Handbook of Theoretical Computer Science Vol.A: Algorithms and Complexity'', Elsevier Science B. V., 1990; 廣瀬健, 野崎昭弘, 小林孝次郎監訳,『コンピュータ基礎理論ハンドブックI, アルゴリズムと複雑さ』, 丸善, 1994.
−
−	~~[14] N. A. Lynch, ''Distributed Algorithms'', Morgan Kaufmann, 1996.~~
−
−	~~[15] 宮野悟,『並列アルゴリズム』, 近代科学社, 1993.~~
−
−	~~[16] F. P. Preparata著, 上林弥彦, 岡部寿男, 浜口清治, 武永康彦編・訳,『プレパラータ先生の超並列計算講義』, 共立出版, 1996.~~
−
−	[17] R. Sedwick, ''Algorithms, 2nd ed.'', Addison-Wesley, 1988; 野下浩平, 星守, 佐藤創, 田口東共訳,『アルゴリズム第1巻=基礎・整列』, 近代科学社, 1990,『アルゴリズム第2巻=探索・文字列・計算幾何』, 近代科学社, 1992, および,『アルゴリズム第3巻=グラフ・数理・トピックス』, 近代科学社, 1993.
−
−	~~[18] 島内剛一, 有澤誠, 野下浩平, 浜田穂積, 伏見正則編,『アルゴリズム辞典』, 共立出版, 1994.~~
−
−	~~[19] G. Tel, ''Introduction to Distributed Algorithms'', Cambridge University Press~~, ~~1994~~.

← 古い版	2007年7月19日 (木) 22:04時点における版
(相違点なし)

@@ 1行目: / 1行目: @@
 【あるごりずむ (algorithm) 】
-　[[アルゴリズム]] (algorithm)とは, その実行が必ず有限ステップで停止する有限個の機械的操作の列のことであり, 算法とも訳される.ここで, 機械的操作とは, 計算機の基本命令の列と考えて良い.この名称は, 9世紀のアラビアの代数学者, フワーリズミー (al-Khwarizmi) に由来する.数学の研究においては, 問題に対して解を構成する手順を求める接近法と,解の存在を証明する接近法とが典型的であるが, 前者の, 解を求める手順のうち有限ステップで停止するものがアルゴリズムである.ユークリッド(Euclid) の互除法, 定規とコンパスによる作図, 高次方程式の解法等, 古くよりアルゴリズムを求める研究がなされてきた.その中で, アルゴリズムの概念を厳密に定義する必要性が,1900年に提唱されたヒルベルト(D. Hilbert) の第10問題, すなわち, 不定不等式の有理整数解の存在を判定するアルゴリズムを求める問題以来, 次第に明確に意識されるようになり,1930年代に至ってチューリング (A. M. Turing), チャーチ (A. Church),クリーネ (S. C. Kleene)によってそれぞれ異なった計算モデルを用いてアルゴリズムの厳密な定義がなされた. それらは, 等価であることが知られている.特に, チューリングによりそれを解くアルゴリズムが存在しない問題があること (チューリング機械の停止問題, halting problem for Turing machines) が示されたことの意義は大きい.
+　[[アルゴリズム]] (algorithm) とは, その実行が必ず有限ステップで停止する有限個の機械的操作の列のことであり, 算法とも訳される.ここで, 機械的操作とは, 計算機の基本命令の列と考えて良い.この名称は, 9世紀のアラビアの代数学者, フワーリズミー (al-Khwarizmi) に由来する.数学の研究においては, 問題に対して解を構成する手順を求める接近法と,解の存在を証明する接近法とが典型的であるが, 前者の, 解を求める手順のうち有限ステップで停止するものがアルゴリズムである.ユークリッド(Euclid) の互除法, 定規とコンパスによる作図, 高次方程式の解法等, 古くよりアルゴリズムを求める研究がなされてきた.その中で, アルゴリズムの概念を厳密に定義する必要性が,1900年に提唱されたヒルベルト(D. Hilbert) の第10問題, すなわち, 不定不等式の有理整数解の存在を判定するアルゴリズムを求める問題以来, 次第に明確に意識されるようになり,1930年代に至ってチューリング (A. M. Turing), チャーチ (A. Church),クリーネ (S. C. Kleene)によってそれぞれ異なった計算モデルを用いてアルゴリズムの厳密な定義がなされた. それらは, 等価であることが知られている.特に, チューリングによりそれを解くアルゴリズムが存在しない問題があること (チューリング機械の停止問題, halting problem for Turing machines) が示されたことの意義は大きい.
 　アルゴリズムの設計法は, 1940年代の電子計算機の出現とともに精力的に研究されてきた. 巡回セールスマン問題(traveling salesman problem)等,原理的に有限ステップでは解けるが,現実的な時間で解くアルゴリズムを作るのが困難な問題があることが知られるにつれ, 次第に計算の複雑さ(computational complexity)への認識が高まってきた.一般に, 実行時間が入力サイズの多項式時間(polynomial time)以下のアルゴリズムを効率の良いアルゴリズムという.1971年にクック(S. A. Cook)によりNP困難性(NP-hardness, 計算の複雑さ参照)の概念が導入され, それ以来,カープ(R. Karp)を始め多くの研究者によって, 巡回セールスマン問題等, [[組合せ最適化問題]] (combinatorial optimizationproblem) を含む幾多の問題がNP困難であることが証明されてきた. あるNP困難な問題に対する多項式時間のアルゴリズムがあれば, 従来多項式時間のアルゴリズムを作るのが困難と思われてきた多くの問題に対しても多項式時間アルゴリズムが構成できる.しかしながら, それはほとんどありえないことから, NP困難な問題に対して多項式時間アルゴリズムは存在しないと信じられている.
 　与えられた問題に対して効率の良いアルゴリズムを開発するには,
 　　・問題の構造に対する深い洞察
 　　・アルゴリズム設計技法の知識
 が必要である.
 　代表的なアルゴリズム設計技法としては以下のものが知られている.
- 　・[[貪欲アルゴリズム]] (greedy, 欲張り法ともいう) :解の構成要素を, 効果のあるものから順に選択していく.
- 　例: [[最小木問題]] (minimum spanning tree) に対するクラスカル(J. B. Kruskal Jr.) のアルゴリズム,その他, 近似アルゴリズム (approximation algorithm) としても良く用いられる.
+　　・[[貪欲アルゴリズム]] (greedy, 欲張り法ともいう) :解の構成要素を, 効果のあるものから順に選択していく.
- 　・2分探索(binary search):予めソートされた列中で, ある要素を探す.中央の要素と比較し, それよりも大きいか, 小さいかを調べ, ソート列中のどちら側にあるかを知る. 一回の反復毎に要素数が半分以下になるので,$\log$ (ソート列中の要素数) 回の比較で求まる.
- 　例: 辞書中での単語の検索.
+　　例: [[最小木問題]] (minimum spanning tree) に対するクラスカル(J. B. Kruskal Jr.) のアルゴリズム,その他, 近似アルゴリズム (approximation algorithm) としても良く用いられる.
- 　・分割統治(divide and conquer): 解くべき問題を小規模な部分問題に分割して解き,部分問題の解を統合することで全体の解を得ようとする方法.これは, 逐次のみならず並列アルゴリズムの設計においても基本的方法である.
- 　・[[動的計画]] (dynamic programming):「最適方策(optimal policy) は, それまでの決定がどのようであろうとも,それ以降も最適な決定を下さなければならない. (R. Bellman)」という, [[最適性の原理]] (principles of optimality) に基づく.アルゴリズム的観点から見ると, 一度計算した結果を記憶しておくことで冗長な再計算を避ける方法である. [[最短路問題]] (shortest path problem) に対する各種アルゴリズム等, グラフ・ネットワーク問題 (graph and network problems), および,組合せ最適化問題において多くの応用例がある.
+　　・2分探索(binary search):予めソートされた列中で, ある要素を探す.中央の要素と比較し, それよりも大きいか, 小さいかを調べ, ソート列中のどちら側にあるかを知る. 一回の反復毎に要素数が半分以下になるので,$\log$ (ソート列中の要素数) 回の比較で求まる.
 　問題が良い構造をもつと効率の良いアルゴリズムを設計することが可能となる.特に, 貪欲アルゴリズムがうまく適用できる問題の構造については,[[マトロイド]] (matroid) の項目を, その他, グラフ・ネットワークの構造を持つ問題で効率の良いアルゴリズムが存在するものについては,グラフ・ネットワーク, [[グラフの連結度]] (connectivity), [[ネットワークフロー問題]] (network flow problem),[[マッチング問題]] (matching problems)等の項目を, また,組合せ最適化問題について, その他,劣モジュラ最適化(submodular optimization), 離散凸解析(discrete convexanalysis) 等の項目を参照されたい.また, [[データ構造]] (data structure) を工夫することで効率の良いアルゴリズムを設計できる場合が多い.