You are on page 1of 10

Graffo bipartito: Grafo Un grafo G es un par G=(V, E) donde V es un conjunto finito de elementosllamados vrtices o nodos y E un conjunto de pares no ordenados

de vrticesque se denominan aristas o arcos. Propiedades El nmero de vrtices de un grafo G, es el orden del grafo. El nmero de aristas de un grafo G, es su tamao. Dos aristas son independientes si no tienen vrtices en comn. Si una arista relaciona dos vrtices (u,v) se dicen que u y v son vrtices. adyacentes. Un lazo o bucle es una arista que relaciona al mismo V.

Que se conoce como bipartito Se conoce como bipartito A todo aquello que esta conformado por dos parte odos participantes. 3. Grafo Bipartito Definicin 1: Sea un grafo G y sea su conjunto de vrtices que puede ser expresado como la unin disjunta de dos subconjuntos de vrtices V1 y V2 de forma que cada aristade G une un vrtice de V1 con otro de V2, entonces se dice que G es un grafo bipartito. Se cumple que V1V2=0, V1UV2=V. Un grafo bipartito en el cual todos los elementos de V1 estn unidos con todos los elementos de V2 se denomina grafo bipartito completo. Figura 1 : Grafo Bipartito

Grafo bipartito Definicin 2: Es aquel grafo que puede ser dividido en dos partes de tal forma que una delas partes del mismo tiene aristas en las que exclusivamente se conecta a losvrtices de la otra parte. Un ejemplo puede ser el siguiente: En este caso tenemoslas aristas A-E, B-D y C-E. Se podra dividir el grafo en dos partes, la primera partecontendra a los vrtices A, B y C y la otra, a los vrtices D y E. El grafo es bipartito,ya que no existen aristas entre E y D ni tampoco entre A, B y C. Figura 2 :Grafo bipartito

Grafo Bipartito Definicin 3: Se dice que un grafo simple G = (V,E) es bipartito si el conjunto de vrtices V se puede dividir en dos conjuntos disjuntos V1, V2, (V1 V2 = V, V1 V2 = , de tal manera que toda arista e E conecta un vrtice de V1 con un vrtice de V2. Esto significa que el subgrafo completo generado por V1 es libre de lados; asimismo el subgrafo completo generado por V2. Prof. Jos Luis Chacn Teorema : Un grafo G es bipartido si y solo si no contiene ciclos de longitud impar. Corolario: Un grafo es bipartido si y solo si es 2-coloreable, es decir, su nmero cromtico es 2.

Grafo bipartito completo : Es igual que el grafo bipartito, la diferencia es que cada vrtice perteneciente auna subdivisin (parte) del grafo completo est conectada a todos los vrtices de laotra subdivisin del grafo. Por ejemplo: En este caso los vrtices A, B y C(Subdivisin 1) estn conectados con los vrtices D y E (Subdivisin 2), de talforma que cada uno de los vrtices pertenecientes a ambas subdivisiones seencuentra conectado al resto delos vrtices de la otra subdivisin.

Grafo Bivariegated:

Cayley Grfico: define los Diagramas de Cayley cmo un subdigrafo de cayley finito y repasa cmo visualizar mediante Grafos de Cayley algunas propiedades / identidades locales y elementales de los grupos, cmo el elemento identidad, composicin (que el llama concatenacin), inverso, asociatividad (en la figura de abajo aparece la figura que utiliza para mostrar esta propiedad), identidad de Abel, conmutatividad (para el caso abeliano) y sus generalizaciones para el caso no abeliano, conjugado, conmutador y algunas ms complejas (que yo no conoca), cmo la identidad de Hall-Witt (una generalizacin al caso no conmutativo de la identidad de Jacobi en anillos), que aparece a continuacin If , then

(Con G un grupo cualquiera y x, y o z elementos del grupo. El exponente aqu indica conjugacin). Finaliza describiendo cmo utilizar estos diagramas para visualizar lacohomologa de grupos. Me he quedado con ganas de preguntar que aplicacin ha utilizado para realizar los grficos

Cograph:

En la teora de grafos , un cograph , o el complemento reducible grfico , o P 4 libre de grfico , es un grfico que se puede generar a partir de la grfica de un solo vrtice K 1por complementacin y unin de la desunin . Es decir, la familia de cographs es la clase ms pequea de grficos que incluye K 1 y se cierra bajo la complementacin y la unin de la desunin. Cographs han descubierto independientemente por varios autores desde la dcada de 1970; primeras referencias incluyen Jung (1978 ), Lerchs (1971 ), Seinsche (1974 ), y Sumner (1974 ). Tambin se les ha llamado D *-grficos ( Jung 1978 ), hereditarias grficos Dacey ( Sumner 1974 ), y dos de la paridad de grficos ( Burlet y Uhry 1984 ). Vase, por ejemplo, Brandstdt, Le y Spinrad (1999 ) para una cobertura ms detallada de cographs, incluyendo los hechos que aqu se presentan.

DEFINICION Y CARACTERIZACION: Cualquier cograph puede construirse usando las siguientes reglas: 1. cualquier grafo vrtice nico es una cograph; 2. si 3. si es un cograph, tambin lo es su complemento y son cographs, tambin lo es la unin disjunta ; .

Varios caracterizaciones alternativas de cographs se puede dar. Entre ellos: Un cograph es un grfico que no contiene el camino P 4 en 4 vrtices (y por tanto de la longitud 3) como un subgrafo inducido . Es decir, una grfica es una cograph si y slo si, para cualquiera de los cuatro vrtices , si y o son es

bordes de la grfica a continuacin, al menos uno de adems un borde (Corneil, Lerchs y Burlingham 1981 ).

Un cograph es un grfico que todos sus subgrafos inducidos tienen la propiedad de que cualquier mxima camarilla intersecta cualquier conjunto mximo independiente en un solo vrtice. A cograph es un grfico en el que cada subgrafo inducido no trivial tiene al menos dos vrtices con los mismos barrios. Un cograph es un grfico en el que cada conectado subgrafo inducido tiene un complemento desconectado. Un cograph es un grfico que todos cuyos conectado subgrafos inducidos tienen dimetro mximo 2.

Cotrees: A corbol es un rbol en el que los nodos internos son etiquetados con los nmeros 0 y 1. Cada corbol T define un cograph G que tiene las hojas de T como vrtices, y en la que el subrbol con raz en cada nodo de T se corresponde con el subgrafo inducido en Gdefinido por el conjunto de hojas que descienden de ese nodo: Un subrbol que consiste en un nodo de hoja nica corresponde a un subgrafo inducido con un solo vrtice. Un subrbol con raz en un nodo etiquetado 0 corresponde a la unin de los subgrafos definidos por los hijos de ese nodo. Un subrbol con raz en un nodo etiquetado 1 corresponde a launin de los subgrafos definidos por los hijos de ese nodo, es decir, formamos el sindicato y aadir una arista entre cada dos vrtices correspondientes a las hojas en subrboles diferentes. Alternativamente, la unin de un conjunto de grficos se puede ver como formado por complementando cada grfico, la formacin de la unin de los complementos, y luego complementar la unin resultante. Una forma equivalente de describir el cograph formado a partir de un corbol es que dos vrtices estn conectados por una arista si y slo si el ancestro comn ms bajo de las hojas correspondientes se etiqueta por 1. A la inversa, cada cograph se puede representar de esta manera por un corbol. Si se requieren las etiquetas de cualquier ruta de raz de hojas de este rbol a fin de alternar entre 0 y 1, esta representacin es nica

Complemento de un Grafo: El complemento o grafo complementario de un grafo dado G es un grafo cuyo conjunto de vrtices es el mismo que el del grafo G y si dos vrtices estn relacionados en el complemento es porque no lo estn en G, es decir, el conjunto de vrtices V( R v ) en si y slo si (u v ) en G. ) = V(G) y (u

Una forma de construirlo: - Dibujar el corresp. grafo completo - Eliminar de , con n=lVl

las aristas {u,v} pertenecientes a G

Ejemplo : Complementario ( ver la figura anexa)

1 representar 2 marcar las aristas de G 3 Eliminarlas COROLARIO 1: Si es el grafo complemento de G, entonces:

Demostracin: La parte a) del corolario es una consecuencia inmediata de la definicin de grafo complementario. Para la parte b) sabemos, por definicin, que las lneas que estn en G no pueden estar en su complemento, por lo tanto si a todas las posibles lneas del grafo (p(p -1)/2 lneas) le restamos las lneas que tiene G obtenemos el nmero de lneas que debe tener el grafo complementario Ejemplo 1: .

Figura 2.1 Observemos que el grafo G2 del ejemplo 1, o sea, el ciclo complementario, G2 Autocomplementario. es isomorfo con su grafo

2. Cuando esto ocurre, se dice que G2 es un Grafo

Otro ejemplo es , siendo ste el grafo autocomplementario con menor nmero de vrtices.

TEOREMA 2.1: Todo grafo autocomplementario tiene 4n 4n+1 vrtices, siendo n un nmero entero, es decir, el nmero de vrtices de un grafo autocomplementario es 4). 0 1(mdulo

Demostracin: Basndonos en el Corolario 1, sabemos que G , entonces, . y , pero como

Por lo tanto, Como p y

, luego

son nmeros enteros consecutivos, el mximo comn divisor entre ambos , es decir, p = 4n p = 4n+1, n N.

nmeros es 1. Luego, 4 es divisor de p de

OBSERVACION 2.1.1: El Teorema 2.1 proporciona una condicin necesaria, pero no suficiente, es decir que hay grafos con p = 4n p = 4n+1 vrtices sin ser autocomplementarios. Por ejemplo, el grafo complementario de un es el .

Nota: El siguiente problema, muy conocido por los estudiantes que presentan exmenes de admisin a las universidades o participan en las Olimpadas Matemticas, es muy tpico en la Teora de Grafos y uno de sus enunciados es:

- Demostrar que en cualquier reunin social, en la que participan seis personas, siempre existen tres personas que se conocen entre s, o tres que no. Esta situacin se puede representar por medio de un grafo G con seis vrtices, en el cual los vrtices representan a las personas y existe una relacin R entre los vrtices (personas) si esas dos personas se conocen entre s. Entonces el problema se reduce a demostrar que G tiene tres vrtices que son adyacentes entre s; o bien posee tres vrtices que no lo son. Pensando as el problema tenemos el siguiente enunciado equivalente:

TEOREMA 2.2 (Ramsey) Todo grafo G con seis vrtices es tal que G tringulo.

contiene un

Demostracin: Sea v un vrtice en G con tringulos. Si G es un . Si G es un , entonces , entonces contiene un y contiene

, en el cual todo vrtice de tiene tringulos. Anlogamente, si tiene, por lo menos, el

est unido a los dems vrtices del grafo ; por lo tanto, G contiene tres vrtices aislados, tringulo entonces

. Por lo tanto, podemos suponer, sin perder generalidad, que existen

tres vrtices adyacentes a un vrtice v en G; o sea, G contiene el subgrafo representado en la figura adjunta.

Si cualesquiera dos de los

son adyacentes, entonces G posee un tringulo cuyo tercer tiene el

vrtice es v. Si, por el contrario, los no estn relacionados entre s, entonces subgrafo que se ve a continuacin

y por lo tanto

tiene un tringulo.

You might also like