Pruebas

Probar CSR

CSR tiene invariantes fáciles de comprobar.

¿Qué comprobaciones atrapan un CSR mal construido?inicio[0] = 0, inicio[V] = E, y cada valor de inicio es mayor o igual que el anteriorinicio crece estrictamente, de modo que todo vértice tiene al menos un vecinoLas aristas coinciden con las de unas listas de adyacencia hechas con los mismos datosvecinos entero está ordenado de menor a mayor, de la primera a la última posición