donde pa("v") es el conjunto de padres de "v" (es decir, los vértices apuntando directamente a "v" a través de una sola arista).