Untuk menggolongkan waktu komputasi (atau sumber daya serupa, seperti konsumsi ruang), seseorang tertarik untuk membuktikan batas atas dan bawah dengan jumlah minimum waktu yang dibutuhkan oleh algoritma yang paling efisien memecahkan masalah yang diberikan. Kompleksitas algoritma biasanya diambil untuk menjadi yang terburuk kompleksitas, kecuali dinyatakan sebaliknya. Menganalisa algoritma tertentu jatuh di bawah bidang analisis algoritma. Untuk menunjukkan T○n yang lebih tinggi) pada waktu yang rumit, kita hanya perlu menunjukkan bahwa ada algoritma tertentu dengan waktu yang paling banyak waktu berjalan di Tresslern). Namun, membuktikan batas yang lebih rendah jauh lebih sulit, karena batas yang lebih rendah membuat pernyataan tentang semua kemungkinan algoritma yang memecahkan masalah yang diberikan. Frase "semua kemungkinan algoritma" tidak hanya termasuk algoritma yang dikenal hari ini, tetapi algoritma apapun yang mungkin ditemukan di masa depan. Untuk menunjukkan batas bawah Tresslern) untuk masalah yang diperlukan menunjukkan bahwa algoritma tidak dapat memiliki waktu yang lebih rumit daripada Tresslern).
Apa yang mudah untuk membuktikan batas - batas yang lebih rendah?
karena batas yang lebih rendah membuat pernyataan tentang semua kemungkinan algoritma yang memecahkan masalah yang diberikan