MAT E MT I CA DI SC RET A

ndice
Unidad 1: Lgica y teora de conjuntos ....................................................................................................... 2
1. Definiciones ......................................................................................................................................... 2
2. Leyes de la lgica ............................................................................................................................... 2
3. Reglas de inferencia ........................................................................................................................... 3
4. Lgica de predicados ......................................................................................................................... 3
5. Teora de conjuntos ............................................................................................................................ 3
Unidad 2: Induccin matemtica .................................................................................................................. 4
1. Mtodos para demostrar la verdad de una implicacin ................................................................ 4
2. Induccin matemtica ........................................................................................................................ 4
Unidad 3: Relaciones de recurrencia........................................................................................................... 4
1. Ecuaciones de recurrencia homogneas ........................................................................................ 5
2. Ecuaciones de recurrencia no homogneas .................................................................................. 5
3. Sucesiones importantes..................................................................................................................... 5
Unidad 4: Relaciones ..................................................................................................................................... 6
1. Definiciones ......................................................................................................................................... 6
2. Propiedades de las relaciones .......................................................................................................... 6
3. Matriz de una relacin ........................................................................................................................ 6
4. Relaciones de equivalencia y de orden........................................................................................... 6
5. Elementos particulares....................................................................................................................... 7
Unidad 5: lgebras de Boole ........................................................................................................................ 7
1. Definiciones y axiomas ...................................................................................................................... 7
2. Funciones booleanas ......................................................................................................................... 8
3. Propiedades de los tomos ............................................................................................................... 9
4. Mapa de Karnaugh ............................................................................................................................. 9
5. Isomorfismos entre lgebras de Boole .......................................................................................... 10
Unidad 6: Teora de grafos.......................................................................................................................... 10
1. Definiciones de grafos y digrafos ................................................................................................... 10
2. Aristas, vrtices, caminos y grafos................................................................................................. 10
3. Grafos de Euler ................................................................................................................................. 12
5. Representacin de grafos por matrices ........................................................................................ 13
6. Niveles ................................................................................................................................................ 14
7. Algoritmos de camino mnimo......................................................................................................... 14
Unidad 7: rboles ......................................................................................................................................... 15
1. Definiciones ....................................................................................................................................... 15
2. rboles generadores ........................................................................................................................ 16
3. Algoritmos para hallar un rbol generador mnimo ..................................................................... 16
Unidad 8: Redes de transporte ................................................................................................................... 16
1.
2.

Definiciones ....................................................................................................................................... 16
Algoritmo de Ford-Foulkerson ........................................................................................................ 17

Unidad 1: Lgica y teora de conjuntos

1. Definiciones
Lgica: estudio de las formas correctas de pensar o razonar.
Proposicin: afirmacin que es verdadera o falsa, pero no ambas.
Proposicin primitiva: proposicin que no se puede descomponer en otras dos o ms proposiciones.
Siempre son afirmativas.
Proposicin compuesta: proposicin formada por dos o ms proposiciones relacionadas mediante
conectivas lgicas.
Tablas de verdad:
p q p
p
(AND)
(NOT)
V V F
V
V F F
F
F V V
F
F F V
F
Nota: proposiciones

q p
q p
(OR)
(XOR)
V
F
V
V
V
V
F
F
lneas de tabla.

q p
(IF)
V
F
V
V

q p
(IIF)
V
F
F
V

q p

(NOR)
F
F
F
V

|
q p
(NAND)
F
V
V
V

Negacin: no, nunca, jams, no es cierto que.

Conjuncin: y, e, pero, como, aunque, sin embargo, mientras.
Disyuncin: o, a menos que.
Disyuncin excluyente: o bien.
Implicacin: cuando, siempre que.
Doble implicacin: si y slo si (sii), cuando y solo cuando.
{|} y {} son los nicos conjuntos adecuados de un solo conectivo didico.
p

Si p, entonces q.
p implica q.
p solo si q.
p es el antecedente, q es el consecuente.
q es necesario para p.
p es suficiente para q.

p
q
p es necesario y suficiente para q.
p si y solo si q.

Tautologa: proposicin que es verdadera siempre.

Contradiccin: proposicin que es falsa siempre.
Contingencia: proposicin que puede ser verdadera o falsa, dependiendo de los valores de las
proposiciones que la componen.

p q p q
p q (p q) (q p)
(p q) (p q) (p q)
a (b c) (a b) (a c)
(p q) t (p t) (q t)

2. Leyes de la lgica
1) Ley de la doble negacin
2) Ley de conmutatividad
3) Ley de asociatividad

p p
a) p q q p
b) p q q p
a) p (q r) (p q) r

4) Ley de distributividad
5) Ley de idempotencia
6) Ley del elemento neutro
7) Leyes de De Morgan
8) Ley del inverso
9) Ley de dominancia
10) Ley de absorcin

b)
a)
c)
a)
b)
a)
b)
a)
b)
a)
b)
a)
b)
a)
b)

p (q r) (p q) r
p (q r) (p q) (p r)
p (q r) (p q) (p r)
ppp
ppp
p F0 p
p T0 p
(p q) p q
(p q) p q
p p T0
p p F0
p T0 T0
p F0 F0
p (p q) p
p (p q) p

Dual de S: Sea S una proposicin. Si S no contiene conectivas lgicas distintas de y entonces el dual de
d
S (S ), se obtiene de reemplazar en S todos los () por () y todas las T0 (F0) por F0 (T0).
d
d
Sean s y t dos proposiciones tales que s t, entonces s t .

Recproca: (q p) es la recproca de (p q)
Contra-recproca: (q p) es la contra-recproca de (p q)
Inversa: (p q) es la inversa de (p q)

3. Reglas de inferencia

Modus ponens o Modus ponendo ponens

pq
p
q

Modus tollens o Modus tollendo tollens

pq
q
p

4. Lgica de predicados
Funcin proposicional: expresin que contiene una o ms variables que al ser sustituidas por elementos del
universo dan origen a una proposicin.
Universo: Son las ciertas opciones permisibles que podr reemplazar por la variable.
Cuantificador universal: proposicin que es verdadera para todos los valores de en el universo.
Cuantificador existencial: proposicin en que existe un elemento
proposicional es verdadera.

x [p(x) q(x)] x p(x) x q(x)

x [p(x) q(x)] x p(x) x q(x)
x [p(x) q(x)] x p(x) x q(x)
x p(x) x q(x) x [p(x) q(x)]
x [p(x) q(x)] x p(x) q(x)

del universo tal que la funcin

Negacin de proposiciones cuantificadas:

[x p(x)] x p(x)
[x p(x)] x p(x)

5. Teora de conjuntos
Conjunto de partes: dado un conjunto A, p(A) es el conjunto formado por todos los subconjuntos de A,
includos A y . Si A tiene elementos, p(A) tendr
elementos. Ejemplo:
3

Pertenencia: un elemento pertenece a un conjunto.

Inclusin: un conjunto est incluido en un conjunto.
Operaciones entre conjuntos:
Unin:
Interseccin:
Diferencia:
Diferencia simtrica:
Complemento:
Leyes del lgebra de conjuntos: Para cualquier A, B U:
Leyes conmutativas
Leyes asociativas
Leyes distributivas
Leyes de idempotencia
Leyes de identidad

Complementacin doble
Leyes del complemento
Leyes de De Morgan

Unidad 2: Induccin matemtica

1. Mtodos para demostrar la verdad de una implicacin
1) Mtodo directo: V V
2) Mtodo indirecto:
a) Por el contrarrecproco: F F
b) Por el absurdo: supongo el antecedente verdadero y el consecuente falso y busco llegar a una
contradiccin de proposiciones.

2. Induccin matemtica
I)
II)

Unidad 3: Relaciones de recurrencia

Orden de una relacin: mayor subndice menor subndice.
4

1. Ecuaciones de recurrencia homogneas

Sea la ecuacin
(*). Resolverla significa:
I)
Hallar las races de la ecuacin caracterstica de (*):
II)
Utilizar los teoremas siguientes para hallar la solucin.
Teorema 1: si
.
Teorema 2: si
Teorema 3: si

son soluciones de la ecuacin (*), entonces

tambin es solucin de (*)

es raz de la ecuacin caracterstica, entonces

es solucin de (*).
y (
) son soluciones de la ecuacin caracterstica, entonces

es

solucin de (*)y
Teorema 4: si
Teorema 5: si

es raz doble de la ecuacin caracterstica, entonces

es raz doble de la ecuacin caracterstica, entonces

es solucin de (*).
es solucin

de (*) y

2. Ecuaciones de recurrencia no homogneas

Sea la ecuacin
(*), con
I)
Resolver la ecuacin homognea asociada y obtener .
II)
Hallar una solucin particular de la ecuacin (*), .
III)
La solucin general ser:

. Resolverla significa:

Nota: en la solucin particular propuesta no debe haber sumandos que aparecen en la solucin de la
ecuacin homognea.
propuesta
(a no es raz de la ecuacin
caracterstica)
(a es raz de multiplicidad t de la
ecuacin caracterstica)
Polinomio de grado k y 1 no es raz de la
ecuacin caracterstica
Polinomio de grado k y 1 es raz de
multiplicidad t de la ecuacin caracterstica

Caso especial 1:
I)
Proponer una solucin
II)
Proponer una solucin
III)
La solucin ser
Caso especial 2:
I)
Proponer una solucin
II)
Proponer una solucin
III)
La solucin ser
necesario.

Polinomio genrico de grado k

Polinomio genrico de grado k
multiplicado por

para
para
.

para
para
. Luego, comparar con la solucin del homogneo y arreglar si es

3. Sucesiones importantes
Inters
an = 1,12.an-1

Fibonacci
Fn = Fn-1 + Fn-2

Torres de Hanoi
hn = 2hn-1 + 1

Desarreglos
dn = (n 1).(dn-1 + dn-2)

Unidad 4: Relaciones
1. Definiciones
Producto cartesiano:
Relacin n-aria: dado un conjunto A se llama relacin R en conjunto A
R AA. Una relacin se puede
definir por extensin (mencionando todos sus elementos) o por comprensin (dando una caracterstica de
los elementos).
Relacin R: Siendo x A, y A, decimos que xRy
(x,y) R.
Relacin inversa: dada
, la relacin inversa
es tal que:

Repaso de funciones
Sean A y B dos conjuntos. Una relacin es funcin si:
a A / f(a) = b0 f(a) = b1 (b0, b1 B b0 b1) (No existe elemento del dominio que tenga dos imgenes)
Sea
funcin, a A, b B:
f es inyectiva a1 a2 f(a1) f(a2) (Para puntos distintos del dominio, distintas imgenes)
f es sobreyectiva b B, a A / f(a) = b (La imagen de A es todo B)
f es biyectiva f es inyectiva y sobreyectiva (Si es biyectiva existe la inversa)

2. Propiedades de las relaciones

Sea R una relacin en el conjunto A.
1) R es reflexiva x A: xRx
2) R es simtrica
x,y A : (xRy yRx)
3) R es transitiva
x,y,z A : (xRy yRz) xRz
4) R es antisimtrica
x,y A : (xRy yRx x=y)
Nota: Todo elemento cumple las tres primeras consigo mismo. Cuidado con la 4: no simtrica
antisimtrica.

3. Matriz de una relacin

Sea R una relacin en un conjunto finito A. La misma puede representarse matricialmente por:
siendo n=|A| definida por
Relacin de orden entre matrices booleanas:
menor a D si D tiene al menos los mismos 1 en las mismas posiciones que C.
Sea I la matriz identidad de n x n. Entonces:
R es reflexiva
R es simtrica
R es antisimtrica
R es transitiva

. Es decir, una matriz C es

(el producto se entiende posicin por posicin)

4. Relaciones de equivalencia y de orden

Relacin de equivalencia (~)
- Reflexividad
- Simetra
- Transitividad

Relacin de orden ( )
Reflexividad
Antisimetra
Transitividad

Orden total: x,y A : (xRy yRx). En el diagrama de Hasse se ve una lnea recta.
Orden parcial: x,y A : (xRy yRx)
(Si no es orden total, es orden parcial.)
6

Clase de equivalencia: sea R una relacin de equivalencia en A. Se llama clase de equivalencia de un

al conjunto

Teorema: sea R una relacin de equivalencia en A. Se verifica:

Conjunto cociente:
Particin:
1)
2)
3)
4)

. El conjunto cociente es una particin de A.

es una particin del conjunto A si y solo si:

Congruencia mdulo n: En , y para

, se define la relacin

Diagrama de Hasse: representacin grfica simplificada de un conjunto (finito) ordenado parcialmente. Con
ellos se eliminan los lazos de reflexividad y los atajos de transitividad. Si dos elementos estn relacionados,
digamos aRb, entonces dibujamos b a un nivel superior de a.
Ejemplo: sea el conjunto A = {1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60} (todos los divisores de 60). Este
conjunto est ordenado parcialmente por la relacin de divisibilidad. Su diagrama de Hasse puede ser
representado como sigue.

5. Elementos particulares
Sea R una relacin de orden en A:
Maximal: x0 es maximal de A
Minimal: x0 es minimal de A

x
x

A : x0Rx (x0 no se relaciona con nadie).

A : xRx0 (No hay elementos que se relacionen con el x0.)

Sea X un subconjunto de A:
Cota Superior: x0 A es Cota Superior de X
x X : xRx0.
Cota Inferior: x0 A es Cota Inferior de X
x X : x0Rx.
Supremo: s A es el Supremo de X
s es la menor de todas los cotas superiores
x
nfimo: i A es nfimo de X
i es la mayor de todas las cotas inferiores
x X : iRx.
Mximo: M
Mnimo: m

A es Mximo de X
A es Mnimo de X

X : xRs.

M es supremo de X y M X.
m es nfimo de X y m X.

Unidad 5: lgebras de Boole

1. Definiciones y axiomas

lgebra de Boole: Sea K (

) un conjunto no vaco que contiene dos elementos especiales, 0 (cero o
elemento neutro) y 1 (uno o elemento unidad) sobre el cual definimos las operaciones cerradas +, y el
complemento. Entonces =(K, 0, 1, +, , ) es un lgebra de Boole si cumple las siguientes condiciones:
A1) Axioma de conmutatividad

x+y=y+x
x.y = y.x
(x + y) + z = x + (y + z) = x + y + z
(x.y).z = x.(y.z) = x.y.z
x.(y + z) = x.y + x.z
x + (y.z) = (x + y).(x + z)
x+0=x
x.1 = x
x+ =1
x. = 0

A2) Axioma de asociatividad

A3) Axioma de la doble distributividad
A4) Axioma de existencia de elementos neutros
A5) Axioma de existencia de complementos

Expresin dual: se obtiene cambiando todos los +() por (+) y los 0(1) por 1(0).
Principio de dualidad: en toda lgebra de Boole, si una expresin es vlida, su expresin dual tambin lo es.
1) Ley del doble complemento:
2) Leyes de Morgan:
3) Leyes conmutativas:
4) Leyes asociativas:
5) Leyes distributivas:
6) Leyes de idempotencia:
7) Leyes de identidad:
8) Leyes de inversos:
9) Leyes de acotacin:
10) Leyes de absorcin:

=x
a)
= .
b)
= +
a) x + y = y + x
b) x.y = y.x
a) x + (y + z) = (x + y) + z
b) x.(y.z) = (x.y).z
a) x + (y.z) = (x + y).(x + z)
b) x.(y + z) = xy + xz
a) x + x = x
b) x.x = x
a) x + 0 = x
b) x.1 = x
a) x + x = 1
b) x.x = 0
a) x + 1= 1
b) x.0 = 0
a) x + xy = x
x + xy = x + y
b) x.(x + y) = x
x.(x + y) = x.y

Permitido
x + y = 0 (x = 0) (y = 0)
x.y = 1 (x = 1) (y = 1)
x+y=z+y x+y=z+yx=z
x + y = x.y x = y

Observacin:

Prohibido
x.y = 0 (x = 0) (y = 0)
x+y=y+zx=z

2. Funciones booleanas
Funcin booleana:
booleanas posibles.

. Dadas n variables, existen

funciones

PROBLEMA
TABLA

EXPRESIN de f
EXPRESIN
SIMPLIFICADA
CIRCUITO

MINITERMINOS
MAXITERMINOS
m = x.y.z
M=x+y+z
Forma cannica, normal, normal disyuntiva SP: Forma cannica, normal, normal conjuntiva PS:
suma booleana de minitrminos.
producto booleano de maxitrminos.
f(x,y,z) suma de los minitrminos que dan 1
f(x,y,z) producto de los maxitrminos que dan 0
Codificacin: x 1, x 0

Codificacin: x 0, x 1

Observacin:
La suma de los minitrminos de una funcin

producto de los maxitrminos que no aparecen en la SP.

m(0, 1, 3, 5, 7) = M(2, 4, 6)
Orden en un lgebra de Boole: sea = (K,+, ,0,1,-) un lgebra de Boole. En K se define:
ab
aRb
a b
ab a
a b b
ab
Teorema:
. Todo lgebra de Boole est acotada.
tomo de un lgebra de Boole: x
y B: (y x
y=0 y=x )

es un tomo de B
0

Nota: Si B tiene n tomos B tiene 2 elementos.

n

Circuitos lgicos:

3. Propiedades de los tomos

1) x tomo
(El producto de cualquier elemento de B con un tomo es 0
o es el tomo)
2) x0, x1 tomos distintos x0.x1 = 0 (Si hay dos tomos distintos el producto entre ellos es 0)
3) Sean
tomos de B

(Si hay un x que multiplicado

por cada uno de los tomos da 0, x es el 0)
Teorema: sean
.
Teorema:

los tomos de B. Entonces

, con

tales que

tomo de B.
n

Nota: Si n es la cantidad de variables de f, el nmero mximo de trminos es 2 .

4. Mapa de Karnaugh
Para simplificar una funcin booleana. Se colorean los cuadrados de los minitrminos correspondientes y
luego se escribe cada trmino, teniendo en cuenta que si un cuadrado tiene un vecino (abajo, arriba,
derecha o izquierda) este ltimo no se escribe.
xy\zw

00
01
11
10

00
0
4
12
8

01
1
5
13
9

11
3
7
15
11

10
2
6
14
10

f = m(1, 3, 9, 11, 14, 6)

f = (w. + z. .y)
(simplificada)

5. Isomorfismos entre lgebras de Boole

Isomorfismo entre dos lgebras de Boole: sean B1 = (K1, +1, 1, 01, 11, 1) y B2 = (K2, +2, 2, 02, 12, 2) dos
lgebras de Boole. Se dice que B1 y B2 (#B1 = #B2) son isomorfos

biyectiva tal que:

El nmero de isomorfismos posibles es (#B1)!

Propiedades:
1) f(01) = 02
2) f(11) = 12
3) f(tomo B1) = tomo B2
4) x R1 y f(x) R2 f(y)

Unidad 6: Teora de grafos

1. Definiciones de grafos y digrafos
Grafo no orientado: terna G = (V,A,) que representa una relacin entre un conjunto finito de Vrtices (
) y otro conjunto finito de Aristas (A), y es la funcin de incidencia.
: A X(V), siendo X(V) = {X: X V |X|= 1 o 2}.
u y v son extremos de a
Si (a) = {u,v} entonces u y v son v rtices adyacentes
a es incidente en u y v
Grafo orientado / digrafo: terna D = {V,A,) con
que representa una relacin entre un conjunto finito
de Vrtices y otro conjunto finito de Aristas, y es la funcin de incidencia.
: A V x V.
v es extremo inicial y w es extremo final de a
v y w son v rtices adyacentes
Si (a) = (v,w) entonces
a incide positivamente en w y negativamente en v

2. Aristas, vrtices, caminos y grafos

Aristas
Aristas adyacentes: aristas que tienen un solo extremo en comn.
Arista paralelas o mltiples: a a
son aristas paralelas
a
a . Es decir, sii no es inyectiva.
Lazo o bucle: arista que une un vrtice con s mismo.
Arista incidente: Se dice que e es incidente en v si v esta en uno de los vrtices de la arista e.
Extremo (para digrafos): Un extremo es inicial(final) si es el primer(ultimo) vrtice de la arista.
Aristas paralelas (para digrafos): Si E.I(a) = E.I(b) E.F(a) = E.F(b) en otro caso son anti paralelas.
Puente: Es la arista que al sacarla el grafo deja de ser conexo.
Vrtices
Vrtices adyacentes: Se dice que v y w son adyacentes si existe una arista entre los dos vrtices.
Un vrtice es adyacente a s mismo si tiene lazo.
Grado de un vrtice: gr(v) es la cantidad de aristas que inciden en l. Los lazos cuentan doble.
Se dice que un vrtice es par o impar segn lo sea su grado.

gr v

La cantidad de vrtices de grado impar es un nmero par.

Si gr(v) = 0, v es un vrtice aislado.
Grado positvo (para digrafos): gr v es la cantidad de veces que se usa el vrtice como extremo final.
Grado negativo (para digrafos): gr v es la cantidad de veces que se usa el vrtice como extremo inicial.
10

 gr v
gr v
grtotal(v) = gr v
gr v
grneto(v) = gr v
gr v
El lazo cuenta como arista incidente positiva y negativamente en el vrtice.
Vrtice de aristas mltiples: Es aquel que tiene ms de un arista.
Caminos
Camino: sucesin finita no vaca de aristas distintas que contengan a v x y vy en su primer y ltimo trmino.
As: {vx,v1},{v2,v3},...,{vn,vy}
Longitud del camino: nmero de aristas de un camino.
Circuito o camino cerrado: camino en el cual v
vn .
Camino simple: camino que no repite vrtices.

vw
v w
camino de v a w
camino simple de v a w
Circuito simple: circuito que no repite vrtices salvo el primer y ltimo vrtice.
Ciclo: circuito simple que no repite aristas.
Circuito simple de longitud 3 en grafos ( 2 en digrafos) es un ciclo.
Nota: Si v

V gr(v) 2 el grafo tiene un circuito.

Grafos
Orden de un grafo: Es su nmero de vrtices.
Grafo acclico: grafo que no tiene ciclos.
Grafo conexo: grafo tal que dados 2 vrtices distintos es posible encontrar un camino entre ellos.
camino de a )
Grafo simple: grafo que carece de aristas paralelas y lazos.
Grafo regular: Aquel con el mismo grado en todos los vrtices.
Grafo k-regular: G=(V,A, ) es k-regular
v
gr v
k
Grafo bipartito: Es aquel con cuyos vrtices pueden formarse dos conjuntos disjuntos de modo que no haya
adyacencias entre vrtices pertenecientes al mismo conjunto.
v3

v1

v4
v2

v5

Grafo Kn,m: grafo bipartito simple con la mayor cantidad de aristas.

# n = n.m
Grafo Kn: grafo simple con n vrtices y la mayor cantidad de aristas.

n n

Grafo completo: grafo simple con mayor cantidad de aristas. Todos estn conectados con todos.
v V, gr(v) = #V 1.
Si G(V,A) es completo G es regular (No vale la recproca)
Dos grafos completos con mismo #V son isomorfos.
Grafo complemento: dado G=(VG,AG) simple se llama grafo complemento a

tal que

. Es el grafo G que tiene conectados los vrtices no conectados de G y desconectados los

vrtices conectados de G.
G

G
v1

v2
v4

v3
v5

v2

v1
v4

v3
v5

G G = Grafo completo.
Si dos grafos son complementarios, sus isomorfos tambin.
Sea grG v
k grG v
k
11

Grafo plano: Aquel que admite una representacin bidimensional sin que se crucen sus aristas.
Grafo ponderado: Es el grafo en cual cada arista tiene asignado un n real positivo llamado peso.
Digrafo: Grafo con todas sus aristas dirigidas. Por tanto, los pares de vrtices que definen las aristas, son
pares ordenados.
Digrafo conexo: Si su grafo asociado es conexo.
Digrafo fuertemente conexo: v V camino que me permite llegar a cualquier otro vrtice.
Digrafo k-regular: D=(V,A, ) es k-regular
v
gr v
gr v
k
Subgrafo de G: Dado G = ( , ), G = ( , ) es subgrafo de G si V y A
Grafo parcial de G: Dado G = ( , ), G = ( , ) es grafo parcial de G si V y A
Multigrafo: Grafo que tiene alguna arista mltiple.
Un multigrafo se transforma en grafo aadiendo un vrtice en mitad de cada arista mltiple.
Pseudografo: Grafo con algn lazo.

3. Grafos de Euler
Grafo de Euler: grafo en el cual se puede encontrar un ciclo o un camino de Euler.
Camino de Euler: camino que no repite aristas.
Circuito de Euler: circuito que no repite aristas.
Teorema de Euler:
Para grafos conexos:
G tiene un Camino de Euler G tiene exactamente 2 vrtices de grado impar.
G tiene un Circuito de Euler G tiene exactamente 0 vrtices de grado impar.
Para digrafos:

G tiene un Camino de Euler u,w

G tiene un Circuito de Euler v

V (u w)
V gr v

gr v
gr v

gr u
gr w
gr v

gr u
gr w
v

Grafo de Hamilton: grafo en el cual es posible hallar un camino o circuito de Hamilton.

Camino de Hamilton: Es un camino que no repite vrtices. (Puede no pasar por todas las aristas)
Circuito de Hamilton: Es un circuito que no repite vrtices. (Puede no pasar por todas las aristas)
Teorema de Ore: Si un grafo es conexo con
Hamiltoniano.
Teorema de Dirac: un grafo simple con

G es Grafo

es Hamiltoniano si

4. Isomorfismos de grafos
Dados G=( , ) y G=( , ), se denomina isomorfismo de G a G a la aplicacin biyectiva f tal que para a,b
V, {a,b} A se cumple {f(a),f(b)}
. Es decir, la aplicacin que relaciona biyectivamente pares de
vrtices de A con pares de vrtices de , de modo que los v rtices conectados siguen estndolo.
# =# y# =#
Se cumple que (a)=(f(a))
Si dos grafos son isomorfos, sus complementarios tambin.
G y G tienen igual cantidad de vrtices aislados.
G y G tienen igual cantidad de lazos o bucles.
Se mantienen los caminos.
Se mantienen los ciclos.
Si dos grafos complementarios son isomorfos se los llama auto complementarios.
12

Dos grafos simples G1 y G2 son isomorfos para cierto orden de sus vrtices las MA son iguales.

Automorfismo: Es un isomorfismo en s mismo. f(a) = a.

5. Representacin de grafos por matrices

Digrafos

Grafos
a2
a1

v1

a2
v1

v2
v5

v3

a5

v2

a6

a3

a6

a1

v4

a3
a5

v3

a4

v4

a4

(
) tal que:
con
cantidad de aristas con extremos
y

(
) tal que
con
cantidad de aristas con E.I en vi y E.F en
vj

Matriz simtrica.
gr(vi) = aij + 2.aii (i j)
Matriz de
adyacencia

v1
0
1
1
0
0

v1
v2
v3
v4
v5

v2
1
1
0
1
0

v3
1
0
0
2
0

v4
0
1
2
0
0

v5
0
0
0
0
0

gr(v1)

v1
v2
v3
v4
v5

No necesariamente simtrica.

v1 v2 v3 v4 v5
0 0 1 0 0
1 1 0 0 0
0 0 0 1 0
0 1 1 0 0
0 0 0 0 0

gr(v1)
(
, con

Matriz de
incidencia

v1
v2
v3
v4
v5

a1
1
1
0
0
0
||
2

Propiedad: en la matriz
entre vi y vj .

a2
0
2
0
0
0

) tal que

a3
0
1
0
1
0

a4
0
0
1
1
0

a5
0
0
1
1
0

a6
1
0
1
0
0

(
, con

gr(v1)

v1
v2
v3
v4
v5

a1 a2 a3
1 0 0
-1 1 1
0 0 0
0 0 -1
0 0 0
||
0

) tal que

a4
0
0
-1
1
0

a5
0
0
-1
1
0

a6
-1
0
1
0
0

gr+(v1)=aij,(aij>0)
gr -(v1)=aij,(aij<0)

G k , cada coeficiente aij indica la cantidad de caminos de longitud k que hay

Matriz de conexin: Dados G=(V,A, ) con

. Se define la siguiente relacin:

Matriz de adyacencia booleana: sea un grafo G=(V,A, ) con

v
matriz de adyacencia de G a una matriz booleana de
tal que:

vn y

am . Se define la

13

mij tal que mij

si vi

si vi es adyacente a vj
es adyacente a vj

Matriz de incidencia booleana: sea un grafo G=(V,A, ) con

v
vn y
matriz de adyacencia de G a una matriz booleana de
tal que:
si ai es incidente a vj
G
mij tal que mij
si ai
es incidente a vj

am . Se define la

6. Niveles
Vrtice alcanzable: sea D=(V,A) un digrafo. Se dice que
se alcanza de
camino dirigido de
a .
Niveles de un digrafo: Un conjunto vrtices N constituye o est en nivel superior a otro conjunto de vrtices
K si ningn vrtice de N es alcanzable desde algn vrtice de K.
Dibujar MA
i = 1
while MA:
Nivel i = vis tales que sus filas y columnas en MA sean nulas
MA = MA {columnas y filas que sean nulas}
i = i + 1
A

Nivel 1: A,G
Nivel 2: B
Nivel 3: E
Nivel 4: C
Nivel 5: F
Nivel 6: D

B
E

A
E

Solo flechas
descendentes!

C
F
D

7. Algoritmos de camino mnimo

Objetivo: Hallar el camino mnimo de S a L:
(v) es la etiqueta del vrtice v.
i es un contador.
Algoritmo de Moore o BFS (Breadth First Search)
Dado un grafo o digrafo no ponderado, calcula la distancia entre dos vrtices.
(S) = 0
i = 0
while (vrtices adyacentes a los etiquetados con i no etiquetados):
(v) = i+1
if (L is etiquetado): break
i = i+1
Algoritmo de Dijkstra
Dado un grafo o digrafo con pesos no negativos, calcula caminos mnimos del vrtice a todos los
vrtices.
(S) = 0
for v in V:
(v) =
T = V
14

while (L

T):

Elijo v
T con mnimo (v) adyacente al ltimo etiquetado
x / x adyacente v:
(x) = min{(x), (v) + a(v,x)}
T = T {v}
Algoritmo de Ford
Solo para digrafos, acepta pesos negativos y detecta circuitos negativos.
(S) = 0
for v in V:
(v) =
j = 1
while ( j |V|):
T ={v
V / v sea adyacente al ltimo etiquetado}
x
V, v
T :
(v) = min{(x), (v) + a(v,x)}
Si no hubo cambios: break
Else: j = j + 1
return T

Unidad 7: rboles
1. Definiciones
rbol: G=(V,A) es un rbol u,v

V (u

v ! camino simple de u a v)

Teorema 1: dado un grafo G=(V,A). Las siguientes afirmaciones son equivalentes:

a) G es conexo y acclico
b) G es acclico y si se le agrega una artista deja de serlo
c) G es conexo y si se le elimina una arista deja de serlo
d) G es rbol
Teorema 2: dado un grafo G=(V,A). Las siguientes afirmaciones son equivalentes:
a) G es conexo y acclico
b) G es conexo y
c) G es acclico y
Propiedad: si G es un rbol con

hay al menos 2 vrtices de grado 1.

Bosque: un grafo G=(V,A) es bosque G es acclico.

Los bosques son grafos no conexos cuyas componentes conexas son rboles.

t, siendo t la cantidad de rboles del bosque.

Arboles con raz: G=(V,A) digrafo conexo es un rbol con raz
Hoja / terminal: Vrtice sin hijos.
Vrtice interno: Vrtice con hijos.
rbol n-ario: todos los nodos tienen a lo sumo n hijos.
rbol n-ario completo: todos los nodos tienen 0 o n hijos.
Nivel de un vrtice: nmero de aristas que le separan de la raz. La raz tiene nivel 0.
Altura de un rbol: mximo nivel de sus vrtices.
rbol equilibrado: las hojas llegan al mismo nivel.
15

Teorema: Si T = (V, A) es una rbol m-ario completo con i vrtices internos entonces:

2. rboles generadores
T es rbol
rbol generador: T=(

) es un rbol generador de G=(

rbol generador minimal: es un rbol generador, de peso mnimo. No es nico.

Teorema: G es un grafo no dirigido y conexo G tiene rbol generador.

3. Algoritmos para hallar un rbol generador mnimo

Sea G = (V, A) un grafo conexo ponderado. Existen dos algoritmos para hallar un rbol generador mnimo
de G.
Algoritmo de Prim
v = vrtice cualquiera de G
T = {v}
while (|T| |V|):
a = arista de mnimo peso incidente en un v
T = T + {w}
return T

T y un w T

Algoritmo de Kruskal
a = arista de mnimo peso de G
T = {a}
while (|T| < |V|-1):
b = arista de mnimo peso tal que b T
T = T + {b}
return T

y T + {b} es acclico

Unidad 8: Redes de transporte

1. Definiciones
Red de transporte: sea G = (V, A) un digrafo conexo y sin lazos. G es una red de transporte si se verifican:
1) Vrtice Fuente: ! vrtice f V / gr f
(no llegan flechas)
2) Vrtice Sumidero: ! vrtice s V / gr s
(no salen fleches)
3) Capacidad de la Arista: una funcin

/ si a = (vi, vj) A, C(a) = Cij

Flujo de una red: Si G = (V, A) es una red de transporte se llama flujo de G a una funcin F: A N0 tal que:
1) a
2) v

A: F(a) C(a)
V (v f , v s) se tiene que

(Si F(a) = C(a) se dice que la arista est saturada)

(Flujo entrante = Flujo saliente)

16

Teorema 1: Si F es el flujo asociado a una red de transporte se cumple que

(Todo lo que sale de la fuente llega al sumidero)
Valor del flujo: suma de los flujos de todas las aristas que salen del vrtice fuente:

Corte de una red: Un corte (P, ) en una red de transporte G = (V, A) es un conjunto P tal que:
f

Capacidad de un corte: Se llama capacidad de un corte (P, ) al nmero:

Es la
suma de todas las aristas incidentes en v y w tal que v P y w
. (Las aristas por donde pasa el corte).
Teorema 2: Sea F un flujo de la red G = (V, A) y sea (P, ) un corte de G. Entonces: C(P, ) val(F)
Teorema 3 (del flujo Mximo y Corte Minimal): Si C(P, ) = val(F) el flujo es mximo y el corte es
minimal.
saturada
Teorema 4: C(P, ) = val(F)

P
F=0

2. Algoritmo de Ford-Foulkerson
Se utiliza para hallar el flujo mximo en una red de transporte.
Dada una red de transporte G = (V, A), con f (fuente) y s (sumidero):
(v) funcin de etiquetacin de v.
ek capacidad residual de vk.
1) Poner en la red un flujo compatible.
2) Etiqueto la fuente con

3) Para cualquier vrtice x adyacente a a, etiquetamos a x:

a) Si
, etiquetamos x con
).
b) Si
, no etiquetamos x.
4) Mientras exista (x
a) en V tal que x est etiquetado y exista una arista (x,y) tal que y no est
etiquetado, etiquetamos a y:
a) Si
, etiquetamos y como
min
b) Si
, no etiquetamos y.
5) Mientras exista (x
a) en V tal que x est etiquetado y exista una arista (x,y) tal que y no est
etiquetado, etiquetamos a y:
c) Si
, etiquetamos y como
min
d) Si
, no etiquetamos y.

17