ALGORITMI
Un PROBLEMA COMPUTAZIONALE è una
RELAZIONE che associa ad ogni elemento del dominio di INPUT un
elemento del dominio di OUTPUT (rappresenta una classe di problemi
concreti/istanze).
Dato un problema computazionale un ALGORITMO è una
SEQUENZA FINITA di PASSI ELEMENTARI e NON AMBIGUI
che ci consente di individuare, per ogni istanza del problema, una
SOLUZIONE (se esiste) o di certificarne l’INESISTENZA (se non
esiste).
NB. L’ISTANZA è un caso particolare del problema
computazionale
Quindi il primo step è ottenere una formulazione chiara e non ambigua
del problema.
Esempio1: Date le altezze di un gruppo di persone, individuare le altezze delle
persone alte è ambiguo perché non so la definizione di persona alta
Esempio2: Date le altezze in metri di un gruppo di 100 persone, restituire le
altezze delle persone che sono alte. Le persone sono alte se la loro
altezza è maggiore di 1,70 m adesso non più ambigui
Le descrizioni in linguaggio naturale sono imprecise e spesso ambigue
Tali descrizioni non rendono agevole il confronto tra soluzioni diverse e
non è semplice stabilire la correttezza dell’algoritmo
Cosa ci serve?
1. Linguaggio più formale di quello naturale
(PSEUDOCODICE)
2. definizione del concetto di “migliore”
(VALUTAZIONE EFFICIENZA ALGORITMO)
3. definizione del concetto di correttezza
(VALUTAZIONE CORRETTEZZA ALGORITMO)
