Resumen de conceptos Grafos y algoritmos

Un grafo es un conjunto de nodos y aristas que se denota de la siguiente forma:

G={V,E}
Multigrafo es aquel en donde sus vrtices estn conectados por mas de una arista entre si.
Camino, es una sucesin de vrtices tal que de cada uno de sus vrtices existe una arista
hacia el vrtice sucesor, en este recorrido pueden repetirse los vrtices.
Camino simple es aquel que no repite los vrtices en su recorrido
Camino Cerrado, es cuando en el recorrido coincide el nodo inicial con el nodo final,
Camino cerrado simple, tambin llamado ciclo es cuando en el recorrido de los nodos solo
repite el nodo inicial, o sea,

.
Un ciclo de longitud k se llama kciclo.
Sendero es un camino que nunca pasa dos veces por la misma arista, aunque pueda
repetir vrtices.
Ciclo hamiltoniano, es aquel en que se deben recorrer todos los vrtices de un grafo
pasando solo una vez por cada vrtice exceptuando el nodo inicial que debe ser igual al
nodo final.
Ciclo euleriano es aque en donde deben recorrerse todas las aristas del grafo visitando
solo una vez cada una, (se pueden visitar mas de una vez los nodos por tanto).
Para que exista camino euleriano deben tener una cantidad par de aristas cada vrtice.
Con la excepcin de que existan 2 vertices con grado impar conexos entre si tambin
existe camino euleriano.
Grado de un vrtice es la cantidad de aristas que provienen de este vrtice se denota por
g(V), los lazos o bucles se cuentan por 2 ya que son adyacentes al mismo nodo.

Si es posible formar un camino desde cualquier vrtice a cualquier otro en el grafo,
decimos que el grafo es conexo. Si es posible hacer esto incluso tras quitar k-1 vrtices,
decimos que el grafo es k-conexo.
Un grafo es k-conexo si y slo si contiene k caminos independientes entre cualesquiera
dos vrtices
Clique, en un grafo es un conjunto de vrtices tal que para todo par de vrtices, existe una
arista que las conecta, en otras palabras, es un subgrafo completo .
Conjunto independiente de vrtices es un conjunto de vrtices en un grafo tal que
ninguno es adyacente a otro. Es decir, es un conjunto V de vrtices tal que para ningn par
de ellos existe alguna arista que los conecten.
un grafo planar es aquel que puede ser dibujado en el plano sin que ninguna arista se
cruce. Si un grafo contiene a K
5
o el K
3,3
no es un grafo planar.
Para determinar si es planar se usa(n=vrtices, a=aristas)
Si G es un grafo plano con n 3 vrtices, entonces a 3n 6
Si n > 3 y no existen ciclos de longitud 3, entonces a 2n 4

Dos grafos son isomorfos si y solo si para alguna ordenacin de vrtices y lados sus matrices de
incidencia son iguales.
La matriz de incidencia es una matriz binaria (sus elementos slo pueden ser unos o ceros),
que se utiliza como una forma de representar la relacion entre nodos y aristas en un grafo.
Se construye asi:
1. Las columnas de la matriz representan las aristas del grafo.
2. Las filas representan a los distintos nodos.
3. Por cada nodo unido por una arista, ponemos un uno (1) en el lugar correspondiente, y
llenamos el resto de las ubicaciones con ceros (0).
La matriz de adyacencia es una matriz cuadrada que se utiliza como una forma de
representar la cantidad de aristas entre cada par de nodos.
Se construye asi:
1. Se crea una matriz cero, cuyas columnas y filas representan los nodos del grafo.
2. Por cada arista que une a dos nodos, se suma 1 al valor que hay actualmente en
la ubicacin correspondiente de la matriz.
Si tal arista es un bucle y el grafo es no dirigido, entonces se suma 2 en vez de 1.

Coloracion de grafos consiste en asignarle distintos colores o marcas a los vrtices de un
grafo, de manera que ningn par de vrtices adyacentes compartan el mismo color o
marca.
Grafos Bipartitos Es aquel con cuyos vrtices pueden formarse dos conjuntos disjuntos de
modo que no haya adyacencias entre vrtices pertenecientes al mismo conjunto
Grafo bipartito completo s aquel grafo bipartito en el que todos los vrtices de la particin
V_1 estn conectados a todos los vrtices de la particin V_2 y viceversa.
Los grafos bipartitos solo pueden tener ciclos de longitud par.