Grafo es un par de conjuntos (V(G),E(G))

*V(G) vrtices o puntos

*E(G) lneas o aristas

vrtice
b

a
a-b(arco ab)=a,b
grado(a)=4

arco

Grafos dirigidos

Multigrafos

Grafos no dirigidos
(simple)

Grafos Conexos Cuando existe una trayectoria

entre cualesquiera dos vrtices)

Grafos no Conexos

Grafo Regular:

un grafo regular de grado n si todos sus

vrtices tienen grado n

Grafos no Regulares

Grafo Completo:
un grafo completo si cada par de vrtices
est unido por una arista.
Se denota por Kn al grafo completo de n vrtices

Dada una grafo G, un SUBGRAFO H de G es una grafo

tal que V(H) V(G) y A(H) A(G).
Tambin se dice que H est contenida en G.

Grafo G
H

Dado un grafo G = (V, E) con n vrtices {v1, ..., vn}

su matriz de adyacencia es la matriz de orden nxn,
A(G)=(aij) donde aij es el nmero de aristas que unen
los vrtices vi y vj.

CAMINO
En un grafo G = (V,A) una sucesin alternada de vrtices y aristas
(v0, a1, v1, a2, v2, , vn-1, an, vn),
es un CAMINO entre v0 y , vn de LONGITUD n

CIRCUITO O CAMINO CERRADO es un camino en el cual

v0= vn

CAMINO SIMPLE : es un camino que no repite vrtices .

CIRCUITO SIMPLE: circuito que no repite vrtices salvo el

caso trivial v0= vn

CICLO: circuito simple que no repite aristas.

CAMINO,CIRCUITO Y GRAFO DE EULER

CAMINO DE EULER: Es un camino que no repite aristas(arcos).
CIRCUITO DE EULER: Es un circuito que no repite aristas(arcos)
G = (V ,A,) es un GRAFO de EULER si tiene G un camino o un
circuito de Euler que posee todas las aristas(arcos) y vrtices del grafo.

TEOREMA DE EULER:
Sea G = (V,A,f) un grafo conexo.
G es un grafo de Euler G tiene exactamente dos vrtices de grado
impar (camino) ningn vrtice de grado impar (circuito).

Dos islas en el ro Pregel, en Knigsberg se unen entre ellas y con la tierra firme
mediante siete puentes.
Es posible dar un paseo empezando por una cualquiera de las cuatro partes de
tierra firme, cruzando cada puente una sola vez y volviendo al punto de partida?

Isomorfismo de grafos
Definicin: Dos grafos G1 y G2 son isomorfos si existe una
funcin biyectiva
f :V(G1)->V(G2)
De forma que si uv pertenece a E(G1) entonces f(u)f(v)
pertenece a E(G2).
Observacin:
Si existe isomorfismo ambos deben tener el mismo numero
de vrtices.
de aristas.
la misma secuencia de grados

Grafos no isomorfos de orden 3

Isomorfismo de grafos