Dos

d a c b e

Intento de redefiniciones PREVIO Fuente: Matemticas Discreta y Combinatoria Ralph Grimaldi Tema de seminario de investigacin. Valor de borrador __ _ .. Incorporacin de: ....(b;b) .......G .....(b;b) .....G .......... G ........ Definicin 1 Sea N un conjunto no vaco y NxN A, entonces G : {N;A} se denomina grafo dirigido. N es un conjunto de nodos y A es un conjunto de arcos. Cuando no interesa la direccin de los arcos, se denominan aristas y el grafo es no dirigido.Se _ anotar: G : {V;A} __ Dada (i;j) se dice que la arista es incidente en los vrtices i y j. Y que los vrtices i y j son adyacentes. Dada (m;n) se dice que n es adyacente desde m. Adems m se denomina: orgen o fuente y n trmino o destino. Si un vrtice no participa de ninguna arista se denomina aislado. __ Una arista del tipo (a;a) se llama lazo. Un arco del tipo (b;b) se llama bucle. Si no tiene lazos se llama sin lazos (*)....... En general si no interesa que el grafo se dirigido o no se denomina G. Definicin 2 _ _ Sea G . Para x,y V, se dice que hay una cadena en G de x a y , si existe una sucesin finita, no vaca de aristas distintas de A que une a x con y. Cuando x = y la cadena se denomina ciclo Una cadena es simple cuando pasa una sola vez por cada vrtice. El nmero de aristas indica la longitud de la cadena o ciclo. Cuando se pasa una sola vez por cada vrtice se denomina simple(*) Para G se define de manera anloga camino y circuito. Definicin 3 _ Sea G . G se denomina conexo si existe un camino que una dos vrtices cualesquiera de G. Un G que no sea conexo se denomina no conexo (inconexo). .. Dado G se obtiene su grafo asociado G ignorado la direccin de sus arcos. Sea G . Si su grafo asociado es conexo entonces tambin lo es.

Valor:

borrador

Si G se compone de partes que son conexas, estas se denominan componentes. Un G se denomina conexo si y solo si tiene solamente una componente conexa. T1 En todo G conexo existe un camino simple que une dos cualquiera de sus vrtices. Definicin 4 Sea G . Se denomina multigrafo se existe mas de una arista para algn par de vrtices (a;b) para ab. Si estas aristas se repiten n veces la arista tiene multiplicidad n. Un multigrafo se denomina n-grafo dirigido(no dirigido), siendo n el factor de la arista de mayor multiplicidad. Definicin 5 Sea G . Entonces G' :{V';A'} es un subgrafo de de G, y V' V y A' A. Donde cada arista de A' es incidente con vrtices de V'. Si G'G se denomina subgrafo impropio. Definicin 6 _ ____ Sea G de n vrtices , sin lazos y donde para cualquier (vi ; vj ) V existe una arista ( vi ; vj ) , (ij)entonces se denomina grafo completo y se anota Kn. Definicin 7 _ _ Sea G , sin lazos con n vrtices. El complemento de G , es el grafo formado por los vrtices _ _ _ _ de G y las aristas que no estn en G . (Si G = K n, G es un grafo formado por n vrtices, sin aristas y se denomina grafo nulo(*)). Definicin 8 Sea G1:{V1;A1} y G2: {V2;A2}, dos grafos no dirigidos. Una funcin f: V1 - > V2, se denomina isomorfismo de grafos si : a) si f es uno a uno y suprayectiva, y b) para todo a,b V1, (a;b) A1 si y solo si (f(a);f(b)) A 2 Cuando existe dicha fucin, G1 y G2se denominan isomorfos Definicin 9 Sea G un grafo o multigrafo no dirigido. Para cualquier vrtice de G, el grado de v (grad(v), es el nmero de aristas de G incidentes con v. T2. Si G = {V;A} es un grafo o multigrafo no dirigido, entonces S grad(v) = 2A Corolario 1 Si G = {V;A} es un grafo o multigrafo no dirigido, el nmero de vrtices de grado impar debe ser par. Definicin 10 Si G = {V;A} es un grafo o multigrafo no dirigido, Se dice que G tiene un ciclo de Euler s i existe un ciclo en G que pase por todo v y por toda a una solo vez. Si hay un camino de a a b y este pasa por cada v y cada a una sola vez, se llama camino de Euler. T3. Si G = {V;A} es un grafo o multigrafo no dirigido, entonces G tiene un camino de Euler si y solo si G es conexo y todo v tiene grado par. Corolario Si G = {V;A} es un grafo o multigrafo no dirigido, se puede construir un camino de Euler si y solo si G es conexo y tiene slo dos vrtices d grado par. Definicin 11 Un grafo G se denomina plano si G se puede dibujar en el plano con sus aristas intersecndose solamente en los vrtices de G.(*realizables)

Valor:

borrador

Definicin 12 Un grafo G se denomina bipartito si V= V1 V2 con V1 V2 = vaco y cada arista tiene un vrtice en V1 y otro en V2. Si cada vrtice de V1 est unido con uno de V2 se tiene un grafo bipartito completo. Cuando V2 =m, V2 el grafo se anota como Km,n K se denomina grafo de servicios. Definicin 13 Si G1:{V1;A1} y G2: {V2;A2} entonces se denominan homeomorfos, si G2 se puede obtener a partir de la insercin o eliminacin de vrtices de grado 2. T4 ( de Kuratowski) Un grafo es plano si y solo si contiene un subgrafo homeomorfo a K5 o K3,3. T5 Sea G un grafo plano conexo con V= vA. Sea r el nmero de regiones del plano determinadas por G, una de stas tiene un rea infinita y se denomina regin infinita. Entonces, v -a +r = 2 C3 Sea G un grafo plano conexo sin lazos con V =v, A = a > 2, y r regiones. Entonces 3r =< 2a y a=< 3v -6 Definicin 14 Sea G un grafo o multigrafo no dirgido. Un subconjunto A' de A se denomina conjunto de corte de G si eliminando las aristas de A' de G, se incrementa el nmero de componentes de G, y no es posible lograrlo con ningn subconjunto propio de A' Definicin 15 Si G s un grafo o multigrafo se dice que G tiene un ciclo de Hamilton si existe u ciclo simple de G que contenga todo vrtice de de v. Un camino de Hamilton es un camino simple de G que contiene todos los vrtices. Sugerencias: 1 Si G tiene un ciclo de Hamilton entonces, v pert V, grad(v) >= 2 2 Si a pert a V grad(a) = 2, entonces las dos aristas incidentes co el vrtice a debe aparecer en cualquier ciclo de Hamilton de G 3 Si a pert a V grad(a) > 2, entonces cuando se intenta construir un ciclo de Hamilton, una vez que se pase por a, las aristas no utilizadas incidentes con a se dejan de tener en cuenta. 4 Construyendo un ciclo de Hamilton para G, no se puede obtener un ciclo simple para un subgrafo de G, a menos que contenga todos los vrtices de G. T6. Sea.K*n un grafo dirigido completo; es decir K*n tiene n vrtices y para cualquier par de vrtices distintos x,y, al menos la arista xy o yx est en K*n. Dicho grafo siempre contiene un ciclo de Hamilton. T7 Sea G u grafo sin lazos con v = n. Si grad(v) +grad(y) >= n -1 para todo xy pert V, x y, entonces G tiene un camino de Hamilton. C4 Sea G un grafo sin lazos con n vrtices. Si grad(v) >= (n -1)/2 para v pert a V, entonces tiene un camino de Hamilton. Definicin 16 Si G es un grafo no dirigido, aparece una coloracin apropiada de G cuando se colorean los vrtices de G de todo que si ab es arista de G, entoces a y b se pintan de colores distintos. De ah qu vrtices adyacentes tengan colores distintos. El nmero de colores necesarios para colorear de esta forma a G se denomina nmero cromtico de G y se nota lambda(G) XX Si G es un camino simple de n vrtices entonces P(G,) = (-1)^(n-1) T8 De descomposicin para polinomios cromticos

Valor:

borrador

Si G es conexo y a pert A entonces P(Ga,) = P(G,) +P(G'a,) T9 Para cualquier grafo G, el trmino constante de P(G,) = 0 T10 T11 T12 Arboles Definicin 1 Sea G un grafo o dirigido. G se denomina rbol si es conexo y sin ciclos Bosque conjunto de arboles Un subgrafo de G que contenga todos sus vrtices y sea una rbol se llama rbol abarcador T1 Si a y b son vrtices de R entonces hay un camino que los conecta T2 Si G es un grafo o dirigido entonces es conexo sii tiene rbol abarcador. T3 En cualquier R, V= A+1 Definicin Vrtice de grado 1: Vrtice colgante T4 Si en R V>=2 entonces tiene al menos dos vrtices colgantes

Valor:

borrador