1

M MA AT TE EM M T TI IC CA A D DI IS SC CR RE ET TA 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. Propiedades de las relaciones ..................................................................................................... 6
2. Matriz de una relacin ................................................................................................................... 6
3. Relaciones de equivalencia y de orden ....................................................................................... 6
4. 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. 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. 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. Definiciones...................................................................................................................................16
2. Algoritmo de Ford-Foulkerson .....................................................................................................17


2
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
(NOT)
p q
(AND)
p q
(OR)
p q
(XOR)
p q
(IF)
p q
(IIF)
p + q
(NOR)
p | q
(NAND)
V V F V V F V V F F
V F F F V V F F F V
F V V F V V V F F V
F F V F F F V V V V
Nota: proposiciones

lneas de tabla.

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 q p q
- 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 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.







2. Leyes de la lgica

1) Ley de la doble negacin p p
2) Ley de conmutatividad a) p v q q v p
b) p . q q . p
3) Ley de asociatividad a) p v (q v r) (p v q) v r
- p q p v q
- p q (p q) . (q p)
- (p v q) (p v q) . (p v q)
- a (b . c) (a b) . (a c)
- (p v q) t (p t) v (q t)
3
b) p . (q . r) (p . q) . r
4) Ley de distributividad a) p . (q v r) (p . q) v (p . r)
c) p v (q . r) (p v q) . (p v r)
5) Ley de idempotencia a) p v p p
b) p . p p
6) Ley del elemento neutro a) p v F
0
p
b) p . T
0
p
7) Leyes de De Morgan a) (p v q) p . q
b) (p . q) p v q
8) Ley del inverso a) p v p T
0

b) p . p F
0

9) Ley de dominancia a) p v T
0
T
0

b) p . F
0
F
0

10) Ley de absorcin a) p v (p . q) p
b) p . (p v q) p

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

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
p q
p
q

Modus tollens o Modus tollendo tollens
p q
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 del universo tal que la funcin
proposicional es verdadera.








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:

Negacin de proposiciones cuantificadas:
- [x p(x)] -x p(x)
- [-x p(x)] x p(x)

-x [p(x) . q(x)] -x p(x) . -x q(x)
-x [p(x) v q(x)] -x p(x) v -x q(x)
x [p(x) . q(x)] x p(x) . x q(x)
x p(x) v x q(x) x [p(x) v q(x)]
-x [p(x) . q(x)] -x p(x) . q(x)
4






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.
e
5

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

son soluciones de la ecuacin (*), entonces

tambin es solucin de (*)

.
Teorema 2: si

es raz de la ecuacin caracterstica, entonces

es solucin de (*).
Teorema 3: si

) son soluciones de la ecuacin caracterstica, entonces

es
solucin de (*)y

Teorema 4: si

es raz doble de la ecuacin caracterstica, entonces

es solucin de (*).
Teorema 5: si

es raz doble de la ecuacin caracterstica, entonces

es solucin
de (*) y

2. Ecuaciones de recurrencia no homogneas

Sea la ecuacin

(*), con . Resolverla significa:

I) Resolver la ecuacin homognea asociada y obtener

.
II) Hallar una solucin particular de la ecuacin (*),

.
III) La solucin general ser:

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 genrico de grado k
Polinomio de grado k y 1 es raz de
multiplicidad t de la ecuacin caracterstica
Polinomio genrico de grado k
multiplicado por

Caso especial 1:

I) Proponer una solucin

para

II) Proponer una solucin

para

III) La solucin ser

.

Caso especial 2:

I) Proponer una solucin

para

II) Proponer una solucin

para

III) La solucin ser

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

necesario.

3. Sucesiones importantes

Inters Fibonacci Torres de Hanoi Desarreglos
a
n
= 1,12.a
n-1


F
n
= F
n-1
+ F
n-2
h
n
= 2h
n-1
+ 1 d
n
= (n 1).(d
n-1
+ d
n-2
)

6
Unidad 4: Relaciones

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 xeA, yeA, decimos que xRy (x,y)eR.
Relacin inversa: dada , la relacin inversa

es tal que:

1. Propiedades de las relaciones

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

2. 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:

. Es decir, una matriz C es

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

(el producto se entiende posicin por posicin)

R es transitiva

3. Relaciones de equivalencia y de orden

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

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

Repaso de funciones
Sean A y B dos conjuntos. Una relacin es funcin si:
a e A / f(a) = b
0

f(a) = b
1
(b
0
, b
1
e B b
0
= b
1
) (No existe elemento del dominio que tenga dos
imgenes)

Sea funcin, a e A, b e B:
f es inyectiva a
1
= a
2
f(a
1
) = f(a
2
) (Para puntos distintos del dominio, distintas imgenes)
f es sobreyectiva b e B, - a e 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)

7
Clase de equivalencia: sea R una relacin de equivalencia en A. Se llama clase de equivalencia de un e,
al conjunto

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

Conjunto cociente: . El conjunto cociente es una particin de A.

Particin:

es una particin del conjunto A si y solo si:

1)

2)

3)

4)

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.


4. Elementos particulares

Sea R una relacin de orden en A:

Maximal: x
0
es maximal de A x e A : x
0
Rx (x
0
no se relaciona con nadie).
Minimal: x
0
es minimal de A x e A : xRx
0
(No hay elementos que se relacionen con el x
0
.)

Sea X un subconjunto de A:

Cota Superior: x
0
e A es Cota Superior de X x e X : xRx
0.
Cota Inferior: x
0
e A es Cota Inferior de X x e X : x
0
Rx.

Supremo: s e A es el Supremo de X s es la menor de todas los cotas superiores x e X : xRs.
nfimo: i e A es nfimo de X i es la mayor de todas las cotas inferiores x e X : iRx.

Mximo: M e A es Mximo de X M es supremo de X y M e X.
Mnimo: m e A es Mnimo de X m es nfimo de X y m e X.

Unidad 5: lgebras de Boole

1. Definiciones y axiomas

8
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
A2) Axioma de asociatividad (x + y) + z = x + (y + z) = x + y + z
(x.y).z = x.(y.z) = x.y.z
A3) Axioma de la doble distributividad x.(y + z) = x.y + x.z
x + (y.z) = (x + y).(x + z)
A4) Axioma de existencia de elementos neutros x + 0 = x
x.1 = x
A5) Axioma de existencia de complementos x + = 1
x. = 0

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: = x
2) Leyes de Morgan: a)

= .
b) = +
3) Leyes conmutativas: a) x + y = y + x
b) x.y = y.x
4) Leyes asociativas: a) x + (y + z) = (x + y) + z
b) x.(y.z) = (x.y).z
5) Leyes distributivas: a) x + (y.z) = (x + y).(x + z)
b) x.(y + z) = xy + xz
6) Leyes de idempotencia: a) x + x = x
b) x.x = x
7) Leyes de identidad: a) x + 0 = x
b) x.1 = x
8) Leyes de inversos: a) x + x = 1
b) x.x = 0
9) Leyes de acotacin: a) x + 1= 1
b) x.0 = 0
10) Leyes de absorcin: a) x + xy = x x + xy = x + y
b) x.(x + y) = x x.(x + y) = x.y

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

2. Funciones booleanas

Funcin booleana:

. Dadas n variables, existen

funciones
booleanas posibles.







Observacin:
. -
v +
PROBLEMA
TABLA EXPRESIN de f
EXPRESIN
SIMPLIFICADA
CIRCUITO
9

0
MINITERMINOS MAXITERMINOS
m = x.y.z M = x + y + z
Forma cannica, normal, normal disyuntiva SP:
suma booleana de minitrminos.
Forma cannica, normal, normal conjuntiva PS:
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









Orden en un lgebra de Boole: sea = (K,+,,0,1,-) un lgebra de Boole. En K se define:
a b aRb a b a b a a b b a b

Teorema: . Todo lgebra de Boole est acotada.

tomo de un lgebra de Boole: x

es un tomo de B
y e B: (y s x

y = 0 y = x

)


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

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) x
0
, x
1
tomos distintos x
0
.x
1
= 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

los tomos de B. Entonces

tales que

.
Teorema:

, con

tomo de B.

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

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 1 3 2
01 4 5 7 6
11 12 13 15 14
10 8 9 11 10
f = m(1, 3, 9, 11, 14, 6)

f = (w. + z..y)
(simplificada)
Observacin:
La suma de los minitrminos de una funcin es
equivalente al producto de los maxitrminos
que no aparecen en la SP.

E m(0, 1, 3, 5, 7) = H M(2, 4, 6)
Observacin:

f(x,y,z) = E m(0, 1, 3, 5, 7)

= H M(0, 1, 3, 5, 7)
10

4. Isomorfismos entre lgebras de Boole

Isomorfismo entre dos lgebras de Boole: sean B
1
= (K
1
, +
1
, -
1
, 0
1
, 1
1
,
1
) y B
2
= (K
2
, +
2
, -
2
, 0
2
, 1
2
,
2
) dos
lgebras de Boole. Se dice que B
1
y B
2
(#B
1
= #B
2
) son isomorfos -

biyectiva tal que:

El nmero de isomorfismos posibles es (#

!

Propiedades:
1) f(0
1
) = 0
2

2) f(1
1
) = 1
2

3) f(tomo B
1
) = tomo B
2

4) x R
1
y f(x) R
2
f(y)

Unidad 6: Teora de grafos

1. Definiciones de grafos y digrafos

Grafo no orientado: terna G = (V,A,o) que representa una relacin entre un conjunto finito de Vrtices (
) y otro conjunto finito de Aristas (A), y o es la funcin de incidencia.
o: A X(V), siendo X(V) = {X: X _ V |X|= 1 o 2}.

Si o(a) = {u,v} entonces
uyvsonextremosdea
uyvsonvrticesadyacentes
aesincidenteenuyv



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.
Si (a) = (v,w) entonces
vesextremoinicialywesextremofinaldea
vywsonvrticesadyacentes
aincidepositivamenteenwynegativamenteenv



2. Aristas, vrtices, caminos y grafos

Aristas
Aristas adyacentes: aristas que tienen un solo extremo en comn.
Arista paralelas o mltiples: a

son aristas paralelas 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.
grv
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.

11
Nota: Si v e V gr(v) > 2 el grafo tiene un circuito.
Grado negativo (para digrafos): gr

ves la cantidad de veces que se usa el vrtice como extremo inicial.

Egr

v Egr

v
gr
total
(v)

= gr

v gr

v
gr
neto
(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
Para v
x
,v
y
eV, se dice que hay un camino en G de v
x
a v
y
si existe una sucesin finita no vaca de aristas
distintas que contengan a v
x
y v
y
en su primer y ltimo trmino. As: {v
x
,v
1
},{v
2
,v
3
},...,{v
n
,v
y
}

Longitud del camino: nmero de aristas de un camino.
Circuito o camino cerrado: camino en el cual v

v
n
.
Camino simple: camino que no repite vrtices.
v w v w caminodevaw caminosimpledevaw
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.
Vrtices accesibles: Son aquellos entre los que existe un camino.
Todo vrtices es accesible a s mismo.



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.
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 grv 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.





Grafo bipartito regular (es completo): se denota K
m,n
donde m, n son la cantidad de vrtices de cada
conjunto.
Grafo completo: grafo simple con mayor cantidad de aristas. Todos estn conectados con todos.
Propiedades:
Un grafo completo con n vrtices se denota K
n
.
v e V, gr(v) = #V 1.
Si n #

n
=
nn

Si G(V,A) es completo G es regular (No vale la recproca)
Dos grafos completos con mismo #V son isomorfos.

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





v1
v2
v3
v5
v4
v
1 v1
v2
v
3
v4 v5
v5
v
3
v
2
v4
G G
12
G G = Grafo completo.
Si dos grafos son complementarios, sus isomorfos tambin.
Sea gr
G
v kgr
G

v k

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 e 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 . _ A
Grafo parcial de G: Dado G = (, ), G = (, ) es grafo parcial de G si _ V . _ 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 pasa por todas las aristas exactamente una vez.
Circuito de Euler: circuito que pasa por todas las aristas exactamente una vez.

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 e V (u = w)
gr

u gr

u
gr

w gr

w
gr

v gr

vv

G tiene un Circuito de Euler v e V gr

v gr

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 y e > G es Grafo
Hamiltoniano.

Teorema de Dirac: un grafo simple con 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
e V, {a,b} e A se cumple {f(a),f(b)} e . Es decir, la aplicacin que relaciona biyectivamente pares de
vrtices de A con pares de vrtices de , de modo que los vrtices conectados siguen estndolo.
# = # y # = #
Se cumple que o(a)=o(f(a))
Si dos grafos son isomorfos, sus complementarios tambin.
G y G tienen igual cantidad de vrtices aislados.
13
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.
Dos grafos simples G
1
y G
2
son isomorfos para cierto orden de sus vrtices las M
A
son iguales.

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

5. Representacin de grafos por matrices

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

v
n
y a

a
m
. Se define la siguiente relacin:
v w vRw v w uncaminodevaw.

G b
ij

nxn

sivRw
enotrocaso




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

v
n
y a

a
m
. Se define la matriz de
adyacencia de G a una matriz booleana de tal que:

G m
ij
talquem
ij

siv
i
esadyacenteav
j
siv
i
esadyacenteav
j



















a
ij
= cantidad de aristas entre v
i
y v
j.

Simtrica.
La diagonal principal de A
2
muestra los grados de
cada vrtice.









a
ij
= cantidad de aristas con E.I en v
i
y E.F en v
j

No necesariamente simtrica.

Propiedad: en la matriz

G
k
, cada coeficiente a
ij
indica la cantidad de caminos de longitud k que hay
entre v
i
y v
j
.

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

v
n
y a

a
m
. Se define la matriz de
adyacencia de G a una matriz booleana de tal que:

I
G m
ij
talquem
ij

sia
i
esincidenteav
j
sia
i
esincidenteav
j


a3
v3 v4
a4
a1
v1 v2
v5
a6
a5
a2
v
1
v
2
v
3
v
4
v
5
v
1
0 0 1 0 0
v
2
1 1 0 0 0
v
3
0 0 0 1 0
v
4
0 1 1 0 0
v
5
0 0 0 0 0

v
1
v
2
v
3
v
4
v
5
v
1
0 1 1 0 0
v
2
1 1 0 1 0
v
3
1 0 0 2 0
v
4
0 1 2 0 0
v
5
0 0 0 0 0

gr(v
1
)

gr(v
1
)
gr(v
i
) = Ea
ij
+ 2.a
ii
(i = j)
v4
v2
a4
a6
a5
a3
a1
v1
v3
a2
14










a
ij

sia
i
esincidenteenv
i
sia
i
noesincidenteenv
i
sia
j
eslazodev
i










a
ij

siv
i
esE Idea
i
siv
i
esE Fdea
i
sia
i
eslazodev
i
sia
j
noincideenv
i



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 M
A

i = 1
while M
A
:
Nivel i = M
A
{columnas y filas que sean nulas}
M
A
= M
A
{columnas y filas que sean nulas}
i = i + 1

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



6. 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 con aristas de igual peso (> 0), 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 == 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) =
a
1
a
2
a
3
a
4
a
5
a
6
v
1
1 0 0 0 0 1
v
2
1 2 1 0 0 0
v
3
0 0 0 1 1 1
v
4
0 0 1 1 1 0
v
5
0 0 0 0 0 0

a
1
a
2
a
3
a
4
a
5
a
6
v
1
1 0 0 0 0 -1
v
2
-1 1 1 0 0 0
v
3
0 0 0 -1 -1 1
v
4
0 0 -1 1 1 0
v
5
0 0 0 0 0 0

gr(v
1
)
| |
2
| |
0
gr
+
(v
1
)=Ea
ij,
(a
ij
>0)
gr
-
(v
1
)=Ea
ij,
(a
ij
<0)

A
B C D
E
F G
C
D
F
B
G A
E
15
T = V
while (L T):
Elijo v e 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 e V / v sea adyacente al ltimo etiquetado}
x e V, v e 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 e V (u v 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.
16

Teorema: Si T = (V, A) es una rbol binario completo con i vrtices internos entonces:
Hojas i
i



2. rboles generadores
rbol generador: T=(

) es un rbol generador de G=(

)
Tesrbol

T

G

T

G



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

Teorema: Si G es un grafo no dirigido, entonces G es conexo G tiene rbol recubridor.

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 e T y un w e T
T = T + {w}
return T

Algoritmo de Kruskal

a = arista de mnimo peso
T = {a}
while (|T| < |V|-1):
b = arista de mnimo peso tal que b e T y T + {b} es acclico
T = T + {b}
return T

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 e V / gr

f (no llegan flechas)

2) Vrtice Sumidero: -! vrtice s e V / gr

s (no salen fleches)

3) Capacidad de la Arista: - una funcin

/ si a = (v
i
, v
j
) e A, C(a) = C
ij


Flujo de una red: Si G = (V, A) es una red de transporte se llama flujo de G a una funcin F: A N
0
tal que:

1) a e A: F(a) s C(a) (Si F(a) = C(a) se dice que la arista est saturada)
2) v e V / v = f , v = s se tiene que

(Flujo entrante = Flujo saliente)


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:

17
Corte de una red: Un corte (P,

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

f s

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 e P y w e

. (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.

Teorema 4: C(P,

) = val(F)

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.
e
k
capacidad residual de v
k
.

1) a e A etiqueto F(a) = 0
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.