Статья
Анализ алгоритмов: асимптотика, инварианты и доказательство корректности
Как измерять алгоритмы независимо от железа, считать рекуррентности и амортизацию, доказывать корректность через инварианты цикла и проверять теорию эмпирическими …