Punto 1.

Completar los espacios vacíos con la palabra correcta:

a. Un grafo consiste de dos conjuntos finitos: Un conjunto finito y un conjunto de aristas

donde cada arista está asociada con un conjunto compuesto de 1 o 2 vértices que se
conocen como puntos extremos
b. Un bucle en un grafo es una arista que solo tiene un extremo
c. Dos aristas distintas en un grafo son paralelas si y solo si, sus puntos extremos tienen el
mismo conjunto.
d. Dos vértices se denominan adyacentes si y solo si se conectan por 1 arista.
e. Una arista está incidiendo sobre cada punto extremo
f. Dos aristas que inciden en el mimo punto extremo son adyacentes
g. Un vértice en el que no hay aristas que sean incidentes es aislado
h. En un grafo dirigido, cada arista está asociada con 2 vértices ordenados (puntos extremos)
i. Un grafo simple es un grafo que no tiene bucles ni aristas paralelas
j. Un grafo completo de n vértices es un grafo simple con n vértices y su conjunto de aristas
tiene 1 arista cada 2 vértices.

Punto 8.

Determine si cada par de grafos es isomorfo

a.

Para el primer gráfico

𝑉(𝐺) = {𝑢1 , 𝑢2 , 𝑢3 , 𝑢4 , 𝑢5 }
𝐸(𝐺) = {(𝑢1 , 𝑢2 )(𝑢1 , 𝑢5 )(𝑢2 , 𝑢3 )(𝑢3 , 𝑢4 )(𝑢4 , 𝑢5 )}
Para el segundo gráfico.

𝑉(𝐺 ∗ ) = {𝑣1 , 𝑣2 , 𝑣3 , 𝑣4 , 𝑣5 }
𝐸(𝐺 ∗ ) = {(𝑣1 , 𝑣3 )(𝑣1 , 𝑣4 )(𝑣2 , 𝑣4 )(𝑣2 , 𝑣5 )(𝑣3 , 𝑣5 )}
Veamos si toda arista de G es una arista 𝐺 ∗ después de aplicarle la función F.

 La arista (𝑢1 , 𝑢2 ) ∈ a 𝐸(𝐺) y 𝑓(𝑢1 ) , 𝑓(𝑢2 ) =(𝑣1 , 𝑣3 ) también ∈ a 𝐸(𝐺 ∗ )

 La arista (𝑢1 , 𝑢5 ) ∈ a 𝐸(𝐺) y 𝑓(𝑢1 ) , 𝑓(𝑢5 ) =(𝑣1 , 𝑣4 ) también ∈ a 𝐸(𝐺 ∗ )

  La arista (𝑢2 , 𝑢3 ) ∈ a 𝐸(𝐺) y 𝑓(𝑢2 ) , 𝑓(𝑢3 ) =(𝑣2 , 𝑣4 ) también ∈ a 𝐸(𝐺 ∗ )

 La arista (𝑢3 , 𝑢4 ) ∈ a 𝐸(𝐺) y 𝑓(𝑢3 ) , 𝑓(𝑢4 ) =(𝑣2 , 𝑣5 ) también ∈ a 𝐸(𝐺 ∗ )

 La arista (𝑢4 , 𝑢5 ) ∈ a 𝐸(𝐺) y 𝑓(𝑢1 ) , 𝑓(𝑢2 ) =(𝑣3 , 𝑣5 ) también ∈ a 𝐸(𝐺 ∗ )

Hasta este punto hemos probado que si 𝑒 es una arista de G entonces es también un arista de 𝐺 ∗.
Ahora debemos demostrar el reciproco usando la inversa de la función 𝑓, es decir 𝑓 −1

 La arista (𝑣1 , 𝑣3 ) ∈ a 𝐸(𝐺 ∗ ) y 𝑓 −1 (𝑣1 ), 𝑓 −1 (𝑣3 )= (𝑢1 , 𝑢3 ) también ∈ a 𝐸(𝐺 ∗ )

 La arista (𝑣1 , 𝑣4 ) ) ∈ a 𝐸(𝐺 ∗ ) y 𝑓 −1 (𝑣1 ), 𝑓 −1 (𝑣4 )= (𝑢1 , 𝑢5 ) también ∈ a 𝐸(𝐺 ∗ )

 La arista (𝑣2 , 𝑣4 ) ∈ a 𝐸(𝐺 ∗ ) y 𝑓 −1 (𝑣2 ), 𝑓 −1 (𝑣4 )= (𝑢2 , 𝑢3 ) también ∈ a 𝐸(𝐺 ∗ )

 La arista (𝑣2 , 𝑣5 ) ∈ a 𝐸(𝐺 ∗ ) y 𝑓 −1 (𝑣2 ), 𝑓 −1 (𝑣5 )= (𝑢3 , 𝑢4 ) también ∈ a 𝐸(𝐺 ∗ )

 La arista (𝑣3 , 𝑣5 ) ∈ a 𝐸(𝐺 ∗ ) y 𝑓 −1 (𝑣3 ), 𝑓 −1 (𝑣5 )= (𝑢4 , 𝑢5 ) también ∈ a 𝐸(𝐺 ∗ )

b.

Para el primer gráfico:

𝑉(𝐺) = {𝑢1 , 𝑢2 , 𝑢3 , 𝑢4 , 𝑢5 }
𝐸(𝐺) = {(𝑢1 , 𝑢2 )(𝑢1 , 𝑢3 )(𝑢1 , 𝑢4 )(𝑢1 , 𝑢5 )(𝑢2 , 𝑢3 )(𝑢3 , 𝑢4 )(𝑢3 , 𝑢5 )(𝑢4 , 𝑢5 )}
Para el segundo gráfico:

𝑉(𝐺 ∗ ) = {𝑣1 , 𝑣2 , 𝑣3 , 𝑣4 , 𝑣5 }
𝐸(𝐺 ∗ ) = {(𝑣1 , 𝑣2 )(𝑣1 , 𝑣5 )(𝑣2 , 𝑣3 )(𝑣2 , 𝑣4 )(𝑣2 , 𝑣5 )(𝑣3 , 𝑣4 )(𝑣4 , 𝑣5 )}
Los grafos no pueden ser caracterizados como isomorfos, porque, aunque tienen 5 vértices no
tienen las mismas aristas.