Professional Documents
Culture Documents
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
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
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.
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
pq
p
q
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.
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
Complementacin doble
Leyes del complemento
Leyes de De Morgan
2. Induccin matemtica
I)
II)
es
solucin de (*)y
Teorema 4: si
Teorema 5: si
es solucin de (*).
es solucin
de (*) y
. 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.
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)
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
Conjunto cociente:
Particin:
1)
2)
3)
4)
, 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
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.
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
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.
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
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
Circuitos lgicos:
tales que
tomo de B.
n
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
gr v
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
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
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
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:
V (u w)
V gr v
gr v
gr v
gr u
gr w
gr v
gr u
gr w
v
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.
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)
vn y
am . Se define la
13
si vi
si vi es adyacente a vj
es adyacente 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
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: Si T = (V, A) es una rbol m-ario completo con i vrtices internos entonces:
2. rboles generadores
T es rbol
rbol generador: 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
A: F(a) C(a)
V (v f , v s) se tiene que
16
Corte de una red: Un corte (P, ) en una red de transporte G = (V, A) es un conjunto P tal que:
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
17