Теория алгоритмов
Теория алгоритмов - Наука, изучающая общие свойства и закономерности алгоритмов, и разнообразные формальные модели их представления.
К. Гёдель А. , Тьюринг, А. , Чёрч И. , Э. Пост., С. Клини, А.А.Марков
Цели и задачи теории алгоритмов
формализация понятия «алгоритм» и исследование формальных алгоритмических систем;
формальное доказательство алгоритмической неразрешимости ряда задач;
классификация алгоритмов в соответствии с классами сложности;
асимптотический анализ сложности алгоритмов;
исследование и анализ рекурсивных алгоритмов;
получение явных функций трудоёмкости в целях сравнительного анализа алгоритмов;
разработка критериев сравнительной оценки качества алгоритмов.
В настоящее время теория алгоритмов развивается, по трём направлениям.
I. Классическая теория алгоритмов:
изучает проблемы формулировки задач в терминах формальных языков,
вводит понятие задачи разрешения,
проводит классификацию задач по классам сложности и др.
I I. Теория асимптотического анализа алгоритмов рассматривает методы получения асимптотических оценок ресурсоемкости или времени выполнения алгоритмов с увеличением объема входных данных.
I I I. Теория практического анализа вычислительных алгоритмов решает задачи получения явных функций
трудоёмкости,
интервального анализа функций,
практических критериев качества алгоритмов,
разработки методики выбора рациональных алгоритмов.
Do'stlaringiz bilan baham: |