Describir: Sobre algoritmos que generan certificados de k-conexidad