Republica Bolivariana de Venezuela

Universidad José Antonio Páez

Asignatura: Estructuras Discretas 2

Estudiante(s):

- Fernando Duno C.I. 27.173.917

- Gerard Sánchez C.I. 29.769.258

UNIDAD 1:
Trabajo Investigativo: GRAFOS

Valencia, 10 de noviembre de 2022

 Grafos:
Conjunto no vacío de objetos o entes físicos relacionados entre ellos
que en programación se usan como estructuras de datos(tipos de
datos abstractos). Pueden dividirse en dos grandes bloques:
- Grafos dirigidos: son por ejemplo en canal de tuberías de una
ciudad las cuales solos tendrán una única dirección para el
recorrido.
- Grafos no dirigidos: son por ejemplo el conjunto de vías de una
autopista las cuales pueden ser recorridas en ambos sentidos.

Algoritmo de Floyd-Warshall: es la opción utilizada cuando se

desea determinar el camino mínimo entre todos los pares de vértices o
nodos de un grafo. El algoritmo encuentra el camino entre todos los
pares de vértices en una única ejecución.

Alcanzabilidad:
Se dice que un vértice b es alcanzable desde otro vértice v si y solo si
existe un camino de v a b. Calculando la matriz de de orden n, siendo
n el numero de vértices del grafo.

1 si existe un camino de vi a vj de cualquier longitud

Mat[ij] =
0 en caso contrario

Nota: si un camino posee k arcos entonces es porque posee k+1

vértices.
 Grafos Eulerianos:
Son grafos no dirigidos en la que su trayectoria empieza y termina en
el mismo vértice, pasa por cada vértice al menos una vez y solo una
vez por cada arista.

Teorema de Euler:
Para que G sea Euleriano se tiene que cumplir que todos los vértices
del grafico tengan un grado par y los gráficos conexos con todos los
vértices de grado par tienen un circuito euleriano. Estos grafos
también los encontramos cumpliendo la condición de camino cerrado
es decir cubre conjuntos en los que se cubren todas las aristas.

Cada vértice de este grafico tiene un grado par. Por lo tanto, este es
un grafo Euleriano. Seguir los bordes en orden alfabético de un circuito
euleriano.
Corolario: Un grafo conexo es euleriano si y sólo si todos sus vértices
tienen valencia par (este teorema rige también para multigrafos).

Nota: si un grafo G=(v, a) conexo y no dirigido admite un camino euleriano no

cerrado si y solo si posee exactamente 2 vértices de grado impar.

Grafos Hamiltonianos:
Es un ciclo simple que contiene todos los vértices de un conjunto G.
Esto quiere decir que es una trayectoria que empieza y termina en el
mismo vértice, cuando es posible hacer un recorrido en un grafo que
pase por cada vértice exactamente una vez y termine en el vértice
original a esto los llamaremos Grafo Hamiltoniano.
Teorema Hamiltoniano: Todo grafo G conexo con más de un
vértice tiene por lo menos dos vértices que no son puntos de corte.

Como podemos observar este grafo es hamiltoniano porque

recorremos cada uno de los vértices y regresamos al del inicio,
también podemos ver que no importa que se haya dejado por una
fuera una arista.
Corolario: Si G es un grafo conexo, simple y sin lazos con n vértices,
con n ≥ 3, en el cual grado(u) + grado(v) ≥ n − 1 para todo par de
vértices no adyacentes u, v, entonces G posee un camino
hamiltoniano.

Planaridad:
Un grafo es planar si tiene una representación plana con todos los
vértices, es decir, este grafo que parece ser dibujado de manera tal
que no se crucen ninguna de sus aristas.
Teorema de planaridad: sea G = (v, a). Si G puede ser dibujado en el
plano (RxR), de tal manera que sus arcos no se intercepten, entonces
G es planar.
Como observamos en la imagen si sigue el orden de números del 1 al
8 en ningún momento el recorrido está causando que se crucen las
aristas.

Teorema de Kuratowsky: un grafo es plano si y solo si no contiene un

subgrafo isomorfo a una subdivisión elemental (una subdivisión
elemental un grafo resulta de insertar vértices en las aristas).

Dos grafos, G y G', son isomorfos si existe una

correspondencia uno a uno entre los vértices de los grafos tal que todo
par de vértices que son adyacentes en un grafo si y sólo si el
correspondiente par de vértices son adyacentes en el otro grafo.