DEPARTAMENTO DE ELECTRICA Y ELECTRONICA PROGRAMACION EN TIEMPO REAL

M.C Jaime Alejandro Castellanos Lpez

Objetivo(s) del curso

Comprender los conceptos bsicos de la lgica matemtica, relaciones, arboles y grafos para aplicarlos a modelos que resuelvan problemas Mecatrnicos.

M.C Jaime Alejandro Castellanos Lpez

Grafos 1.1 Introduccin a grafos 1.2 Caminos y Ciclos. 1.3 Ciclos Hamiltonianos 1.4 Algoritmos de la ruta ms corta. 1.5 Representaciones grficas 1.6 Isomorfismo. 1.7 Grafos planares. 1.8 Algoritmos para uso grafos 1.9 Ejercicio de la locura instantnea.
M.C Jaime Alejandro Castellanos Lpez

TEMARIO

rboles

2.1 Definicin de un rbol. 2.2 Terminologa y caracterizacin de los rboles. 2.3 rboles de expansin mnimos. 2.4 rboles Binarios. 2.5 Recorridos en un rbol 2.6 rboles de decisin y el tiempo mnimo para el ordenamiento. 2.7 Isomorfismo de rboles.
M.C Jaime Alejandro Castellanos Lpez 4

Codificacin

3 3.1 Grupos 3.1.1 Homeomorfismos 3.1.2 Isomorfismos. 3.1.3 Cclicos. 3.1.4 Cosets 3.1.5 Teorema de Lagrange 3.1.6 Mtrica de Hamming 3.1.7 Matrices Generadoras y de paridad..
M.C Jaime Alejandro Castellanos Lpez 5

ANILLOS

3.2.1 Grupos de cdigos. 3.2.2 Cosets lderes. 3.2.3 Matrices de Hamming. 3.2.4 Campos finitos. 3.2.5 Anillos de polinomios. 3.2.6 Polinomios irreducibles 3.2.7 Cuadrados latinos 3.2.8 Criptografa.
M.C Jaime Alejandro Castellanos Lpez 6

Lenguajes y Autmatas

4.1 Introduccin a Lenguajes y Autmatas. 4.2 Circuitos secuenciales y mquinas de estado finito. 4.3 Autmatas de estado finito. 4.4 Lenguajes y gramticas. 4.5 Autmatas de estado finito no determinista. 4.6 Relacin entre lenguajes y autmatas.
M.C Jaime Alejandro Castellanos Lpez 7

Mquinas de Turing

5.1 Definiciones Bsicas. 5.2 Mquinas de Turing 5.3 Construccin de mquinas de Turing.

M.C Jaime Alejandro Castellanos Lpez

Redes de Petri

6.1 Modelo de redes. 6.2 Algoritmo de flujo mximo 6.3 Teorema de flujo mximo y corte mnimo. 6.4 Acoplamiento 6.5 Redes de Petri

M.C Jaime Alejandro Castellanos Lpez

Evaluacin

40 % tareas 60% examen.

M.C Jaime Alejandro Castellanos Lpez

10

Equipo Requerido

Computadora Laptop. Matlab con Simulink.

M.C Jaime Alejandro Castellanos Lpez

11

Bibliografa

Notas del curso.

M.C Jaime Alejandro Castellanos Lpez

12

Grafos

M.C Jaime Alejandro Castellanos Lpez

13

Tipos de Grafos

Un grafo G es un par (V,E) donde: V ={v1,,vn} es un conjunto de vrtices E = {e1,,em} es un conjunto de aristas, con cada ek {vi, vj}, con vi, vj V, vi vj Los vrtices se representan como puntos y las aristas como lneas entre vrtices Ejemplo:

G = (V,E) V = {a,b,c,d } E = {{a,b}, {b,c}, {a,c}, {a,d}, {d,b} }

M.C Jaime Alejandro Castellanos Lpez

14

Tipos de Grafos

Ejemplo: red de ordenadores

M.C Jaime Alejandro Castellanos Lpez

15

Tipos de grafos

Es importante recordar que un mismo grafo puede tener diferentes representaciones grficas Ejemplo:

Dos representaciones del mismo grafo G = ({a,b,c,d,e,f},{{a,b},{a,e},{a,f}{e,f},{b,c},{c,d},{e,d},{d,f}})

M.C Jaime Alejandro Castellanos Lpez

16

Tipos de Grafos

Si el orden influye en la aristas se habla de grafos dirigidos:

En este caso a las aristas se les llama arcos y se representan como pares para indicar el orden:

V = { a,b,c,d,e} A ={(e,a), (a,b), (b,a), (d,a), (c,d), (d,c),(b,c),(c,b) }

M.C Jaime Alejandro Castellanos Lpez 17

Tipos de Grafos

Si se permite que haya ms de una arista se habla de multigrafos:

M.C Jaime Alejandro Castellanos Lpez

18

Tipos de Grafos

Cuando las aristas tienen un valor numrico asociado se llama de grafos valorados:

Al valor numrico asociado se le llama coste de la arista

M.C Jaime Alejandro Castellanos Lpez 19

Conceptos Bsicos

Dos vrtices se dicen adyacentes si existe una arista que los une Los vrtices que forman una arista son los extremos de la arista Si v es un extremo de una arista a, se dice que a es incidente con v El grado de un vrtice v, gr(v) es el nmero de aristas incidentes en v. Si hace falta indicar el grafo en el que est v escribiremos gr(G,v)
M.C Jaime Alejandro Castellanos Lpez 20

Conceptos Bsicos

Ejemplo:

gr(6)= _______

gr(1) = ________
21

M.C Jaime Alejandro Castellanos Lpez

Conceptos Bsicos
Teorema (de los apretones de manos) Sea G=(V,A) un grafo. Entonces: gr(v) = 2|A|

v V

Significado: la suma de los grados de todos los vrtices es igual a 2 veces el nmero de aristas Explicacin:

M.C Jaime Alejandro Castellanos Lpez

22

Conceptos Bsicos

Ejemplo:

gr(a)+gr(b)+gr(c)+gr(d)+gr(e)+gr(f) = 3+4+5+2+4+4 = 22 2|A| = 2 ____ = _____

M.C Jaime Alejandro Castellanos Lpez 23

Conceptos Bsicos

Para cada n1 se llama grafo completo de orden n, y se representa por Kn, al grafo de n vrtices conectados de todas las formas posibles:

Pregunta: Cuntas aristas tiene en general Kn?

M.C Jaime Alejandro Castellanos Lpez 24

Conceptos Bsicos

Se llama ciclo de grado n, y se denota Cn, a G=({v1,,vn}, {{v1, v2}, {v2, v3},, {vn-1, vn}, {vn, v1}} )

Nota: A menudo slo se consideran ciclos para n3

M.C Jaime Alejandro Castellanos Lpez

25

Representacin de Grafos

Para representar los grafos a menudo se utiliza la llamada matriz de adyacencia Se construye imaginando que en las filas y las columnas corresponden a los vrtices. Se pone un 0 para indicar que 2 vrtices no son adyacentes, y un 1 para indicar que s lo son:
1 2 3 4 5 6 Matriz de Adyacencia de G

1 2 3 4 5 6

Para representarla en un ordenador se utilizan matriz de valores lgicos (booleanos). True hay arista, False no hay arista

M.C Jaime Alejandro Castellanos Lpez

26

Representacin de Grafos

En el caso de un grafo no dirigido la matriz ser simtrica. No ocurre lo mismo para grafos dirigidos:

Se supone que la fila representa el vrtice origen, y la columna el vrtice destino del arco
M.C Jaime Alejandro Castellanos Lpez 27

Representacin de Grafos

La matriz de adyacencia tambin permite representar grafos valorados

El valor guardado es el coste de la arista/arco En lugar de 0, a menudo se emplea un valor especial para indicar que dos vrtices no estn conectados
M.C Jaime Alejandro Castellanos Lpez 28

Representacin de Grafos

En informtica a menudo en lugar de la matriz se usa la lista de adyacencia A cada vrtice le corresponde una lista con sus adyacentes:

G Lista de Adyacencia de G

M.C Jaime Alejandro Castellanos Lpez

29

Subgrafos

Sea G=(V,A). G=(V,A) se dice subgrafo de G si:

1. 2. 3.

V V A A (V,A) es un grafo Si G=(V,A) es subgrafo de G, para todo v G se cumple gr(G,v) gr(G,v)

M.C Jaime Alejandro Castellanos Lpez 30

Resultado fcil de comprobar:

Subgrafos

Ejemplo:

G1 y G2 son subgrafos de G
M.C Jaime Alejandro Castellanos Lpez 31

Subgrafos

Un grafo se dice cclico cuando contiene algn ciclo como subgrafo Ejemplo:

Contiene dos ciclos de long. 3: {a,e,f,a} y {_, _, _, _} Contiene un ciclo de longitud 6: {_,_,_,_,_,_,_} Contiene algn ciclo ms? ___
M.C Jaime Alejandro Castellanos Lpez 32

Grafo Complementario

El complementario G de un grafo G=(V,A) tiene:

Los mismos vrtices que G Si {u,v} G, entonces {u,v} G Si {u,v} G, entonces {u,v} G

Una forma de construirlo:

Dibujar el corresp. grafo completo Kn, con n=|V| Eliminar de Kn las aristas {u,v} G

M.C Jaime Alejandro Castellanos Lpez 33

Grafo complementario

Ejemplo : Complementario de

1 Representar K6

2 Marcar las aristas de G

M.C Jaime Alejandro Castellanos Lpez

3 Eliminarlas

34

Caminos y conectividad

Un recorrido en un grafo G = (V,A) es una sucesin de vrtices v0, v1, , vk tal que {vi,vi+1} A para todo 0 i < k La longitud de un recorrido v0, v1, , vk es k Ejemplo:

f,b,c,f,e,d es un recorrido de longitud 5 sobre G

35

M.C Jaime Alejandro Castellanos Lpez

Caminos y conectividad

Observacin: Un recorrido puede repetir vrtices, y puede comenzar y acabar en vrtices diferentes Un camino es un recorrido v0, v1, , vk en el que vi vj para 0 i,j k, con i 0 o j k Es decir en un camino todos los vrtices son distintos entre s, excepto quizs el primero y el ltimo
M.C Jaime Alejandro Castellanos Lpez 36

Caminos y conectividad

Ejemplo:

a,b,e,c,d es un camino

M.C Jaime Alejandro Castellanos Lpez

37

Caminos y conectividad

Si existe un camino entre dos vrtices se dice que estn conectados Sea G=(V,A) un grafo. La relacin xRy x e y estn conectados es de equivalencia (R ___) Si para todo par de vrtices de un grafo estn conectados se dice que el grafo es conexo g Las componentes conexas de un grafo G son los mayores subgrafos conexos de G
M.C Jaime Alejandro Castellanos Lpez 38

Caminos y conectividad

Ejemplo. Consideramos el grafo: Se tiene que:

G no es conexo: no hay camino entre a y b, por ejemplo. [a] = {a,c,e} [c] = {a,c,e} [e]={a,c,e} [b]={b,d} [d]={b,d} G/R = {[a],[b]} G tiene dos componentes conexas:

M.C Jaime Alejandro Castellanos Lpez

39

Caminos y conectividad

Un recorrido v0, v1, ,vk tal que v0 = vk es un circuito Un camino v0, v1, , vk tal que v0 = vk es un ciclo

a,b,f,c,e,f,a es un circuito

f,c,b,e,f es un ciclo

M.C Jaime Alejandro Castellanos Lpez

40

Grafos Bipartitos
Un problema interesante en un grafo es determinar su nmero cromtico: Cuntos colores son necesarios para pintar los vrtices de forma que cada arista una siempre colores distintos? Ejemplo: Grafo con nmero cromtico 4

M.C Jaime Alejandro Castellanos Lpez

41

Grafos Bipartitos

Aplicacin: coloreado de mapas Cuntos colores se necesitan para colorear un mapa de forma que no haya dos regiones con frontera con el mismo color?

M.C Jaime Alejandro Castellanos Lpez

42

Grafos Bipartitos

Idea: Transformar el mapa en un grafo, donde cada vrtice representa una regin y cada arista un lmite entre regiones:

Cuntos colores se necesitan?

nmero cromtico de este grafo?

43

M.C Jaime Alejandro Castellanos Lpez

Grafos Bipartitos

Resultado: Todos los mapas se pueden colorear con un mximo de 4 colores Solucin propuesta en 1879, probada en 1976 por K. Appel y W. Haken con la ayuda de un ordenador.

M.C Jaime Alejandro Castellanos Lpez

44

Grafos Bipartitos

Nosotros vamos a interesarnos en un caso particular: aquellos grafos que se pueden colorear en dos colores grafos bipartitos Definicin: Sea G=(V,A). Se dice que G es bipartito si existen V1, V2 tales que:
1. 2. 3.

V1 V2= V V1 V2= Para toda {vi,vj} A se cumple vi V1, vj V2

M.C Jaime Alejandro Castellanos Lpez 45

Grafos Bipartitos

Ejemplos:

Es bipartito ?

S; V1 = {2,5}, V2={0,1,3,4,6,7}

M.C Jaime Alejandro Castellanos Lpez

46

Grafos Bipartitos

Idea de cmo pintarlo:

Empezar por un vrtice cualquiera, de color C1 Dibujar todos los adyacentes de color C2 Seguir este proceso hasta haber terminado

Parece que No es bipartito, pero

cmo estar seguros?

M.C Jaime Alejandro Castellanos Lpez

47

Grafos Bipartitos

Teorema: Una grafo es bipartito si y slo si no tiene ciclos de longitud impar Ejemplo anterior: No bipartito; contiene ciclos de longitud impar (en la figura aparece marcado uno de long. 3)

M.C Jaime Alejandro Castellanos Lpez

48

Recorridos eulerianos

Ciudad de Knisberg, en XVIII:

Pregunta: sera posible dar un paseo pasando por cada uno de los siete puentes, sin repetir ninguno, comenzando y acabando en el mismo punto?
M.C Jaime Alejandro Castellanos Lpez 49

Recorridos eulerianos

Representacin propuesta por Leonard Euler en 1736:

Existe un circuito que pase por todas las aristas una sola vez?
M.C Jaime Alejandro Castellanos Lpez 50

Recorridos eulerianos

A estos circuitos se les llama circuitos eulerianos, y a los grafos que los contienen grafos eulerianos Grafo o multigrafo euleriano: admite un recorrido que pasa por todas las aristas una sola vez, empezando y terminando en el mismo vrtice. Los vrtices s se pueden repetir Ejemplo: Grafo euleriano.

Circuito euleariano: a,b,c,d,b,f,d,e,a,c,e,f,a

M.C Jaime Alejandro Castellanos Lpez 51

Recorridos eulerianos

Ejemplo: Grafo euleriano.

Circuito euleariano: a,b,c,d,b,f,d,e,a,c,e,f,a Ejemplo: El siguiente grafo es euleriano

Encuentra un circuito euleriano:

M.C Jaime Alejandro Castellanos Lpez 52

Recorridos eulerianos

Cmo saber si un grafo (o multigrafo) es euleriano? Teorema de Euler: Un grafo conexo es euleriano no tiene vrtices de grado impar Ejemplo:

A tiene grado 3el grafo de los puentes no es euleriano.

M.C Jaime Alejandro Castellanos Lpez 53

Recorridos eulerianos

Si el grafo/multigrafo tiene slo dos vrtices de grado impar se llama semi-euleriano. Se puede convertir en euleriano aadindole una arista:

Semi-euleriano (__,__ grado impar)

Euleriano

M.C Jaime Alejandro Castellanos Lpez

54

Recorridos hamiltonianos

Un grafo se dice hamiltoniano si existe un ciclo que recorre todos sus vrtices. Al ciclo se le llama ciclo hamiltoniano Ejemplos:

M.C Jaime Alejandro Castellanos Lpez

55

Recorridos hamiltonianos

No existe un mtodo sencillo para saber si un grafo es no hamiltoniano problema muy complejo Ejemplo: Este grafo es hamiltoniano

...pero este no difcil de probar!

M.C Jaime Alejandro Castellanos Lpez

56

Isomorfismo de grafos

Idea: En ocasiones dos grafos con diferentes vrtices presentan la misma estructura:

Cmo probarlo? Buscando una funcin biyectiva que convierta los vrtices de uno en otro, preservando la estructura de las aristas Definicin: Dos grafos G=(V,A), G=(V,A) son isomorfos si existe una funcin biyectiva f:VV tal que {a,b}A {f(a),f(b)}A
M.C Jaime Alejandro Castellanos Lpez 57

Isomorfismo de grafos

Ejemplo:

f(1) = a f(2) = f f(6) = b f(4) = h f(5) = d f(3) = g f(7) = e f(8) = c

Los dos grafos son isomorfos. Demostracin: Construimos f como se indica al lado de la figura. Se tiene que: {1,2}f{a,f} {6,8}f{b,c} {1,6}f{a,b} {2,8}f{f,c} {4,3}f{h,g} {1,4}f{a,h} {2,3}f{f,g} {5,7}f{d,e} {4,5}f{h,d} {3,7}f{g,e} {6,5}f{b,d} {8,7}f{c,e}
M.C Jaime Alejandro Castellanos Lpez 58

Isomorfismo de grafos

Y como saber si dos grafos no son isomorfos? Hay que buscar alguna caracterstica que diferencie la estructura de los dos grafos, como por ejemplo:
Distinto nmero de vrtices o de aristas Distinto nmero de ciclos de una longitud dada Distinto nmero de vrtices con un mismo grado n Aristas conectando vrtices con dos grados tales que no existan aristas de las mismas caractersticas en el otro grafo

M.C Jaime Alejandro Castellanos Lpez 59

Isomorfismo de grafos

Ejemplo: son isomorfos estos dos grafos?

Respuesta: no; G tiene un ciclo de longitud 3 (b,d,c,b) y G no tiene ninguno de longitud 3

M.C Jaime Alejandro Castellanos Lpez 60

Isomorfismo de grafos

Son isomorfos? ___

por qu? _________________________M.C Jaime Alejandro Castellanos Lpez 61