Corretude - UFCG

Introdução Indução Algoritmos Recursivos Algoritmos IterativosExemplo 11 Cont.No começo de cada iteração do laço for, subarray A[1 . . j − 1] estásempre ordenado.◮ Inicialização: Quando j = 2 o subarray contém apenas oelemento A[1] que é trivialmente ordenado.◮ Manutenção:◮ A cada iteração A[j] é colocado na posição correta.◮ Nenhum elemento de A[1 . . j] se move além de j.◮ Terminação: Seja n = A.length. Quando termina, j := n + 1e pelo IL A[1 . . n] está ordenado.Prof. Dr. Leandro Balby Marinho 31 / 44 UFCG CEEI