それのためのアルゴリズムがあります Tシャツ

数学では、アルゴリズムは(AlgoritmiのAlKhwārizmīのラテン系の型枠から)コンピュータ・サイエンス計算のステップバイステップ手順であり。 アルゴリズムは計算、データ処理および自動化された推論のために使用されます。 もっと正確に、アルゴリズムは機能を計算するための明示されている指示の有限なリスト[1]として表現される有効な方法です。 初期状態およびイニシャルの入力(多分空)から始まって、指示は実行されたとき結局"出力"を]作り出し、最終的な終りの州で終わる明示されている連続状態の有限な数によって、進む計算を記述します。 1つの州からの次への転移は必ずしも決定論ではないです; あるアルゴリズム、知られていたasrandomizedアルゴリズム、合併の任意入力。 概念の部分的な形式化は1928年にデイヴィッドHilbertが提起したEntscheidungsproblem ("決定問題")を解決する試みから始まりました。 それに続く形式化は"有効なcalculability"か"有効な方法"を定義する試みとして組み立てられました; それらの形式化は1930年、1934年および1935年、アロンゾ・チャーチの1936年のlambdaの微積分、エミルのポストの"1936年の公式1"、およびアラン・チューリングの1936-7年および1939年のTuring機械のGödel-Herbrand-Kleeneの帰納的関数を含んでいました。 アルゴリズムの公式の定義を、直観的な概念に相当して与えることは、挑戦的な問題に残ります。