Teora de Grafos

I. Definiciones Bsicas
Los grafos son una manera de representar relaciones binarias, y sirven como modelo
matemtico para representar el mundo real.
Definicin GRAFO DIRIGIDO (DIGRAFO)
Un grafo dirigido es un conjunto V y una relacin E asociada a l, esto es:
( ) G V E = , donde: E V V
Los elementos de V se llaman vrtices, y los de E se llaman arcos.
Los grafos son por definicin dirigidos, ya que el orden en que aparecen los
elementos en cada elemento de E es relevante.
Cuando se escribe (a,b) se est denotando el arco que va de a hasta b.
Definicin GRAFO NO DIRIGIDO (GRAFO)
Un grafo es no dirigido si y slo si E es simtrica, esto es:
( ) ( ) a b E b a E , , ! a b E ,
Cuando hablamos de grafos no dirigidos, los elementos de E se llaman aristas.y se
denotan {a,b}
Cuando se considera como no dirigido un grafo que originalmente es dirigido, se
habla del grafo fundamental del grafo dirigido.
Definicin GRAFOS SIMPLES
Un grafo es simple si y slo si E es irreflexiva, esto es:
( ) a a E , a E
Un elemento de E del tipo (a,a) se llama loop.
Cuando se considera un grafo, dirigido o no, sin considerar los loops que contenga, se
habla del grafo simple del grafo original.
Definicin ORDEN Y TAMAO DE UN GRAFO
Sea ( ) G V E = , un grafo, se definen:
orden(G) = V G ( )
tamao(G) = E G ( )
Teora de Grafos
J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
2
Definicin ADYACENCIA DE NODOS
Sean ( ) G V E = , un grafo. v w V , son adyacentes si y slo si:
( ) v w E , ( ) w v E ,
Definicin ROTULADOR DE VRTICES (ARCOS)
Un rotulador de vrtices (arcos) es una funcin
f E G D : ( ) para arcos,
g V G D : ( ) para vrtices,
donde D es algn dominio de rtulos (un valor, por ejemplo).
Estas ltimas definiciones pueden parecer arbitraria, pero ms adelante veremos su
utilidad.
II. Grado de un Vrtice
Teorema GRADO DE UN VRTICE
Sea v V un vrtice de un grafo, se definen:
grafos dirigidos:
grado
+
(a) = ( ) { } E a b V a , : (aristas que llegan al vrtice a)
grado
-
(a) = ( ) { } E b a V a , : (aristas que salen del vrtice a)
grado(a) = grado
+
(v) + grado
-
(v) (todas las aristas)
grafos no dirigidos:
grado(a) = ( ) { } E b a V a , :
a).1.1.2 Primer Teorema de Grafos
Sea ( ) G V E = , un grafo, entonces:
grafos dirigidos:
grado v grado v E
v V v V

" "
= = ( ) ( )
grafos no dirigidos:
grado v E
v V
( )

"
= 2
Corolario: en cualquier grafo no dirigido, hay un nmero par de vrtices de grado
impar.
Teora de Grafos
J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
3
Teorema GRADO MN (MX) DE UN GRAFO
Sea ( ) G V E = , un grafo, se definen:
{ } ( ) ( ): ( ) G min grado v v V G =
{ } ( ) ( ): ( ) G max grado v v V G =
Teorema GRAFO K-REGULAR
Un grafo ( ) G V E = , es k-regular si y slo si
grado(v) = k v V
Los de grado 0 (nulos de orden n), 1 y 2 (ciclos de orden n) son triviales, pero los
de grado 3 o mayor (llamados cbicos) no lo son:
III. Subgrafos
Teorema SUBGRAFO
Sea ( ) G V E = , un grafo, entonces un subgrafo de G es un grafo ( ) = G V E ,
con: V V y E E tales que ( ) a b E a b V , , !
Un subgrafo no es ms que una parte del grafo original. Se dice que G tiene la
extensin de G cuando = V V , pero note que no necesariamente = E E .
Teorema SUBGRAFO INDUCIDO
Sea ( ) G V E = , un grafo, y sea V V , entonces el subgrafo inducido por V
es: ( ) = G V E , , con ( ) ( ) { }
= E a b a b V a b E , : , ,
IV. Isomorfismo de Grafos
Teorema ISOMORFISMO
Sean ( ) G V E = , y ( ) = G V E , grafos. G y G son isomorfos si y slo si
existe una funcin biyectiva: :V V tal que a b V , se tiene:
( ) ( ) ( ) ( )
a b E a b E , ,
Notacin: G G (isomorfos)
Teorema INVARIANTE
Sean ( ) G V E = , y ( ) = G V E , grafos Una invariante es toda funcin del tipo
:Grafos N tal que:
G G G G ! = ( ) ( )
Hasta ahora se han revisado los siguientes invariantes:
Teora de Grafos
J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
4
V G ( ) , E G ( ) ,
grado
+
(v), grado
-
(v), grado(v),
( ) G , ( ) G .
V. Operaciones con Grafos
Teorema UNIN E INTERSECCIN DE GRAFOS
Sean ( ) G V E = , y ( ) = G V E , grafos. Se definen la interseccin y la unin
de grafos como:
( ) G G V V E E = ,
( ) G G V V E E = ,
Teorema RESTA DE GRAFOS (COMPLEMENTO)
Sean ( ) G V E = , y ( ) = G V E , un subgrafo de G. Se define:
( ) G G W E E = , , con ( ) ( ) { }
W v v V v w o w v E E w W = : , , ,
Esta definicin dice, en palabras, que G-G contiene todas las aristas de G que no
estn en G, junto a todos los vrtices asociados a las aristas obtenidas.
Teorema COMPLEMENTO DE GRAFOS ( G )
Sea ( ) G V E = , un grafo. Se define:
G K G
n
= con n V =
Observacin: G G K
n
=
Teorema ELIMINACIN DE ARISTAS Y VRTICES
Sea ( ) G V E = , un grafo, y sea e E una arista del grafo, entonces:
( ) G e V E e = ,
( ) G v V v F = , con F tal que contiene toda arista de E que no incluya a v como
uno de sus extremos.
Usamos la notacin { } G e e
n

1
, , ! para eliminar ms de una arista o vrtice.
VI. Caminos, Trayectorias y Conectividad
Teorema CAMINO (TRAYECTORIA)
Sea ( ) G V E = , un grafo no dirigido (dirigido). Un camino (trayectoria) es una
tupla ( ) v v
k 0
, , ! , v V
i
, tal que:
( ) v v E i k k N k
i i
=
1
1 0 , , !
Se dice que un camino va desde a hasta b si y slo si v
0
=a y v
k
=b.
Teora de Grafos
J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
5
Tambin se habla de trayectorias al referirse a los caminos, y en el caso de grafos
dirigidos se habla de trayectorias o caminos dirigidos.
Un camino es simple cuando todos los arcos y vrtices recorridos son distintos,
excepto tal vez v
0
y v
n
.
Teorema LONGITUD
Sea ( ) v v
k 0
, , ! una trayectoria. La longitud de ella es el valor k.
Teorema CONECTITUD DE VRTICES (DBIL, UNILATERAL, FUERTE)
Sea ( ) G V E = , un grafo. a b V , son (dbil- | unilateral- | cuasifuerte- |
fuertemente) conexos si y slo si:
dbilmente:
existe un camino no dirigido desde a hasta b.
cuasi-fuertemente:
existe un vrtice v desde el cual existen trayectorias dirigidas hacia a y hasta b.
unilateralmente:
existe una trayectoria dirigida desde a hasta b, o viceversa.
fuertemente:
existe una trayectoria dirigida desde a hasta b, y viceversa.
Teorema GRAFO CONEXO (DBIL, UNILATERAL, FUERTE)
Un grafo ( ) G V E = , es (dbil- | unilateral- | cuasifuerte- | fuertemente) conexo
si y slo si:
dbilmente:
a b V , existe un camino no dirigido desde a hasta b.
cuasi-fuertemente:
a b V , existe un vrtice v, desde el cual existe una trayectoria dirigida hasta a y
hasta b
unilateralmente:
a b V , existe una trayectoria dirigida desde a hasta b, o viceversa.
fuertemente:
a b V , existe una trayectoria dirigida desde a hasta b, y viceversa.
Teorema COMPONENTES CONEXOS
Sea ( ) G V E = , un grafo. Sea G un subgrafo de G. G es subgrafo (...)
conexo maximal de G si y slo si G es (...) conexo y no existe otro subgrafo de G,
G G tal que G tambin es (...) conexo.
G es componente (...) conexo de G si y slo si G es subgrafo (...) conexo
maximal de G. Note que la unin de todos los componentes (...) conexos de G es
el mismo grafo G original.

a).1.1.2 Tipos de Conectitud
Teora de Grafos
J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
6
Sea ( ) G V E = , un grafo, y sean a b V , . Se tiene que:
a y b fuertemente conexos G fuertemente conexo
! a y b unilateralmente conexos ! G unilateralmente conexo
! a y b cuasi-fuertemente conexos ! G cuasi-fuertemente conexo
! a y b dbilmente conexos ! G dbilmente conexo
a).1.1.3 Teorema de Conectitud de Digrafos
Un grafo dirigido ( ) G V E = , es dbilmente conexo si y slo si su grafo
fundamental (no dirigido) es fuertemente conexo..
Teorema ARISTA O VRTICE DE CORTE
Sean ( ) G V E = , un grafo conexo, e E una arista y v V un vrtice del
grafo. e es arista de corte (v es vrtice de corte) si y slo si G e no es conexo
( G v no es conexo).
VII. Ciclos
Teorema CIRCUITO
Sea ( ) G V E = , un grafo. Un circuito es un camino ( ) v v
k 0
, , ! , v V
i
, tal que
v v
k 0
= , esto es, un camino cerrado.
Sabemos que un circuito de longitud 1 se llama loop.
Teorema CICLO
Sea ( ) G V E = , un grafo. Un ciclo es un circuito simple( ) v v
k 0
, , ! , v V
i
, tal
que v v y k
k 0
0 = > , esto es, un camino cerrado no trivial (ms de un nodo).

VIII. Tipos Comunes de Grafos
Teorema GRAFO NULO DE ORDEN N (N
N
)
Un grafo ( ) G V E = , es Nulo de Orden n si y slo si
V n =
y grado(v) = 0 v V




Teorema GRAFO COMPLETO DE ORDEN N (K
N
)
Teora de Grafos
J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
7
Un grafo ( ) G V E = , es Completo de Orden n si y slo si
V n =
y
( )
v v E
i j
, v v V
i j
, , v v
i j

Note que un grafo K
n
es un grafo ( ) k 1 -regular
a).1.1.2 de Grafos Completos de Orden n
Sea ( ) G V E = , un grafo completo de orden n, entonces se tiene que:
E
n
n =
2
1 ( )

Teorema GRAFO BIPARTITO
Un grafo ( ) G V E = , es bipartito si y slo si existen A V y B V tales que:
A B V =
= B A
y
( )
v v E v A v B
i j i j
, ! o viceversa
Teo: G es bipartito si y slo si todo ciclo en G tiene longitud par.
Teorema GRAFO BIPARTITO COMPLETO DE ORDEN N (K
N,M
)
Un grafo ( ) G V E = , es bipartito completo si y slo si existen A V y B V
tales que: A n = , B m =
A B V =
= B A
v A v B
i j
! ( ) E v v
j i
, v
i
, v
j
v con v
i
v
j

Teorema CICLO DE ORDEN N (C
N
)
Un grafo ( ) G V E = , es un ciclo de orden n si y slo si V E n = = y cuyas
aristas forman un ciclo de longitud n.
Teorema TRAYECTORIA DE ORDEN N (P
N
)
Un grafo ( ) G V E = , que es una trayectoria de orden n se obtiene quitando
una arista cualquiera de un ciclo de orden n.
Teorema RUEDA DE ORDEN N - WHEEL (W
N
)
Un grafo ( ) G V E = , que es una rueda de orden n se obtiene agregando un
vrtice a un ciclo de orden n-1, el cual se une mediante n-1 nuevas aristas a todos
los vrtices originales.
a).1.1.3 de Ruedas de Orden n
Teora de Grafos
J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
8
Sea ( ) G V E = , una rueda de orden n, entonces se tiene:
n V =
y ) 1 ( 2 = n E
IX. Arboles
Teorema ARBOL
Un grafo ( ) G V E = , es un rbol si y slo si es un grafo simple y
a b V , , existe una nica trayectoria simple desde a hasta b.
a).1.1.2 Teorema de Arboles
Sea ( ) G V E = , un grafo. Entonces las siguientes afirmaciones son todas
equivalentes entre s:
a) G es un rbol
b) G es simple, conexo y acclico;
c) E V = 1 y G es conexo y simple;
d) E V = 1 y G es acclico y simple;
e) G es acclico maximal y simple;
f) G es conexo minimal y simple.
a).1.1.3
En todo rbol no trivial (2 o ms vrtices) hay al menos un vrtice de grado 1.
a).1.1.4
Sea ( ) G V E = , un rbol, entonces G es Bipartito
Teorema ARBOL CON RAZ (ROOTED-TREE)
( ) G V E = , es un rbol con raz si y slo si existe un vrtice designado como
raz. Un rooted-tree es dirigido si y slo si existe una trayectoria dirigida desde la
raz hasta cada vrtice del rbol.
Observacin: Todo vrtice de un rbol puede ser su raz, pero un rooted-tree
dirigido posee una nica de ellas.
Def: En un Rooted-Tree, todo vrtice de grado 1 (exepto quiz la raz) se llama
hoja.
Teorema NIVEL
Sean ( ) G V E = , un rbol con raz, v V . El nivel del vrtice v es la longitud
de la trayectoria desde la raz hasta v.
Teora de Grafos
J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
9
X. Tipos Comunes de Arboles
Teorema ARBOL DE COBERTURA
Sea ( ) G V E = , un grafo, y sea H un subgrafo de G. H es rbol de cobertura
de G si y slo si:
H es un rbol
y ( ) ( ) V H V G = (H un subgrafo de cobertura de G)
Teorema CO-ARBOL
Sea ( ) G V E = , un grafo, y sea H un rbol de cobertura de G. Un co-rbol de
G se define como el complemento con respecto a G de H, agregando todas los
vrtices de G.
Observacin: Todo co-rbol de G contiene E V +1 aristas (nmero cicomtico
de G).
Teorema B-TREE DE GRADO K
Sea ( ) G V E = , un rbol. G es un B-Tree de grado k si y slo si:
i) todas las hojas estn en el mismo nivel;
ii) todos los vrtices que no son hojas tienen al menos #k$ hijos;
iii) la raz, o no tiene hijos, o tiene 2 o ms hijos; y
iv) ningn vrtice tiene ms de k hijos.
a).1.1.2 B-Trees
Un B-Tree de grado k y altura h (mayor nivel para una hoja) tiene al menos
( )
1
2
1
2
h
k hojas, para h > 0.
Teorema ARBOL BINARIO
Un rbol binario es un rbol dirigido ( ) T V E = , junto a un rotulador
{ } f E : , 0 1 tal que cada vrtice tiene a lo ms una arista saliente rotulada con 0,
y a lo ms una arista saliente rotulada con 1.
Cada aristas ( ) u v , rotulada con 0 (1) se llama arista izquierda (derecha). u es
el padre y v el hijo izquierdo (derecho).
Teorema INDICE DE ORDEN-NIVEL EN ARBOLES BINARIOS
Sea ( ) T V E = , un rbol binario. Cada vrtice v V tiene un ndice de orden-
nivel definido como:
( ) ind v ind u
ind u
v es raiz
v es hijo izq
v es hijo der
=
+
%
&
'
(
'
1
2
2 1
( )
( )
,
, .
, .
con u el padre de v.
Teora de Grafos
J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
10

Teorema ARBOL BINARIO COMPLETO
Un rbol binario es completo si y slo si los ndices de los vrtices en el l-
simo nivel estn en el intervalo completo

( )
2
l
n , o ( ) 2 2 1
1 l l
,
+
, con n
l
<
+
2 1
1


XI. Grafos Planares y Multigrafos
Teorema GRAFO PLANAR - PLANO
Un grafo es plano cuando est dibujado de manera que ningn par de aristas
se cruza. Un grafo es planar cuando es posible dibujarlo como grafo plano.
Observacin: K
5
es el grafo no planar con el menor nmero de vrtices (5).
K
3,3
es el grafo no planar con el menor nmero de aristas (9).
a).1.1.2 Planaridad (Kuratowski)
Un grafo es planar si y slo si no contiene como subgrafos el grafo K
3,3
ni el
grafo K
5
.
Teorema REGIONES (R)
Sea ( ) G V E = , un grafo planar. El conjunto de Regiones R de G es el
conjunto de las regiones delimitadas por G al dibujarlo como plano.
Notacin: un grafo planar se denota como ( ) G V E R = , , , con R el conjunto de
regiones del grafo.
Teo: ( ) grado r E
G i
i
"
= 2
Teo: V R E + = + 2
Teo: E V 3 6
Teo: 3 2 R E
Teorema MULTIGRAFO
Un multigrafo es un grafo dirigido o no dirigido ( ) G V E = , tal que una arista
e E puede aparecer ms de una vez en el conjunto E. La notacin para
multigrafos no ser vista aqu.
Teo: la suma de los grados de sus vrtices es par (slo para no dirigido);
Teo: existe un nmero par de vrtices de grado impar;

Teora de Grafos

J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
11

a).1.1.3 Planaridad de Complementos
Sea ( ) G V E = , un grafo, y sea su
"""
G complemento, entonces se tiene:
V < 8 ! al menos uno no es planar;
V > 8 ! al menos uno es planar;
V = 8 ! no se sabe nada;
Teorema GRAFO DUAL
Sea ( ) G V E = , un grafo planar. Se define el grafo dual G
*
de G de la
siguiente manera:
i) A cada regin r en G se le asocia un vrtice r
*
en G
*
;
ii) A cada arista e en G; se le asocia una arista e
*
en G
*
.
iii) Dos vrtices en G
*
estn unidos por una arista e
*
si y slo si las
regiones asociadas a los vrtices estn separadas por una arista e en G.
Observacin: El grafo resultante puede ser un multigrafo.
Teo: Sea G
*
el grafo dual de G. Se tiene:
E E
*
=
V R
*
=
R V
*
=
( ) ( ) grado v grado r
G
G
*
*
=
con R conjunto de regiones r
i
de G.
Teorema AUTODUAL
Un grafo es autodual si y slo si su es isomorfo con su complemento.
Observacin.: para todo valor de n V = existe al menos un grafo autodual trivial.
Veamos:
n = 0 : (trivial)

n = 1 :

n = 2 :

n = 3 :

n = 4 o ms: W
n

Teora de Grafos

J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
12
XII. Trayectorias y Circuitos Eulerianos
Teorema TRAYECTORIA-CIRCUITO EULERIANO
Sea G un multigrafo. Una trayectoria euleriana es una trayectoria que:
Incluye toda arista del grafo exactamente una vez;
intersecta cada vrtice del grafo a lo menos una vez.
Un circuito euleriano es una trayectoria euleriana que constituye un circuito.
Si un grafo tiene circuito euleriano se dice que es recorrible.
Un multigrafo que tiene circuito euleriano se denomina multigrafo euleriano.
a).1.1.2 de Trayectorias Eulerianas
Un multigrafo ( ) G V E = , tiene trayectoria euleriana si y slo si:
no dirigido:
es conexo; y
tiene exactamente ningn o dos vrtices de grado impar.
dirigido:
es unilateralmente conexo; y
grado
+
(v) = grado
-
(v) v V , excepto quiz para exactamente
2 vrtices, para los cuales se tiene:
grado
+
(v) = grado
-
(w) +1
y grado
+
(v) = grado
-
(w) 1
a).1.1.3 de Circuitos Eulerianos
Un multigrafo ( ) G V E = , tiene circuito euleriano si y slo si:
no dirigido:
es conexo; y
tiene todos sus vrtices de grado par.
dirigido:
es unilateralmente conexo; y
grado
+
(v) = grado
-
(v) v V .
Teora de Grafos

J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
13
XIII. Grafos Hamiltonianos
a).1.1.1 Trayectoria-Ciclo Hamiltoniano
Sea G un grafo. Una trayectoria hamiltoniana es una trayectoria simple que
contiene todos los vrtices de G.
Un circuito hamiltoniano es una trayectoria hamiltoniana que constituye un
ciclo.
Un grafo que tiene ciclo hamiltoniano se denomina grafo hamiltoniano.

Reglas Bsicas para construir Trayectorias y Ciclos Hamiltonianos:
1) Sea G n = , entonces una trayectoria hamiltoniana debe contener exactamente
n 1 aristas del grafo, y un ciclo hamiltoniano exactamente n aristas;
2) Si grado(v)=k, para algn v V , entonces una trayectoria hamiltoniana debe
contener al menos una y a lo ms dos arista incidentes sobre v; un ciclo
hamiltoniano debe contener exactamente dos aristas incidentes sobre v. En
particular, si k=2, ambas aristas incidentes deben pertenecer al ciclo ham.).
3) Ningn ciclo que no contenga todos los vrtices puede formarse mientras se
construye el ciclo o trayectoria hamiltoniana.
4) Una vez que se ha pasado por un vrtice dado, todas las aristas incidentes sobre l
deben ser descartadas del anlisis.
a).1.2
Todo grafo completo K
n
tiene trayectoria hamiltoniana, n N ; y
Todo grafo completo K
n
tiene ciclo hamiltoniana, > n 2 .
XIV. Coloracin de Vrtices
Teorema COLORACIN DE VRTICES
Asignacin de color (elemento de un conjunto dado) a los vrtices de un
grafo, de modo que vrtices adyacentes nunca reciban el mismo color.
Teorema N-COLORACIN
Sea G un grafo. Una n-coloracin es una coloracin utilizando n colores. Se
dice que G es n-coloreable.
Teorema NMERO CROMTICO ( )
Sea G un grafo. El nmero cromtico de G es el menor nmero n para el cual
existe una n-coloracin de G. Se dice que G es n-cromtico.




Teora de Grafos

J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
14
Reglas Bsicas para Determinar (G):
1) ( ) G V
2) ( ) = K n
n

3) Si un subgrafo de G requiere k colores, entonces ( ) G k
4) Si grado(v) = d, entonces se requieren a lo ms d colores para los vrtices
adyacentes a v
5) ( ) ( ) { } G de conexo componente H H max G : =
6) ( ) = ! G k hay k vrtices de grado() k 1
7) ( ) ( ) + G G 1
8) ( )
( )

G
V
V G

a).1.1.2 Los Cinco Colores
Sea G un grafo planar, entonces ( ) G 5
XV. Dominancia, Independencia y Cobertura
Teorema GRAFO (ALT.)
Un grafo es un conjunto de vrtices X junto a una correspondencia
) ( : X P X P(x):conjunto potencia de X que relaciona pares de vrtices
(mapamiento). ( ) ( ) G V E X = = , ,
donde: ( ) ( ) { }
v w v w E w V = : , ,
( ) ( ) { }

=
1
v w w v E w V : , ,
Observacin: En grafo no dirigido: ( ) ( )

=
1
x x x X ,
Def: { } ( ) ( ) ( ) x x x x
n n 1 1
, , ! ! =
Teorema CONJUNTO INDEPENDIENTE (INTERNAMENTE ESTABLE)
Sea ( ) G X = , un grafo no dirigido. Entonces S es conjunto independiente
si: S X y ( ) S S =
Observacin: S independiente ! no existen vrtices adyacentes en S.
Teorema CONJ. INDEPENDIENTE MAXIMAL
Sea ( ) G X = , un grafo no dirigido. Entonces S es conjunto independiente
maximal si S es conj. independiente y no existe P S conj. indep.
Observacin: Puede haber conjuntos independientes maximales de distinto tamao.

Teora de Grafos

J. Ponce, G. Solis y L. Ulfe Investigacin de Operaciones
15
Teorema NMERO DE INDEPENDENCIA (INVARIANTE)
[ ] { }
G max S S X es conj indep = : . .
Teorema CONJUNTO DOMINANTE (EXTERNAMENTE ESTABLE)
Sea ( ) G X = , un grafo no dirigido. Entonces S es conjunto dominante si y:
S X y ( ) S S X =
Observacin: S dominante ! todos los vertices de V-s son adyacentes desde S.
Teorema CONJ. DOMINANTE MNIMAL
Sea ( ) G X = , un grafo no dirigido. Entonces S es conjunto dominante
minimal S es conj. dominante y no existe P S conj. dominante.
Observacin: Puede haber conjuntos dominantes minimales de distinto tamao.
Teorema NMERO DE DOMINANCIA (INVARIANTE)
[ ] { }
G min S S X es conj dominante = : . .