Quote:
|
Originariamente inviato da cdimauro
Non può esistere un algoritmo del genere. Se esistesse, vorrebbe dire che di qualunque software sarebbe possibile fornire un'analisi precisa, che potrebbe servire anche a scoprire eventuali bug (e quindi il classico problema dell'arresto). Impossibile.
|
Scusami ma nn mi è chiaro il legame fra bug e complessità asintotica.
Tra l'altro la complessità asintotica non è di un software ma di un singolo algoritmo. Ed anche nel caso in cui la sua complessità sia penosa se ne risente in termni di tempo e di risorse ...nn è certo qualcosa per cui serva un debugger (nn ci sono errori sintattici/semantici, ma solo di implementazione).
Inoltre, nn so se abbiate fatto Algoritmi all'uni ma generalmente c'è una (o piu) sommatoria e due righe di calcolo...