Проблемы представления алгоритмов, проблемы неразрешимости алгоритмов, проблемы связанные со свойствами алгоритмов, проблемы связанные со сложностью алгоритмов, проблемы формулировки задач в современных языках программирования.
Тео́рия алгори́тмов — наука, находящаяся на стыке математики и информатики, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления.
К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т. п.
Проблемы, которые решает данная наука можно разделить на 3 группы:
• формальное доказательство алгоритмической неразрешимости задач (проблема неразрешимости алгоритмов); • анализ сложности алгоритмов (проблемы сложности алгоритмов); • разработка критериев сравнительной оценки качества алгоритмов (проблемы, связанные со свойствами алгоритмов).
Специалисты выделяют еще одну группу проблем, это классификация алгоритмов в соответствии с классами сложности.
