今日、悪意のある学校の教科書、特にコンピュータサイエンスの教科書に出くわすのは非常に簡単です。アルゴリズムの章では、アルゴリズムの定義を直接見つけることができます。それが何であるかについての説明ではなく、主題についての物語ではなく、定義です。さらに、それは太字で強調され、注意深く組み立てられ、感嘆符の形でいくつかの目立つ絵文字でマークされています。通常、これはすべて、必須およびオプションのプロパティの束からのソースで味付けされ、結果として魅惑的な混乱を形成します。アルゴリズムとは何か、なぜ特定の定義を与えることができないのかを理解し、必要なプロパティと不要なプロパティを見つけてみましょう。
教科書のコンパイラは、実際にはアルゴリズムの厳密な定義がなく、さらにそのような定義がないため、理解しやすいです。しかし、何が何であるかを説明しようとする代わりに、著者は貧しい学生に役に立たない間違った用語を詰め込むという別の仕事をすり抜けます。根拠のないものにならないように、私は1つの非常に一般的な教科書からの抜粋を示します。
大学の方が良いですが、数理論理学とアルゴリズムの理論に関するコースのこれらの行の著者は、アルゴリズムとそのプロパティの定義から同じビネグレットソースに直面する必要がありました。ここで何が悪いのかを理解しましょう。
無限の彼方へ
. , — , . . , : , -. ( 1 , 2 ..), - ( , - 1, - -1, k 2k, -m 2m + 1). - , ( m/n, m - , n - ). , , , , , , . «» () ℵ0 (-).
, . , m/n. 1/3 2/7 , «" . 21 , , , 1/2 ().
, , ℵ1 (-). . ( ). A*. , , ( ).
?
: , , .. - , , , (, ). , , , 12- . , , , ! , ? ? , . , , , — . , .
. , , , N, N+1. , « »: , .
— . , , . . , , A*. . , . , . , . , . , A* -> A* . , , .
, , , . , , . , , .
, . , , , , — . .
-
, 1900 . , ( ) , . , , , , , .
, , ( « » ). , , , - . , (, , ) , ( , ). «» , . . - , , , -. , , , :
- .
. , . -, , « », -, , . , , , - . , .
. , ( ) . , A*->A*. , , , « ». , . - , . , , , . :
, , , .
: ( , , ) . -, .
, , -, , .
, . , . , . .
. . , , , . .
— . , , . , , .
. , . , — , , .
. , . , . . , .
, , . . , , . , , «Hello world». , .
, . . , . , , , . . «« — , , , . , , , , . , . .
, , - — - . . . « » while , , , - -.
. , (- , , - ..). . . . , ( Haskell ), , , -, « », .
, . , , . , , , , .
1- «: » . . . , , , , « » . .
- ITSOFT — - . UPTIME 100%. GPU- ASIC-, GPU-, , SSL-, .