Asymptotic analysis Recurrence relations Theorems in computational complexity theory Master theorem (analysis of algorithms)
Randomized algorithms Structural complexity theory Theorems in computational complexity theory Sipser–Lautemann theorem