Conceptos Basicos de

Grafos

Un grafo G: es un par (V,E). V: es un conjunto (llamado conjunto de vrtices). E: es un subconjunto de VxV (conjunto de aristas). V y E los representaremos grficamente los vrtices por puntos y las aristas por lneas que los unen.

Un vrtice (V) puede tener 0 o ms aristas (E), pero toda arista debe unir exactamente 2 vrtices. |V|(orden de un grafo): es el nmero de vrtices del grafo.

Aristas
Si la arista carece de direccin se denota indistintamente {a,b} o {b,a}, siendo a y b los vrtices que une. Si {a,b} es una arista, a los vrtices a y b se les llama sus extremos.

Arista

Tipos de Aristas

Aristas Adyacentes: Se dice que dos aristas son adyacentes si convergen en el mismo vrtice. Aristas Paralelas: Se dice que dos aristas son paralelas si vrtice inicial y el final son el mismo. Aristas Cclicas: Arista que parte de un vrtice para entrar en el mismo.

V1

V1

V2

V1

Vrtices

Dos vrtices v, w se dice que son adyacentes si {v,w}A (o sea, si existe una arista entre ellos) Vrtices
V1 V2

Llamaremos grado de un vrtice al nmero de aristas de las que es extremo. Se dice que un vrtice es par o impar segn lo sea su grado.

Tipos de Vertices

Vrtices Adyacentes: si tenemos un par de vrtices de un grafo (U, V) y si tenemos un arista que los une, entonces U y V son vrtices adyacentes y se dice que U es el vrtice inicial y V el vrtice adyacente. Vrtice Aislado: Es un vrtice de grado cero. Vrtice Terminal: Es un vrtice de grado 1.

Tipos de Grafos
1.

Grafo regular: Aquel con el mismo grado en todos los vrtices. Si ese grado es k lo llamaremos kregular.

2. Grafo bipartito
Es aquel con cuyos vrtices pueden formarse dos conjuntos disjuntos de modo que no haya adyacencias entre vrtices pertenecientes al mismo conjunto

3. Grafo completo
Aquel con una arista entre cada par de vrtices. Un grafo completo con n vrtices se denota Kn. A continuacin pueden verse los dibujos de K3, K4, K5, K6, Kn.

Grafo Completo y Regulares

Todo grafo completo es regular porque cada vrtice tiene grado |V|-1 al estar conectado con todos los otros vrtices. Un grafo regular no tiene por qu ser completo. Un grafo bipartido regular se denota Km,n donde m, n es el grado de cada conjunto disjunto de vrtices. Los dibujos de K1,2, K3,3, y K2,5

Grafos
Conexo: Un grafo G se dice conexo si cada par de vrtices est unido al menos por un camino. Separacin: Una arista de un grafo G se dice de separacin si G es conexo pero al suprimir la arista se divide en dos componentes conexos.

Isomorfismo
Dados dos grafos G=(V,E) y G=(V,E), se denomina isomorfismo entre G y G a cualquier aplicacin biyectiva f:G G tal que si a, b V, entonces {a,b} E {f(a),f(b)} E.

Es decir, es una aplicacin biyectiva entre los vrtices de V y los de V de modo que los vrtices conectados siguen estndolo. En este caso, diremos que G y G son isomorfos. Si G y G son isomorfos son matemticamente iguales y solo vara la apariencia, o sea, que se mantienen las adyacencias, estructura, caminos, ciclos, n de vrtices, n de aristas, etc.