Tema I: Números Subconjunto: A, B conjuntos, si todos los elementos de A pertenecen a B, entonces se dice que A está incluido en B o que A es subconjunto de B. Unión: X, Y conjuntos, se define su unión por los elementos que pertenezcan a X o a Y. Intersección: X, Y conjuntos, se define su intersección por los elementos que pertenezcan a X y a Y. Conjunto vacío: es el conjunto que no tiene ningún elemento, que tiene la propiedad de ser subconjunto de todos los conjuntos. Diferencia de conjuntos: A−B, son los elementos que están en A y que no están en B. Axioma de suma y producto de los enteros (Z): sean a y b enteros, • la suma de dos enteros es un entero • el producto de dos enteros es un entero • el resultado de una suma de dos enteros o un producto de ellos es indep del orden (conmutat) • a + ( b + c ) = ( a + b ) + c = ( a + c ) + b (asociatividad) • a ( bc ) = ( ab ) c = b ( ac ) • a + 0 = a (elemento neutro) •a.1=a • a ( b + c ) = ab + ac (distributividad) • existe un elemento (−a) tal que a + (−a) = 0 (unicidad) • si a ð 0 y ab = ac, b = c Axioma del buen orden: sea N un conjunto (por ejemplo N=Z); y sea N0 el conjunto de N u {0}, es decir que No contiene a 0; todo subconjunto X de N (o de N0) posee automáticamente una cota inferior, ya que todo elemento x de X satisface x >= 1 (o x >= o). En este caso, el axioma del buen orden toma la forma si X es un subconjunto no vacío de N o No, entonces X tiene un mínimo. Teorema de inducción: consideramos un subconjunto S de X tal que se cumple que 1 ð S y que para un k de S, si k ð S, entonces k+1 ð S, entonces X=S. 1 (en el caso general, sea n un entero cualquiera, no necesariamente positivo, y S={k ð Z / k >= n0} y sea ScX que satisface n0 ð S y si k ð S implica que si k ð S entonces k+1 ð S, entonces S=X). Demostración: supongamos que S ð N, considero que ð S = N−S, ð S diferente de vacío, entonces por el axioma del buen orden, existe m ð ð S mínimo de ð S. 1 ð S ð 1 ð S ð m ð 1, m−1 ð N, y además m−1 ð S, entonces, por hipótesis de inducción, m ð S. ð N = S Teorema de la división entera: dados dos enteros a y b, con b ð ð, existen q y r tales que a = bq + r, con 0 >= r >= b Demostración: sea R = {x ð N ð{0}/ ð y ð Z tal que a = by + x} • a >= 0 entonces a = b.0 + a a <= 0 entonces a = b.a + (1−b)a [(1−b)a >= 0] ðRðð según el axioma del buen orden, R tiene un mínimo r. Para algún q ð Z, a = bq + r. • a = bq + r a = bq + b + r − b a = b(q + 1) + (r − b) si r >= b, r − b >= 0, r − b ð R pero r − b < r (contradicción por que r − b sería más pequeño que el mínimo) ð r<b • a = bq + r supongo que a = bq' + r' tomemos q' < q ð q − q' > 1 r' = a − bq' = a − bq' + bq − bq = a − bq + b(q − q') = r + b(q − q') como q − q' > 1, b(q − q') > 1 y r + b(q − q') > r + b > b r y q son únicos. Divisibilidad: sean x, y ð Z, decimos que y divide a x (y ð x) si existe algún q tal que x = qy, q = x/y ð Z, y si y no divide a x, q ð Z Máximo común divisor: dados a, b ð Z, decimos que d ð Z es un máximo común divisor o mcd de a y de b si y sólo si: •dðaydðb • si c ð a y c ð b , entonces c ð d 2 • d >= 0 • Si a = bq + r, entonces mcd(a, b) = mcd(b, r) entonces r < b; y si d ð a y dð b, entonces d ð a − bq entonces dðr • Sean a, b ð Z y b >= 0, y sea mcd(a, b) = d, entonces existen m y n ð ð tales que d = ma + nb. • Si mcd(a, b) = 1, entonces se dice que a y b son primos entre sí (no tienes factores comunes). • Si k > 0, entonces mcd(ka, kb) = k.mcd(a, b) Números primos: decimos que todo p ð ð, p > 1 es primo si sus únicos factores comunes son 1 y p. • Corolario: decimos que a > 1 es compuesto si no es primo. • Observaciones: a) 1 no es primo b) a es compuesto implica que existen m1 y m2 ð N tales que a = m1.m2 (1 < (m1, m2) < a) Lema de Euclides: si a, b, c ð Z, a y c son primos entre sí si c ð ab implica que c ð b. Demostración: a y c primos entre si, entonces ð m, n ð Z / ma + nc = 1 (= mba + nbc) c ð nbc (c es uno de los factores de nbc) ) }cðb c ð mab (por la hipótesis c ð ab) ) Teorema fundamental de la aritmética: si ð Z, n > 1, entonces existen primos p1, p2 ... pr tales que n = p1p2...pr con p1 < p2 < ... < pr, y además la factorización es única en el sentido de que n = q1q2 ...qs , con q1 < q2 < ... < qs entonces r = s y pi = qi. Teoremas de los primos: • El número de primos es infinito • Sea a ð Z, a > 1, entonces si p <= (raíz cuadrada) a, p no divide a, entonces a es primo. • (raíz)2 es irracional, a/b con a, b ð Z, y mcd(a, b) = 1 Dem: 2 = a2 / b2 ð a2 = 2b2 ð 2 ð a2 ð 2 ð a (lema de Euclides) ð ð m ð Z / a = 2m ð 4m2 = 2b2 ð 2m2 = b2 ð 2 ð b2 ð 2 ð b como mcd(a, b) = 1, es imposible que 2 ð a y 2 ð b. (raíz)2 es irracional. Factorizaciones: 3 sean a = p1ððððð ptðt y b = q1ððððð qtðt factorizaciones canónicas. b = p1ðð ððð ptðt donde algunos de los ði y ði pueden ser 0. mcd(a, b) = p1 min(ðð, ððð ððð ptmin(ðt, ðtð = d. Mínimo común múltiplo: sean a, b ð Z, a > 1 y b > 1. Llamamos mínimo común múltiplo de a y b al menor entero positivo que es múltiplo de a y de b. Factorizaciones: sean a = p1ðð... ptðt y b = p1ððððð ptðt. mcm(a, b) = p1max(ðð, ðððððð ptmax(ðt, ðt) Relación entre mcm y mcd: mcm(a, b) . mcd(a, b) = ab Ecuaciones diofánticas (ax + by = n): sean a, b, n ð Z, la ecuación lineal ax + by = n tiene solución entera si y sólo si mcd(a, b)ð n. Dem: sean x0 , y0 solución de la ecuación con x0 , y0 ð ð. ax0 + by0 = n. Si d = mcd(a, b) entonces dð ax0 y dð by0, dð ax0 + by0 ð dð n. ð ð p ð ð / n = pd. Supongamos que dð n, si n = 0, x0 , y0 = 0 (es solución) si n ð 0, mcd(a, b) ð 0 (es d), am + bm' = d, apm + bpm' = pd = n (pm = x y pm' = y) x = (m.n)/d e y = (m'.n)/d Tema II: Teoría de conjuntos ¡¡¡ a elemento del conjunto A, nunca es igual a un conjunto: no puedo escribir a = B aunque a = x y B = {x}!!! • Dos conjuntos son iguales si sus elementos son iguales • S es subconjunto de T si todo elemento de S esta en el conjunto T S=TðSðTyTðS Conjunto vacío ð: es aquel que no tiene ningún elemento ð ð A para todo conjunto A 4 Si S ð T y S ð ð, S ð T, entonces S es subconjunto propio. Intersección de conjuntos: S, T conjuntos, S ðT = { x / x ð S y x ð T} Propiedades: 1) S ð T ð S, S ð T ð T 2) Si S ð T = ð, decimos que S y T disjuntos. 3) A ð ( ð ð C ) = ( A ð ð ð ð C •Aðððððð • A ð ð ð ðð ð ð ð ð ð • A ð ð ð ð si y sólo si A ð ð • Si i = 1, 2, ..., n; ð Si = S1 ð S2 ð ... ð Sn Unión de conjuntos: S ð T = {x / x ð S o x ð T} Propiedades: • S ð S ð T; T ð T ð S • A ð (B ð C) = (A ð B) ð C • A ð A = A; A ð ð =A • A ð B = B si y sólo si A ð B Leyes distributivas: • A ð (B ð C) = (A ð B) ð (A ð C) • A ð (B ð C) = (A ð B) ð (A ð C) Diferencia de conjuntos: S − T = { x / x ð S y x ðT} Propiedades: •S−TðS •S−T=ððSðT •A−B=AðAðB=ð •A−B=A−CðAðB=AðC • A − ð = A; A − A = ð • A − (B ð C) = (A − B) ð (A − C) • A − (B ð C) = (A − B) ð (A − C) Producto cartesiano de conjuntos: S*T = {(s, t) / s ð S y t ð T} 5 Proposiciones: • el orden es importante • en general, S*T ð T*S • S*(T*V) ð (S*T)*V • (A*B) ð (C*D) = (A ðC)*(B ð D) • (A ð C)*(B ð D) = (A*D) ð (A*B) ð (C*B) ð (C*D) • (A*B) − (C*D) = (A*(B − D)) ((A − C)*B) Aplicaciones: una aplicación f con dominio X y recorrido Y es un subconjunto de X*Y tal que se verifiquen: • ð x ð X ð ð y ð Y / (x, y) ð f • si (x, y) ð f, y (x, y') ð f ð y = y' Igualdad de aplicaciones: f, g ð X*Y, si f = g, entonces f ð g; g ð f f = g si tienen mismo dominio, X; mismo codominio, Y; y misma acción. Aplicación identidad: X*X; ix = {(x, y) ð X2 / x = y} (Ej, si X = {1,2}, X2 = {(1, 1); (1, 2); (2, 1); (2, 2)}, ix = {(1, 1); (2, 2)}) Imagen de un conjunto bajo una aplicación: f:X Y; A ð X; f(A) = { y ð Y / (x, y) ð f con x ð A}; f(A) = {y ð Y / f(x) = y con x ð A}. Imagen inversa: f:X Y; B ð Y; f −1(B) = { x ð X / f(x) ð B} Aplicación suprayectiva (o exhaustiva): Cada y de Y es el valor f(x) de al menos un x de X. (todas las imágenes tienen antecedente) Aplicación inyectiva: Cada y de Y es el valor f(x) de un x de X como máximo. f(x) = f(y) ð x = y; y x = y ð f(x) = f(y) Aplicación biyectiva: Cada y de Y es el valor f(x) de exactamente un x de X. 6 Composición de aplicaciones Sean f:X Y; g:Y Z; se define la composición fog como fog:X Z fog:x g(f(x)) fog = {(x, z) ð X*Z / (f(x), z) ð g} propiedades: • si f:X Y; g:Y Z; h:Z W, entonces se cumple la propiedad asociativa (hog)of = ho(gof) • si f:X Y es biyectiva y su inversa es f −1:Y X, entonces f −1of = ix, y fof −1 = iy Relación: Cualquier subconjunto del producto cartesiano de dos conjuntos: R ð X*Y (relación con dominio X y recorrido Y) Rx = {y ð Y / (x, y) ð R} Relación de equivalencia: Una relación de equivalencia en un conjunto X es un subconjunto R ð X*X que cumpla: • ð x ð X, (x, x) ð R (propiedad reflexiva) • ð x, y ð X, (x, y) ð R (propiedad simétrica) • ð x, y, z ð X, si (x, y) ð R y (y, z) ð R, entonces (x, z) ð R (propiedad transitiva) Partición de un conjunto: Sea un conjunto X y sean Ai ð X, se dice que los Ai proporcionan una partición de X si la intersección de los Ai = ð , y la unión de los Ai = X. Proposición: Si X es un conjunto y R una relación de equivalencia en X, entonces las clases de equivalencia proporcionan una partición de X. Además hay una biyección entre el conjunto de las particiones de X y el de las clases de equivalencia que se pueden definir en X Números de Stirling: S(n, k) número de particiones de un conjunto de n elementos en k partes. S(n, 1) = 1; S(n, n) = 1 S(n, k) = S(n − 1, k − 1) + k.S(n − 1, k) Conjuntos finitos y numerables: Nk = {1, 2, 3, ..., k} 7 Se dice que un conjunto es finito si existe una biyección entre ese conjunto y algunos de los Nk. Se dice que un conjunto es infinito cuando no es finito. Conjunto numerable: Un conjunto es numerable cuando existe una biyección entre él y el conjunto de los números naturales N. Partes de un conjunto: Si x es un conjunto llamamos P(X) al conjunto formado por todos sus subconjuntos (incluido el valor 0) Proposición: Es imposible construir una biyección entre un conjunto y el conjunto de sus partes. Corolario: Hay conjuntos no numerables Si un conjunto X es finito y tiene n elementos, entonces P(X) tiene 2n elementos. Tema III Conjuntos ordenados y relaciones de orden. Propiedad antisimétrica: Sea R una relación en un conjunto de X. Decimos que se cumple la propiedad antisimétrica cuando, si xRy y yRx, entonces x = y. (x relacionado con y...). Relación de orden: Si R es una relación en A (ð ðð, decimos que R es una relación de orden si cumple las propiedades reflexiva, transitiva y antisimétrica. Al par (A, <=) es le llama conjunto parcialmente ordenado. Ejemplo, demostremos la relación de orden: E; P(E) conjunto y subconjunto. ð ; (P(E), ð ) parcialmente ordenado. 1) reflexiva: ð A ð P(E), A ð A 2) transitiva: A, B, C ð P(E): A ð B y B ð C ð A ð C 3) antisimétrica: A, B ð P(E): A ð B y B ð A ð A = B Orden total: 8 Se dice que (A, <=) está totalmente ordenado si ð x, y ð A se cumple x <= y o y <= x. Ejemplo: E = {a, b, c} B = {{a}, {a, b}, {a, b, c}}ð P(E). (B, ð ) es totalmente ordenado aunque (P(E), ð ) no. Cota superior (inferior): Se dice que k A es cota superior (inferior) de B si b <= k ð b ð B. (o k <= b ð b ð B). Si B tiene alguna cota superior (o inferior) en A, entonces B está acotado superiormente (o inferiormente). Supremo e ínfimo: Se llama supremo a la más pequeña de las cotas superiores (no precedida por las demás). Se llama ínfimo a la más grande de las cotas inferiores (precedida por las demás). Máximo y mínimo: Si el supremo B, entonces el supremo se llama máximo. Si el ínfimo B, entonces el ínfimo se llama mínimo. Si existen, el máximo y el mínimo son únicos. Elementos maximales y minimales: Se dice que un elemento de A es maximal si no hay elementos de A que precedan a este (que vayan después). Se dice que un elemento de A es minimal si no hay elementos de A que antecedan a este (que vayan antes). Buen orden: Se dice que el orden <= definido en A es un buen orden si cualquier subconjunto de A con el orden inducido tiene mínimo. Si en un conjunto hay buen orden, entonces el conjunto está totalmente ordenado. Retículo: Se dice que un conjunto ordenado (A, <=) es un retículo si x, y A se cumple que supA{x, y} e infA{x, y} existen. Álgebra de Boole: Sea K ð ð , y dos operaciones binarias + y ., decimos que (K, +, .) es un álgebra de Boole si se cumplen: • + y . asociativas: a + (b + c) = (a + b) + c y a . (b . c) = (a . b) . c • + y . conmutativas: a . b = b . a y a + b = b + a • + y . tengan elemento neutro: 0 para + y 1 para ., tales que a + 0 = a y a . 1 = a • + y . distributivas una respecto de la otra: a + bc = (a + b)(a + c) y a (b + c) = ab + ac • ð a ð K ð a'ð K / a + a' = 1 y a . a' = 0 9 Cálculo proposicional: Proposición: afirmación sobre la que puedo afirmar de manera no ambigua algo que es cierto o algo que es falso. Prop atómica: la proposición más sencilla posible. Prop molecular: combinación de proposiciones atómicas. Conectores lógicos: partículas o símbolos que me permiten construir proposiciones complejas a partir de otras atómicas. • Disyunción o • Conjunción y • Negación no • Condicional si ... entonces ... • Doble condicional ... si y sólo si ... • Disyunción exclusiva o ... o ... Tautologías: Forma proposicional siempre verdadera independientemente del valor de las proposiciones que la componen. Contradicciones: Forma proposicional siempre falsa independientemente del valor de las proposiciones que la componen. Implicación: Condicional que es tautología. Doble implicación: Doble condicional que es tautología. Contingencia: Ni tautología ni contradicción. Tautologías notables: P ð Q ð P simplificación P ð P ð Q adición Q ð (P Q) condicional (P Q) ð (Q R) ð (P R) silogismo hipotético (P Q) ð (R S) ð (P ð R) ð Q ð S silogismo disyuntivo (P Q) ð P ð Q Modus Ponens 10 (P Q) ð ðQ ð ðQ Modus Tollens A ð B ð (ðA) B Tollendo Ponens P Q ð ðP ð Q condicional disyuncional (P Q) ð (Q P) ð P ð Q condicional bicondicional (ðP ð Q) ð (ðQ ð P) ð P ð Q condicional bicondicional Equivalencia de proposiciones ð Dos proposiciones son equivalentes si sus tablas de verdad coinciden. Propiedades: • P ð Q ð Q ð P conmutativa PðQðQðP • P ð (Q ð R) ð (P ð Q) ð R asociativa P ð (Q ð R) ð (P ð Q) ð R • P ð (Q ð R) ð (P ð Q) ð (P ð R) distributiva P ð (Q ð R) ð (P ð Q) ð (P ð R) • P ð ðP ð ð negación P ð ðP ð ð • P ð ð(ðP) • P ð P ð P idempotencia •PðPðP •Pðððð •Pðððð Leyes de De Morgan ð(P ð Q) ð ðP ð ðQ ð(P ð Q) ð ðP ð ðQ Inferencia lógica Obtención de proposiciones ciertas a partir de otras proposiciones ciertas. Ley de inferencia: Ley de unión: si tengo dos premisas P y Q en un proceso de inferencia entonces puedo concluir PðQ. 11 Ley de inserción de tautologías: en cualquier punto de un proceso de inferencia puedo insertar una tautología. Ley de uso de tautologías: si una tautología es una implicación, entonces si el antecedente es verdadero, el consecuente también lo es. Implicaciones de la forma Að B Að B ð ðB ð ðA Bð A ð ðA ð ðB Métodos de demostración Método directo (usando las tautologías notables) Método de reducción al absurdo • P1, P2, ... , Pn premisas • Queremos concluir S • Añadimos como premisa adicional ðS • Mediante las reglas de inferencia lógica buscamos obtener la negación de alguna de las premisas iniciales (1) • Si obtenemos la contradicción A ð ðA, llegamos a la contradicción y S es verdadero Esquema del procedimiento: P1 P2 . . Pn ðS ð ð ðð Concluye A ð ðA Demostración condicional • Queremos demostrar A B • Añadimos como premisa auxiliar A Ejemplo: 12 P1: R (S Q) Quiero concluir P Q P2: ðP ð R P3: S P4: P premisa auxiliar P5: P R CD(2) P6: R MP(4, 5) P7: S Q MP(1, 6) P8: Q MP(3, 7) C: P Q Cuantificadores Universal ð: para todo valor. Se utiliza para la proposición que sea verdadera para todo elemento del conjunto. Existencial ð: Se usa en el caso de existir elementos del conjunto para los que la proposición es verdadera. Uso de los cuantificadores ð(ðx ð E, P(x)) ð ðx ð E, ðP(x) ð(ðx ð E, P(x)) ð ðx ð E, ðP(x) (ðx ð E, P(x)) ð (ðx ð E, Q(x)) ð ðx ð E, P(x) ð Q(x) (ðx ð E, P(x)) ð (ðx ð E, Q(x)) ð ðx ð E, P(x) ð Q(x) (ðx ð E, P(x)) ð (ðx ð E, Q(x)) ð ðx ð E, P(x) ð Q(x) (ðx ð E, P(x)) ð (ðx ð E, Q(x)) ð ðx ð E, P(x) ð Q(x) Los cuantificadores son conmutativos: ð x1ðE1, ðx2 ðE2 ð ðx2 ðE2, ð x1ðE1 Tema IV: Combinatoria Combinaciones Sea A ð ð un conjunto finito de cardinal n. Se llama combinación a cada subconjunto de m elementos cogidos de entre los n. Al número de combinaciones de m elementos de A se le llama número combinatorio. (n m) = n! / m!(n − m)! Dem por inducción: 13 Sabemos (n 0) = (n n) = 1 (base de inducción) Supongo (k j) = k! / j!(k − j)! cierto para 0 ð j ð k y 0 ð k ð n. Probamos que (n−1 m−1) + (n−1 m) = (n m) • El número de subconjuntos de m − 1 elementos que puedo formar con A − {1}. (n−1 m−1) número de subconjuntos de A de m elementos que contienen el elemento 1. • (n−1 m) número de subconjuntos de m elementos que no tienen el elemento 1. (n−1 m−1) + (n−1 m) = (m(n−1)! / m!(n−m)!) + ((n−m)(n−1)! / m!(n−m)!) = n! / m!(n−m)! Propiedades • (n m) = (n n−m) • ð (n i)(m j) = (n+m k) con 0 ð k ð n+m y 0 ð i ð n • ð (n j)2 = (2n n) • ð (k n) = (n+1 m+1) • (n m) = (n−1 m−1) + (n−1 n) Teorema del binomio de Newton (a+b)n = ð (n k) ak.bn−k Combinaciones con repetición Sea A un conjunto de m elementos (An = A * A * ... * A −− n veces) Definimos (a1, a2, ... , an) R ( b1, b2, ... , bn) −− R = relación de equivalencia si aparecen los mismos elementos y si cada uno de ellos aparece repetido el mismo número de veces. Def: cada una de las clases de equivalencia, definidas en An por la relación anterior recibe el nombre de MULTICONJUNTO DE ORDEN n o COMBINACIÓN ON REPETICIONES de m elementos tomados de n en n. Prop: el número de combinaciones con repetición de m elementos tomados de n en n es (n+m−1 n) Variaciones Vn,m Dado un conjunto A de n elementos, llamamos variación de orden m a cada uno de los subconjuntos ordenados de m elementos. Prop: Vn,m = n! / (n−m)! Permutaciones Pn Pn = n! Variaciones con repetición VRn,m 14 Dado un conjunto A de n elementos, se llaman variaciones con repetición de n elementos tomados de m en m a los elementos de Am Permutaciones con repetición Sea A no vacío que tenga cardinal n. Sea BðA subconjunto de cardinal m. a, bðA son B − cromáticos si a, bðB. Dos permutaciones son b − cromáticas cuando sólo difieren en el orden en el que están en el subconjunto (ej. ac1bc2c3 y ac2bc3c1 son permutaciones b − cromáticas) Pnm1, m2... (con m1 + m2 + ... = n) = n! / (m1! + m2! + ...) = (n m1, m2, ...) Ej. Cuantas palabras se pueden formar con las letras de la palabra MAMA (pudiendo repetir letras): P 4 2, 2 = 4! / (2! + 2!) = 6 Prop: ( a1 + a2 + ... + an) = (n m1, m2, ...) a1m1 ... anmn Tema V: Grafos Definición Es un conjunto finito cuyos elementos reciben el nombre de vértices V y un conjunto E de subconjuntos de V de dos elementos (aristas) Isomorfismo de grafos Se dice que dos grafos son isomorfos si existe una aplicación biyectiva ð: v1v2 de forma que {x, y} es una arista si y sólo si (ð(x), ð(y)) lo es. A la aplicación ð se la llama isomorfismo. Dos grafos NO son isomorfos si: • no tienen el mismo número de vértices • no tienen el mismo número de aristas • los vértices no son de mismo grado • el orden de los ciclos no es el mismo Grado de un vértice Sea un grafo G(V, E) y V un vértice. Se llama grado de V, (V), al número de aristas que lo contienen. Teorema La suma de los grados de todos los vértices de un grafo es igual al doble del número de aristas. ð(V) = 2E. El número de vértices impares en un grafo es siempre par. Grafo regular de grado r Si todos los vértices tienen grado r, el grafo es regular, y ð(V) = 2E. Aplicación 15 Bajo un isomorfismo (ð(u)) = (u) Recorrido Sea G(V, E). Toda sucesión de vértices adyacentes V1, V2,..., Vn de forma que {Vi, Vi+1}ð E ð i = 1, 2, ..., n−1 Camino Recorrido en el que todos los vértices son distintos Equivalencias de vértices Sea el grafo G y V = V1 ð...ð Vv la partición correspondiente a la relación de equivalencia r. Sea Ei (1 ð i ð r) el subconjunto de E formado por las aristas cuyos extremos están ambos en Vi entonces los grafos G(Vi, Ei) reciben el nombre de componentes del grafo G. Un grafo es conexo si sólo tiene una componente. Ciclo Es el recorrido en el que sólo se repiten el primer y el último elemento (1º = ultimo) Ciclo hamiltoniano Ciclo que contiene a todos los vértices de un grafo. Recorrido euleriano Recorrido en el que aparece cada arista del grafo. Prop: si x ð y, la condición para que haya un recorrido euleriano que empiece en x, y acabe en y, es que x e y sean impares y todos los demás pares. La condición necesaria y suficiente para la existencia de un recorrido euleriano en un grafo es que tenga como máximo dos vértices impares. Árboles Un grafo T es un árbol si: i) es conexo. ii) no hay ciclos. Si T(V, E) es un árbol que tiene al menos dos vértices, entonces: • ð x, y ðT existe un único camino que los une. • el grafo que se obtiene al eliminar una arista cualquiera tiene dos componentes. •E=V−1 Coloreado de vértices 16 Consiste en dar colores diferentes a los vértices adyacentes. Coloración de un grafo Una coloración de los vértices de un grafo G(V, E) es una función C: V N que cumple C(x) ð C(y) si {x, y}ð E. Número cromático de un grafo X(G) Es el menor número natural k tal que existe una coloración con k colores. El algoritmo voraz indica una coloración aceptable. Teorema Si G es un grafo cuyo grado máximo es k, entonces: • X(G) ð k + 1 • Si G es conexo y no regular, X(G) ð k Grafo bipartido Es un grafo con X(G) = 2. Un grafo es bipartido si y sólo si no tiene ciclos de longitud impar. 1 5 −− 17