Masalah Berhenti menyatakan bahwa tidak mungkin untuk menulis program yang dapat menentukan apakah program lain berhenti, untuk semua program input yang mungkin .
Saya dapat, bagaimanapun, tentu saja menulis sebuah program yang dapat menghitung waktu berjalan dari program seperti:
for(i=0; i<N; i++)
{ x = 1; }
dan mengembalikan kompleksitas waktu , tanpa pernah menjalankannya.
Untuk semua program input lainnya, itu akan mengembalikan sebuah flag yang menunjukkan tidak dapat menentukan kompleksitas waktu.
Pertanyaan saya adalah ini:
Kondisi apa yang harus dipertahankan, sehingga kita dapat secara algoritmik menentukan kompleksitas waktu dari suatu program?
* Jika ada referensi kanonik atau ulasan artikel ini saya akan sangat menghargai tautannya di komentar.