2
In che misura un algoritmo può prevedere la complessità temporale di un programma di input arbitrario?
Il problema di Halting afferma che è impossibile scrivere un programma in grado di determinare se un altro programma si arresta, per tutti i possibili programmi di input . Tuttavia, posso sicuramente scrivere un programma in grado di calcolare il tempo di esecuzione di un programma simile a: for(i=0; i<N; …