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.

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.

Vrtices
Dos

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

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.

Caminos
Sean x, y V, se dice que hay un camino en G de x a y si existe una sucesin finita no vaca de aristas {x,v1}, {v1,v2},..., {vn,y}. En este caso 1. x e y se llaman los extremos del camino 2. El nmero de aristas del camino se llama la longitud del camino. 3. Si los vrtices no se repiten el camino se dice propio o simple. 4. Si hay un camino no simple entre 2 vrtices, tambin habr un camino simple entre ellos. 5. Cuando los dos extremos de un camino son iguales, el camino se llama circuito o camino cerrado. 6. Llamaremos ciclo a un circuito simple 7. Un vrtice a se dice accesible desde el vrtice b si existe un camino entre ellos. Todo vrtice es accesible respecto a si mismo

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

Definicin (matriz de adyacencia de un grafo)

Sea G un grafo de orden n. Llamaremos matriz de incidencia de G a la matriz nxn que llamaremos A = (aij) donde aij = 1 si {i,j}A y aij = 0 en otro caso. La matriz de adyacencia siempre es simtrica porque aij = aji Ejemplo:

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.