Простыми словами
Например, формальное ограничение показывает, что проблему нельзя убрать более хитрой реализацией - приходится менять требования или модель вычислений. Поэтому результат задаёт границу для алгоритмов и ожиданий - он помогает отличить задачу, которую можно ускорить, от задачи с фундаментальным ограничением.
Механизм действия
Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на исходные параметры, ограничения модели и измеряемые величины. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.
Пример в работе
Решение принимают без учета механизма «Теорема об иерархии времени», оценивая только ближайший эффект.
Перед изменением проверяют, как «Теорема об иерархии времени» влияет на ограничения, стимулы, зависимости и вторичные последствия.
Ограничения
Теорема требует time-constructible функций и относится к классам худшего случая; она не сообщает практический разрыв производительности для конкретного алгоритма.
Источник
Juris Hartmanis; Richard E. Stearns, “On the Computational Complexity of Algorithms”, 1965.