Детерминированный алгоритм: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Строка 29: Строка 29:
Элементы могут быть уникально отсортированы, если критерий сортировки всегда определяет полный порядок; т.е. номера студентов уникальны, но если сортировать экзамены по фамилиям студентов и два студента имеют одинаковые фамилии, результат сортировки остаётся неопределённым. В таких случаях, сортировка слиянием всегда будет выдавать один из возможных упорядочиваний, но какое именно остаётся неизвестно, т.е. алгоритм недетерминированный .
Элементы могут быть уникально отсортированы, если критерий сортировки всегда определяет полный порядок; т.е. номера студентов уникальны, но если сортировать экзамены по фамилиям студентов и два студента имеют одинаковые фамилии, результат сортировки остаётся неопределённым. В таких случаях, сортировка слиянием всегда будет выдавать один из возможных упорядочиваний, но какое именно остаётся неизвестно, т.е. алгоритм недетерминированный .


=== Тест простаты ===
=== Тест простоты ===
{{main|Перебор делителей}}
{{main|Перебор делителей}}
Задача: дано [[натуральное число]] больше единицы, определить является ли это число [[простое число|простым]].
Задача: дано [[натуральное число]] больше единицы, определить является ли это число [[простое число|простым]].

Версия от 15:35, 20 мая 2013

Детерминированный алгоритм — алгоритмический процесс, который выдаёт уникальный и предопределённый результат для заданных входных данных.

Недетерминированный алгоритм

В информатике, недетерминированный алгоритм — это алгоритм, который указывает несколько путей обработки одних и тех же входных данных, без какого-либо уточнения, какой именно вариант будет выбран.

Использование

В теории алгоритмов под термином «алгоритм» обычно понимается детерминованный алгоритм. Недетерминированный алгоритм отличается от своего более известного двойника возможностью получения результата несколькими разными путями. Детерминированный алгоритм следует единственным путём от входных данных к выходным, тогда как некоторые пути выполнения недетерминированного алгоритма могут привести к одинаковому результату, а некоторые к другим результатам. Эти свойства описаны математически в «недетерминированной» модели вычислений известной как недетерминированный автомат.

В разработке алгоритмов, недетерминированные алгоритмы часто используются, когда задача, решаемая алгоритмом, по своей сути позволяет много выходов (или когда существует один выход с многими путями через которые он может быть найден, и все одинаково хороши). Важно, что каждый выход недетерминированного алгоритма верный, независимо от путей выбранных алгоритмом во время выполнения.

Примеры

Список покупок

Представим список покупок: список товаров для покупки.

Это можно осмыслить двумя способами:

  • Как указание купить все эти товары в любом порядке. Это недетерминированный алгоритм.
  • Как указание купить все эти товары в данном порядке. Это детерминированный алгоритм.

Сортировка слиянием

Допустим мы имеем набор сущностей (скажем, 300 студенческих экзаменов), которые необходимо отсортировать (скажем, по номерам студентов).

Один из алгоритмов для этого (называется Сортировка слиянием):

  • разбить набор на две приблизительно равные части
  • отсортировать обе половины сортировкой слиянием (т.е. рекурсивно)
  • слить результаты

Элементы могут быть уникально отсортированы, если критерий сортировки всегда определяет полный порядок; т.е. номера студентов уникальны, но если сортировать экзамены по фамилиям студентов и два студента имеют одинаковые фамилии, результат сортировки остаётся неопределённым. В таких случаях, сортировка слиянием всегда будет выдавать один из возможных упорядочиваний, но какое именно остаётся неизвестно, т.е. алгоритм недетерминированный .

Тест простоты

Задача: дано натуральное число больше единицы, определить является ли это число простым.

Недетерминированный алгоритм следующий:

  1. Взять любое целое k такое, что 2 ≤ k ≤ √(n).
  2. Если k является делителем n, остановится с ответом нет; иначе остановится с ответом не известно.

Видно, что алгоритм не всегда даёт полезный ответ, но никогда не даёт неправильного ответа.

Этот алгоритм недетерминированный, он не всегда выдаёт верное решение, но только при определённой комбинации выборов. Это пример поискового типа недетерминированного алгоритма.

См. также