Виконавець і властивості алгоритму

Алгоритм розв'язання однієї й тієї самої задачі може бути поданий по-різному. Якщо ви навчаєте чомусь собаку, ви будете давати усні команди зрозумілою для неї мовою. Якщо ж ви навчаєте свого приятеля їздити на велосипеді, то система команд, які він може виконати, буде, звичайно, ширшою. Алгоритм їзди ви можете описати усно, але можете за бажанням записати на папері.

Алгоритми складаються з орієнтацією на певного виконавця алгоритму: дре­сированої тварини, людини, автомата, ЕОМ. До алгоритму мають входити команди, які виконавець може виконати, І неприпустимі команди, які він не може виконати. У кожного виконавця є свій кінцевий набір команд, які для нього зрозумілі і можуть бути виконані. Цей набір називають системою команд вико­навця.

Користуючись системою команд, виконавець може виконувати алгоритм формально, не вникаючи у зміст поставленої задачі. Від виконавця вимагається лише виконання послідовності дій, передбачене алгоритмом. Коли алгоритм зро­зумілий конкретному виконавцю, кажуть, що такий алгоритм має властивість певності. Завдяки певності багатократне виконання одного алгоритму різними виконавцями за тих самих вихідних умов приведе до однакових результатів.

Для отримання конкретного результату не допускаються довільні дії з боку виконавця. Образно кажучи, алгоритм - це не кулінарний рецепт, і в ньому неприпустимі вказівки типу «Додати дві-три ложки цукру» або «Зняти з вогню через кілька хвилин». Вказівки, зрозумілі у певних ситуаціях для людини, мо­жуть загнати у глухий кут автомат. Потрібно уникати також ситуацій, коли після виконання чергової команди виконавцю незрозуміле, яка команда має виконуватися наступною.

Крім певності, алгоритм повинен мати низку інших властивостей. Очевидна властивість алгоритму, як було зазначено раніше, - це його дискретність. Будь-який алгоритм складається з послідовності закінчених дій - кроків. Перехід до наступного кроку можливий лише після завершення попереднього.

Ще однією властивістю алгоритму, що формулюється як вимога, є його результативність. Виконання алгоритму має приводити до конкретного резуль­тату - розв'язання задачі протягом певного числа кроків. Під розв'язанням задачі може розумітися також повідомлення про те, що задача розв'язання не має.

Найкращими є ті алгоритми, які забезпечують розв'язання широкого кола задач (наприклад, розглянутий вище алгоритм Евкліда, алгоритми виконання арифметичних дій). Про такі алгоритми кажуть, що вони мають властивість масовості. Вони дозволяють розв'язувати (і неодноразово) не одну конкретну задачу, а багато однотипних задач. Властивість масовості значно збільшує практичну цінність алгоритму.

Дата добавления: 2014-01-04