Elementi di Informatica

Transcript

1 Elementi di Informatica Capitolo 6 Iterazione Prof. Mauro Gaspari: mauro.gaspari@unibo.it

2 Assegnamenti multipli bruce = 5 print bruce, bruce = 7 print bruce

3 Assegnamento e uguaglianza E' importante distinguere tra l'operatore di assegnamento (=) e l'uguaglianza (che in realtà è ==). NB. l'uguaglianza è commutativa, l'assegnamento no. NB2. un uguaglianza matematica è in genere sempre vera, mentre una volta fatto un assegnamento il valore di una variabile puo' cambiare. a = 5 b = a # a and b are now equal a = 3 # a and b are no longer equal

4 Il concetto di iterazione Spesso i computer sono utilizzati per eseguire in modo automatico task ripetitivi. Le operazioni ripetitive sono quelle che i computer riescono a fare meglio rispetto a noi (che spesso ci possiamo sbagliare). Tecnicamente la ripetizione di comandi si dice iterazione. Un effetto simile si può ottenere con la ricorsione.

5 Il comando while def countdown(n): while n > 0: print n n = n-1 print "Blastoff!" NB. la ricorsione è stata levata. Si puo' leggere il comando while in modo letterale: while significa fino a quando ed è associato ad una condizione. Fino a quando la condizione vale si esegue il body del while.

6 Semantica del while 1) Si valuta la condizione booleana. 2) Se la condizione è falsa (0): si esce dal while e si continua con l'esecuzione del comando successivo. 3) Se la condizione è vera (1): si eseguono tutti i comandi del body e alla fine si torna al passo 1. Questo tipo di flusso di controllo si chiama anche ciclo (= loop), perché con il passo 3) si torna indietro, all'inizio del comando.

7 Osservazioni sul loop. NB. Se la condizione è falsa i comandi del body non vengono mai eseguiti. È opportuno che nel body ci siano dei comandi che cambiano il valore di variabili che appaiono nella condizione. Altrimenti si ottengono dei loop infiniti.

8 Esempio def sequence(n): while n!= 1: print n, if n%2 == 0: n = n/2 else: n = n*3+1 # n is even # n is odd Questo programma termina sempre?

9 Osservazioni Dato che a volte il numero cresce e a volte decresce non è facile dimostrare in modo semplice che il programma termina sempre. E' possibile dimostrare la terminazione c'è per qualche n. Ad esempio se n è una potenza di 2. Ma è possibile dimostrare che il programma termina per tutti i valori di n? Fino ad ora nessuno è riuscito a dimostrare che questa affermazione vale e nemmeno che questa non vale.

10 Non terminazione e decidibilità Un problema è decidibile quando si riesce sempre a dare una risposta. Ad esempio si può dimostrare e quindi decidere che il programma countdown visto prima termina sempre con gli interi positivi. Una proprietà importante che vale nell'informatica è la seguente: dato un qualsiasi programma non è sempre possibile stabilire se questo termina per tutti i possibili input (problema della non terminazione - delle macchine di Turing). Quindi il problema della terminazione non è decidibile.

11 Decidibile e semidecidibile Come facciamo a stabilire se un problema è decidibile? Se troviamo un programma (algoritmo) che termina sempre un problema è decidibile. Se invece troviamo un programma che potrebbe non terminare ma termina sempre se la risposta al problema e' SI. Il problema si dice semidecidibile.

12 Problemi semidecidibili Un esempio di problema semidecidibile: dire se un programma ha un errore a tempo di esecuzione (a runtime)? Se il programma termina perché si verifica l'errore allora la risposta è SI. Se il programma termina correttamente la risposta è NO. Pero' un programma potrebbe non terminare, in questo caso non sono in grado ne di dare una risposta positiva ne negativa. Sono pero' sicuro che se la risposta è SI prima o poi riesco a trovarla (ovvero se c'è un errore a tempo di esecuzione questo prima o poi si verifica, anche dopo giorni).

13 Problemi indecidibili Ci sono problemi che non sono ne decidibili, ne semidecidibili, questi si dicono indecidibili (ovvero insolubili, non calcolabili). Ad esempio il problema inverso a quello nella precedente slide: determinare se un programma non ha errori a tempo di esecuzione (determinare se un programma è corretto a runtime) non è ne decidibile ne semidecidibile. Un altro problema indecidibile che abbiamo visto in precedenza è il problema della terminazione di un qualsiasi programma con un qualsiasi input. Un altro problema indecidibile è quello di stabilire se due programmi qualsiasi danno gli stessi risultati.

14 Iterazione infinita a break Se vogliamo realizzare una calcolatrice serve un ciclo infinito. A volte può essere utile uscire da un ciclo prima di terminare i comandi del body. done = done # va bene done senza virgolette while True: line = input( >> ), if line == done: print bye break print line

15 Esempio radice quadrata Metodo di Newton I cicli vengono spesso utilizzati per calcolare valori numerici tramite successive approssimazioni. Ad esempio il metodo di Newton per calcolare la radice quadrata: se vogliamo calcolare la radice quadrata di un numero a partendo da un approssimazione qualsiasi x, un approssimazione migliore y si ottiene con la seguente formula:

16 Metodo di Newton esempio

17 Quando fermarsi? In generale non è possibile stabilire quanti passi sono necessari per arrivare alla risposta giusta. Quando si verifica la condizione y == x ci si può fermare.

18 Soluzione senza break a = float(input('radice di ')) x = float(input('soluzione approssimata ')) y = (x + a/x) / 2 while x!= y: print x x = y y = (x + a/x) / 2 print x

19 Attenzione al confronto tra floating point! L'uguaglianza tra numeri floating point presenta dei rischi. I valori floating point sono sempre approssimati e quindi in caso di approssimazioni diverse l operatore == potrebbe non cogliere l uguaglianza. In questi casi si consiglia di cambiare il test come segue: son epsilon = e abs una funzione built-in di Python

20 Algoritmi e programmazione Il metodo di newton è un esempio di algoritmo (=algorithm), ovvero un processo meccanico che risolve un certo problema. L aspetto più rilevante della programmazione è proprio il processo che porta alla definizione di un algoritmo.