ESTRUCTURAS ALGEBRAICAS Un conjunto con una o ms operaciones internas se llama lgebra binaria, estructura algebraica o sistema algebraico, y se denota

(A, *, #, ...). El tipo o clase de estructura se caracterizar atendiendo a las propiedades que verifiquen las operaciones definidas en el conjunto. ESPACIOS VECTORIALES Un espacio vectorial es aquel conjunto de vectores que cumple las propiedades o axiomas de la suma de vectores y la multiplicacin por un escalar dichas propiedades vistas en espacios ndimensinales Rn o R2. Un espacio vectorial es un espacio no vaco Un espacio vectorial cumple con cuatro partes que son: un conjunto de vectores, un conjunto de escalares, y dos operaciones Estos forman un cuerpo que es igual a las estructuras algebraicas de dos operaciones <conjunto, operacin,operacin> (un cuerpo). Dimensin de un Espacio Vectorial: Si un espacio vectorial V tiene una base con n vectores entonces esa n es la dimensin de esa base y se denota dim(V) = n. El trmino vector tambin se usa para describir entidades como matrices, polinomios o funciones. Entonces se denomina un espacio vectorial. Podemos decir por lo anterior que en un espacio vectorial intervienen dos conjuntos, vectores y escalares, los segundos como coeficientes de los primeros.

PROPIEDADES SUMA Asociativa de la suma u + (v + w) = (u + v) + w u, v, w Conmutativa de la suma v + w = w + v v, w V 0 V, llamado vector cero o nulo, | v + 0 = v v V. Existencia de elemento opuesto o simtrico de la suma v V, -v V, llamado opuesto de v, | v + (-v) = 0. MULTIPLICACIN Propiedad distributiva a (v + w) = a v + a w u, v, w Propiedad distributiva del producto por un respecto a la suma de escalares (a + b) v = a v + b v Propiedad asociativa mixta del producto por un escalar a(b v)= (ab) elemento unidad 1 v = v, Donde 1 es la identidad multiplicativa en K TRANSFORMACION LINEAL UNA FUNCION, APLICACIN O TRANSFORMACION ES UN CONJUNTO DE OPERACIONES QUE SE REALIZAN SOBRE UN ELEMENTO DE UN ESPACIO VECTORIAL V , PARA CONVERTIRLO EN UN ELEMENTO DE OTRO ESPACIO VECTORIAL W.

EJEMPLO: SEAN LOS ESPACIOS VECTORIALES Y W={(a,b, ) , , } Y LA TRANSFORMACION T: V -> W DEFINIDA POR ( ) ) SE OBSERVA QUE CUALQUIER ELEMENTO DE V SE CONVIRTE EN UN ELEMENTO DE W, TRAS LA TRANSFORMACION APLICADA T. EJEMPLO: AL APLICARLE LA TRANSFORMACION T SE OBTIENE ) ) ) POR LO Q SE CONVIERTE EN UNA TERNA PERTENECIENTE A W Cumpliendo con lo anterior la transformada lineal tiene sus propiedades que son : T(0) = 0 T(v) = T(v) T(vu) = T(v)T(u) S v = c1v1 + c2v2 + ... + cnvn entonces v = c1 T(v1)+ c2 T(v2)+ ... + cn T(vn). Para definir una transformacin lineal por una matriz esta se notara as: siendo a la matriz m x n la funcin T se definir T(v) = Av que suma transformacin lineal de Rn en Rm . El ncleo se puede encontrar definiendo la transformada as. T(v) = 0 esto tambin se denomina como Kernel de T y se denota Ker (T) para que sea ncleo esta debe cumplir que Ax = 0. La dimensin del ncleo se llama nulidad y la dimensin del contradominio de T se llama rango (si A = matriz entonces el rango de T va ser = rango de A).

Dimensin del dominio = dimensin del rango + dimensin del ncleo. Las transformaciones lineales puede ser uno a uno que son aquellas que la preimagen de W consta de un solo vector, o sea, ser uno a uno para toda u y v en V, T(u) = T(v), tambin hay que tomar en cuenta que ker(T) = 0. Tambin las transformadas lineales puede ser sobre si y solo si el rango de T es igual a la dimensin de W. Y un transformacin lineal es biyectiba si es uno a uno y sobre. REPRESENTACION MATRICIAL DE UNA TRASNFORMACION CAMPOS En trminos generales, es cualquier sistema numrico en el cual podamos realizar las operaciones normales de la aritmtica como lo son: suma, resta, multiplicacin y divisin. Definicin formal:

Un campo F es un conjunto de escalares para el cual se definen operaciones de suma (a + b) y multiplicacin (ab) tal que satisfacen las propiedades siguientes: SUMA: a + b F a, b F a + b = b + a a, b F (a + b) + c =a + (b + c) a, b, c F Un nico escalar 0 llamado cero de F tal que a + 0 = a. -a a F tal que: a + (-a) = 0. MULTIPLICACIN: ab F a, b F (a + b)c = ac + bc a, b, c F ab = ba a, b F (ab)c = a(bc) a, b, c F Un nico escalar distinto de cero, 1 F tal que a F: a1 = a a F a 0; un nico escalar a-1 tal que a a-1 = 1 ESTRUCTURAS ALGEBRAICAS Si S es un conjunto no vaco y * es una funcin. Entonces * es llamado una operacin binaria sobre S, si y slo si *: S x S S. En otras palabras dado un conjunto no vaco S y el producto cartesiano de S x S, * es una funcin de modo que a cada par ordenado (a,b) le hace corresponder un nico elemento de S simbolizado por a*b. Se dice que (R, +) y (R, ) son sistemas algebraicos o estructuras algebraicas porque la suma y la multiplicacin de nmeros reales son operaciones binarias sobre dicho conjunto. Adems como el conjunto de los nmeros enteros Z es un subconjunto de los nmeros reales R. Podemos decir que los nmeros enteros Z son cerrados con respecto a la suma y la multiplicacin, es decir, que tambin (Z, +) y (Z, ) son sistemas algebraicos o estructuras algebraicas. Por ejemplo la operacin suma con el conjunto de los nmeros naturales N, forma una estructura algebraica puesto que cualquiera que sean los nmeros naturales N siempre que se sumen dos naturales el resultado ser otro nmero natural N. En pocas palabras N es un conjunto no vaco y + es una operacin interna en N. Por tanto (N, +) constituye una estructura algebraica.

Sea el conjunto A = {-1, 0, 1} y la operacin * una operacin interna definida como el producto de a por b, los resultados se pueden observar en la siguiente tabla: Siempre que se realice la operacin a*b resultar un elemento del mismo conjunto por lo cual (A, *) forman una estructura algebraica. Campo.

F es un conjunto y + y son operaciones binarias sobre F. Entonces la estructura algebraica (F, +, ) es llamada campo, si y slo si:

(R, +, ) el conjunto de los nmeros reales y las operaciones de la suma y la multiplicacin son un ejemplo de Campo. Sea x y y son elemento de Z3, y la suma y el producto de x y y son definidas por:

Las tablas de las operaciones de la adicin y la multiplicacin en (Z3, +, ) son las siguientes:

INDUCCION MATEMATICA G. Peano (1881932) propuso cinco propiedades fundamentales que caracterizan a los nmeros naturales, Axiomas de Peano. Una de ellas conocida como el Principo de Induccin Matemtica es actualmente una herramienta de uso prctico y terico principalmente para matemticos y personas que trabajan en Ciencias Computacionales. El principio lo enunciaremos para los enteros positivos N+, pero bien se puede ampliar a los nmeros naturales o a cualquier subconjunto de los enteros mayores o iguales a un entero fijo. Principio de Induccin Matemtica. Si S en un conjunto de enteros positivos tal que (B) 1 e S (I) k e S (k+1) e S entonces S contiene todos los enteros positivos. En en principio de Induccin Matemtica son muy importantes los nombres asociados y en la literatura tcnica, como es costumbre, no se presenta con detalle los pasos, por lo que resulta indispensable conocer la nomenclatura. Nomenclatura de Induccin Matemtica. (B) se llama Caso Base o caso inicial (I) se llama Paso de Induccin k e S se llama Hiptesis de Induccin Y como ya se mencion todo junto se llama Principio de Induccin Matemtica. Es importante que el alumno comprenda y memorice cada uno de estos conceptos y su participacin directa en la propiedad. Escencialmente lo que enuncia el principio de induccin matemtica es, si logramos establecer que el primer entero positivo cumple, una propiedad, y si partiendo de que un entero arbitrario tambin la cumple, se puede comprobar que el entero siguiente tambin tiene la propiedad entonces concluimos que todos los enteros positivos tienen la propiedad indicada. Por lo que otra forma de enunciar el Principio de Induccin Matemtica es: Si F(n) es una proposicin abierta que involucra enteros y se tiene(B) F(1) es verdadera; o sea, se que cumple para n=1(I) F(K) F(k+1); Si se cumple para n = k entonces tambin se cumple para n=k+1. Concluimos que la proposicin es verdadera para todos los enteros positivos. El Principio de Induccin Matemtica se utiliza para demostrar propiedades, formulas, validarlas y probar que son verdaderas, usualmente en el conjunto de los nmeros enteros positivos. Muchas propiedades que incluyen la definicin de de factorial se pueden probar por Induccin Matemtica, como el Teorema del Binomio de Newton, el Tringulo de Pascal y algunas propiedades de combinatoria que involucran combinaciones y permutaciones. Otra forma de utilizarla es para proporcionar definiciones y formalizar conceptos. 1. Demostrar por Induccin Matematica que: F(n): {$ 1 + 2 + 3 + ... + n = frac{n(n+1)}2$} Consideremos el conjunto S de los enteros para los cuales la propiedad es cierta. *[B] Si n=1; tenemos: {$1 = frac{1(1+1)}2$} {$1 = frac{2}2$} {$1 = \frac{2}2$} {$ 1 = 1$} entonces 1 est en S o sea que se cumple el caso base. [M] Debemos de llegar a que para n=k+1 tambin se cumple: {$1 + 2 + 3 + + k+1 = frac(k+1)(k+2)2$} *[I] Induccin **[H] Suponemos que cumple para n=k; {$ 1 + 2 + 3 + + k = frac{k(k+1)}2$} **[H M] Sumamos (k+1) de los dos lados de la igualdad {$ 1 + 2 + 3 + . . . + k + (k+1) = frac{k(k+1)}2 + (k+1) $}

{$ = frac{k(k+1) + 2(k+1)} 2 $} {$ = frac{k^2+k+2k+2}2$} {$ = frac{k^2+3k+2}2$} {$ = frac(k+1)(k+2) 2 $} Por lo tanto, podemos concluir que la formula (1) es valida para todos los enteros positivos Para realizar el Paso de Induccin se debe de partir del caso n=k y llegar mediante pasos vlidos al caso n=k+1. En el ejemplo anterior para llegar a n=k+1 partiendo de n=k al lado izquierdo slo le faltaba k+1 por lo que la estrategia fue sumar k+1 en ambos lados de la igualdad. DEMOSTRACION Demostrar por Induccin Matematica que: {$ sum_{i=1}^{n-1}(6n-2) = 4 + 10 + 16 + + (6n-2) = n(3n+1)$} Es la letra griega sigma mayuscula y en matematicas significa suma *[B] Si n=1; tenemos: {$(6(1)2) = 1(3(1)+1)$} {$ 4 = 4$} entonces 1 est en S o sea que se cumple el caso base. {$4 + 10 + 16 + + (6(k+1)2)= (k+1)(3(k+1)+1)\\4 + 10 + 16 + + (6(k+1)2) = 3k^2+7k+4$} || *[I] Induccin **[H] Suponemos que cumple para n=k; {$4 + 10 + 16 + + (6k-2) = k(3k+1)$} **[HM] Sumando (6(k+1)2) a ambos lados {$4 + 10 + 16 + + (6k-2) + (6(k+1)2) = k(3k+1) + (6(k+1)2)$} {$= 3k^2+k+6k+62$} {$= 3k^2+7k+4$} Por lo tanto, podemos concluir que la formula (2) es valida para cualquiera que sea el valor de n El Principio de Induccin Matemtica es mucho ms que el algoritmo aqu presentado, ya que hay muchos casos en los que no aparecen igualdades algebraicas y como se mencion en el principio inicialmente (B), (I) son tan generales que puede aplicarse a cualquier cosa que cumpla las condiciones. Sin embargo el poder aprender y resolver problemas con este algoritmo le da al alumno la madurez necesaria para entenderlo en general y le sirve tambin para formalizar y entender posteriormente la recursividad, concepto tan importente en Ciencias Computacionales. Para practicar hacer los ejercicios del 85 al 94 de Ejercicios MC 1 Definiciones por induccin: Utilizando el mtodo de Induccin Matemticas podemos definir conceptos en forma recursiva, la ventaja es que se formalizan los conceptos adems de que son ms fciles de manejar. Factorial: [B] 0! = 1 [R] (n+1)! = n! (n+1) Notacin Sumatoria: Suma: [B] m + 0 = m [R] m + n = (m+n) La definicin anterior se basa en los nmeros naturales, n significa el sucesor de n que equivale a n+1, por la misma definicin anterior. Producto: [B] m * 0 = 0 [R] m * (n+1) = (m * n) + m CUANTIFICADORES Dos casos centrales en el clculo de predicados se presentan cuando se analiza si el predicado se cumple para la poblacin completa y cuando se analiza para ver si cumple para un

caso en particular al menos. Estos dos casos se llaman Universal y Particular o Existencial vienen a ser la interpretacin o la semntica de los smbolos de cuantificadores que se vieron en la seccin 1.4 Calculo de Predicados Definicion y se definen de la siguiente forma: Cuantificador Universal. El cuantificador universal para todo asociado a una expresin de clculo de predicados F se representa por la espresin ( x) F y es verdadera cuando todas las instancias de la frmula son verdaderas al sustituir la variable x en la frmula por cada uno de los valores posibles del dominio. As por ejemplo si tenemos que la frmula es T(x) donde T representa es alumno del ITT y x representa un alumno de Tijuana, la frmula ( x) T(x) es falsa pues sabemos que hay alumnos en Tijuana que no son del ITT. Cuantificador Existencial. El cuantificador existencial al menos uno o existe uno asociado a una expresin de clculo de predicados F se representa por la espresin ( x) F y es verdadera cuando por lo menos una instancia de la frmula es verdadera al sustituir por la variable x uno de los valores posibles del dominio. As por ejemplo en el mismo caso del anterior la expresin ( x) T(x) es verdadera pues sabemos que s es verdad que al menos un estudiante es alumno del ITT. Hay expresiones dentro del espaol que son muy utilizadas como por ejemplo, Todos los alumnos son estudiosos, Todos los hombres son mortales o Todos los alumnos de Computacin estudian lgica. En este caso estamos tomando una parte del dominio para establecer un caracterstica universal, esto se puede hacer mediante la combinacin de dos predicados de una varible conectados mediante una condicional y tomando el cuantificador universal. As por ejemplo: Todos los alumnos son estudiosos se puede representar mediante ( x) (A(x) E(x)) donde el predicado A significa alumno, E estudioso y x es un elemento de un dominio general que podra ser el de las personas o cualquier subconjunto deseado. Por ejemplo podran ser todos las personas que viven en Tijuana. Aqu podemos ver claramente que el dominio juega un papel preponderante, ya que en un conjunto todos los alumnos podran ser estudiosos y si cambiamos el conjunto puede ser que ya no sea verdad. Todos los hombres son mortales se puede represntar por ( x) (H(x) M(x)) donde H es hombre y M el predicado mortal. Todos los pericos son verdes es: ( x) (P(x) V(x)) con P, perico y V verde. A una expresin como las anteriores se le llama Universal Afirmativa y se representa con la letra A. Los griegos utilizaban enunciados como los anteriores en los Silogismos, que son formas de razonamiento que contienen dos premisas tipo A, E , I, O y una conclusin tambin de uno de los cuatro tipos, las premisas estn conectadas con un predicado comn y la conclusin debe estar formado por las no comunes que se le llaman tcnicamente premisa menor y premisa mayor. Una expresin tipo E es llamada Universal Negativa y se representa por ( x) (P(x) Q(x)) y en espaol se lee ningn P cumple Q o sea que los que cumplen el predicado P(x) no cumples el predicado Q(x). Ningn alumno lleg tarde se puede representar por ( x) (A(x) T(x)) donde A es alumno y T es lleg tarde. Las dos expresiones restantes corresponden a casos particulares y para formarlas utilizamos el cuantificador existencial, y en lugar del operador condicional se usa la conjuncin, as I es ( x) (P(x) Q(x)) llamado Particular Afirmativa y O es ( x) (P(x) Q(x)) que es la Particular Negativa. En el primer caso se indica un elemento que cumple las dos condiciones dadas por los predicados y en el segundo aseguramos que hay un elemento que cumple la primera condicin pero no la segunda. Una manera muy simple de combinar estas expresiones mediante una propiedad es utilizando la negacin, pues dos de ellas son las negaciones de las otras dos, de ah sus nombres de afirmativas y negativas. Primeramente estableceremos dos reglas generales con un predicado simple: Propiedad: ( x) P(x) es equivalente a ( x) ( P(x))

( x) P(x) es equivalente a ( x) (P(x)) Ahora s, podemos combinar estos dos resultados con las Universales y Particulares Afirmativas y Negativas y tenemos lo siguiente. Teorema: La negacin de la Universal Afirmativa es la Particular Negativa y La negacin de la Particular Afirmativa es la Universal Negativa. O sea que la negacin de la forma A es la forma O y la negacin de la forma I es la forma E. ( x) (P(x) Q(x)) es equivalente a ( x) (P(x) ^ Q(x)) ( x) (P(x) ^ Q(x)) es equivalente a ( x) (P(x) Q(x)) De una manera ms simple lo que dice la primera frmula es que la negacin de Todos es Alguno No y que la negacin de Alguno es Ninguno. Esto es muy til en matemticas y en computacin, por ejemplo si queremos demostrar que no es cierto que todas las funciones integrables son continuas, basta encontrar una que sea integrable y que no sea continua. METODOS DE CONTEO para calcular la probabilidad de un evento A, es necesario contar el nmero de elementos del espacio muestral S y el nmero de elementos de evento A. Cuando el conjunto es pequeo no hay problema, pero cuando los conjuntos contienen muchos elementos toca acudir a unas tcnicas de conteo especiales llamadas mtodos de conteo. PRINCIPIO DE LA MULTIPLICACIN La primera de estas tcnicas de conteo o mtodos de conteo es la regla de la multiplicacin la cual dice que si una operacin se puede llevar a cabo en 1 n formas y si para cada una de estas se puede realizar una segunda operacin en 2 n y para cada una de dos primeras se puede realizar una tercera operacin 3 n formas, y as sucesivamente, entonces la serie de k operaciones se puede realizar en n n ,..., nk 1 2 formas Ejemplo Cuntos almuerzos que consisten en una sopa, emparedado, postre y una bebida son posibles si podemos seleccionar de 4 sopas, 3 tipos de emparedados, 5 postres y 4 bebidas? Como n1 = 4, n2 = 3, n3 = 5 y n4 = 4 hay en total n1 X n2 X n3 X n4 = 4 X 3 X 5 X 4 = 240 almuerzos diferentes para elegir PRINCIPIO DE LA SUMA. Supongamos que un procedimiento, designado con 1, se puede hacer de n1 formas. Supongamos que un segundo procedimiento, designado con 2, se puede hacer de n2 formas. Supongamos adems que no es posible que ambos, 1 y 2, se hagan juntos. Entonces, el nmero de maneras como se puede hacer 1 o 2 es n1 + n2. Ejemplo. Supongamos que planeamos un viaje y debemos decidir entre transportamos por autobs o por tren. Si hay tres rutas para el autobs y dos para el tren, entonces hay 3 + 2 = 5 rutas diferentes disponibles para el viaje. PERMUTACIONES. Una permutacin es un arreglo de todo o parte de un conjunto de objetos. El nmero de permutaciones de n objetos distintos es n!. Ejemplo: De cuantas maneras se pueden ubicar 6 personas en una fila. 7x 6x 5x 4x 3x 2x 1 7 x 6 x 5 x 4 x 3 x 2 x 1 = 7! = 5040. Ejemplo. El nmero de permutaciones de 4 letras: a, b, c, d. ser 4! = 24. El nmero de permutaciones de n objetos distintos de r a la vez es. )

Ejemplo El nmero de permutaciones de las cuatro letras a, b, c, d al tomar dos a la vez ser: Ab, ac, ad, ba, ca, da, bc, cb, bd, db, cd, dc. 4x 3 4*3 = 12, El nmero de permutaciones de n objetos distintos arreglados en un crculo es: (n-1)!. Ejemplo. De cuantas formas se pueden plantar cinco rboles diferentes en un circulo? Solucin n = 5 entonces el nmero de permutaciones es : ( 5 1 ) = 4! = 24. El nmero de permutaciones distintas de n cosas de las que 1 n son de una forma, n2 de una segunda forma, , nk de una k-sima forma es:

Ejemplo De cuntas formas diferentes se pueden arreglar 3 focos rojos, 4 amarillos y 2 azules en una serie de luces navidea com9 portalmparas? Solucin El nmero total de arreglos es: El nmero de formas de partir un conjunto de n objetos en r celdas con n1 elementos en la primera celda, n2 elementos en la segunda, y as sucesivamente, es: ( )

Donde Ejemplo En cuntas formas se pueden asignar siete cientficos a una habitacin de hotel triple y a dos dobles? Solucin El nmero total de particiones posibles sera:

COMBINACIONES En muchos problemas nos interesamos en el nmero de formas de seleccionar r objetos de n sin importar el orden. Estas selecciones de llaman combinaciones. Una combinacin es realmente una particin con dos celdas, una celda contiene los r objetos seleccionados y la otra contiene los (n r ) objetos restantes. El nmero de tales combinaciones, denotado por:

El nmero de combinaciones de n objetos distintos tomados de r a la vez es

Ejemplo De cuatro qumicos y tres fsicos encuentre el nmero de comits que se pueden formar que consistan en dos qumicos y un fsico.

Solucin

El nmero de formas de seleccionar a dos qumicos, de cuatro es El nmero de formas de seleccionar un fsico, de tres es Al usar la regla de la multiplicacin tenemos n1 n2 n1 n2 =(6)(3)=18 Comits con 2 qumicos y 1 fsico.

, podemos formar:

TEORIA DE GRAFOS Grafos son objetos usados muy frecuentemente para describir las relaciones entre los elementos de un conjunto finito. Por ejemplo, enlaces entre los nodos de una red de telecomunicaciones, dinmica entre dos o ms tipos de poblaciones (modelos presa-depredador), conexiones en una red de profesionistas, descripcin de los resultados de una competencia (torneos), etc. Def.: Grafo G: conjunto formado por un nmero finito de puntos, llamados nodos o vrtices, y lneas que unen pares de nodos (o bien a un mismo nodo) llamadas aristas.

Def. sea G un grafo con n nodos, entonces su matriz de adyacencia, se define como:

Defs.:

1. Trayectoria: sucesin de aristas en un grafo que permiten viajar de un nodo a otro de manera continua. 2. Longitud de una trayectoria: nmero de aristas que contiene una trayectoria (las aristas pueden repetirse). k-trayectoria = trayectoria con k aristas. 3. Trayectoria simple: una arista no se recorre mas de una sola vez 4. Trayectoria cerrada:la trayectoria comienza y termina en el mismo nodo. 1341 es una 3-trayectoria simple cerrada. 13441 es una 4-trayectoria simple cerrada. 214413 es una 5-trayectoria (la arista entre los nodos 1 y 4 se cuenta dos veces).

Pregunta: dados dos nodos de un grafo G, cmo podemos saber el nmero de k-trayectorias entre esos dos nodos? (Respuesta) Lema 1: sea G un grafo y A(G) su matriz de adyacencia. Entonces el nmero de k k-trayectorias entre los nodos i y j es igual al valor de (A )ij Ejercicio 1: probar el lema 1. A continuacin solo ilustraremos el lema 1 para el caso k=2 (2-trayectorias), cuando G tiene solamente cuatro vrtices y estamos interesados en determinar el nmero de 2-trayectorias entre los vrtices 3 y 2 de G. Observe que (A2)32=a31 a12+a32 a22+a33 a32+a34a42 Entonces (A2)320si y slo si alguno de los sumandos es distinto de cero (de hecho, igual a uno). Supongamos, por ejemplo, que a31 a12=1, entonces a31=1 y a12=1 , por lo tanto existe una arista entre los vrtices 3 y 1, y otra entre los vrtices 1 y 2, por lo tanto existe una 2trayectoria entre los vrtices 3 y 2. As, el nmero de sumandos distintos de cero, es decir, el valor de (A2)32 es el nmero de 2-trayectorias entre los vrtices 3 y 2 del grafo G. Hint para la demostracion del lema 1: utilice induccin sobre k para calcular el nmero de k-trayectorias entre los vrtices i y j de G. Ejercicio 2: calcule el nmero de 3 y 4-trayectorias entre los vrtices 1 y 4 de cada uno de los grafos abajo incluidos. Puede enlistarlas todas?

Grafos Eulerianos. Para definir un camino euleriano es importante definir un camino euleriano primero. Un camino euleriano se define de la manera ms sencilla como un camino que contiene todos los arcos del grafo. Teniendo esto definido podemos hablar de los grafos eulerianos describindolos simplemente como aquel grafo que contiene un camino euleriano. Como ejemplos tenemos las siguientes imgenes: El primer grafo de ellos no contiene caminos eulerianos mientras el segundo contiene al menos uno.

Caminos hamiltonianos Un camino hamiltoniano es un camino que recorre todos los vrtices de un grafo sin pasar dos veces por el mismo vrtice. Si el camino es cerrado se dice un ciclo hamiltoniano Un grafo G se dice hamiltoniano si tiene un ciclo hamiltoniano. Nota.- A diferencia de los grafos eulerianos, no hay una caracterizacin de cuando un grafo tiene un ciclo o un camino hamiltoniano Teorema.- Si un grafo es conexo con |V|3 y para cada par de vrtices la suma de sus grados es mayor o igual que el nmero de vrtices entonces es hamiltoniano. Llamaremos camino euleriano a un camino que contiene a todas las aristas del grafo, apareciendo cada una exactamente una vez. Un ciclo euleriano es un camino euleriano que comienza y acaba en el mismo vrtice. Definicin.- Un grafo que admite un ciclo euleriano diremos que es un grafo euleriano. Arboles Es una estructura jerrquica aplicada sobre una coleccin de elementos u objetos llamados nodos; uno de los cuales es conocido como raz. Adems se crea una relacin o parentesco entre los nodos dando lugar a trminos como padre, hijo, hermano, antecesor, sucesor, ancestro, etc Formalmente se define un rbol de tipo T como una estructura homognea que es la concatenacin de un elemento de tipo T junto con un nmero finito de rboles disjuntos, llamados subrboles. Una forma particular de rbol puede ser la estructura vaca. Un rbol es un grafo simple en el cual existe un nico camino entre cada par de vrtices. Los rboles representan las estructuras no lineales y dinmicas de datos ms importantes en computacin. Dinmicas porque las estructuras de rbol pueden cambiar durante la ejecucin de un programa. No lineales, puesto que a cada elemento del rbol pueden seguirle varios elementos. Los rboles pueden ser construidos con estructuras estticas y dinmicas. Las estticas son arreglos, registros y conjuntos, mientras que las dinmicas estn representadas por listas. Sea G =(V,A) un grafo no dirigido. G se denomina ARBOL, si es conexo y no contiene ciclos. Un rbol con raz, es un rbol que tiene un vrtice particular designado como raz. Se utiliza la recursin para definir un rbol porque representa la forma ms apropiada y porque adems es una caracterstica inherente de los mismos. Los rboles tienen una gran variedad de aplicaciones. Por ejemplo, se pueden utilizar para representar frmulas matemticas, para organizar adecuadamente la informacin, para construir un rbol genealgico, para el anlisis de circuitos elctricos y para numerar los captulos y secciones de un libro Ejemplo de rbol raz: Para apoyar el entendimiento de las definiciones entregadas agregaremos algunos teoremas. Teorema: Si a, b son vrtices de un rbol R (V,A), entonces hay un camino nico que conecta estos vrtices. Teorema: En cualquier rbol R= (V,A), |V| = |A| + 1. Teorema: Para cualquier rbol R = (V,A), si |A| = 2, entonces R tiene al menos dos vrtices colgantes. Teorema: Sea G un grafo simple con v vrtices, entonces se puede decir: G es un rbol. G es conexo y no contiene circuitos. G es conexo y tiene (n-1) lados. G no contiene circuitos y tiene (n-1) lados. Arboles con Raz Sea G un grafo dirigido, se denomina rbol dirigido si el grafo no dirigido asociado con G es un rbol. Cuando G es un rbol dirigido, se denomina rbol con raz si hay un nico vrtice r, la raz.

Sea G un grafo con raz V0. Supngase que x, y, z son vrtices en G y que (v0, v1, , vn), es un camino en G. V(n-1) es el padre de v(n). V0, v1, , v(n-1) son los antepasados de v(n). V(n) es el hijo de v(n-1). Si x es un antepasado de y, entonces y es un descendiente de x. Si x e y son hijos de z entonces x e y son hermanos. Si x no tiene hijos entonces x es un vrtice terminal. Si x no es un vrtice terminal, entonces x es un vrtice interno. El subgrafo de G que consiste en x y todos sus descendientes, con x como raz, es el subarbol de G que tiene a x como raz. Sea R= (V,A) un rbol con raz r. Si R no tiene otros vrtices, entonces la raz misma constituye el recorrido en orden previo, simtrico y posterior de R. Si |V| 1, sean R1, R2, R3, ., Rk los subarboles de R segn se va de izquierda a derecha. El recorrido de orden previo de R comienza en r y despus pasa por los vrtices de R1 en orden previo, a continuacin por los vrtices de R2 en orden previo, y as sucesivamente hasta que se pasa por los vrtices de Rk en orden previo. El recorrido en orden simtrico de R primero, se pasa por los vrtices de R1 en orden simtrico, despus por la raz r y a continuacin por los vrtices de los subarboles R2, R3,., Rk en orden simtrico. El recorrido en orden posterior de R pasa por los vrtices de los subarboles R1, R2,., Rk en orden posterior y a continuacin por la raz. Un rbol binario es uno con raz en el cual cada vrtice tiene un hijo a la derecha o un hijo a la izquierda, o viceversa, o bien ningn hijo. Un rbol binario completo es uno en el cual cada vrtice tiene un hijo a la derecha y uno a la izquierda, o bien ningn hijo. Teorema: Si T es un rbol binario completo con i vrtices internos, entonces T tiene i + 1 vrtices terminales y 2i + 1 vrtices en total. Un rbol binario de bsqueda es un rbol binario T donde se han asociado datos a los vrtices. Los datos se disponen de manera que para cualquier vrtice v en T, cada dato en el subarbol a la izquierda de v es menor que el dato correspondiente a v. Arboles generadores: Un rbol T es un rbol generador de un grafo G si T es un subgrafo de G que contiene todos los vrtices de G. A esta caracterstica general es posible agregar ciertos teoremas de modo de detallar an ms el alcance de la definicin. Es as como el Grafo que contiene a T debe ser conexo, pues de lo contrario no existira un subgrafo que contuviera todos sus vrtices Recorridos en un rbol En este tema trataremos las diferentes formas de hacer recorridos en el rbol sintctico de una expresin algebraica, con el fin de poder cambiar de manera algortmica de una representacin en sufijo a forma de prefijo o posfijo. Se llama recorrido de un rbol al proceso que permite acceder una sola vez a cada uno de los nodos del rbol para examinar el conjunto completo de nodos. Recorrido en Profundidad: el proceso exige alcanzar las profundidades de un camino desde la raz hacia el descendiente mas lejano del primer hijo, antes de proseguir con el segundo. Recorrido en Anchura: el proceso se realiza horizontalmente desde la raz a todos su hijos antes de pasar con la descendencia de alguno de ellos. Primeramente se ven los algortmos para construir el rbol sintctico, para la expresin dada en sufijo, prefijo o posfijo y tambin se presentan algoritmos para reconocer si una expresin est sintcticamente correcta cuando esta dada en prefijo o posfijo. Recorridos Al visitar los nodos de un rbol existen algunas maneras tiles en las que se pueden ordenar sistemticamente los nodos de un rbol. Los ordenamientos ms importantes son llamados: preorden, post-orden y en-orden y se definen recursivamente como sigue:

Si un rbol T es nulo, entonces, la lista vaca es el listado preorden, post-orden y en-orden del rbol T. Si T consiste de un slo nodo n, entonces, n es el listado preorden, post-orden y en-orden del rbol T. Los algoritmos de recorrido de un rbol binario presentan tres tipos de actividades comunes: visitar el nodo raz recorrer el subrbol izquierdo recorrer el subrbol derecho Estas tres acciones llevadas a cabo en distinto orden proporcionan los distintos recorridos del rbol. Recorrido en PRE-ORDEN: Visitar el raz Recorrer el subrbol izquierdo en pre-orden Recorrer el subrbol derecho en pre-orden Recorrido EN-ORDEN Recorrer el subrbol izquierdo en en-orden Visitar el raz Recorrer el subrbol derecho en en-orden Recorrido en POST-ORDEN Recorrer el subrbol izquierdo en post-orden Recorrer el subrbol derecho en post-orden Visitar el raz

Recorridos Si T es un rbol con raz n y subrboles T1, T2, . . . , Tk, entonces, El listado pre-orden de los nodos de T es la raz n, seguida por los nodos de T1 en pre-orden, despus los nodos de T2 en preorden, y as, hasta los nodos de Tk en pre-orden. El listado post-orden de los nodos de T es los nodos de T1 en postorden, seguidos de los nodos de T2 en post-orden, y as hasta los nodos de Tk en post-orden, todos ellos seguidos de n. El listado en-orden de los nodos de T es los nodos de T1 en-orden, seguidos por n, seguidos por los nodos de T2, . . . , Tk, cada grupo. Recorreremos el rbol Siguiente:

Recorrido Pre Orden (RID) El recorrido en Pre Orden del rbol es el siguiente: 15, 6, 4, 10, 20, 17, 22

Recorrido En Orden(IRD) El recorrido en En Orden del rbol es el siguiente: 4, 6, 10, 15, 17, 20, 22 Recorrido Post Orden(IDR) El recorrido en Post Orden del rbol es el siguiente: 4, 10, 6, 17, 22, 20, 15 Comparemos Otros Recorridos

Pre Orden (RID) 18, 12, 5, 9, 28, 20, 35 En Orden (IRD) 5, 9, 12, 18, 20, 28, 35 Post Orden (IDR) 9, 5, 12, 20, 35, 28, 18 A+B SUFIJO +AB PREFIJO AB+ POSFIJO El arbol normal (a+b) * c * A+b c

+ Ab I pre orden d entre orden r pos orden idr posfijo

rid ird

Prefijo sufijo

Recorridos en un rbol En este tema trataremos las diferentes formas de hacer recorridos de un rbol de una expresin algebraica, con el fin de poder cambiar de manera algortmica una expresin en sufijo a forma de prefijo o posfijo. Se llama recorrido de un rbol al proceso que permite acceder una sola vez a cada uno de los elementos del rbol para examinar el conjunto completo. Primeramente se ven los algoritmos para construir el rbol, para la expresin dada en sufijo, prefijo o posfijo y tambin se presentan algoritmos para reconocer si una expresin est correcta cuando esta dada en prefijo o posfijo. Recorridos Al visitar los elementos de un rbol existen algunas maneras tiles en las que se pueden ordenar sistemticamente. Los ordenamientos ms importantes son llamados: prefijo, sufijo y posfijo. Los algoritmos de recorrido de un rbol presentan tres tipos de actividades: * visitar el nodo raz * recorrer el subrbol izquierdo

* recorrer el subrbol derecho Estas tres acciones llevadas a cabo en distinto orden proporcionan los distintos recorridos del rbol. Recorrido en PREFIJO: * Visitar la raz * Recorrer el subrbol izquierdo en prefijo * Recorrer el subrbol derecho en prefijo Recorrido SUFIJO: * Recorrer el subrbol izquierdo en sufijo * Visitar la raz * Recorrer el subrbol derecho en sufijo Recorrido en POSFIJO: * Recorrer el subrbol izquierdo en postfijo * Recorrer el subrbol derecho en postfijo * Visitar la raz Recorridos de un Arbol Un rbol es una estructura de datos ampliamente usada que imita la forma de un rbol (un conjunto de nodos conectados). Un nodo es la unidad sobre la que se construye el rbol y puede tener cero o ms nodos hijos conectados a l. Se dice que un nodo a es padre de un nodo b si existe un enlace desde a hasta b (en ese caso, tambin decimos que b es hijo de a). Slo puede haber un nico nodo sin padres, que llamaremos raz. Un nodo que no tiene hijos se conoce como hoja. Los dems nodos (tienen padre y uno o varios hijos) se les conoce como rama. Hay tres manera de recorrer un rbol : en inorden, preorden y postorden. Cada una de ellas tiene una secuencia distinta para analizar el rbol como se puede ver a continuacin: 1. INORDEN(Sufijo) Recorrer el subarbol izquierdo en inorden. Examinar la raz. Recorrer el subarbol derecho en inorden. 2. PREORDEN(Prefijo) Examinar la raz. Recorrer el subrbol izquierdo en preorden. recorrer el subrbol derecho en preorden. 3. POSTORDEN(Posfijo) Recorrer el subrbol izquierdo en postorden. Recorrer el subrbol derecho en postorden. Examinar la raz. un ejemplo para expresar en notacion POSFIJO. consideremos la expresin: A / B ** C + D * E A * C 1. Parentizar completamente de acuerdo al orden de ejecucin de los operadores. A cada operador le corresponder

un parntesis izquierdo y un parntesis derecho. (((A / (B ** C)) + (D * E)) (A * C)) Los operadores se movern a reemplazar su correspondiente parntesis derecho. Las flechas apuntan desde el operador hacia su correspondiente parntesis derecho. 2. Al hacer los movimientos la expresin queda: (((A (B C ** / (D E * + (AC * 3. Rescribir la expresin suprimiendo los parntesis izquierdos. La expresin quedar: ABC ** / DE * + AC * Qu es ordenamiento? Es la operacin de arreglar los registrosde una tabla en algn orden secuencial de acuerdo a un criterio de ordenamiento. El ordenamiento se efecta con base en el valor de algn campo en un registro. El propsito principal de un ordenamiento es el de facilitar las bsquedas de los miembros del conjunto ordenado. Ej. de ordenamientos: Dir. telefnico, tablas de contenido, bibliotecas y diccionarios, etc. El ordenar un grupo de datos significa mover los datos o sus referencias para que queden en una secuencia tal que represente un orden, el cual puede ser numrico, alfabtico o incluso alfanumrico, ascendente o descendente. MODELOS DE REDES: Empezaremos por definir lo que es una red de transporte y cmo se utilizan para modelar. DEFINICION 1. Una Red de Transporte R es un grafo dirigido ponderado con las siguientes caractersticas: I.) Tiene un nodo fijo F, llamado fuente, el cual no tiene ninguna arista terminal. II.) El peso de cada arista (i,j) es no negativo; esto es, w(i,j) 0. DEFINICION 2. Sea R una red de transporte con fuente F y sumidero S y con pesos w(i,j) para cada arista (i,j). Un flujo en R es una funcin f que asigna a cada arista (i,j) un nmero (i,j) tal que I.) f(i,j) w(i,j). II.) Para toda j F, S tenemos que: f(i,j) = f(j,i) el lado izquierdo de la igualdad se llama flujo de entrada y el de la derecha el de salida del nodo j. Las redes de transporte tienen algunas propiedades que son inmediatas, una de ellas que reulta muy importante es el hecho de que el flujo de salida de la fuente es igual al flujo de enetrada del sumidero. Esto se puede establecer en el teorema siguiente utilizando la simbologa apropiada. TEOREMA. Sea R una red de transporte con flujo f, entonces: f(F,i) = f(i,S) EJEMPLO. En una parte de la ciudad se van a colocar dos bombas de agua para abastecer a tres colonias de acuerdo al siguiente diagrama Como se puede ver, esta no es una red de transporte puesto que no hay una fuente ni un sumidero. Pero debido a que es un grafe dirigido y que el flujo va de izquierda a derecha podemos fcilmente convertirla en una red, agregndole un nodo fuente F y otro nodo sumidero S. Para esto, le agregamos las correspondientes aristas con como peso, para dar opcin a cualquier posible valor Teorema del Flujo Mximo Una vez que hemos modelado una situacin especfica con una red de transporte, es importante poder analizar su alcance, esto es, el flujo mximo que puede soportar. En el caso concreto de las bombas de agua nos interesa saber cul es la cantidad mxima que es posible suministrar con este sistema de bombeo. Para esto veremos un algoritmo que nos ayudar a determinar este valor tan importante. Definicin 1. Sea R una red de transporte con fuente F, sumidero S, con pesos w(i,j) y con flujo f. Sea n0, n1, , nk un camino de F = n0 a S = nk, donde las aristas pertenecen a R pero sin considerarlo como un grafo dirigido. Una arista (ni, ni+1) en el camino: Si est en R decimos que est orientada en forma propia y si no est en R decimos que no est orientada en forma propia.

Dos aristas consecutivas pueden tener las siguientes orientaciones: Primera Orientada en forma propia Orientada en forma propia No orientada en forma propia No orientada en forma propia Segunda No orientada en forma propia No orientada en forma propia Orientada en forma propia Orientada en forma propia

Teorema: Sea C: n0, n1, , nk un camino de F = n0 a S = nk en una red R. Sea f un flujo en R con valores f(i,j). Para las aristas orientadas en forma propia tenemos W(i,j) < f(i,j) y para las no orientadas en forma propia f(i,j) > 0. Definimos f + (i,j) como: f(i,j) para las aristas que no estn en el camino.f(i,j) + M si la arista est orientada en forma propia.f(i,j) M si la arista no est orientada en forma propia. M = min { W(i,j) f(i,j) si (i,j) est orientada en forma propia y si f(i,j) no est orientada en forma propia } Entonces f+ es un flujo que f precisa en el valor M. !!! Algoritmo del Flujo Mximo: Sea R una red de transporte con fuente F y sumidero S y con pesos w(i,j) para cada arista (i,j). Sean n0, n1, , nk los nodos de la red. [I] Inicio: f(i,j) = 0, N = { } [E] Eliminar etiquetas: pred(ni) = NULL, val(ni) = NULL para todos los nodos ni. [Fuente] Etiquetar la fuente: pred(F) = #, val(F) = , N = { F } [Fin] Si N = { } el algoritmo termina y f es un flujo mximo. [Main] Mientras val(S) = NULL [N] Elegimos un nodo u en N, N = N . [A] Para toda arista (u,v) con val(v) = NULL si f(u,v) < W(u,v) : pred(v) = u y val(v) = min {val(u), W(u,v) f(i,j)} si f(u,vj) > 0 : pred(v) = u y val(v) = min{ val(u), f(i,j) } hacemos N = N {v} [C] Encontramos un camino n0, n1, , nk de F a S. Sea S = n0, ni + 1 = pred(ni) para todo nodo ni F [AC] Actualizar el flujo en el camino. Para cara (ni, ni-1) Si la arista est orientada en forma propia f(ni, ni-1) = f(ni, ni-1) + val(S) Si la arista no est orientada en forma propia f(ni, ni-1) = f(ni, ni-1) val(S) Quitamos el predecesor de S, pred(S) = NULL Regresar a [Fin] Teorema del Corte Minimal Un corte T es una seleccin cualquiera de nodos de una red tal que la fuente F est en T y el sumidero S no est en T. Vemos por lo tanto que S Tc. Definicin: Decimos que un corte es mnimo si la capacidad tiene un valor mnimo. Ejemplo. La capacidad del corte del ejemplo 1 es w(F,e) + w(f,h) + w(c,d) = 3 + 6 +5 = 14 Teorema. Si tenemos una red R con flujo f y un corte T. Entonces si la igualdad del teorema anterior se cumple se tiene un flujo mximo y un corte mnimo. En este caso se tiene: f(i,j) = w(i,j) si i T, j NO T y tambin f(i,j) = 0 si i NO T, j T. A este teorema se le conoce como el teorema del flujo mximo y corte mnimo. Redes de Petri Historia: Las redes de Petri representan una alternativa para modelar sistemas, sus caractersticas hacen que, para algunos problemas las redes de Petri funcionen de una manera natural. Las PN como ahora conoceremos a las redes de Petri (Petri Net) fueron inventadas por el alemn Karl Adam Petri en 1962. En su tesis doctoral kommunikation mit automaten (Comunicacin con autmatas), establece los fundamentos para el desarrollo terico de los conceptos bsicos de las PN.

Las PN son consideradas una herramienta para el estudio de los sistemas. Con su ayuda podemos modelar el comportamiento y la estructura de un sistema, y llevar el modelo a condiciones lmite, que en un sistema real son difciles de lograr o muy costosas. La teora de PN ha llegado a ser reconocida como una metodologa establecida en la literatura de la robtica para modelar los sistemas de manufactura flexibles. Comparada con otros modelos de comportamiento dinmico grficos, como los diagramas de las mquinas de estados finitos, las PN ofrecen una forma de expresar procesos que requieren sincrona. Y quizs lo ms importante es que las PN pueden ser analizadas de manera formal y obtener informacin del comportamiento dinmico del sistema modelado. Para modelar un sistema se usan representaciones matemticas logrando una abstraccin del sistema, esto es logrado con las PN, que adems pueden ser estudiadas como autmatas e investigar sus propiedades matemticas. Definicion: Una red de Petri es un grafo dirigido bipartito, con un estado inicial, llamado marcacin inicial. Los dos componentes principales de la red de Petri son los sitios (tambin conocidos como estados) y las transiciones. Grficamente, los sitios son dibujados como crculos y las transiciones como barras o rectngulos. Las aristas del grafo son conocidas como arcos. Estos tienen un peso especfico, el cual es indicado por un nmero entero positivo, y van de sitio a transicin y viceversa. Por simplicidad, el peso de los arcos no se indica cuando ste es igual a 1. Un arco que est etiquetado con k puede ser interpretado como k arcos paralelos. El estado del sistema que la red est modelando es representado con la asignacin de enteros no-negativos a los sitios. Esta asignacin es conocida como una marcacin, la cual es representada grficamente mediante unos pequeos crculos negros dentro de un sitio p, llamados tokens . Si el nmero de tokens es demasiado grande, los k tokens son representados con un nmero no-negativo dentro del correspondiente sitio. Tpicamente, los estados representan algn tipo de condicin en el sistema, y una transicin representa un evento. Un sitio de entrada (salida) a una transicin representan las pre(post-) condiciones. Los tokens pueden tener muchas interpretaciones. Por ejemplo, cuando un sitio est marcado con un token, este puede representar que la correspondiente condicin es verdadera. En otros casos, k tokens pueden representar k recursos, por ejemplo, el nmero de clicks del mouse realizados. Debido a que las redes de Petri pueden modelar muchos tipos de sistemas, lo que los sitios, transiciones y tokens representen vara enormemente. Una red de Petri es una tupla de cinco elementos, PN = (P,T,F,W,M0) donde: 1..P=p1,p2,,pm es un conjunto finito de sitios 2..T = t1,t2,,tn es un conjunto finito de transiciones 3.. 4.. 5. es un conjunto de arcos. es una funcin de peso es la marcacin inicial

6.. y Es conveniente utilizar la siguiente notacin: Para una transicin t, los sitios de entrada y los sitios de salida sern denotados como respectivamente. yt ,

De manera formal, una marcacin M es definida como M : P . Tambin es conveniente, en algunos casos, el denotar una marcacin M de m sitios como un vector-m donde el i-simo componente es denotado como M(pi), por ejemplo M = <M(p1),M(pm)>. Una transicin t est habilitada con una marcacin M si cada sitio de entrada p est marcado con al menos W(p,t) tokens. Una transicin puede o no ser disparada al habilitrsele. Cuando ms de una transicin es habilitada, alguna de ellas es seleccionada de manera no-determnistica dependiendo del modelo empleado. Conforme las transiciones son disparadas, el

nmero total de tokens distribuidos a lo largo de la red puede variar, esto es, la conservacin de los tokens no siempre sucede. Ejemplo: Se tiene una sola lnea para atender a 100 clientes. Los tiempos de llegada de los clientes sern valores sucesivos de la variable aleatoria ta, los tiempos de servicio estn dados por la variable aleatoria ts, y N es el nmero de servidores. Este modelo en su estado inicial tiene la cola vaca y todos los servidores en estado de espera. La red de Petri para este escenario se muestra en la figura. Figura: Ejemplo de una red de Petri

Los estados estn etiquetados con letras maysculas y las transiciones con minsculas. Las etiquetas de los sitios tambin sern usados como las variables de cuyos valores son los tokens. Las aristas tienen etiquetas que podran representar las funciones de transicin, las cuales especifican el nmero de tokens eliminados o agregados cuando una transicin es activada. El estado A incialmente contiene la llegada de 100 clientes; el sitio B evita que los clientes entren ms de una vez; el sitio Q es la fila que realizan los clientes cuando tienen que esperar a que se les atienda. El estado S es donde los servidores ociosos esperan la oportunidad para trabajar, y el sitio E cuenta el nmero de clientes que abandonan el sistema. El estado inicial implica que los sitios tengan los siguientes valores: A = 100 B=1 Q=0 S=N E=0 La transicin a sirve para modelar a los clientes que entran al sistema y la transicin b modela a los clientes cuando estn siendo atendidos. Disparo y habilitacin de las transiciones: Los cambios en los estados de un sistema son modelados mediante las reglas de activacin y habilitacin. Las reglas se describen de la siguiente manera: 1. Una transicin t est habilitada con una marcacin M si cada sitio de entrada p est marcado con al menos W(p,t) tokens. De una manera ms formal, si y slo si t est habilitado. 2. Una transicin puede o no ser disparada al habilitrsele. Cuando ms de una transicin es habilitada, alguna de esas transiciones es seleccionada de manera no-determnistica dependiendo del modelo empleado. 3. Un disparo de una transicin t resulta en W(p,t) tokens eliminados de cada sitio de entrada p de t y la adicin de W(t,p) tokens a cada sitio de salida p. Formalmente, el disparar una transicin habilitada t resulta en un cambio de la marcacin M a M, donde: M(p) = M(p) + W(t,p) si p yp

M(p) = M(p) - W(p,t) si p yp M(p) = M(p) para cualquier otro caso.

Si t no tiene estados de entrada (por ejemplo, si

), se trata de una transicin

fuente y est habilitada por vacuidad. Si t no tiene sitios de salida (por ejemplo, si ), se dice que esta es una transicin sumergida . Una transicin sumergida ``consume tokens, pero no produce ningn token. Si una transicin t es habilitada bajo la marcacin M, y M es la marcacin resultante del disparo de t, se representa como . Debe hacerse notar el hecho de que conforme las transiciones son disparadas, el nmero total de tokens distribuidos a lo largo de la red puede variar, esto es, la conservacin de los tokens no siempre sucede. Figura: Secuencia de disparo en una red de Petri

Ejemplo: La figura(a) es un ejemplo de una red de Petri con ambas transiciones habilitadas mediante la marcacin inicial M0 = < 1,2,0>. Cualquiera de las dos puede ser disparada. Es posible tener: o . Las figuras 2.8(b) y 2.8 muestran las marcaciones de M1 y M2, respectivamente. En M1 tanto t1 como t2 estn deshabilitadas. En M2, t2 est habilitada y, si t2 se vuelve a disparar, se tendr que . La figura(d) muestra a M3 marcada. En M3 ninguna transicin ha sido habilitada. Una transicin que nunca es habilitada se conoce como transicin muerta ([Dwyer et al., 1995]) . Es importante hacer notar el que la definicin de la red de Petri y sus reglas de disparo y habilitacin le permiten a un sitio estar marcado con un nmero ilimitado de tokens. Estas redes de Petri en particular, reciben el nombre de redes de capacidad infinita. Existen tambin las redes de capacidad finita, en donde la marcacin de cada sitio p tiene una cota superior K(p). As, una restriccin extra es includa para la habilitacin de una transicin t : M(p) no puede excederse de K(p) para todo Figura: Arco inhibidor , si t fuera a ser disparada.

Una extensin importante a las redes de petri es el arco inhibidor , el cual es indicado como un pequeo circulo en lugar de una flecha, al final del arco. En la figura(a) la transicin T1 est habilitada porque no existe ningun token en P1. En general, una transicin est habilitada si hay al menos un token en cada uno de sus arcos de entrada (normales) y ningun token en su arco inhibidor. En la figura(b) T1 est deshabilitada, debido a que hay un token en P1. Caso de estudio de las redes de Petri: Retomando el ejemplo del elevador visto en la seccin correspondiente a las redes de transicin de estados, se har a continuacin la especificacin utilizando redes de Petri. En esta especificacin cada piso p del edificio (el cual tiene m pisos) ser representado por un sitio Pp, , en la red de Petri; un elevador est representado por un token. Un token en Pp indica que un elevador est en el piso p. La primera condicin es: C1: Cada elevador tiene un grupo de botones, uno para cada piso. Los botones se iluminan al presionrseles y hacen que el elevador visite el piso correspondiente. La iluminacin se cancela cuando el piso es visitado por el elevador. Para incorporar esto en la especificacin es necesario la adicin de ms sitios. El botn del elevador para el piso p es representado en la red de Petri por el sitio BEp, . De una manera ms precisa, debido a que existen n elevadores el sitio debe ser denotado como BEf,e, con , . Pero para hacer ms simple la notacin, el subndice e que representa al elevador ser suprimido. Un token en BEp indica que el botn del elevador para el piso p est iluminado. Debido a que el botn debe estar iluminado la primera vez que este sea presionado y que las subsecuentes ocasiones en que se presione ese botn sern ignoradas. Esto se muestra en la figura. Figura: Red de Petri para representar un botn del elevador

Primero, supngase que el botn BEp no est iluminado. No existe ningn token en el sitio, debido a la presencia del arco inhibidor, la trancisin BEp presionado est habilitada. La transicin es disparada, y un nuevo token es puesto en BEp.

Figura: Red de Petri para representar un botn del elevador, despus de haber presionado EBf

Ahora, no importa cuantas veces sea presionado el botn, la combinacin del arco inhibidor y el token probocan que la trancisin BEp presionado no puede ser habilitada. Por lo tanto, no es posible que exista ms de un token en el sitio BEp. Supongamos que el elevador va a viajar del piso g al piso p. Debido a que el elevador est en el piso g un token est en Pg, como se muestra en la figura La transicin elevador en accin es habilitada y entonces es disparada. Los tokens en BEp y Pg son consumidos, apagando de esta manera la luz en el botn BEp, y un nuevo token aparece en Ff, figura; el disparo de esta transicin lleva al elevador del piso g al piso p. Figura: Red de Petri para representar un botn del elevador, despus de haber disparado EBf

La segunda condicin del problema indica: C2: Cada piso, exceptuando al primer y ltimo piso, tienen dos botones, uno para solicitar un elevador ``hacia arriba y otro para pedir un elevador ``hacia abajo. Estos botones se iluminan al presionrseles. Dejan de estar iluminados cuando el elEvador visita ese piso y se mueve en la direccin deseada. u d Los botones de piso son representados por los sitios BP p y BPp , los cuales representan los botones para solicitar un elevador hacia arriba y un elevador hacia abajo, respectivamente. De u d manera ms precisa, el piso 1 tiene un botn BP1 , y el piso m tiene un botn BPm , los pisos u d intermedios tienen dos botones, BPp y BPp , 1 < p < m. La figura muestra el momento en que el elevador llega al piso p desde el piso g con uno o ambos botones iluminados. Si ambos botones estn iluminados, slo uno se apagar. Figura Red de Petri para representar los botones de piso

La tercera condicin dice: C3: Cuando un elevador no tiene ninguna peticin de servicio, este debe permanecer con las puertas cerradas en el piso en que se encuentre en ese momento. Debido a que no existen peticiones de servicio del elevador, ninguna transicin elevador en accin es habilitada. acoplamientos La teora de redes y en particular el teorema del flujo mximo tienen muchas aplicaciones. Uno de los ejemplos ms ilustrativos es el problema de hacer corresponder los elementos entre dos conjuntos. Supongamos que tenemos una relacin entre dos conjuntos, por ejemplo el caso de que 4 personas S1, S2, S3 y S4 solicitan trabajo y se tienen 4 trabajos disponibles T1, T2, T3, T4: El primero est capacitado para los trabajos T2 y T4, el segundo solicita a T1, T3 y T4 y el tercero a T2 y T4 y el cuarto para T2 y T4. Podemos construir una red en base a esta relacin agregando una fuente y un sumidero como se ve en la figura. Le asignamos as tambin a cada una de las aristas el valor de 1. La pregunta que nos hacemos es si se puede lograr un acomodo en donde todos tengan trabajo. El problema se resuelve aplicando el algoritmo del flujo mximo y corte mnimo a la red as construida. Un acoplamiento con el nmero mximo de aristas se obtiene cuando el flujo es mximo. Tambin es posible ver que se tiene un acoplamiento completo, o sea que todos pueden conseguir trabajo, si el flujo equivale al nmero de elementos en el primer conjunto.