Describir: Un algoritmo para la prueba de planaridad en gráficas