Considere uma lista não vazia implementada utilizando-se o vetor v de números inteiros. O primeiro elemento da lista está na posição 1 do vetor e o último elemento da lista está na posição p do vetor, em que p é um número par maior que um. No algoritmo a seguir, x e y são variáveis numéricas inteiras:

x = p;
enquanto condição faça
y = v[x];
v[x] = v[p-x+1];
v[p-x+1] = y;
x = x – 1;
fim-enquanto;

Para que o algoritmo inverta a ordem dos elementos da lista, o termo condição deve ser: