Teora de Grafos

About Me
NAME: CLAUDIO CIFUENTES M
View my complete profile

MONDAY, MARCH 05, 2007

GRAFO INTERSECCIN
UNIN DE DOS GRAFOS
SUMA O PRODUCTO
UMBRAL DE DOS GRAFOS
PRODUCTO CARTESIANO
DE DOS GRAFOS

COMPLEMENTO DE UN GRAFO

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,

COMPOSICIN ENTRE
DOS GRAFOS

es decir, el conjunto de vrtices V(

PRODUCTO TENSORIAL DE
DOS GRAFOS

si y slo si (u

OPERACIN DE
ELIMINACIN Y
CONTRACCIN

Una forma de construirlo:

JUEGOS DE INGENIO
RELACIONADOS CON
TEORA DE GRAFO...

v ) en G.

- Dibujar el corresp. grafo completo

- Eliminar de

) = V(G) y (u R v ) en

, con n=lVl

las aristas {u,v} pertenecientes a G

SOLUCIN DE LOS
JUEGOS
GRAFOS CONEXOS

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

es isomorfo

con su grafo complementario, G2

2. Cuando esto ocurre, se dice
que G2 es un Grafo Autocomplementario.
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

0 1(mdulo 4).

Demostracin:
Basndonos

en

el

Corolario

1,

, pero como G

Por lo tanto,
Como p y

, luego

sabemos

que

, entonces,

y
.

son nmeros enteros consecutivos, el mximo comn

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

decir, p = 4n p = 4n+1, n

, es

N.

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

contiene un tringulo.
Demostracin:
Sea v un vrtice en G con

. Si G es un

contiene tringulos. Si G es un

, entonces

, entonces

contiene un

, en el cual todo vrtice de est unido a los dems vrtices del grafo ;
por lo tanto,

tiene tringulos. Anlogamente, si G contiene tres

vrtices aislados,

entonces

tringulo

tiene, por lo menos, el

. 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 vrtice es v. Si, por el contrario, los no estn
relacionados entre s, entonces
continuacin

y por lo tanto

tiene un tringulo.

posted by Claudio Cifuentes M | 6:26 PM

0 Comments:
Post a Comment
<< Home

tiene el subgrafo que se ve a