Grafos Conexos y disconexos

Un grafo es conexo si cualquier vrtice V le pertenece al conjunto de vrtices y es

alcanzable por algn otro.

Otra definicin es que es un grafo no dirigido de tal modo que para cualquier par de nodos
existe al menos un camino que los une.

Un grafo no dirigido es conexo si existe un camino entre cualquier par de nodos que forman
el grafo. Ejemplo:

Grafo conexo Grafo no conexo con dos componentes conexas

Un grafo es doblemente conexo si para cada par de vrtices est conectado por al menos
dos caminos disjuntos, es decir, se dice que es conexo y no existe un vrtice tal que al
sacarlo el grafo resultante sea disconexo.

Tema opcional: Un grafo es completo si existen aristas uniendo todos los pares posibles de
vrtices, es decir, si para todo par de vrtices (a, b) debe tener una arista e que los une.

Existe tambin llamado Grafo fuertemente conexo que es un grafo dirigido tal que para
cualquier par de nodos existe un camino que los une.

1
Un digrafo es fuertemente conexo si cualquier par de vrtices se puede unir por un
camino dirigido.

figura 9: Un digrafo fuertemente conexo

Observacion : Hemos hablado de multigrafos, grafos simples y digrafos. Cuando digamos

grafo a secas significa que nos referimos a un grafo simple.

GRAFOS BIPARTIDOS

Proposicin 28.- Un grafo G es bipartito si y slo si no tiene ciclos de longitud impar.

2
Definicin 1

Un grafo no dirigido es bipartito si sus vrtices pueden repartirse en dos conjuntos disjuntos
de tal forma que todas las aristas tengan un extremo en cada uno de esos conjuntos.

Dicho de otra forma, un grafo es bipartito si sus vrtices pueden colorearse utilizando dos
colores de tal forma que no exista ninguna arista que conecte dos vrtices del mismo color.
De los dos grafos no dirigidos siguientes, el de la izquierda es bipartito, pero el de la
derecha no lo es.

Son aquellos grafos que se pueden colorear en dos colores grafos bipartitos
Definicin: Sea G=(V,A). Se dice que G es bipartito si existen V1, V2 tales que:
1. V1 V2= V
2. V1 V2=
3. Para toda {vi,vj} A se cumple vi V1, vj V2

3
Idea de cmo pintarlo:

Empezar por un vrtice cualquiera, de color C1

Dibujar todos los adyacentes de color C2
Seguir este proceso hasta haber terminado

Teorema: Una grafo es bipartito si y slo si no tiene ciclos de longitud impar

Ejemplo anterior: No bipartito; contiene ciclos de longitud impar (en la figura

aparece marcado uno de long. 3)

Definicin 2

Un Grafo bipartito se denomina al grafo cuyos vrtices se pueden separar en dos

subconjuntos disjuntos V1(G) y V2(G) y las lneas siempre unen vrtices de un subconjunto
con vrtices de otro subconjunto. Adems se tiene que:

V1(G) U V2(G) = V(G).

La interseccin de V1(G) y V2(G) es vaco.
Para todos los puntos x1, x2 en V1(G) y para todos los puntos y1, y2 en V2(G) , no
existe lnea alguna x = (x1,x2) , ni x = (y1,y2).

4
A continuacin, mostramos dos ejemplos de grafos bipartidos donde /V1(G)/ = 3 y
/V2(G)/= 4
.

Un grafo bipartido en el cual todos los elementos de V1 estn unidos con todos los
elementos de V2 se denomina grafo bipartido completo.

El conjunto de los grafos bipartidos completos es denominado con la letra K. En particular,

un grafo completo bipartido que une dos conjuntos, de m y n elementos respectivamente, se
denota por Km,n. Es obvio que Km,n tiene p=(m+n) vrtices y q=mn lneas.

Teorema 1.3
Un grafo no dirigido es bipartido si no contiene ningn ciclo impar.

Fuente: http://teoriadegrafos.blogspot.com.co/2007/03/grafos-bipartidos.html