Схема на раздела

    •  Долни граници
       за времевата сложност
       на алгоритмични задачи.
       
       Тривиални долни граници:
       — по размера на входа;
       — по размера на изхода.
       
       Методи за доказване
       на нетривиални долни граници:
       — редукция;
       — рекурентни неравенства;
       — игра срещу противник;
       — дърво за взимане на решения.