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

1. Формальный подход определяет эффективность алгоритмов в терминах количества доминирующих операций в рамках некоторой абстрактной модели вычислений. 2 Теоретические результаты выражаются в терминах асимптотических границ на функцию, связывающую размер входного объекта с количеством выполненных доминирующих операций. 2
2. Эмпирический подход оценивает эффективность реализованных программ в циклах процессора или длительности физического времени. 2 Входные данные берутся из приложений для решения реальных задач или наборов эталонных тестов. 2 Экспериментальные результаты выражаются в сравнительных терминах с использованием таблиц или диаграмм. 2

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