MATEMTICA DISCRETA

albert@catworld.net

1 Teora Elemental de Nmeros

1-1 Algoritmos de Divisin y Euclides.
A partir de la suma y el producto (de enteros) se definen:
Diferencia a-b a otro elemento tal que a=b+d
si a#0 y b=aq (para algn q), a divide a b (a|b)
b>a si existe un n tal que b=a+n (ba si b>a b=a)
Recordar que (Z,+,) es un anillo conmutativo (sin divisores del 0)
Propiedades:
1) 0a = 0
2) a(-b) = -ab
3) Si a#0 y ab = ac, entonces b=c
4) Si a#b y a|b, entonces a|bx para cada entero x
5) Sean a#0 y b#0, si a|b y b|c entonces a|c
6) Sea a#0. Si a|b y a|c, se verifica que a|(bx+cy) para cualquier
par de enteros x e y.
7) Sean a y b positivos. Si a|b entonces ab.
8) Sean a#0 y b#0. Si a|b y b|a, se tiene que a=b a=-b
(demostraciones a partir de las prop. asoc, distrib, etc.)
Valor absoluto: |n| = n si n 0, |n| = -n si n<0.

Teorema (Algoritmo de la divisin):

Dados dos enteros a y b con b#0 entonces existen q y r tales que
a = bq+r, donde 0 r < |b|. Adems q y r son nicos.
Operador mdulo MOD: a MOD b = r
siendo a y b n enteros con b#0, y a = bq+r, donde 0 r < |b|
Si a MOD m = c MOD m y b MOD m = d MOD m entonces:
1) (a+b) MOD m = (c+d) MOD m
2) (ab) MOD m = (cd) MOD m
m.c.d.(a, b) (d=m.c.d.(a,b) si d|a y d|b). Si a=b=0, m.c.d.(0,0)=0
sea a = b + qr, m.c.d.(a,b) = m.c.d.(b,r)

Algoritmo de Euclides:
Ir haciendo divisiones hasta obtener un resto=0, entonces el resto
anterior ser el m.c.d.:
Si rn=0, entonces rn-1 = m.c.d.(rn-2, rn-1) = m.c.d.(rn-3, rn-2) = ... ... =
m.c.d.(b, r1) = m.c.d.(a,b)
Teorema (consecuencia del alg.de Euclides): Si k>0, entonces
m.c.d.( ka, kb) = k m.c.d.(a, b)

1-2 Nmeros primos y Teorema Fundamental de la Aritmtica.

Nmero primo: n entero p > 1 cuyos nicos divisores son 1 y p.
Un entero a >1 no primo, se denomina nmero compuesto
Dada una familia de enteros, se dice que son primos entre si, si se
tiene que el m.c.d. de todos ellos es 1.
Lema de Euclides: sean a,b y c nmeros enteros. Si a y c son primos
entre si y c | ab, entonces c | b.
Teorema Fundamental de la Aritmtica: Sea n >1, entonces existen
nmeros primos tales que
n = p1p2...pr donde p1 p2 ... pr
y adems esta factorizacin es nica.
Factorizacin cannica (primos repes agrupados en potencias)
Existen infinitos primos de la forma 4n + 3
(Criba de Eratstenes, teorema demostrado rigurosamnt. x Fermat)
- Si a es un entero > 1, entonces si para todo primo p a, p no divide
al nmero a, se verifica que a es primo.
- Clculo del m.c.d.(a, b): a partir de las factorizaciones cannicas, el
resultado ser el producto de los primos comunes, con el exponente
menor en que aparece en a y b.
m.c.m.(a,b) (menor entero positivo mltiplo de ambos).
- Clculo del m.c.m(a,b): producto de todos los factores primos
elevados al mayor exponente que aparezca en a en b.
- Si a y b son enteros #0, entonces |ab| = |m.c.d.(a,b)||m.c.m.(a,b)|

(Pg.1 de 3)

1-3 El Principio de Induccin. Para problemas de la forma P(n),

donde P es una propiedad acerca de un n natural n.
Si S es un conjunto de naturales que satisface:
1) El n 1 pertenece a S.
2) Para cada nmero k 1, si k pertenece a S entonces k+1
tambin pertenece a S
Entonces el conjunto S es igual a N. (Por lo tanto, para demostrar que
cualquier propiedad se satisface para todo N, basta demostrar que el
n 1 satisface la propiedad, y que k+1 tambin.
Pasos a seguir:
1) Definir el conjunto S = {n tales que P(n) es verdadera}
2) Probar que 1 S.
3) Suponer que k S para k 1 arbitrario.
4) Demostrar entonces que k + 1 S.
(Del principio de induccin se sigue que S es igual a N, y P(n) se
satisface para todo n N).
Principio Fuerte de Induccin:
- Sea S un conjunto de enteros positivos tales que
1) 1 S
2) Para cada entero n > 1, si k S para todo entero k tal que
1 k < n, entonces n S.
Entonces S = N.

1-4 Ecuaciones Diofnticas.

Si a, b, y n son enteros, ax +by = n tiene solucin entera si y solo si
el m.c.d.(a,b) | n.
- Algoritmo para encontrar una solucin (calculando el m.c.d.
mediante el algoritmo de Euclides)...
- Supongamos que a, b y n son enteros #0 y d=m.c.d.(a,b) | n,
entonces la solucin general de la ecuacin ax + by = n tiene la
forma {x,y}={x0 + tb/d , y0 - ta/d} donde t Z y {x0,y0} es una
solucin de ax+by=n.
2
2
La ecuacin diofntica x - y = n con n > 0 tiene solucin si y solo
si n se puede factorizar como producto de dos nmeros de la misma
paridad, es decir ambos pares o impares. Si existen las soluciones de
esta ecuacin tienen la forma x=(a+b)/2, y=(a-b)/2
- Algoritmo de Factorizacin de Fermat:
Estudiar si un natural impar es compuesto es equivalente a resolver la
2
2
2
2
ecuacin x - y = n (x - n = y ) , en definitiva:
2
1) encontrar el menor q tal que q n (n es el impar a estudiar)
2
2
2
2) estudiar si alguno de los nmeros q -n, (q+1) -n, (q+2) -n, ... es un
cuadrado, teniendo en cuenta que el nmero m que se busca ha de
satisfacer: q m < (n+1)/2.
2
Si para ninguno de estos nmeros m, m - n es un cuadrado, entonces
n ser primo.
2
2
2
x + y = z Si la terna (x0, y0, z0) es solucin, entonces tambin lo
es (kx0, ky0, kz0) para cualquier entero k =,/ 0.
Por otra parte, si d = m.c.d.(x0, y0, z0), entonces (x0/d, y0/d, z0/d)
tambin es solucin y adems son primos entre si. Por tanto, para
resolver el problema basta buscar las llamadas ternas primitivas
pitagricas, que son las soluciones de nmeros naturales y primos
entre s, y el resto de soluciones sern stas multiplicadas por
cualquier entero k 0.
2
2
2
- Las soluciones de x + y = z que satisfacen las condiciones
2 2
m.c.d.(x, y, z)=1 ; 2|x ; x, y, z >0; vienen dadas por x=2st ; y=s -t ;
2 2
z=s + t para naturales s, t con s > t tales que m.c.d.(s,t)=1 y s y t
tienen distinta paridad.
- Conjetura de Fermat (Ultimo Teorema de Fermat): para
n
n
n
x + y = z con n 3 Fermat dijo tener una demostracin de que no
haba solucin. (Hasta hoy no se ha encontrado).

M ATEM TICA D ISCRETA

1-5 Congruencias.

albert@ catworld.net

a y b son congruentes mdulo m si a - b es divisible por m:

a = b md(m) si y slo si m | (a-b) [a, b Z ; m > 0]
(Otras formas: si y slo si a - b = mk ; si y slo si a = b + mk)
- Menor residuo no negativo de a mdulo m: a MOD m
- Sistema completo de residuos (conjunto completo de ~): ejemplo:
{-6,4,11}son un ~ mod(3) ya que -6=-23+0, 4=13+1, 11=33+2 ;
y as -6 = 0 mod(3), 4 = 1 mod(3), 11 = 2 mod(3)
Propiedades (Teorema):
1) a = a md(m)
2) Si a = b md(m) entonces b = a md(m)
3) Si a = b md(m) y b = c md(m) entonces a = c md(m)
4) Si a = b md(m) y c = d md(m) entonces
a + c = b+d md(m), ac = bd md(m)
5) Si a = b md(m) entonces ha = hb md(m)
6) Si h|a, h|b, m.c.d.(h,m)=1 y a = b md(m) entonces
(a / h) = (b / h) md(m)
La ecuacin ax = b md(m) tiene solucin si y slo si d | b donde
d es el m.c.d.(a,m). Adems el n de soluciones no congruentes
mdulo m es exactamente d. Y es equivalente a resolver la ecuacin
diofntica ax + my = b
- Teorema Chino del Resto: (Para resolver un sistema de congru.)
Requisitos: m.c.d.( mi, mj) = 1 y m.c.d.(ai,mi)=1
entonces hay una nica solucin x0 mdulo m1 m2 ... mk y las dems
soluciones son de la forma x = x0 + m1 m2 ... mk , Z
????
- Funcin de Euler: dado un natural m, se designa por (m) al
nmero de enteros positivos r que no exceden a m y son primos con

1
0 < r m

m, cuya expresin es (m) =

m. c. d. ( r, m)=1

- Teorema de Euler: Sean a y m dos n enteros con m1 entonces

si m.c.d.(a,m)=1 se tiene que a (m) = 1 md( m)
- Pequeo Teorema de Fermat: si p es un n primo que no divide al
n a, entonces a p-1 = 1 md(p)
?????
- Teorema de Wilson: si p es un n primo, entonces
(p-1)! = -1 md(p)

1-6 Sistemas de Numeracin y Criterios de Divisibilidad.

Expresin de naturales en base b, para b 2
- Criterio de divisibilidad por k (aplicando congruencias mdulos k
t
a cada 10 )

2 Introduccin a la Teora de Grafos

2-1 Grafos, Digrafos y Multigrafos.
G = (V,E) conjunto no ordenado de pares de vrtices (V) y de aristas (E, Aedges@) y
V(G) el conj.de vrtices y E(G) el de aristas.
- Vrtices adyacentes, extremos de la arista.
#V, #E, n de vrtices y aristas de un grafo.

- Multigrafo: tienen varias aristas entre dos vrtices.

- Pseudografo: se permiten aristas con extremo coincidente (lazos)
- Digrafo (grafo dirigido): aristas con vrtices origen y fin (ahora los
pares de vrtices son ordenados).(Multidigrafos,Pseudomultidigrafos)
Isomorfismo: Sean dos grafos y una biyeccin f:V->V=, cuando para
uv E, f(u)f(v)E=.
- gr(u): Grado de un vrtice en un grafo: nmero de aristas que
tienen al vrtice por extremo.
Primer Teorema de la Teora de Grafos: Dado un grafo, la suma de
grados de todos sus vrtices es igual al doble del n de aristas.

(Pg.2 de 3)

-Todo grafo tiene n par (o ninguno) de vrtices con grado impar.

- Subgrafo: grafo contenido dentro de otro.
- Grafo regular (k-regular): todo vrtice con mismo grado (k).
- Grafo Completo: cada par de vrtices son extremos de una arista.
- Dos grafos completos con mismo n de vrtices son isomorfos.
- Grafo completo con n vrtices ser Kn (K3 /\)

2-2 Grafos eulerianos y hamiltonianos.

- Camino: Sucesin finita de vrtices y aristas (alternadamente) de un
grafo. Extremos del camino: primer y ltimo vrtice del dem.
- Longitud: n de aristas del camino.
- Cerrado: 1er. y ltimo vrtice coinciden.
- En grafo (no en multigr.) un camino puede especif.slo con vrt.
- Camino simple: no se repite ningn vrtice.
- Ciclo: camino cerrado donde slo se repiten el 1er. y ltimo vrt.
- Circuito: camino cerrado que no repite aristas.
- Conexo (desconexo): cada par de vrtices tiene un camino
- Camino (circuito) Euleriano: contiene todas las aristas exactamente
una vez.
- Grafo Euleriano: grafo que admite un circuito euleriano.
- En un grafo Euleriano, todos los vrtices tienen grado par.
En un grafo con camino euleriano, o todo vrtice tiene grado par,
o exactamente dos de los vrtices tienen grado impar.
Un grafo conexo es euleriano si (slo si) cada vrtice tiene par
- Un grafo conexo admite un camino euleriano no cerrado si (slo si)
exactamente dos vrtices tienen grado impar.
- Camino hamiltoniano: camino simple con todos los vrtices.
- Ciclo hamiltoniano: ciclo que a su vez es camino hamiltoniano.
- Grafo Hamiltoniano: que contiene un ciclo hamiltoniano.
- Componentes conexas: clases de equivalencia que define la relacin
"estar conectado con" (entre vrtices).
- Condicin que han de reunir todos los g. hamiltonianos: si
quitamos r vrti., quedarn como mximo r componentes conexas.

2-3 Exploracin de Grafos.

- Matriz de Adyacencia: matriz orden pxp donde mij=1 si vivj E
- En digrafos: dem. pero si adems la orientacin es vi-> vj
- Dos grafos con la misma matriz de adyacencia son Isomorfos.
(Sin embargo pueden haber grafos isomorfos con diferentes m.ad.)
n
- M : Matriz con n n de caminos (de i -> j)
p-1
p-2
- Si M es la matriz de un grafo con p vrtices, y C=M +M ...+M
entonces el grafo ser conexo si (slo si) C no tiene entradas nulas.
- Arbol: grafo conexo sin ciclos. Un grafo es un rbol si y slo si
cada dos vrtices distintos se conectan por un nico camino simple.
- Grafo (digrafo) etiquetado: las aristas tienen asignado nmero.
- Longitud de un camino: suma de las longitudes de las aristas.
- Distancia entre dos vrtices (de grafo etiquetado): longitud del
camino de longitud mnima.
- Algoritmo de Dijkstra: (Para encontrar la distancia entre 2 vrtices
de un digrafo etiquetado)
Consiste en anotar, partiendo del punto origen, la longitud menor
recorrida hasta cada vrtice, teniendo en cuenta que siempre
"avanzaremos" en el examen desde los ms prximos al origen hacia
el destino, de manera que en cada nuevo vrtice tendremos en los
anteriores anotada la distancia recorrida hasta ese momento.
(Modificando valores y borrando los vrtices examinados)

M ATEM TICA D ISCRETA

2-4 Mapas y Coloraciones.

albert@ catworld.net

- Un grafo (multigrafo) es plano si admite representacin grfica en

el plano de modo que cada arista no corte a otra (excepto en los
vrtices).
- Mapa: representacin de grafo plano, segn condicin anterior.
#R: nmero de regiones de un mapa.
- Grado de una regin: longitud del camino cerrado que la bordea.
- Teorema anlogo al Primer Teorema de la Teora de Grafos para
mapas: "La suma de los grados de las regiones de un mapa es
igual al doble del nmero de aristas del grafo que representa".
- Frmula de Euler: Sea M un mapa conexo con #R regiones que
represente el grafo G=(V,E) entonces: #V - #E + #R = 2
- En un grafo plano conexo con #V>2, se verifica: #E 3#V -6
- Si en un grafo plano conexo no existen subgrafos isomorfos a K3,
entonces #E 2#V -4.
- Subdivisin elemental: sustituir una arista por un nuevo vrtice
unido a los extremos de la arista suprimida con 2 nuevas aristas.
(Subdivisin de un grafo: grafo obtenido efectuando un n finito de
subdivisiones elementales <pueden ser 0> en un grafo).
- Teorema de Kuratowski: Un grafo es plano si y slo si no contiene
ningn subgrafo isomorfo a una subdivisin de K5 K3,3
- (el problema de los 4 colores)
- Regiones adyacentes (en un mapa): si los caminos que bordean tales
regiones tienen alguna arista en comn.
- Pseudomultigrafo dual GM (del mapa M): se construye tomando
como vrtices las regiones de M, y uniendo (con aristas) las regiones
que en M son adyacentes. (Es un pseudomultigrafo plano)
- Grafo bipartito: existe coloracin con dos colores.
- Un grafo es bipartito si slo si no tiene ciclos con longitud impar.

(Pg.3 de 3)

Combinaciones: C(n,r) =

n
(nmero combinatorio)
r

V(n,r) = P(r) C(n,r) = r! C(n,r) ; C(n,r) = n! / [ r!(n-r)! ]

C(n,0) = 1 ; 0! = 1
Combinaciones con repeticin: de n elementos tomados de r en r se
convierte en C((n+r-1), n) ; as CR(n,k) = C(n+k-1, k)
Permutacin Circular de n objetos de orden r: C(n,r)(r-1)!
Permutacin Circular de n objetos: Perm.Cir.de n obj.de orden n

3-3 Teorema del Binomio.

Frmula de Pascal: C(n, k) = C(n-1, k) + C( n-1, k-1)
Tringulo de Pascal (para clculo de los coeficientes binmicos)
C(0,0)
1
C(1,0) C(1,1)
1
1
C(2,0) C(2,1) C(2,2)
1
2
1
C(3,0) C(3,1) C(3,2) C(3,3)
1
3
3
1
C(4,0) C(4,1) C(4,2) C(4,3) C(4,4) 1
4
6
4
1

tambin llamado de Yang Hui=s (1.261), (Blaise Pascal, 1.665)

n
k
(x + y ) = xn- k y
k =0 k
n

Teorema del Binomio:

(T.del binomio de Newton, generalizada por l para n Q)

C(m, k) = C(k-1,k-1) + C( k,k-1) + C(k+1,k-1)+...+C(m,k-1)
Coeficiente multinmico P(n,n1,n2,...,nk) = n! / (n1!n2!...nk!)
Frmula
de
Leibnitz:
n

( x1 + x 2 + ...+ x k ) =

n1 n2 ,...,nk =0

n n n

x11 x 22 ... x nkk

n1 n 2 ... nk

n1+ n2+...+nk= n

3 Mtodos Combinatorios

3-4 Principio de Inclusin - Exclusin.

3-1 Tcnicas bsicas.

|AB| = |A| + |B| - |AB|

? ? ?
?
Nmero de desordenaciones de n objetos:
j
d(n) = n! entre j=0 y n de (-1) / j!

| S | = cardinal de S (n de elementos de S)
|A u B| = |A|+|B|
Principio de Adiccin:
Principio de Multiplicacin: |A x B| = |A||B|
Principio de Distribucin (del cajn de Dirichlet):
si se distribuyen np+m objetos en n cajas, entonces alguna caja
deber contener al menos p+1 objetos.
-Otra expresin: Si se efecta una particin en n partes de un
conjunto finito T, entonces al menos una de las partes posee |T| / n o
ms elementos.

3-2 Permutaciones, Variaciones y Combinaciones.

Permutacin: Biyeccin de A en A.(:AA) (ordenaciones de los
n elementos de A). N de ~ de un conj.de n elementos: P(n) = n!.
Producto de permutaciones. (Tiene estructura algebraica de grupo,
y se denomina grupo simtrico).
Variacin de orden r de A: lista de r elementos distintos de A, siendo
r |A| > 0. Dos variaciones son distintas si hay distintos elementos u
orden
V(n,r): nmero de variaciones de n elementos tomados de r en r.
Permutaciones del conjunto A: caso particular de V(n,n) (con r =n)
- El n de variaciones de orden r de un conjunto A de n elementos,
con r n > 0 es V(n,r) = n! / (n-r)!
r
Variaciones con Repeticin VR(n,r) = n

? ? ?

3-5 Recursividad y Relaciones Recurrentes.

valores o condiciones iniciales / relacin de recurrencia
- Relacin de recurrencia lineal con coeficientes constantes.
- Relacin lineal homognea.
- Sucesin de Fibonacci.
- Relacin de recurrencia de tipo Fibonacci: F(n)=F(n-1)+F(n-2),
- Ecuacin caracterstica asociada a la ecuacin recurr.(3-5.8)
- Razn area: (1+5) / 2
- ufff ! -