----------------------------------------------------------- PITANJA ZA OBNAVLJANJE KOREKTNOSTI I SLOŽENOSTI ALGORITAMA ----------------------------------------------------------- A1. Šta od narednog treba pokazati da bi se pokazala korektnost iterativnog algoritma korišćenjem tehnike invarijante petlje: 1. inicijalizacija implicira invarijantu pre ulaska u petlju 2. invarijanta i negacija uslova petlje impliciraju invarijantu 3. invarijanta i uslov petlje uz telo petlje impliciraju invarijantu 4. invarijanta i negacija uslova petlje impliciraju uslov korektnosti algoritma 5. invarijanta i tačnost uslova petlje impliciraju uslov korektnosti algoritma ----------------------------------------------------------- A2. Invarijanta petlje iterativnog algoritma za određivanje maksimuma niza je 1. rezultujuća promenljiva m sadrži maksimum niza i 1<=i<=n 2. rezultujuća promenljiva m sadrži maksimum niza i 1<=i