Revisión de código

Revisa este código de un agente

Texto

1  función agregar_final(lista, x):2      n ← nodo(x)3      actual ← lista.cabeza4      mientras actual.siguiente ≠ nada:5          actual ← actual.siguiente6      actual.siguiente ← n

La lista tiene un campo cola que se mantiene en el resto de las operaciones.

Este agregar_final recorre la lista desde la cabeza hasta el último nodo y lo enlaza, aunque la lista tiene un campo cola que se mantiene en el resto de las operaciones. ¿Qué problemas tiene?Falla con la lista vacía, porque cabeza es nada y no tiene siguienteRecorre la lista aunque existe la cola: O(n) donde podía ser O(1)Falla con una lista de un solo nodo, porque actual.siguiente ya es nadaNo actualiza la cola: rompe el invarianteEnlaza el nodo nuevo al principio de la lista