Anda di halaman 1dari 23

ANLISIS DE

ALGORITMOS
Curso inter-semestral
Presenta: Omar
Yeladaqui Crigo

ANTECEDENTES MATEMTICOS
CONJUNTOS, TUPLAS Y RELACIONES
Conjunto: Coleccin de elementos distintos
que queremos tratar como un solo objeto. Por
lo regular los objetos son del mismo tipo y
tienen en comn algunas otras propiedades.
La notacin e S se lee el elemento e es
un miembro del conjunto S
Un conjunto dado se define enumerando o
describiendo sus elementos entre un par de
llaves.

ANTECEDENTES MATEMTICOS
CONJUNTOS, TUPLAS Y RELACIONES
He aqu algunos ejemplos de esta notacin:
S1 {a, b, c}, S2 {x|x es una potencia entera de 2}, S3
{1, . . . , n}.

La expresin para S2 se lee el conjunto de todos


los elementos x tales que x es una potencia entera
de 2. El smbolo | se lee tales que en este
contexto. A veces se usa un signo de dos puntos
(:) en vez de |. Se pueden usar puntos
suspensivos . . . cuando es obvio cules son los
elementos implcitos.

ANTECEDENTES MATEMTICOS
CONJUNTOS, TUPLAS Y RELACIONES
Si un conjunto S1 tambin estn en otro
conjunto S2, decimos que S1 es un
subconjunto de S2 y que S2 es un
superconjunto de S1. Las notaciones son S1
S2 y S2 S1.
Para denotar que S1 es un subconjunto de S2 y
no es igual a S2, escribimos S1 S2 o S2 S1.
El conjunto vaco, denotado por , no tiene
elementos, as que es un subconjunto de todos
los conjuntos.

ANTECEDENTES MATEMTICOS
CONJUNTOS, TUPLAS Y RELACIONES
Un conjunto no tiene un orden inherente.
Podramos haber definido a S1 como {b, c, a} y S3
podra haberse definido como {i | 1 <= i <= n} si
se entiende que i es un entero.
Un grupo de elementos que est en un orden
especfico se denomina sucesin. Adems del
orden, otra diferencia importante entre los
conjuntos y las sucesiones es que las sucesiones
pueden tener elementos repetidos. La notacin:
(a, b, c), (b, c, a) y (a, b, c, a) son sucesiones
distintas.

ANTECEDENTES MATEMTICOS
CONJUNTOS, TUPLAS Y RELACIONES
Un conjunto S es finito si hay un entero n tal
que los elementos de S se puedan colocar en
una correspondencia uno a uno con {1, . . . ,
n}; en este caso escribimos |S|=n. En general,
|S| denota el nmero de elementos que hay
en el conjunto S, y tambin se denomina
cardinalidad de S.

ANTECEDENTES MATEMTICOS
CONJUNTOS, TUPLAS Y RELACIONES
Una sucesin es finita si existe un entero n tal
que los elementos de la sucesin se puedan
colocar en una correspondencia uno a uno con
(1, . . . , n).
Si todos los elementos de una sucesin finita
son distintos, decimos que esa sucesin es una
permutacin del conjunto finito que consta de
los mismos elementos. Un conjunto de n
elementos tiene n! permutaciones distintas

ANTECEDENTES MATEMTICOS
CONJUNTOS, TUPLAS Y RELACIONES
Cuntos subconjuntos distintos tiene un
conjunto finito de n elementos? Tenga
presente que el conjunto vaco y el conjunto
total son subconjuntos. Para construir
cualquier subconjunto tenemos n decisiones
binarias: incluir o excluir cada elemento del
conjunto dado. Hay 2n formas distintas
de tomar esas decisiones, as que hay 2n
subconjuntos.

ANTECEDENTES MATEMTICOS
CONJUNTOS, TUPLAS Y RELACIONES
Cuntos
subconjuntos
distintos
con
cardinalidad k tiene un conjunto finito de n
elementos?
Existe una notacin especial para esta
cantidad: (nk), que se lee n selecciones de k,
o de forma ms explcita, nmero de
combinaciones de n cosas tomadas k a la
vez. Tambin se usa la notacin C(n, k), y
estas cantidades se denominan coeficientes
binomiales.

ANTECEDENTES MATEMTICOS
TUPLAS

Y PRODUCTO DE CRUZ
Tupla: Sucesin finita cuyos elementos a
menudo no tienen el mismo tipo. Las tuplas
cortas tienen nombres especiales: par, triple,
cudruple, quntuple, etc. En el contexto de
tupla,
se
sobreentiende
que
estn
ordenadas; una k-tupla es una tupla de k
elementos.
P.E. (x, y), si el plano es geomtrico, tanto x
como y son longitud.

ANTECEDENTES MATEMTICOS
TUPLAS Y PRODUCTO DE CRUZ
El producto cruz de dos conjuntos, digamos S
y T, es el conjunto de pares que se pueden
formar escogiendo un elemento de S como
primer elemento de la tupla y un elemento de
T como segundo.
En notacin matemtica, tenemos
S x T {(x, y) | x S, y T}

ANTECEDENTES MATEMTICOS
RELACIONES Y FUNCIONES
Relacin: Es algn subconjunto de un
producto cruz (posiblemente iterado). Dicho
subconjunto podra ser finito o infinito, y
puede estar vaco o ser todo el producto cruz.
El caso ms importante es una relacin
binaria, que no es sino algn subconjunto de
un producto cruz simple. El menor que para
los reales es un ejemplo. Si R denota el
conjunto de todos los reales, la relacin
menor que se puede definir formalmente
como {(x, y)|x R, y R, x < y}.

ANTECEDENTES MATEMTICOS
RELACIONES Y FUNCIONES
Definicin 1.2 Propiedades importantes de
las relaciones
Sea R S x S:
Reflexivo: para toda x S, (x, x) R.
Simtrico: siempre que (x, y) R, (y, x)
tambin est en R.
Antisimtrico: siempre que (x, y) R, (y, x)
no est en R.
Transitivo: siempre que (x, y) R y (y, z)
R, entonces (x, z) R.

ANTECEDENTES MATEMTICOS
RELACIONES Y FUNCIONES
Una relacin que es reflexiva, simtrica y
transitiva
se
denomina
relacin
de
equivalencia, a menudo denotada con:

ANTECEDENTES MATEMTICOS
HERRAMIENTAS DE ALGEBRA Y CLCULO
Funciones piso y techo
Para cualquier nmero real x, x (lase
piso de x) es el entero ms grande que es
menor o igual que x. x (lase techo de
x) es el entero ms pequeo que es mayor o
igual que x. Por ejemplo, 2.9 2 y 6.1
7.

ANTECEDENTES MATEMTICOS
HERRAMIENTAS DE ALGEBRA Y CLCULO
Logaritmos
La funcin logaritmo, por lo regular base 2,
son muy comunes en las ciencias de la
computacin.
Definicin 1.3 Funcin logaritmo y base de
logaritmo
Para b > 1 y x > 0, logb x (lase logaritmo
base b de x) es aquel nmero real L tal que
bL = x; es decir, logb x es la potencia a la que
debemos elevar b para obtener x.

ANTECEDENTES MATEMTICOS
HERRAMIENTAS DE ALGEBRA Y CLCULO
Video.

ANTECEDENTES MATEMTICOS
HERRAMIENTAS DE ALGEBRA Y CLCULO
Permutaciones: es la variacin del orden o de
la disposicin de loselementos de un conjunto.
Por ejemplo, en el conjunto {1,2,3}, cada
ordenacin posible de sus elementos, sin
repetirlos, es una permutacin. Existe un total
de 6 permutaciones para estos elementos:
"1,2,3", "1,3,2", "2,1,3", "2,3,1", "3,1,2" y
"3,2,1".
n!

ANTECEDENTES MATEMTICOS
HERRAMIENTAS DE ALGEBRA Y CLCULO
Probabilidad Supngase que, en una
situacin dada, un suceso, o experimento,
puede tener uno cualquiera de k desenlaces,
s1, s2, . . . , sk. Estos desenlaces se
denominan sucesos elementales. El conjunto
de todos los sucesos elementales se llama
universo y se denota con U. A cada desenlace
si asociamos un nmero real, Pr(si), llamado
probabilidad de si, tal que:

ANTECEDENTES MATEMTICOS
HERRAMIENTAS DE ALGEBRA Y CLCULO

Si se lanza un dado de seis caras, hay seis posibles


desenlaces: para 1 <= i <= 6, si = el dado cae
con la cara nmero i hacia arriba, y Pr(si) = 1/6.
En general, si hay k posibles desenlaces y todos se
consideran igualmente verosmiles, asignamos
Pr(si) 1/k para cada i.

ANTECEDENTES MATEMTICOS
HERRAMIENTAS DE ALGEBRA Y CLCULO
En general, si hay k posibles desenlaces y todos
se
consideran
igualmente
verosmiles,
asignamos Pr(si) = 1/k para cada i. Con
frecuencia no hay razn para suponer que
todos los desenlaces tienen la misma
probabilidad; tal supuesto suele usarse en
ejemplos o en casos en los que no hay datos
que apoyen un supuesto mejor.
Vase PROBABILIDAD CONDICIONAL.

ANTECEDENTES MATEMTICOS
HERRAMIENTAS DE ALGEBRA Y CLCULO
Sumatorias y series
Hay varias sumatorias que se presentan con
frecuencia en el anlisis de algoritmos.
Series aritmticas: La sumatoria de enteros
consecutivos:

ANTECEDENTES MATEMTICOS
HERRAMIENTAS DE ALGEBRA Y CLCULO
Sumatorias y series
Series polinmicas: Primero, consideramos
la suma de cuadrados.

El caso general es

Anda mungkin juga menyukai