SlideShare una empresa de Scribd logo
1 de 17
Descargar para leer sin conexión
PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR
                 SEDE IBARRA




      ESCUELA DE INGENIERIA


     MATEMÁTICAS DISCRETAS

           Ing. Carpio Pineda
               DOCENTE
MATEMÁTICAS DISCRETAS
                 II BIMESTRE
                   Contenido:
o MANIPULACIÓN DE LAS RELACIONES
o CERRADURAS
o ÁRBOLES Y RECORRIDOS EN LOS ÁRBOLES
o LENGUAJES
MANIPULACIÓN DE RELACIONES
Sean R y S relación de A en B:

•Relación Complementaria Ř: aŘb  a no R b
•Relación Intersección RS: a(RS)b significa aRb y aSb
•Relación Unión RS:            a(RS)b significa aRb o aSb
•Relación Inversa R-1 : (Relación de B en A) b R-1a aRb

Ejemplo:

A = {a, b, c} y B = {1, 2}

AxB = {(a, 1)(a, 2)(b, 1)(b, 2)(c, 1)(c, 2)}

R A en B = {(a, 1)(b, 2)(c, 1)(c, 2)}
S A en B = {(a, 2)(b, 2)(c, 1)}
Ř= {(a, 2)(b, 1)} pares de U que no tenga R
Š= {(a, 1)(b, 1)(c, 2)}  pares de U que no tenga S
RS= {(b, 2)(c, 1)} pares que están e R y S
RS= {(a, 1)(a, 2)(b, 2)(c, 1)(c, 2)} todos los pares que están en R y S
R-1 = {(1, a)(2, b)(1, c)(2, c)} todos los elementos de R invertidos
Representación con Matrices:

       1 2
     a 0 1
MŘ = b 1 0
     c 0 0

          1 2
        a 0 1
M RS = b 1 0
        c 0 0

            1   2
          a 1   1
M RS =   b 0   1
          c 1   1

            a b     c
          a 1 0     1
M R-1   = b 0 1     1
CERRADURAS
Si R es una relación en un conjunto A podría suceder que R careciera de alguna de las
importantes propiedades como, Reflexión, Simétrica o la Transitiva. Si R no pose una
propiedad particular, se podría desear añadir a R pares relacionados hasta obtener una
relación que tuviera la propiedad que se requiere. Naturalmente se desearía añadir el menor
# posible de pares y por ello es necesario encontrar la mas pequeña relación R en A que
contenga R y que posea la proposición deseada. AR1 se le denomina la cerradura de R en
respecto a la propiedad en cuestión.

Cerradura Reflexiva:

         1 0 1            1           0           0           0
 MR =    0 1 0                0           1           0           0
         1 0 0                    0           0           1           0    Todos (0)

             1 0 0
MR v I =     0 1 0                        JUNTA(o)
             0 0 1

             1   0   0    0
             0   1   0    0
         =   0   0   1    0
             0   0    0   1   MRI=MR v I  Cerradura Reflexiva
Cerradura Simétrica:

         1 1 1
MR =     0 0 1
         1 1 0

                        Elementos Equidistantes:

                         MR [0,1]MR [1,0]
                          MR [1,2]MR [2,1]
                  MRI v MR-1 = MRI  Cerradura Simétrica


         1 0 1                1 1 1
MR-1 =   1 0 1        MR =   1 0 1      Si Cumple
         0 0 1                1 1 0
ALGORITMO DE WARSHALL
Se inicia Wo = Me y se usa la siguiente ecuación:

                Wij(k) = Wij(k-1)  (Wik(k-1) Wkj(k-1)) o ≤ i, j, k ≤ n

Para calcular cada Wk de Wk-1;hasta alcanzar Wn=MR ∞(Cerradura Transitiva)
Procedimiento para el cálculo de Wk de Wk-1:

•Transferir a Wk todos loa unos en Wk-1.
•Enlístese las localidades p1, p2…de la columna k-1 de Wk-1, donde el componente
sea 1.
•Enlístese las localidades q1, q2…de la fila k-1 de Wk-1, donde el componente sea 1.
•Acumular 1 en todas las posiciones pi, qj de Wk.




                                R = {(a, b)(b, a)(b, c)(c, d)}  Relación no Transitiva
K=1
                 a   b   c   d             a   b   c   d
             a   0   1   0   0         a   0   1   0   0
             b   1   0   1   0         b   1   0   1   0
   Wo = MR = c   0   0   0    1   W1 = c   0   0   0   1
             d   0   0   0   0         d   0   0   0   0


  Col       Fil
m[1][0]   m[0][1]  m[1][1]=1 en (Wk)


          m[1][0]  m[0][0]=1
m[0][1]   m[1][1]  m[0][1]=1
          m[1][2]  m[0][2]=1


          m[1][0]  m[1][0]=1
m[1][1]   m[1][1]  m[1][1]=1
          m[1][2]  m[1][2]=1
K=2

                    a   b c        d
             a      0    1 0       0
             b      1   1 1        0              m[0][2]  m[2][3]  m[0][3]=1
        W2 = c      0   0 0        1              m[1][2]  m[2][3]  m[1][3]=1
             d      0   0 0        0
K=3

               a        b    c    d
             a 1        1    1    0
             b 1        1    1    0                m[0][3]
        W3 = c 0         0    0   1                m[1][3]
             d 0        0    0    0                m[2][3]


               a        b c       d
             a 1        1 1       1
             b 1        1 1        1
        W4 = c 0        0 0       1     MR∞ Cerradura Transitiva
             d 0        0 0       0



R = {(a, a)(a, b)(a, c)(a, d)(b, a)(b, b)(b, c)(b, d)(c, d)}  Relación Transitiva
ÁRBOLES
Árbol: Es un grafo conexo y sin circuitos ni lazos.

  Ejemplos:
              n1: o                               n6: 6 arboles
              n2: o–o                             n7: 11
              n3: o–o–o                           n9: 47
              n4: o–o–o–o                         n10: 106
              n5: o–o–o–o–o                       etc,...

Un grafo es un árbol  entre cada par de vértices existe un y solo un camino simple.
Bosque: Grafo cuyas componentes conexas no tienen circuitos.

Teorema:
                              Sea G (V,E) a) G es un árbol

              b) Cada par de vértices distintos de V esta conectado por un único camino.
              c) G es conexo y toda arista de G es de separación (*Arista de separación es aquella tal que
                 si el grafo es conexo, al suprimirla se divide en 2 conexos).
              d) G no tiene circuitos y |V|=|E|+1
              e) G es conexo y |V|=|E|+1
              f) G no tiene circuitos pero al añadirle una arista a G se crea un único circuito

              Estas son condiciones equivalentes: abcdefa
Demostración:

 ab        Por que por definición es conexo y sin circuitos propios
 bc        Es conexo por b. Si hubiese más de un camino entre 2 vértices existiría un circuito.
                            Por definición de árbol esto no puede ocurrir.
 cd        Por que en circuito no existe separación

|V|=|E|+1

Inducción en |V|: Base de inducción |V|=1 como mínimo 1 vértice v|E|=0 |V|=|E|+1
Paso inductivo: Suponemos que el teorema es cierto para grados con menos de n vértices
                              (n=|V|), G-{e}=G´
                              G1=(V1, E1) |V1|<n
                              G2=(V2, E2) |V2|<n

 Por la hipótesis de inducción |V1|=|E1|+1, |V2|=|E2|+1
                                         |V| = |V1|+|V2| = (|E1|+|E2|+1)+1 = |E|+1
 de ¿G es conexo ?
    Sean G1,G2,...,Gm componente conexa de G, ¿m=1? G1 conexo sin aristas G1 árbol *
                                        |V1|=|E1|+1
          Gm......................................... |Vm|=|Em|+1
                                                     + ---------------------
                                                       |V|=|E|+m }           m=1
                                    la hipótesis |V|=|E|+1 }
ef Suponemos que  un circuito (con k aristas y k vértices) vamos allegar a una contradicción
Pueden suceder 2 casos:
 1) k=n , |E|k=n, n=|V| pero por la hipótesis |V|=|E|+1 (|V|>|E|) ????
 2) Los n-k vértices restantes necesitan al menos otras n-k aristas que les unan con los demás y quede G
conexo |E| k+(n-k)=n=|V| pero por hipótesis |V|=|E|+1 ?????

fg ¿G es conexo? Si tenemos 2 componentes conexas distintas y añadimos arista no se forma circuito y
se produce una contradicción

• Vemos que si no es conexo podría tener 2 supuestas componentes conexas
• Pero si le añadimos una arista no se crea un circuito, por lo tanto G tendrá que ser conexo

 Árbol Generado - Subgrafo conexo de G que tiene los mismos vértices que G y no tiene circuitos
Otra def: Un árbol generado de G es un árbol T=(V´,E´) subgrafo de G y tal que V´=V

Un árbol generado se puede crear de 2 modos:
           1) Suprimir aristas que no sean de separación
           2) Partiendo de los vértices coger aquellas aristas de forma que no creamos ningún circuito

Para calcular el árbol de peso mínimo existen 2 algoritmos:

Kruskal: Se van cogiendo las aristas de menor peso hasta conseguir un árbol de peso mínimo
Prim: Consiste en ir borrando las aristas de mayor peso posible y que no sean aristas de separación.
Puede haber más de un árbol generado de peso mínimo, pero todos deben tener el mismo peso.
Árbol arraigado o enraizado: Es un árbol con un vértice distinguido llamado raíz.
Si le quitan la raíz quedan árboles arraigados con raíz T1,T2,..., en este tipo de árbol los
vértices se llaman nodos.
Se llama hijo de un nodo, al vértice adyacente que esta más alejado de la raíz que el nodo del
que es hijo. Los nodos sin hijos se llaman hojas.

  Un árbol es n-ario cuando todos los nodos excepto los terminales tienen a lo sumo n hijos.
                                        Ej(n=2 binario)
  Árbol arraigado ordenado: árbol arraigado cuyos subárboles también son árboles
arraigados ordenados.
  Nivel de un vértice: El número de aristas que le separan de la raíz. La raíz tienen nivel 0.
  Altura de un árbol: Máximo nivel de sus vértices.

Sea A un conjunto finito sea T una relación en A se dice entonces que T es un árbol si existe
una trayectoria única en T de V0 a cualquier otro vértice en A pero ninguna trayectoria de V0
hacia si mismo.
Teorema: Sea (T,Vo) un árbol arraigado entonces;
a)No existe Ciclos en T.
b) Vo Es la única raíz en T.
c) Cada vértice en T,diferente a Vo tiene una entrada y Vo no tiene entrada.

Teorema: Sea (T,Vo) un árbol arraigado sobre un conjunto A entonces;
a)T es irreflexiva.
b) T es asimetrica.
c) Si (a,b) € T y (b,c) V  T entonces (a,c) V T,  la a,b y c en A
Ejemplo de Árbol de Expresiones:

2+3^2-(3+4*2^3/8-2)
LENGUAJES
Un lenguaje es una especificación completa.

Esta compuesta de tres objetos:

1.- Deberá existir un conjunto S que conste de toda las palabras que puedan
considerarse, que forman parte del lenguaje.
2.- Deberá asignarse un subconjunto de S como el conjunto de oraciones
construidas adecuadamente en el lenguaje.
3.- Se deberá determinar cuales de esas oraciones construidas adecuadamente
tienen significado y cual es el significado.

Sea S=Todas las palabras del castellano.
“El sonido azul silencioso se sentó bajo la montaña.
                            S= Todos los enteros,+,-,*,/,()
                                   ((3-2)+(4*7)/9)
G <x, n, p, s>
X= Símbolos terminales.
N= Símbolos auxiliares o no terminales.
P= reglas de producción.
S= Axioma inicial.
X={a, b}
N={V, w}
V          aw
                           P V          a
                             W          bw
                             W          b       S:V
Notación BNF:

1.- A los símbolos no terminales los encerramos < >.
2.-          remplazamos por ::=
3.- Si varias reglas pasa por un símbolo no terminal escribimos en una sola separada por:
                                         | < V >::= a<w> |a

                                    Diagrama Sintáctico

                          •Los símbolos terminales los encerramos:




                        •Los símbolos no Terminales los encerramos :
Ejemplo:

Más contenido relacionado

La actualidad más candente

Ejercicios resueltos probabilidad
Ejercicios resueltos probabilidad Ejercicios resueltos probabilidad
Ejercicios resueltos probabilidad mgarmon965
 
Modelos estocasticos
Modelos estocasticosModelos estocasticos
Modelos estocasticosHéctor Luna
 
Association rule Mining
Association rule MiningAssociation rule Mining
Association rule Miningafsana40
 
Problemas de distribución binomial, poisson y exponencial
Problemas de distribución binomial, poisson y exponencialProblemas de distribución binomial, poisson y exponencial
Problemas de distribución binomial, poisson y exponencialJavier Chavez
 
Redes neuronales artificiales supervisadas y no supervisadas
Redes neuronales artificiales supervisadas y no supervisadasRedes neuronales artificiales supervisadas y no supervisadas
Redes neuronales artificiales supervisadas y no supervisadasUNIVERSIDAD SANTA MARIA
 
Metodos iterativos
Metodos iterativosMetodos iterativos
Metodos iterativoscyndy
 
Introducción a Geometría Computacional
Introducción a  Geometría ComputacionalIntroducción a  Geometría Computacional
Introducción a Geometría ComputacionalMiguel Sancho
 
Machine Learning and Inductive Inference
Machine Learning and Inductive InferenceMachine Learning and Inductive Inference
Machine Learning and Inductive Inferencebutest
 
R Programming: Transform/Reshape Data In R
R Programming: Transform/Reshape Data In RR Programming: Transform/Reshape Data In R
R Programming: Transform/Reshape Data In RRsquared Academy
 
ESTRUCTURA DE DATOS Pilas y colas.pdf
ESTRUCTURA DE DATOS Pilas y colas.pdfESTRUCTURA DE DATOS Pilas y colas.pdf
ESTRUCTURA DE DATOS Pilas y colas.pdfKEVINDAVIDTOPONSALAZ
 
Las reglas de divisibilidad demostradas con congruencias
Las reglas de divisibilidad demostradas con congruenciasLas reglas de divisibilidad demostradas con congruencias
Las reglas de divisibilidad demostradas con congruenciasyefema
 
Teorema de bayes probabilidad condicional y probabilidad total
Teorema de bayes probabilidad condicional y probabilidad totalTeorema de bayes probabilidad condicional y probabilidad total
Teorema de bayes probabilidad condicional y probabilidad totalElizabeth Ledezma
 
Teoría de la comunicación y la información de Shannon-Hartley-NYQUIST
Teoría de la comunicación y la información de Shannon-Hartley-NYQUISTTeoría de la comunicación y la información de Shannon-Hartley-NYQUIST
Teoría de la comunicación y la información de Shannon-Hartley-NYQUISTAnthony Benalcazar
 
Geometría Computacional: Interseccción de segmentos
Geometría Computacional: Interseccción de segmentosGeometría Computacional: Interseccción de segmentos
Geometría Computacional: Interseccción de segmentosMiguel Sancho
 
A presentation on fuzzy equivalence relations
A presentation on fuzzy equivalence relationsA presentation on fuzzy equivalence relations
A presentation on fuzzy equivalence relationspriyanshubaruah94
 
S02.s2 Estadistica Inferencial.pdf
S02.s2 Estadistica Inferencial.pdfS02.s2 Estadistica Inferencial.pdf
S02.s2 Estadistica Inferencial.pdfBruceLpezMelgar
 
Proyecto De Base De Datos
Proyecto De Base De DatosProyecto De Base De Datos
Proyecto De Base De Datosguesta67b7c
 

La actualidad más candente (20)

Fuzzy logic
Fuzzy logicFuzzy logic
Fuzzy logic
 
Ejercicios resueltos probabilidad
Ejercicios resueltos probabilidad Ejercicios resueltos probabilidad
Ejercicios resueltos probabilidad
 
Modelos estocasticos
Modelos estocasticosModelos estocasticos
Modelos estocasticos
 
Association rule Mining
Association rule MiningAssociation rule Mining
Association rule Mining
 
Problemas de distribución binomial, poisson y exponencial
Problemas de distribución binomial, poisson y exponencialProblemas de distribución binomial, poisson y exponencial
Problemas de distribución binomial, poisson y exponencial
 
Redes neuronales artificiales supervisadas y no supervisadas
Redes neuronales artificiales supervisadas y no supervisadasRedes neuronales artificiales supervisadas y no supervisadas
Redes neuronales artificiales supervisadas y no supervisadas
 
Metodos iterativos
Metodos iterativosMetodos iterativos
Metodos iterativos
 
Introducción a Geometría Computacional
Introducción a  Geometría ComputacionalIntroducción a  Geometría Computacional
Introducción a Geometría Computacional
 
Machine Learning and Inductive Inference
Machine Learning and Inductive InferenceMachine Learning and Inductive Inference
Machine Learning and Inductive Inference
 
Arboles v2
Arboles v2Arboles v2
Arboles v2
 
R Programming: Transform/Reshape Data In R
R Programming: Transform/Reshape Data In RR Programming: Transform/Reshape Data In R
R Programming: Transform/Reshape Data In R
 
ESTRUCTURA DE DATOS Pilas y colas.pdf
ESTRUCTURA DE DATOS Pilas y colas.pdfESTRUCTURA DE DATOS Pilas y colas.pdf
ESTRUCTURA DE DATOS Pilas y colas.pdf
 
Las reglas de divisibilidad demostradas con congruencias
Las reglas de divisibilidad demostradas con congruenciasLas reglas de divisibilidad demostradas con congruencias
Las reglas de divisibilidad demostradas con congruencias
 
Teorema de bayes probabilidad condicional y probabilidad total
Teorema de bayes probabilidad condicional y probabilidad totalTeorema de bayes probabilidad condicional y probabilidad total
Teorema de bayes probabilidad condicional y probabilidad total
 
Teoría de la comunicación y la información de Shannon-Hartley-NYQUIST
Teoría de la comunicación y la información de Shannon-Hartley-NYQUISTTeoría de la comunicación y la información de Shannon-Hartley-NYQUIST
Teoría de la comunicación y la información de Shannon-Hartley-NYQUIST
 
Geometría Computacional: Interseccción de segmentos
Geometría Computacional: Interseccción de segmentosGeometría Computacional: Interseccción de segmentos
Geometría Computacional: Interseccción de segmentos
 
A presentation on fuzzy equivalence relations
A presentation on fuzzy equivalence relationsA presentation on fuzzy equivalence relations
A presentation on fuzzy equivalence relations
 
S02.s2 Estadistica Inferencial.pdf
S02.s2 Estadistica Inferencial.pdfS02.s2 Estadistica Inferencial.pdf
S02.s2 Estadistica Inferencial.pdf
 
Tercera forma normal
Tercera forma normalTercera forma normal
Tercera forma normal
 
Proyecto De Base De Datos
Proyecto De Base De DatosProyecto De Base De Datos
Proyecto De Base De Datos
 

Similar a Relaciones

Calculo 3 ejer 1
Calculo 3 ejer 1Calculo 3 ejer 1
Calculo 3 ejer 1izarra1530
 
Espacios vectoriales ita
Espacios vectoriales itaEspacios vectoriales ita
Espacios vectoriales itaRudy Medina
 
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdf
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdfCÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdf
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdfEduardo Rocabado
 
Transformaciones lineales
Transformaciones lineales Transformaciones lineales
Transformaciones lineales mirabal21
 
Ejercicios cap 010
Ejercicios cap 010Ejercicios cap 010
Ejercicios cap 010Bleakness
 
Guia teorica de vectores
Guia teorica de vectoresGuia teorica de vectores
Guia teorica de vectoresYennySurez
 
Transormaciones Lineales - Gabriela bello - Algebra lineal
Transormaciones Lineales - Gabriela bello - Algebra linealTransormaciones Lineales - Gabriela bello - Algebra lineal
Transormaciones Lineales - Gabriela bello - Algebra linealGabriela Bello
 
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLEleonardobenitez32
 
Vectores universidad
Vectores universidadVectores universidad
Vectores universidadWILSON RAMOS
 
vectores y matrices.pdf
vectores y matrices.pdfvectores y matrices.pdf
vectores y matrices.pdfkaniaquintero2
 
Ejercicios econometría1
Ejercicios econometría1Ejercicios econometría1
Ejercicios econometría1cesarmanosalvas
 
Grafos (angel)[1]
Grafos (angel)[1]Grafos (angel)[1]
Grafos (angel)[1]ozilricardo
 
Algebra lineal parte 2 Ing. M.Sc Victor Garcia Pinargote
Algebra lineal parte 2 Ing. M.Sc Victor Garcia PinargoteAlgebra lineal parte 2 Ing. M.Sc Victor Garcia Pinargote
Algebra lineal parte 2 Ing. M.Sc Victor Garcia PinargoteVictor Garcia
 

Similar a Relaciones (20)

Calculo 3 ejer 1
Calculo 3 ejer 1Calculo 3 ejer 1
Calculo 3 ejer 1
 
Espacios vectoriales ita
Espacios vectoriales itaEspacios vectoriales ita
Espacios vectoriales ita
 
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdf
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdfCÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdf
CÁLCULO II vectores y geometria completo_6081ac90d6b137a11260c4ca81ad47c0.pdf
 
Algebra Pdf
Algebra PdfAlgebra Pdf
Algebra Pdf
 
Transformaciones lineales
Transformaciones lineales Transformaciones lineales
Transformaciones lineales
 
Ejercicios cap 010
Ejercicios cap 010Ejercicios cap 010
Ejercicios cap 010
 
Vectores
VectoresVectores
Vectores
 
vectores 2 bachillerato
vectores 2 bachilleratovectores 2 bachillerato
vectores 2 bachillerato
 
Campos Electromagneticos - Tema 1
Campos Electromagneticos - Tema 1Campos Electromagneticos - Tema 1
Campos Electromagneticos - Tema 1
 
Guia teorica de vectores
Guia teorica de vectoresGuia teorica de vectores
Guia teorica de vectores
 
Transormaciones Lineales - Gabriela bello - Algebra lineal
Transormaciones Lineales - Gabriela bello - Algebra linealTransormaciones Lineales - Gabriela bello - Algebra lineal
Transormaciones Lineales - Gabriela bello - Algebra lineal
 
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE
05 CAMBIO DE INTEGRALES EN INTEGRAL DOBLE
 
Vectores universidad
Vectores universidadVectores universidad
Vectores universidad
 
vectores y matrices.pdf
vectores y matrices.pdfvectores y matrices.pdf
vectores y matrices.pdf
 
Ejercicios econometría1
Ejercicios econometría1Ejercicios econometría1
Ejercicios econometría1
 
áLgebra lin cap2a
áLgebra lin cap2aáLgebra lin cap2a
áLgebra lin cap2a
 
Grafos (angel)[1]
Grafos (angel)[1]Grafos (angel)[1]
Grafos (angel)[1]
 
Algebra lineal parte 2 Ing. M.Sc Victor Garcia Pinargote
Algebra lineal parte 2 Ing. M.Sc Victor Garcia PinargoteAlgebra lineal parte 2 Ing. M.Sc Victor Garcia Pinargote
Algebra lineal parte 2 Ing. M.Sc Victor Garcia Pinargote
 
Guía6vectores
Guía6vectoresGuía6vectores
Guía6vectores
 
Ortogonalidad
OrtogonalidadOrtogonalidad
Ortogonalidad
 

Más de PUCE SEDE IBARRA

Iglesia de san francisco actual
Iglesia de san francisco  actualIglesia de san francisco  actual
Iglesia de san francisco actualPUCE SEDE IBARRA
 
Iglesia de la compañía de jesus actual
Iglesia de la compañía de jesus  actualIglesia de la compañía de jesus  actual
Iglesia de la compañía de jesus actualPUCE SEDE IBARRA
 
1.sensibilizaci n ambiental-parte1
1.sensibilizaci n ambiental-parte11.sensibilizaci n ambiental-parte1
1.sensibilizaci n ambiental-parte1PUCE SEDE IBARRA
 
Capacitaciones ambientales
Capacitaciones ambientalesCapacitaciones ambientales
Capacitaciones ambientalesPUCE SEDE IBARRA
 
Educación y comunicación
Educación y comunicaciónEducación y comunicación
Educación y comunicaciónPUCE SEDE IBARRA
 
Origen y desarrollo de la educomunicación
Origen y desarrollo de la educomunicaciónOrigen y desarrollo de la educomunicación
Origen y desarrollo de la educomunicaciónPUCE SEDE IBARRA
 
La nueva geografía de internet
La nueva geografía de internetLa nueva geografía de internet
La nueva geografía de internetPUCE SEDE IBARRA
 
T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1PUCE SEDE IBARRA
 
T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1PUCE SEDE IBARRA
 
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfect
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfectTipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfect
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfectPUCE SEDE IBARRA
 
Valor nutritivo de_las_plantas_forrajeras
Valor nutritivo de_las_plantas_forrajerasValor nutritivo de_las_plantas_forrajeras
Valor nutritivo de_las_plantas_forrajerasPUCE SEDE IBARRA
 
Relacion planta microorganismo_recuperado
Relacion planta microorganismo_recuperadoRelacion planta microorganismo_recuperado
Relacion planta microorganismo_recuperadoPUCE SEDE IBARRA
 

Más de PUCE SEDE IBARRA (20)

Hist. del arte
Hist. del arteHist. del arte
Hist. del arte
 
Hist. del arte
Hist. del arteHist. del arte
Hist. del arte
 
Santo domingo
Santo domingoSanto domingo
Santo domingo
 
La catedral mejorado
La catedral  mejoradoLa catedral  mejorado
La catedral mejorado
 
Iglesia de san francisco actual
Iglesia de san francisco  actualIglesia de san francisco  actual
Iglesia de san francisco actual
 
Iglesia de la compañía de jesus actual
Iglesia de la compañía de jesus  actualIglesia de la compañía de jesus  actual
Iglesia de la compañía de jesus actual
 
1.sensibilizaci n ambiental-parte1
1.sensibilizaci n ambiental-parte11.sensibilizaci n ambiental-parte1
1.sensibilizaci n ambiental-parte1
 
Capacitaciones ambientales
Capacitaciones ambientalesCapacitaciones ambientales
Capacitaciones ambientales
 
Crecimiento celular
Crecimiento celularCrecimiento celular
Crecimiento celular
 
Educación y comunicación
Educación y comunicaciónEducación y comunicación
Educación y comunicación
 
Origen y desarrollo de la educomunicación
Origen y desarrollo de la educomunicaciónOrigen y desarrollo de la educomunicación
Origen y desarrollo de la educomunicación
 
La nueva geografía de internet
La nueva geografía de internetLa nueva geografía de internet
La nueva geografía de internet
 
T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1
 
Clases de tipografias
Clases de tipografiasClases de tipografias
Clases de tipografias
 
T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1T.p. caligraf a_cancilleresca_estilos_1
T.p. caligraf a_cancilleresca_estilos_1
 
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfect
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfectTipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfect
Tipografi clasificaci n_de_los_tipos_seg_n_cristopher_perfect
 
Valor nutritivo de_las_plantas_forrajeras
Valor nutritivo de_las_plantas_forrajerasValor nutritivo de_las_plantas_forrajeras
Valor nutritivo de_las_plantas_forrajeras
 
Npk
NpkNpk
Npk
 
Molibdeno
MolibdenoMolibdeno
Molibdeno
 
Relacion planta microorganismo_recuperado
Relacion planta microorganismo_recuperadoRelacion planta microorganismo_recuperado
Relacion planta microorganismo_recuperado
 

Último

Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)veganet
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxOscarEduardoSanchezC
 
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024gharce
 
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfBIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfCESARMALAGA4
 
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptxc3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptxMartín Ramírez
 
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJOTUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJOweislaco
 
Fundamentos y Principios de Psicopedagogía..pdf
Fundamentos y Principios de Psicopedagogía..pdfFundamentos y Principios de Psicopedagogía..pdf
Fundamentos y Principios de Psicopedagogía..pdfsamyarrocha1
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADOJosé Luis Palma
 
Tema 8.- Gestion de la imagen a traves de la comunicacion de crisis.pdf
Tema 8.- Gestion de la imagen a traves de la comunicacion de crisis.pdfTema 8.- Gestion de la imagen a traves de la comunicacion de crisis.pdf
Tema 8.- Gestion de la imagen a traves de la comunicacion de crisis.pdfDaniel Ángel Corral de la Mata, Ph.D.
 
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdf
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdfEstrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdf
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdfAlfredoRamirez953210
 
CIENCIAS NATURALES 4 TO ambientes .docx
CIENCIAS NATURALES 4 TO  ambientes .docxCIENCIAS NATURALES 4 TO  ambientes .docx
CIENCIAS NATURALES 4 TO ambientes .docxAgustinaNuez21
 
Fisiologia.Articular. 3 Kapandji.6a.Ed.pdf
Fisiologia.Articular. 3 Kapandji.6a.Ed.pdfFisiologia.Articular. 3 Kapandji.6a.Ed.pdf
Fisiologia.Articular. 3 Kapandji.6a.Ed.pdfcoloncopias5
 
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdfOswaldoGonzalezCruz
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFAROJosé Luis Palma
 
Día de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialDía de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialpatriciaines1993
 
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMALVOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMALEDUCCUniversidadCatl
 

Último (20)

VISITA À PROTEÇÃO CIVIL _
VISITA À PROTEÇÃO CIVIL                  _VISITA À PROTEÇÃO CIVIL                  _
VISITA À PROTEÇÃO CIVIL _
 
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
 
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024
SISTEMA INMUNE FISIOLOGIA MEDICA UNSL 2024
 
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfBIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
 
Earth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversaryEarth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversary
 
TL/CNL – 2.ª FASE .
TL/CNL – 2.ª FASE                       .TL/CNL – 2.ª FASE                       .
TL/CNL – 2.ª FASE .
 
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptxc3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
 
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJOTUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
 
Fundamentos y Principios de Psicopedagogía..pdf
Fundamentos y Principios de Psicopedagogía..pdfFundamentos y Principios de Psicopedagogía..pdf
Fundamentos y Principios de Psicopedagogía..pdf
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
 
Tema 8.- Gestion de la imagen a traves de la comunicacion de crisis.pdf
Tema 8.- Gestion de la imagen a traves de la comunicacion de crisis.pdfTema 8.- Gestion de la imagen a traves de la comunicacion de crisis.pdf
Tema 8.- Gestion de la imagen a traves de la comunicacion de crisis.pdf
 
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdf
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdfEstrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdf
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdf
 
CIENCIAS NATURALES 4 TO ambientes .docx
CIENCIAS NATURALES 4 TO  ambientes .docxCIENCIAS NATURALES 4 TO  ambientes .docx
CIENCIAS NATURALES 4 TO ambientes .docx
 
Fisiologia.Articular. 3 Kapandji.6a.Ed.pdf
Fisiologia.Articular. 3 Kapandji.6a.Ed.pdfFisiologia.Articular. 3 Kapandji.6a.Ed.pdf
Fisiologia.Articular. 3 Kapandji.6a.Ed.pdf
 
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdfTema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
 
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
 
Día de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialDía de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundial
 
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMALVOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
 

Relaciones

  • 1. PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR SEDE IBARRA ESCUELA DE INGENIERIA MATEMÁTICAS DISCRETAS Ing. Carpio Pineda DOCENTE
  • 2. MATEMÁTICAS DISCRETAS II BIMESTRE  Contenido: o MANIPULACIÓN DE LAS RELACIONES o CERRADURAS o ÁRBOLES Y RECORRIDOS EN LOS ÁRBOLES o LENGUAJES
  • 3. MANIPULACIÓN DE RELACIONES Sean R y S relación de A en B: •Relación Complementaria Ř: aŘb  a no R b •Relación Intersección RS: a(RS)b significa aRb y aSb •Relación Unión RS: a(RS)b significa aRb o aSb •Relación Inversa R-1 : (Relación de B en A) b R-1a aRb Ejemplo: A = {a, b, c} y B = {1, 2} AxB = {(a, 1)(a, 2)(b, 1)(b, 2)(c, 1)(c, 2)} R A en B = {(a, 1)(b, 2)(c, 1)(c, 2)} S A en B = {(a, 2)(b, 2)(c, 1)} Ř= {(a, 2)(b, 1)} pares de U que no tenga R Š= {(a, 1)(b, 1)(c, 2)}  pares de U que no tenga S RS= {(b, 2)(c, 1)} pares que están e R y S RS= {(a, 1)(a, 2)(b, 2)(c, 1)(c, 2)} todos los pares que están en R y S R-1 = {(1, a)(2, b)(1, c)(2, c)} todos los elementos de R invertidos
  • 4. Representación con Matrices: 1 2 a 0 1 MŘ = b 1 0 c 0 0 1 2 a 0 1 M RS = b 1 0 c 0 0 1 2 a 1 1 M RS = b 0 1 c 1 1 a b c a 1 0 1 M R-1 = b 0 1 1
  • 5. CERRADURAS Si R es una relación en un conjunto A podría suceder que R careciera de alguna de las importantes propiedades como, Reflexión, Simétrica o la Transitiva. Si R no pose una propiedad particular, se podría desear añadir a R pares relacionados hasta obtener una relación que tuviera la propiedad que se requiere. Naturalmente se desearía añadir el menor # posible de pares y por ello es necesario encontrar la mas pequeña relación R en A que contenga R y que posea la proposición deseada. AR1 se le denomina la cerradura de R en respecto a la propiedad en cuestión. Cerradura Reflexiva: 1 0 1 1 0 0 0 MR = 0 1 0 0 1 0 0 1 0 0 0 0 1 0  Todos (0) 1 0 0 MR v I = 0 1 0 JUNTA(o) 0 0 1 1 0 0 0 0 1 0 0 = 0 0 1 0 0 0 0 1 MRI=MR v I  Cerradura Reflexiva
  • 6. Cerradura Simétrica: 1 1 1 MR = 0 0 1 1 1 0 Elementos Equidistantes: MR [0,1]MR [1,0] MR [1,2]MR [2,1] MRI v MR-1 = MRI  Cerradura Simétrica 1 0 1 1 1 1 MR-1 = 1 0 1  MR = 1 0 1  Si Cumple 0 0 1 1 1 0
  • 7. ALGORITMO DE WARSHALL Se inicia Wo = Me y se usa la siguiente ecuación: Wij(k) = Wij(k-1)  (Wik(k-1) Wkj(k-1)) o ≤ i, j, k ≤ n Para calcular cada Wk de Wk-1;hasta alcanzar Wn=MR ∞(Cerradura Transitiva) Procedimiento para el cálculo de Wk de Wk-1: •Transferir a Wk todos loa unos en Wk-1. •Enlístese las localidades p1, p2…de la columna k-1 de Wk-1, donde el componente sea 1. •Enlístese las localidades q1, q2…de la fila k-1 de Wk-1, donde el componente sea 1. •Acumular 1 en todas las posiciones pi, qj de Wk. R = {(a, b)(b, a)(b, c)(c, d)}  Relación no Transitiva
  • 8. K=1 a b c d a b c d a 0 1 0 0 a 0 1 0 0 b 1 0 1 0 b 1 0 1 0 Wo = MR = c 0 0 0 1 W1 = c 0 0 0 1 d 0 0 0 0 d 0 0 0 0 Col Fil m[1][0] m[0][1]  m[1][1]=1 en (Wk) m[1][0]  m[0][0]=1 m[0][1] m[1][1]  m[0][1]=1 m[1][2]  m[0][2]=1 m[1][0]  m[1][0]=1 m[1][1] m[1][1]  m[1][1]=1 m[1][2]  m[1][2]=1
  • 9. K=2 a b c d a 0 1 0 0 b 1 1 1 0 m[0][2]  m[2][3]  m[0][3]=1 W2 = c 0 0 0 1 m[1][2]  m[2][3]  m[1][3]=1 d 0 0 0 0 K=3 a b c d a 1 1 1 0 b 1 1 1 0 m[0][3] W3 = c 0 0 0 1 m[1][3] d 0 0 0 0 m[2][3] a b c d a 1 1 1 1 b 1 1 1 1 W4 = c 0 0 0 1  MR∞ Cerradura Transitiva d 0 0 0 0 R = {(a, a)(a, b)(a, c)(a, d)(b, a)(b, b)(b, c)(b, d)(c, d)}  Relación Transitiva
  • 10. ÁRBOLES Árbol: Es un grafo conexo y sin circuitos ni lazos. Ejemplos: n1: o n6: 6 arboles n2: o–o n7: 11 n3: o–o–o n9: 47 n4: o–o–o–o n10: 106 n5: o–o–o–o–o etc,... Un grafo es un árbol  entre cada par de vértices existe un y solo un camino simple. Bosque: Grafo cuyas componentes conexas no tienen circuitos. Teorema: Sea G (V,E) a) G es un árbol b) Cada par de vértices distintos de V esta conectado por un único camino. c) G es conexo y toda arista de G es de separación (*Arista de separación es aquella tal que si el grafo es conexo, al suprimirla se divide en 2 conexos). d) G no tiene circuitos y |V|=|E|+1 e) G es conexo y |V|=|E|+1 f) G no tiene circuitos pero al añadirle una arista a G se crea un único circuito Estas son condiciones equivalentes: abcdefa
  • 11. Demostración: ab Por que por definición es conexo y sin circuitos propios bc Es conexo por b. Si hubiese más de un camino entre 2 vértices existiría un circuito. Por definición de árbol esto no puede ocurrir. cd Por que en circuito no existe separación |V|=|E|+1 Inducción en |V|: Base de inducción |V|=1 como mínimo 1 vértice v|E|=0 |V|=|E|+1 Paso inductivo: Suponemos que el teorema es cierto para grados con menos de n vértices (n=|V|), G-{e}=G´ G1=(V1, E1) |V1|<n G2=(V2, E2) |V2|<n Por la hipótesis de inducción |V1|=|E1|+1, |V2|=|E2|+1 |V| = |V1|+|V2| = (|E1|+|E2|+1)+1 = |E|+1 de ¿G es conexo ? Sean G1,G2,...,Gm componente conexa de G, ¿m=1? G1 conexo sin aristas G1 árbol * |V1|=|E1|+1 Gm......................................... |Vm|=|Em|+1 + --------------------- |V|=|E|+m } m=1 la hipótesis |V|=|E|+1 }
  • 12. ef Suponemos que  un circuito (con k aristas y k vértices) vamos allegar a una contradicción Pueden suceder 2 casos: 1) k=n , |E|k=n, n=|V| pero por la hipótesis |V|=|E|+1 (|V|>|E|) ???? 2) Los n-k vértices restantes necesitan al menos otras n-k aristas que les unan con los demás y quede G conexo |E| k+(n-k)=n=|V| pero por hipótesis |V|=|E|+1 ????? fg ¿G es conexo? Si tenemos 2 componentes conexas distintas y añadimos arista no se forma circuito y se produce una contradicción • Vemos que si no es conexo podría tener 2 supuestas componentes conexas • Pero si le añadimos una arista no se crea un circuito, por lo tanto G tendrá que ser conexo Árbol Generado - Subgrafo conexo de G que tiene los mismos vértices que G y no tiene circuitos Otra def: Un árbol generado de G es un árbol T=(V´,E´) subgrafo de G y tal que V´=V Un árbol generado se puede crear de 2 modos: 1) Suprimir aristas que no sean de separación 2) Partiendo de los vértices coger aquellas aristas de forma que no creamos ningún circuito Para calcular el árbol de peso mínimo existen 2 algoritmos: Kruskal: Se van cogiendo las aristas de menor peso hasta conseguir un árbol de peso mínimo Prim: Consiste en ir borrando las aristas de mayor peso posible y que no sean aristas de separación. Puede haber más de un árbol generado de peso mínimo, pero todos deben tener el mismo peso.
  • 13. Árbol arraigado o enraizado: Es un árbol con un vértice distinguido llamado raíz. Si le quitan la raíz quedan árboles arraigados con raíz T1,T2,..., en este tipo de árbol los vértices se llaman nodos. Se llama hijo de un nodo, al vértice adyacente que esta más alejado de la raíz que el nodo del que es hijo. Los nodos sin hijos se llaman hojas. Un árbol es n-ario cuando todos los nodos excepto los terminales tienen a lo sumo n hijos. Ej(n=2 binario) Árbol arraigado ordenado: árbol arraigado cuyos subárboles también son árboles arraigados ordenados. Nivel de un vértice: El número de aristas que le separan de la raíz. La raíz tienen nivel 0. Altura de un árbol: Máximo nivel de sus vértices. Sea A un conjunto finito sea T una relación en A se dice entonces que T es un árbol si existe una trayectoria única en T de V0 a cualquier otro vértice en A pero ninguna trayectoria de V0 hacia si mismo. Teorema: Sea (T,Vo) un árbol arraigado entonces; a)No existe Ciclos en T. b) Vo Es la única raíz en T. c) Cada vértice en T,diferente a Vo tiene una entrada y Vo no tiene entrada. Teorema: Sea (T,Vo) un árbol arraigado sobre un conjunto A entonces; a)T es irreflexiva. b) T es asimetrica. c) Si (a,b) € T y (b,c) V  T entonces (a,c) V T,  la a,b y c en A
  • 14. Ejemplo de Árbol de Expresiones: 2+3^2-(3+4*2^3/8-2)
  • 15. LENGUAJES Un lenguaje es una especificación completa. Esta compuesta de tres objetos: 1.- Deberá existir un conjunto S que conste de toda las palabras que puedan considerarse, que forman parte del lenguaje. 2.- Deberá asignarse un subconjunto de S como el conjunto de oraciones construidas adecuadamente en el lenguaje. 3.- Se deberá determinar cuales de esas oraciones construidas adecuadamente tienen significado y cual es el significado. Sea S=Todas las palabras del castellano. “El sonido azul silencioso se sentó bajo la montaña. S= Todos los enteros,+,-,*,/,() ((3-2)+(4*7)/9) G <x, n, p, s> X= Símbolos terminales. N= Símbolos auxiliares o no terminales. P= reglas de producción. S= Axioma inicial. X={a, b} N={V, w}
  • 16. V aw P V a W bw W b S:V Notación BNF: 1.- A los símbolos no terminales los encerramos < >. 2.- remplazamos por ::= 3.- Si varias reglas pasa por un símbolo no terminal escribimos en una sola separada por: | < V >::= a<w> |a Diagrama Sintáctico •Los símbolos terminales los encerramos: •Los símbolos no Terminales los encerramos :