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

Различие между формальными и эмпирическими алгоритмами важно, потому что они представляют разные подходы к изучению и анализу алгоритмов. en.wikipedia.org

Формальные алгоритмы изучаются абстрактно, без ссылок на какой-либо конкретный язык программирования или реализацию. en.wikipedia.org Такой анализ фокусируется на свойствах алгоритма, а не на реализации. en.wikipedia.org

Эмпирические алгоритмы тестируются с использованием реального кода. en.wikipedia.org Замеры производительности тщательно выполненных реализаций алгоритмов для типичных данных дают результаты, которые не только являются прямым показателем эффективности, но и содержат информацию, необходимую для сравнения алгоритмов и обоснования математических результатов. intuit.ru

Таким образом, формальный анализ помогает изучать свойства алгоритмов, а эмпирический — проверять их эффективность и выявлять неожиданные взаимодействия, влияющие на производительность. en.wikipedia.org