Untuk mengklasifikasikan waktu perhitungan (atau sumber daya serupa, seperti konsumsi ruang), orang tertarik untuk membuktikan batas atas dan bawah pada jumlah waktu minimum yang diperlukan oleh algoritma paling efisien untuk menyelesaikan masalah yang diberikan. Kompleksitas suatu algoritma biasanya dianggap sebagai kompleksitas kasus terburuknya, kecuali dinyatakan sebaliknya. Menganalisa algoritma tertentu berada di bawah bidang analisis algoritma. Untuk menunjukkan batas atas T (n) pada kompleksitas waktu suatu masalah, kita hanya perlu menunjukkan bahwa ada algoritma tertentu dengan waktu berjalan paling banyak T (n). Namun, membuktikan batas bawah jauh lebih sulit, karena batas bawah membuat pernyataan tentang semua algoritma yang mungkin memecahkan masalah yang diberikan. Ungkapan "semua algoritma yang mungkin" tidak hanya mencakup algoritma yang dikenal saat ini, tetapi algoritma apa pun yang mungkin ditemukan di masa mendatang. Untuk menunjukkan batas bawah T (n) untuk suatu masalah perlu ditunjukkan bahwa tidak ada algoritma yang memiliki kompleksitas waktu lebih rendah dari T (n).
Kapan seseorang tidak perlu menunjukkan hanya bahwa ada algoritma tertentu yang menjalankan waktu pada mons T (nO?
Untuk menunjukkan batas atas T (n) pada kompleksitas waktu suatu masalah
Untuk menunjukkan batas atas T (n) pada kompleksitas waktu suatu masalah
Kapan ADV
seseorang PRN
tidak NEG
perlu TAME
menunjukkan VBT
hanya ADV
bahwa CSN
ada VBI
algoritma NNO
tertentu ADJ
yang PRR
menjalankan VBT
waktu NNO
pada PPO
mons NNP
T NNP
( PUN
nO NNP
? PUN