В чём разница между формальным и эмпирическим подходом к изучению алгоритмов?

Разница между формальным и эмпирическим подходом к изучению алгоритмов заключается в используемых методах и целях исследования:

1. Формальный подход предполагает использование специальных методов математического анализа алгоритмов, целью которого является установление свойств функции сложности изучаемого алгоритма. studfile.net Формальное описание алгоритмов даёт возможность иметь общие инструментарии для сравнения, оценки, преобразования и других действий над ними. spravochnick.ru
2. Эмпирический подход заключается в экспериментальном изучении свойств функции сложности путём проведения соответствующих расчётов с использованием специальных методик. studfile.net Например, замеряются временные промежутки или подсчитывается число критических операций или групп операций. studfile.net

У каждого из этих подходов есть свои плюсы и минусы: studfile.net

• Математический анализ позволяет получить результаты, которые носят общий, фундаментальный и строгий характер. studfile.net Однако сам процесс математического анализа заданного алгоритма может быть весьма сложным, он требует непростой техники построения математических доказательств. studfile.net
• Экспериментальный подход применим к намного более широкому кругу алгоритмов, однако получаемые результаты не имеют такого уровня общности и строгости, как в случае математического анализа. studfile.net В качестве предварительного исследования алгоритма экспериментальный подход вполне уместен и полезен. studfile.net