Académique Documents
Professionnel Documents
Culture Documents
Seleccion de diapositivas de
Gonzalo Daz, Nicolas Rivera y Marcelo Arenas
23 de diciembre de 2013
Contenidos I
1 Induccion
Principios de Induccion
Induccion Estructural
2 Logica proposicional
Introduccion
Sintaxis
Semantica
Tablas de verdad
Satisfacibilidad
Formas normales
Conectivos funcionalmente completos
Consecuencia logica
3 Logica de Primer Orden
Introduccion
Sintaxis
Semantica
Gabriel Dieguez Franzani Apuntes IIC1253 - Matematicas Discretas
Contenidos II
Satisfacibilidad
Consecuencia logica
4 Teora de Conjuntos
5 Relaciones
6 Funciones y Cardinalidad
7 Teora de numeros y Criptografa
Teora de numeros
Criptografa
Protocolo RSA
8 Grafos
9 Analisis de algoritmos
Introduccion
Correccion
Complejidad
Gabriel Dieguez Franzani Apuntes IIC1253 - Matematicas Discretas
1. Induccion
n(n + 1)
1 + + n = .
2
n(n+1)+2(n+1)
1 + . . . + n + (n + 1) = 2
(n+2)(n+1)
1 + . . . + n + (n + 1) = 2
(n+1)(n+2)
1 + . . . + n + (n + 1) = 2
(n+1)((n+1)+1)
1 + . . . + n + (n + 1) = 2
m S, x S(m x).
Definicion Inductiva
Para definir inductivamente un conjunto necesitamos:
1 Establecer que el conjunto es el menor que cumple las reglas.
2 Un conjunto (no necesariamente finito) de elementos base, que se
supondra que inicialmente pertenecen al conjunto que se quiere
definir.
3 Un conjunto finito de reglas de construccion de nuevos elementos del
conjunto a partir de elementos que ya estan en el.
Gabriel Dieguez Franzani Apuntes IIC1253 - Matematicas Discretas
Induccion Estructural: un ejemplo
Ejemplo
Queremos definir el conjunto EN de todas las expresiones aritmeticas sobre
los numeros naturales que se pueden construir usando los smbolos
+, , (, ). Por ejemplo,
(5 + 3 4) 10
7
1+2+3+4
son expresiones en EN .
Definicion de EN
EN es el menor conjunto tal que:
1 Si k N, entonces k EN .
2 Si E1 , E2 EN , entonces E1 + E2 EN .
3 Si E1 , E2 EN , entonces E1 E2 EN .
4 Si E EN , entonces (E) EN .
Algunas aplicaciones:
Ejemplo
P = {socrates es hombre, socrates es mortal }.
Ejemplo
Definicion
L(P) es el menor conjunto que satisface las siguientes reglas:
1. P L(P).
2. Si L(P), entonces () L(P).
3. Si , L(P), entonces ( ) L(P), ( ) L(P),
( ) L(P) y ( ) L(P).
Ejercicio
Verifique que ((p) (q r )) es una formula.
Ejemplo
(socrates es hombre) = 1 y (socrates es mortal ) = 0.
Definicion
Dado L(P),
- Si = p, entonces () := (p).
- Si = (), entonces
!
1 si () = 0
() =
0 si () = 1
- Si = ( ), entonces
!
1 si () = 1 o () = 1
() =
0 si () = 0 y () = 0
- Si = ( ), entonces
!
1 si () = 1 y () = 1
() =
0 si () = 0 o () = 0
- Si = ( ), entonces
!
1 si () = 0 o () = 1
() =
0 si () = 1 y () = 0
- Si = ( ), entonces
!
1 si () = ()
() =
0 si () &= ()
Entonces:
p q p pq pq pq pq
0 0 1 0 0 1 1
0 1 1 1 0 1 0
1 0 0 1 0 0 0
1 1 0 1 1 1 1
Ejercicio
Suponga que P contiene n variables. Cuantas tablas de verdad distintas
existen para L(P)?
p q r si p entonces q si no r
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1
Solucion: (p q) ((p) r ).
p q r si p entonces q si no r (p q) ((p) r )
0 0 0 0 0
0 0 1 1 1
0 1 0 0 0
0 1 1 1 1
1 0 0 0 0
1 0 1 0 0
1 1 0 1 1
1 1 1 1 1
Definicion
Una formula es satisfacible si existe una valuacion tal que () = 1.
Ejemplo
Las siguientes formulas son satisfacibles:
(p q) r
p p
Definicion
Una formula es una tautologa si para toda valuacion se tiene que
() = 1.
Ejemplo
Las siguientes formulas son tautologas:
p p
pp
Definicion
Dos formulas , son equivalentes, denotado como , si para toda
valuacion se tiene que () = ().
Ejercicio
1. Demuestre que las definiciones anteriores coinciden.
2. Defina la nocion de equivalencia usando tablas de verdad.
! Que pasa si las formulas no usan las mismas variables? Puede
ocurrir esto?
Leyes de De Morgan:
( ) () ()
( ) () ()
Leyes de conmutatividad:
Leyes de asociatividad:
( ) ( )
( ) ( )
Leyes de distributividad:
( ) ( ) ( )
( ) ( ) ( )
Ley de implicancia:
()
Ejemplo
(p q) (p r s)
Teorema
Toda formula es equivalente a una formula en DNF.
Ejemplo
(p q) (p r s) (r s)
Teorema
Toda formula es equivalente a una formula en CNF.
Ejercicio
Haga dos demostraciones del teorema.
! En la primera solo utilice las leyes de equivalencia. Que leyes
necesita utilizar?
! En la segunda utilice el resultado de que toda formula es
equivalente a una formula en DNF. Que leyes de equivalencia
necesita utilizar en este caso?
Definicion
Un conjunto de conectivos es funcionalmente completo si es
posible definir cada formula usando solo estos conectivos.
Ejercicio
1. Demuestre que {, } es funcionalmente completo.
2. Demuestre que {} no es funcionalmente completo.
3. Es {, , , } funcionalmente completo?
Definicion
es consecuencia logica de si para cada valuacion tal que
() = 1, se tiene que () = 1.
Notacion: |=
Modus ponens:
{p, p q} |= q
{p q r , p s, q s, r s} |= s
Ejercicio
1. Demuestre que si |= , entonces |= y |= .
2. Es cierto que si |= , entonces |= o |= ?
Notacion
Un vocabulario L es la union de tres conjuntos:
constantes : {c1 , . . . , c! , . . .},
funciones : {f1 , . . . , fm , . . .},
relaciones : {R1 , . . . , Rn , . . .}.
Notacion
La aridad de una funcion f (relacion R) es el numero de
argumentos de f (de R).
! Cada funcion tiene una aridad mayor a 0.
! Cada relacion tiene una aridad mayor o igual a 0.
Ejemplo
Para los numeros naturales L es la union de
constantes : {0, 1},
funciones : {s, +, },
relaciones : {<}.
Ejemplo
Sea L = {0, 1, s, +, , <}.
! 1 = s(0).
Para la igualdad usamos notacion infija: No escribimos
= (1, s(0)).
! x x < s(x).
Usamos notacion infija para funciones y relaciones comunes.
! xy x = y + y .
! xy (s(x) = s(y ) x = y ).
Definicion
El conjunto de L-terminos es el menor conjunto que satisface las
siguientes condiciones:
! Cada constante c en L es un L-termino.
! Cada variable x es un L-termino.
! Si t1 , . . ., tn son L-terminos y f es una funcion n-aria en L,
entonces f (t1 , . . . , tn ) es un L-termino.
Ejemplos
0, s(s(s(1))) y s(0) s(x)
Definicion
El conjunto de L-formulas es el menor conjunto que satisface las
siguientes condiciones:
! Si t1 y t2 son L-terminos, entonces t1 = t2 es una L-formula.
! Si t1 , . . ., tn son L-terminos y R es una relacion n-aria en L,
entonces R(t1 , . . . , tn ) es una L-formula.
! Si y son L-formulas, entonces (), ( ), ( ),
( ) y ( ) son L-formulas.
! Si es una L-formula y x es una variable, entonces (x ) y
(x ) son L-formulas.
Notacion
t1 = t2 y R(t1 , . . . , tn ) son llamadas formulas atomicas.
Notacion
Omitimos parentesis si no se produce una ambiguedad.
Definicion
Una L-estructura A contiene:
! Un dominio A no vaco.
! Para cada constante c L, una interpretacion c A A de c.
! Para cada funcion m-aria f L, una interpretacion
f A : Am A de f .
! Para cada relacion n-aria R L, una interpretacion R A An
de R.
Notacion
A = *A, c A , . . . , f A , . . . , R A , . . .+
Ejemplo
Los numeros naturales son representados por la estructura:
N = *N, 0N , 1N , s N , +N , N , <N +.
R = *R, 0R , 1R , s R , +R , R , <R +.
Ejemplo
V (f (g (x, y ), s(0))) = V (g (x, y )) V (s(0))
= V (x) V (y ) V (0)
= {x} {y }
= {x, y }
Ejemplo
V ((x P(x)) (y Q(s(y )))) = V (x P(x)) V (y Q(s(y )))
= {x} V (P(x)) {y } V (Q(s(y )))
= {x} V (x) {y } V (s(y ))
= {x} {x} {y } V (y )
= {x, y }
Definicion
El conjunto de variables libres de una L-formula se define como:
! Si es una formula atomica, entonces VL() = V ().
! Si = (), entonces VL() = VL().
! Si = ( " ) (" {, , , }), entonces
VL() = VL() VL().
! Si = (x ) o = (x ), entonces VL() = VL() \ {x}.
Ejemplo
VL(P(x) y Q(x, y )) = {x}
VL(P(z) z R(z)) = {z}
Notacion
! Si es una formula, entonces usamos (x1 , . . . , xk ) para
indicar que VL() = {x1 , . . . , xk }.
! Decimos que es una oracion si VL() = .
Ejemplo
Si (x) = 7 es una asignacion para N, entonces
Definicion
Decimos que (A, ) satisface una L-formula , denotado como
(A, ) |= , si y solo si:
! = t1 = t2 y (t1 ) = (t2 )
! = R(t1 , . . . , tn ) y ((t1 ), . . . , (tn )) R A
! = () y no es cierto que (A, ) |=
! = ( ), y (A, ) |= o (A, ) |=
! = ( ), (A, ) |= y (A, ) |=
! = ( ), y (A, ) .|= o (A, ) |=
! = ( ), y ambos (A, ) |= , (A, ) |= , o ambos
(A, ) .|= , (A, ) .|=
! = (x ) y existe a A tal que (A, [x/a]) |= , donde
"
a y =x
[x/a](y ) =
(y ) y .= x
Ejercicio
Construya formulas validas.
Definicion
Dos L-formulas , son equivalentes, denotado como , si para
toda L-estructura A y todo asignacion para A, se tiene que:
A |= si y solo si A |=
x (x )
x (x )
x ( ) (x ) (x )
x ( ) (x ) (x )
Definicion
Una L-oracion es consecuencia logica de un conjunto de L-oraciones
si para cada L-estructura A:
si A |= , entonces A |=
Notacion: |=
Ejemplo
Definimos el siguiente conjunto por extension:
A = {1, 2, 3}.
Definicion
Dados dos conjuntos A y B, A es subconjunto de B (A B) si y
solo si:
x(x A x B).
Ejercicio
Demuestre que A B, dado lo siguiente:
A = {m Z | r Z(m = 6r + 12)} ,
B = {n Z | s Z(n = 3s)} ,
A = B (A B) (A B).
Ejercicio
Demuestre que los siguientes conjuntos son iguales:
A = {m Z | a Z(m = 2a)} ,
B = {n Z | b Z(n = 2b 2)} ,
= {} .
Ejercicio
I Dado un conjunto A, determine si A.
I Dado un conjunto A, determine si A A.
Definicion
Dados dos conjuntos A y B, definimos los siguientes conjuntos:
I El conjunto union:
A B = {x | x A x B} ,
I El conjunto interseccion:
A B = {x | x A x B} ,
I El conjunto diferencia:
A B = A\B = {x | x A x 6 B} .
Definicion
Dados dos conjuntos A y B, definimos el siguiente conjunto:
I El conjunto potencia:
P(A) = {x | x A} .
Ejercicio
Dado A = {1, {2, 3} , 4}, escriba P(A).
Definicion
Dado un universo U y un conjunto A (entonces A U), definimos
el conjunto complemento de A:
Ac = {x U | x 6 A} ,
B A AB
AB Ac
Teorema
Dado un universo U, tenemos la ley del doble complemento:
(Ac )c = A.
Teorema
Las leyes de Morgan:
(A B)c = Ac B c ,
(A B)c = Ac B c .
A B = B A,
A B = B A.
Teorema
Las leyes de asociatividad:
A (B C ) = (A B) C ,
A (B C ) = (A B) C .
A (B C ) = (A B) (A C ),
A (B C ) = (A B) (A C ).
Teorema
Las leyes de idempotencia:
A A = A,
A A = A.
A = A,
A U = A.
Teorema
Las leyes de elemento inverso:
A Ac = U,
A Ac = .
A U = U,
A = .
Teorema
Las leyes de absorcion:
A (A B) = A,
A (A B) = A.
Definicion
Los conjuntos A1 , . . . , An se dicen mutuamente disjuntos ssi:
Ai Aj = i 6= j.
Definicion
Sea P = {A1 , . . . , An } un conjunto de conjuntos no-vacos y sea A
un conjunto cualquiera. P es una particion A ssi:
I A1 , . . . , An son mutuamente disjuntos,
S
I A = ni=1 Ai .
Definicion
Un par ordenado (a, b) es un conjunto:
Teorema
Dos pares ordenados p = (a, b) y q = (c, d) son iguales ssi
(a = c) (b = d)
Definicion
Una n-tupla se define de la siguiente forma:
A B = {(a, b) | (a A) (b B)} .
Definicion
Dados los conjuntos A1 , . . . , An , se define el producto cartesiano
n-dimensional:
Definicion
Una relacion binaria R sobre los conjuntos A y B es un
subconjunto de A B.
Ejemplo
Considerando N y E del ejemplo anterior, si para cada alumno de
este curso definimos el par (nombre, edad), el conjunto de estos
pares ordenados es una relacion sobre N y E . Llamemos
ALUMNOS a esta relacion.
Ejemplo
Podemos redefinir la operacion + como una relacion 3-aria llamada
R+ sobre N, N, N, de la siguiente forma. Sean a, b, c N,
(a, b, c) R+ a + b = c +(a, b) = c.
Ejemplo
Si A = N, las siguientes son relaciones binarias sobre A:
R1 = {(i, j) 2 N N | i = j}
R2 = {(i, j) 2 N N | i < j}
IIC1253 Relaciones 2 / 32
Propiedades de las relaciones
Definicion
Una relacion R sobre A es:
I Refleja: Para cada a 2 A, se tiene R(a, a)
I Irrefleja: Para cada a 2 A, no se tiene R(a, a)
Ejercicio
De ejemplos de relaciones reflejas e irreflejas sobre N.
IIC1253 Relaciones 3 / 32
Propiedades de las relaciones
Definicion
Una relacion R sobre A es:
I Simetrica: Para cada a, b 2 A, si R(a, b) entonces R(b, a)
I Asimetrica: Para cada a, b 2 A, si R(a, b) entonces no es
cierto R(b, a)
I Antisimetrica: Para cada a, b 2 A, si R(a, b) y R(b, a),
entonces a = b
Ejercicio
De ejemplos de relaciones simetricas, asimetricas y antisimetricas
sobre N.
IIC1253 Relaciones 4 / 32
Propiedades de las relaciones
Definicion
Una relacion R sobre A es:
I Transitiva: Para cada a, b, c 2 A, si R(a, b) y R(b, c),
entonces R(a, c)
I Conexa: Para cada a, b 2 A, se tiene R(a, b) o R(b, a)
Ejercicio
De ejemplos de relaciones transitivas y conexas sobre N.
IIC1253 Relaciones 5 / 32
Relaciones de equivalencia
Definicion
Una relacion R sobre A es una relacion de equivalencia si R es
refleja, simetrica y transitiva.
Ejemplo
Sea A = N N y una relacion definida de la siguiente forma:
(a, b) (c, d) , a + d = c + b
IIC1253 Relaciones 7 / 32
Clases de equivalencia
Definicion
Dada una relacion de equivalencia R sobre A y un elemento b 2 A,
la clase de equivalencia de b bajo R se define como:
Ejercicio
Suponga que es definida como en la transparencia anterior. Para
cada (a, b) 2 A, que representa [(a, b)] ?
IIC1253 Relaciones 8 / 32
Ordenes parciales y totales
Definicion
R es un orden parcial sobre A si R es refleja, antisimetrica y transitiva. Si
R es ademas conexa, entonces en un orden total sobre A.
Ejercicio
De ejemplos de ordenes parciales y totales.
IIC1253 Relaciones 17 / 32
6. Funciones y Cardinalidad
Recordando
Definicion
Una relacion f A B es llamada una funcion de A en B
(denotada f : A B) si, dado x A existe un unico y B tal
que (x, y ) f . (Denotamos por f (x) al unico y B tal que
(x, y ) f ).
Mas recuerdos
Una funcion f : A B es
Inyectiva (1-1) si, dados x, y A,
f (x) = f (y ) x = y .
Definicion
Dos conjuntos A y B tienen igual cardinalidad (o bien son
equinumerosos) si y solo si existe una biyeccion entre ellos,
i.e. existe una funcion f : A B que es uno-a-uno y sobre.
Teorema
La relacion es una relacion de equivalencia.
Definicion
Un conjunto A que no es finito se dice infinito.
Ejemplo
El conjunto P de numeros naturales pares es numerable. Considere
la funcion f : N P:
f (n) = 2n
Se debe demostrar que f es una biyeccion.
Definicion
Un conjunto A es menos numeroso que un conjunto B si:
I existe una funcion inyectiva f : A ! B; y
I no existe una biyeccion g : A ! B
Ejemplo
En las transparencias anteriores demostramos que N es menos
numeroso que R.
IIC1253 Cardinalidad 17 / 25
Teorema de Cantor
Sea A un conjunto cualquiera. No existe una biyeccion entre A y
P(A).
Ejercicio
Demuestre el Teorema de Cantor.
Definicion
Dados dos numeros naturales, d, n N, d | n (d divide a n) si y
solo si:
k N(n = dk).
Teorema
Dado cualquier entero n y entero positivo d, existen enteros unicos
q y r tales que
n = dq + r 0 r < d.
A q se le dice el cuociente y a r se le dice el resto.
Ejemplo
5 % 3 = 2 ya que 5 = 3k + 2 (con k = 1).
Definicion
Sean a, b, n Z con n > 1. a mod n b (a y b soncongruentes
modulo n) si y solo si:
a mod n = b mod n.
Definicion
En la definicion anterior se habla de mod n como un operador.
Ahora definimos un predicado asociado:
Ejemplo
Sea n = 7. Se cumple, entonces:
[a]n = [a]mod n ,
es decir,
[a]n = {m Z | m mod n a} .
Definicion
Un entero d es el maximo comun divisor de a y b
(d = mcd(a, b)) ssi:
I d es divisor de a y de b (a mod d = b mod d = 0).
I c Z, si c es divisor de a y de b, entonces c d.
Teorema
a, b Z {0} d = mcd(a, b) s, t Z(d = as + bt) .
Lema
Dados a, b Z distintos de cero, y si q y r son enteros que
cumplen a = bq + r , entonces:
mcd(a, b) = mcd(b, r ).
Ejercicio
Estudiar la desmostracion (Lema 4.8.2, Epp).
Definicion
b es inverso de a en modulo n si a b 1 mod n
Teorema
a tiene inverso en modulo n si y solo si MCD(a, n) = 1
Ejemplo
Dado el texto holamundo, interpretado como 9 mensajes
consecutivos, tendremos:
M[0..9] = krodpxqgr.
Notacion: Aunque un mensaje consista en muchos mensajes
consecutivos, se denotara el conjunto como un solo mensaje: M.
Gonzalo Daz Matematicas Discretas 2 / 17
En criptografa se habla de un agente A que desea comuncarse con
un agente B. Usualmente a A se le conoce tambien como Alice y a
B como Bob.
Ejemplo
Alice desea enviar el mensaje M = holamundo a Bob. Para eso,
Alice selecciona el numero d = 3, tal que:
C = (M + d) mod 26.
Ejemplo (continuacion)
Bob recibe el texto cifrado C = krodpxqgr.
C = (M + d) mod 26.
M = (C d) mod 26.
Ejercicio
Demuestre que para cualquier mensaje cifrado
C = (M + d) mod 26, el mesaje recuperado
M 0 = (C d) mod 26 coincide con el mensaje original: M 0 = M.
Algoritmo:
1. Adivine dos numeros primos distintos P y Q
2. Sean N = P Q y (N) = (P 1) (Q 1)
3. Sean e y d dos numeros tales que (e d) mod (N) = 1
4. Entonces:
E (M) = M e mod N
D(M) = M d mod N
Ejemplo
Sean P = 7 y Q = 11
! Se tiene que N = 77 y (N) = 60
Sean e = 13 y d = 37
! Se tiene que (13 37) mod 60 = 1
Para M = 5:
E (5) = 513 mod 77 = 26
D(E (5)) = 2637 mod 77 = 5
Teorema (Rivest-Shamir-Adleman)
Para cada M {0, . . . , N 1}, se tiene que D(E (M)) = M.
Lema
M k(N)+1 M mod P y M k(N)+1 M mod Q
Por lo tanto: P = Q
M ! = EB (M)
A B
EA , DA EB , DB
EA , EB
A B
CertificadoB
EA , DA EB , DB
A B
M ! = EB (M), F = DA (M ! )
EA , DA EB , DB
B recibe M ! y F :
! Verificacion: Es cierto que M ! = EA (M ! )?
! Mensaje a leer: DB (M ! )
N(x) = {y V : x y },
Demostracion: Pizarra
Nicolas Rivera Matematicas Discretas
Consecuencias del Lema
Definicion
Dado un grafo G = (V , E ), un conjunto de vertices C V es un
conjunto independiente de G ssi u, v C ((u, v ) 6 E ).
Definicion
Dado un grafo G = (V , E ), un camino simple es un camino
c = (u1 , . . . , un ) para el cual se cumple que:
i, j {1, . . . , n} i 6= j ui 6= uj .
Definicion
Dado un grafo G = (V , E ) y dos nodos u, v V , v es alcanzable
desde u si y solo si existe un camino en G que comienza en u y
termina en v .
Definicion
un grafo G = (V , E ) se dice n-colorable si existe una n-coloracion
de G .
Mas definiciones
Grafo completo: un grafo en que todos los nodos estan conectados
con todos los demas; equivalentemente, cada par de nodos
esta conectado por una arista; o tambien, cada nodo tiene grado
n 1.
Grafo bipartito: un grafo G = (V, E) cuyos nodos pueden ser
divididos en dos conjuntos disjuntos U y V tales que toda arista en E
conecta a un nodo en U con uno en V ; i.e., U y V son conjuntos
independientes. Un grafo bipartito no tiene ciclos de largo impar, y es
2-coloreable (mas aun, un grafo que no es bipartito no es
2-coloreable).
lema
Todo arbol T con mas de un arista tiene al menos dos hojas.
Definiciones
El largo del unico camino entre r y un vertice x se llama profundidad
de x.
El maximo de las profundidades de los vertices de T es la altura del
arbol.
El conjunto de vertices que aparecen en el unico camino de r a x se
llaman ancestros de x.
El padre de x es su ancestro de mayor profundidad. Analogamente, x
es hijo de su padre.
Teorema
Un arbol binario de altura h tiene a lo mas 2h hojas.
Un arbol binario completo de altura h tiene exactamente 2h hojas.
Ejemplo
Para un programa que multiplica dos numeros, podriamos tener:
I Pre: m, n N.
I Post: p = mn.
while( G )
cuerpo del loop
end while
Definicion
Para un loop, se define la invariante del loop I (n) como un
predicado que es verdadero en cada paso de la iteracion.
Definicion
Para un loop, se define la condicion del loop G como un predicado
que debe ser verdadero para ejecutar la siguiente iteracion.
i 0, p 0
while (i 6= m)
p p+n
i i +1
end while
p p + n = kn + n = (k + 1)n,
i i + 1 = k + 1.
Definicion
Dado un algoritmo A se define la complejidad de A como una
funcion TA : N N. La funcion TA (n) recibe el tamano n del
input y retorna la cantidad de pasos que debe realizar A para
terminar, en el peor caso.
Nota: Usualmente no es importante la forma especifica de la
funcion TA , sino que el conjunto asintotico en el que esta.
Sea f : N ! R+
0
Definicion
O(f ) = {g : N ! R+ +
0 | (9c 2 R )(9n0 2 N)
(8n n0 ) (g (n) c f (n))}
Ejercicio
Demuestre que 3n2 + 17n + 22 2 O(n2 )
Definicion
(f ) = {g : N ! R+ +
0 | (9c 2 R )(9n0 2 N)
(8n n0 ) (c f (n) g (n))}
(f ) = O(f ) \ (f )
Ejercicios
1. Demuestre que 3n2 + 17n + 22 2 (n2 )
obtenemos:
(
1 k=0
T (2k ) =
T (2k 1) +1 k>0
T (2k ) = T (2k 1
)+1
k 2
= (T (2 ) + 1) + 1
k 2
= T (2 )+2
k 3
= (T (2 ) + 1) + 2
k 3
= T (2 )+3
=
Considerando i = k obtenemos:
T (2k ) = T (1) + k
= 1+k
Definicion
O(f | P) = {g : N ! R+ +
0 | (9c 2 R )(9n0 2 N)
(8n n0 ) (n 2 P ! g (n) c f (n))}
T 2 (log2 n | POTENCIA2 )
T (2k ) = 2 T (2k 1
) + (2k 1)
k 2 k 1
= 2 (2 T (2 ) + (2 1)) + (2k 1)
2 k 2 k k
= 2 T (2 )+2 2+2 1
= 22 T (2k 2
) + 2 2k (1 + 2)
2 k 3 k 2
= 2 (2 T (2 ) + (2 1)) + 2 2k (1 + 2)
= 23 T (2k 3
) + 2k 22 + 2 2k (1 + 2)
= 23 T (2k 3
) + 3 2k (1 + 2 + 22 )
=
= 2i T (2k i ) + i 2k 2i + 1
Considerando i = k obtenemos:
T (2k ) = 2k T (1) + k 2k 2k + 1
= k 2k 2k + 1
Seleccion de diapositivas de
Gonzalo Daz, Nicolas Rivera y Marcelo Arenas
23 de diciembre de 2013