conjuntos y relacionescs.uns.edu.ar/~td/lfya2011/downloads/TEORICAS/Conjuntos y... · 2012. 8....

Post on 31-Mar-2021

10 views 0 download

Transcript of conjuntos y relacionescs.uns.edu.ar/~td/lfya2011/downloads/TEORICAS/Conjuntos y... · 2012. 8....

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

conjuntos y relaciones

CONTENIDONotación de Conjuntos [G3.1]. Relaciones entre conjuntos [G3.1].Operaciones sobre conjuntos [G3.1]. Relaciones binarias [G4.1].Composición [H4.1]. Clausuras [H4.1]. Problemas de caminos[H4.1]. Relaciones de equivalencia [H4.1]. Particiones [H4.1].Generación de relaciones de equivalencia [H4.1]. Relaciones de orden [G4.1]. Órdenes parciales [G4.1]. Ordenamiento Topológico [G4.2]. Órdenes bien fundados [H4.3]. Retículo [M2].Retículo con primer y último elemento [M2]. Elementos irreducibles y elementos primos de un retículo finito [M2].

GERSTING, JUDITH L. “Mathematical Structures for Computer Science: A Modern Approach to Discrete Mathematics”. W H Freeman & Co, 2006.

HEIN, JAMES. “Discrete Structures, Logic and Computability”. Jones and Bartlett Publishers 1995

MONTEIRO, LUIZ. “Algebras de Boole”. Universidad Nacional del Sur, 2002.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

teoría de conjuntos

Los conjuntos son herramienta poderosa en ciencias de la computación para resolver problemas reales.

Un conjunto es una colección de elementos u objetos y un elemento es un miembro de un conjunto.

Tradicionalmente, los conjuntos se notan utilizando letras mayúsculas y los elementos utilizando letras minúsculas.

El símbolo ∈ significa “pertenece” y es usado para representar el hecho de que un elemento pertenece a un conjunto particular:

a∈A significa que el elemento a pertenece al conjunto A. b∉A implica que b no es un elemento de A.Las llaves {} son utilizadas para indicar un conjuntoA = {2, 4, 6, 8, 10} 3∉A y 2∈A

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

teoría de conjuntos

Los elementos del conjunto no tienen impuesto un orden. Listar elementos más de una vez es redundante.

Dos conjuntos son iguales si y sólo si contienen los mismos elementos.

Por lo tanto, A = B significa (∀x)[(x ∈ A → x ∈ B) ∧ (x ∈ B → x ∈ A)]

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

teoría de conjuntos

Conjunto finito e infinito: descripto por el número de elementos en un conjunto.

Los miembros de conjuntos infinitos no pueden ser listados, pero se puede indicar un patrón para listar elementos.

EjemploS = {x | x es un entero positivo par} o utilizando una notación más formal:

S = {x | P(x)} significa(∀x)[(x ∈ S → P(x)) ∧ (P(x)→ x ∈ S)] donde P(x) indica una propiedad (predicado) de x(ejemplo PositivoPar(x)).

Por lo tanto, todo elemento de S tiene la propiedad P y todo aquello que tiene la propiedad P es un elemento de S.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

ejemplos de teoría de conjuntos

Describir cada uno de los siguientes conjuntos listando sus elementos:

{x | x es un mes con exactamente 30 días}{Abril, Junio, Septiembre, Noviembre}

{x | x es un entero y 4 < x < 9}{5, 6, 7, 8}

¿Cuál es la propiedad P (predicado) para cada uno de los siguientes conjuntos? {1, 4, 9, 16}

{x | x es uno de los primeros cuatro cuadrados perfectos}

{2, 3, 5, 7, 11, 13, 17, ….}{x | x es un número primo}

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

conceptos básicos de teoría de conjuntos

Un conjunto que no tiene miembros es llamado nulo o vacío y estárepresentado mediante ∅ o {}.

Notar que ∅ es diferente de {∅}. El último es un conjunto con 1 elemento, que es el elemento vacío.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

conceptos básicos de teoría de conjuntos

Algunas notaciones útiles para definir conjuntos

N = conjunto de enteros no negativos (notar que asumimos 0 ∈ N).Z = conjunto de todos los enteros.Q = conjunto de todos los números racionales.R = conjunto de todos los números reales.C = conjunto de todos los números complejos.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

intervalos abiertos y cerrados

{x ∈ R | -2 < x < 3}Denota el conjunto que contiene todos los

números reales entre -2 y 3. Este es un intervalo abierto, lo que significa que los puntos -2 y 3 no están incluidos.

{x ∈ R | -2 ≤ x ≤ 3}Conjunto similar pero en un intervalo cerrado.

Incluye todos los números del intervalo abierto descripto arriba y los extremos.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

relaciones entre conjuntos

Dado los conjuntos A y B, A se dice subconjunto de B si y sólo si todo elemento de A es también elemento de B.

Simbólicamente: A ⊆ B ⇔ (∀x), si x ∈ A, entonces x ∈ B.Si A ⊆ B y A ≠ B, entonces existe al menos un

elemento de B que no es elemento de A. En ese caso se dice que A es un subconjunto propio de B.

Simbólicamente se denota A ⊂ B

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

cardinalidad

La cardinalidad de un conjunto es el número de elementos dentro del conjunto.

La cardinalidad de un conjunto S se denota |S|.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

conjunto de conjuntos

A partir de cada conjunto podemos generar muchos subconjuntos. El conjunto cuyos elementos son todos estos subconjuntos se conoce como el conjunto potencia.

Para un conjunto S, usamos ℘(S) para denotar el conjunto potencia de S.

Para el conjunto S = {1, 2, 3} ; ℘(S) = {∅ ,{1}, {2}, {3}, {1,2}, {1,3}, {2,3},

{1,2,3}}Para un conjunto con n elementos, el conjunto

potencia tiene 2n elementos.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

operaciones sobre conjuntos

Un par ordenado de elementos se escribe (x,y)Dos pares ordenados (a,b) y (c,d) son iguales si y sólo si a = c y b = d.Si S = {2,3} los pares ordenados del conjunto son (2,2), (2,3), (3,2), (3,3).

Si para todo x, y ∈ S, x ° y ∈ S, entonces S se dice cerrado bajo la operación °.

La operación binaria ° es una operación binaria sobre un conjunto S si para cada par ordenado (x,y) de elementos de S, x ° yexiste, es único, y es un miembro de S.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

operaciones binarias sobre un conjunto

Ejemplosx ° y = x/y; S =conjunto de enteros positivos

S no es cerrada bajo división (1/2 no es un entero positivo).

x ° y = x/y; S =conjunto de los racionales positivosx ° y = xy; S = R

00 no está definidox ° y = máximo de x e y; S = Nx ° y = x + y; S = conjunto de números de Fibonacci S={0,

1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946, … }

S no es cerrado bajo suma ya que, 1+3 = 4 y 4 no es un número de Fibonacci

X

X

X

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

operaciones sobre conjuntos

Sean A, B ∈ ℘(S). La unión de los conjuntos A y B, denotada A ∪ B es el conjunto que contiene todos los elementos que están en el conjunto A o en el conjunto B. Es decir A ∪ B = {x | x ∈ A ∨ x ∈ B}. La intersección de los conjuntos A y B, denotada A ∩ B contiene todos los elementos que son comunes a ambos conjuntos, es decir A ∩ B = {x | x ∈ A ∧ x ∈ B}

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

conjuntos disjuntos, universal y diferencia

Dados los conjuntos A y B, si A ∩ B = ∅, entonces A y B son conjuntos disjuntos. En otras palabras, no existen elementos en A que están también en B.Para un conjunto A ∈ ℘(S),el complemento denotado ~A o A′, es el conjunto de todos los elementos que no están en A.

A′ = {x | x ∈ S ∧ x ∉ A }La diferencia A-B es el conjunto de elementos en A que no están en B. Es también conocido como el complemento de B relativo a A.

A - B = {x | x ∈ A ∧ x ∉ B }Notar que A – B = A ∩ B′ ≠ B – A

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

producto cartesiano

El producto cartesiano de A y B denotado simbólicamente A × B se define como

A × B = {(x,y) | x ∈ A ∧ y ∈ B }EjemploSea A = {a, b, c} y B = {1, 2, 3}A × B = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3), (c, 1), (c,

2), (c, 3)}¿Es A × B = B × A?El producto cartesiano de un conjunto consigo mismo se

denota A × A o A2

Generalizando:An representa el conjunto de todas las n-tuplas (o n-uplas)

(x1, x2, …, xn) de elementos en A.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

identidades básicas de conjuntos

Dados los conjuntos A, B, y C, y un conjunto universal S y el conjunto vacío ∅, la siguientes propiedades se verifican:

Propiedad conmutativa (pc)A ∪ B = B ∪ A A ∩ B = B ∩ A

Propiedad asociativa (pa)A ∪ (B ∪ C) = (A ∪ B) ∪ C A ∩ (B ∩ C) = (A ∩ B) ∩ C

Propiedad distributiva (pd)A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

Propiedades de identidad (pi)∅ ∪ A = A ∪ ∅ = A S ∩ A = A ∩ S = A

Propiedades de complemento (comp)A ∪ A′ = S A ∩ A′ = ∅

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

más identidades de conjuntos

Ley de doble complemento(A′)′ = A

Leyes de idempotenciaA ∪ A = A A ∩ A = A

Leyes de absorciónA ∪ (A ∩ B) = A A ∩ (A ∪ B) = A

Representación alternativa de la diferenciaA - B = A ∩ B′

Inclusión en uniónA ⊆ A ∪ B B ⊆ A ∪ B

Inclusión de intersecciónA ∩ B ⊆ A A ∩ B ⊆ B

Propiedad transitiva de subconjuntos Si A ⊆ B, y B ⊆ C, entonces A ⊆ C

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

identidades de conjuntos

EjemploUsar las identidades de conjuntos para probar

[A ∪ (B ∩ C)] ∩ ([A′ ∪ (B ∩ C)] ∩ (B ∩ C)′) = ∅

Prueba:[A ∪ (B ∩ C)] ∩ ([A′ ∪ (B ∩ C)] ∩ (B ∩ C)′) =([A ∪ (B ∩ C)] ∩ [A′ ∪ (B ∩ C)]) ∩ (B ∩ C)′ = (pa)([(B ∩ C) ∪ A] ∩ [(B ∩ C) ∪ A′]) ∩ (B ∩ C)′= (pc)[(B ∩ C) ∪ (A ∩ A′)] ∩ (B ∩ C)′ = (pd)[(B ∩ C) ∪ ∅] ∩ (B ∩ C)′ = (comp.)(B ∩ C) ∩ (B ∩ C)′ = (pi)∅ (comp.)

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

relaciones binarias

La notación x ρ y implica que el par ordenado (x, y) satisface la relación ρ.

Ejemplo:Sea S = {1, 2, 4}, entonces el producto

Cartesiano de S con sí mismo es: S × S = {(1,1), (1,2), (1,4), (2,1), (2,2), (2,4), (4,1), (4,2), (4,4)}

El subconjunto de S × S que satisface la relaciónx ρ y ↔ x = 1/2y, es: {(1, 2), (2, 4)}

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

relaciones binarias

Una relación binaria sobre S es un subconjunto de S × S

Entonces, sabemos que una relación binaria ρ es un subconjunto con la propiedad:

x ρ y ↔ (x, y) ∈ ρEjemplo:Sea ρ definida sobre S tal que x ρ y ↔ x + y es impar, donde S = {1, 2}

ρ es {(1,2), (2,1)}.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

relaciones sobre múltiples conjuntos

Dados n conjuntos S1, S2, …., Sn para n > 2, una relación n-aria sobre S1 × S2 × … × Snes un subconjunto de S1 × S2 × … × Sn.

EjemplosSea S = {1, 2, 3} y T = {2, 4, 7}.Sea x ρ y ↔ x = y/2.ρ = {(1,2), (2,4)}.

Sea S = {2, 4, 6, 8} y T = {2, 3, 4, 6, 7}.Cuál es el conjunto que satisface la relación

x ρ y ↔ x = (y + 2)/2.El conjunto es {(2,2), (4,6)}.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

tipos de relaciones

Uno a uno: Si cada primer componente y cada segundo componente aparece sólo una vez en la relación. Uno a muchos: Si el mismo primer componente aparece con más de un segundo componente.Muchos a uno: Si un segundo componente aparece con más de un primer componente. Muchos a muchos: Si al menos un primer componente aparece con más de un segundo componente y al menos un segundo componente aparece con más de un primer componente.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

tipos de relaciones

EjemplosSea S = {2, 5, 7, 9}. Identificar el tipo de

las siguientes relaciones:

{(5,2), (7,5), (9,2)}{(2,5), (5,7), (7,2)}{(7,9), (2,5), (9,9), (2,7)}

muchos a unouno a uno

muchos a muchos

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

propiedades de las relaciones binarias

Sea ρ una relación binaria sobre un conjunto S. Entonces:

ρ reflexiva significa(∀x) (x∈S → (x,x)∈ ρ)ρ simétrica significa (∀x)(∀y) (x∈S ∧ y∈S ∧ (x,y) ∈ ρ → (y,x)∈ ρ)ρ transitiva significa(∀x)(∀y)(∀z) (x∈S ∧ y∈S ∧ z∈S ∧ (x,y)∈ρ ∧

(y,z)∈ρ → (x,z)∈ρ)ρ antisimétrica significa(∀x)(∀y) (x∈S ∧ y∈S ∧(x,y) ∈ ρ ∧ (y,x)∈ ρ → x = y)

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

propiedades de las relaciones binarias

EjemploConsidere la relación ≤ sobre el conjunto de

números naturales N.¿Es reflexiva? Si, dado que para cada entero no negativo a,

a ≤ a.¿Es simétrica? No, dado que a ≤ b no implica b ≤ a.¿Es transitiva? Si, dado que si a ≤ b y b ≤ c, entonces a ≤ c.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

composición de relaciones

Las relaciones pueden ser usualmente definidas en término a otras relaciones

“Es nieto de” puede definirse en términos de “Es hijo de”

Si ρ1 es una relación binaria sobre A×B y ρ2 es una relación binaria sobre B×C, entonces la composición de ρ1 y ρ2 es la relación binaria ρ1◦ρ2 sobre A × C definida como a(ρ1◦ρ2 )c si y sólo si aρ1b y bρ2c para algún b∈B.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

composición de relaciones

Si ρ es una relación binaria sobre A×Ausamos ρn para denotar la composición de ρ consigo misma n veces.

EsNietoDe = EsHijoDe2

Más precisamenteρ0 ={(a,a)|a∈A}ρn+1 = ρn ◦ρ

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

clausuras de relaciones

Una relación binaria ρ* sobre el conjunto S es la clausura de una relación ρsobre S con respecto a la propiedad Psi:1. ρ* tiene la propiedad P2. ρ ⊆ ρ*3. ρ* es un subconjunto de cualquier otra

relación sobre S que incluye ρ y tiene la propiedad P

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

clausuras de relaciones

EjemploSea S = {1, 2, 3} y ρ = {(1,1), (1,2), (1,3), (3,1),

(2,3)}.No es reflexiva, transitiva, ni simétrica.La clausura reflexiva de ρ es {(1,1),(1,2),(1,3), (3,1), (2,3), (2,2), (3,3)}.La clausura simétrica de ρ es {(1,1), (1,2), (1,3), (3,1), (2,3), (2,1), (3,2)}.La clausura transitiva de ρ es{(1,1), (1,2), (1,3), (3,1), (2,3), (3,2), (3,3), (2,1), (2,2)}.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

Ejercicios

¿Cuáles de los siguientes pares pertenecen a la relación binaria ρ sobre N?

x ρ y ↔ x + y < 7; (1,3), (2,5), (3,3), (4,4)x ρ y ↔ 2x + 3y = 10; (5,0), (2,2), (3,1), (1,3)

Mostar la región del plano cartesiano correspondiente a la relación ρ sobre R2:

x ρ y ↔ x2 + y2 ≤ 25x ρ y ↔ x ≥ y

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

Ejercicios

Encontrar la clausura reflexiva, simétrica y transitiva de la relación ρ = {(a,a), (b,b), (c,c), (a,c), (a,d), (b,d), (c,a), (d,a)} sobre el conjunto S = {a, b, c, d}.

Identificar cada una de las siguientes relaciones sobre N como una a una, una a muchas, muchas a una o muchas a muchas:

ρ = {(12,5), (8,4), (6,3), (7,12)}ρ = {(2,7), (8,4), (2,5), (7,6), (10,1)}ρ = {(1,2), (1,4), (1,6), (2,3), (4,3)}

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

Ejercicios

Sea S = {0, 1, 2, 4, 6}. ¿Cuáles de las siguientes relaciones tienen la propiedad reflexiva, simétrica, antisimétrica y transitiva? Encontrar las clausuras reflexiva, simétrica y transitiva.

ρ={(0,0),(1,1),(2,2), (4,4), (6,6), (0,1), (1,2),(2,4),(4,6)}

ρ ={(0,0),(1,1),(2,2),(4,4),(6,6),(4,6),(6,4)}ρ = {(0,1),(1,0),(2,4),(4,2),(4,6),(6,4)}

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

grafos

Un grafo es un conjunto no vacío de nodos y un conjunto de arcos.

Trabajaremos solamente con grafos con un número finito de nodos y arcos.

Ejemplo

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

definición formal de grafo

Un grafo es una tripla ordenada (N, A, g) donde:

N = es un conjunto no vacío de nodosA = es un conjunto de arcosg = es una función que asocia con cada arco un par ordenado x-y de nodos, llamados extremos.

Es importante notar que existen diferentes maneras de definir el concepto de grafo.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

grafos dirigidos

Un grafo dirigido (di-grafo) es una tripla ordenada (N, A, g) donde:

N = es un conjunto no vacío de nodosA = es un conjunto de arcosg = es una función que asocia con cada arco una par ordenado (x, y) de nodos donde x es el punto inicial e y es el punto terminal.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

grafos dirigidos

EjemploEn este ejemplo hay cuatro nodos y cinco arcos. N ={1,2,3,4}A = {a1,a2,a3,a4,a5}g(a1) = (1, 2)g(a2) = (1, 4)g(a3) = (1, 3)g(a4) = (3, 1)g(a5) = (4, 4)

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

otros tipos de grafos

Grafo etiquetado: un grafo cuyos nodos tienen asociada información tal como los nombres de ciudades en un mapa aéreo.

Grafo ponderado: Un grafo donde cada arco tiene asociado un valor numérico o peso. Por ejemplo, un grafo donde se indica las distancias de diferentes rutas en un mapa aéreo.

°

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

matriz de adyacencia

Dado un grafo con n nodos n1, n2, ... , nn. podemos formar una matriz de n × n donde la entrada i,j es el número de arcos entre los nodos ni y nj. Esta matriz se denomina matriz de adyacencia del grafo. La entrada aij = p cuando existen p arcos entre ni y nj

A =

1 1 0 00 0 1 10 1 0 00 0 1 0

⎢ ⎢ ⎢ ⎢

⎥ ⎥ ⎥ ⎥

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

grafos dirigidos y matrices booleanas

Nos concentraremos en grafos dirigidos, no ponderados y sin arcos paralelos.

La matriz de adyacencia de estos grafos será una matriz booleana (elementos 0s y 1s) de dimensiones n × n, no necesariamente simétrica.

Existe una correspondencia uno a uno:

Grafos dirigidoscon n nodos,

sin arcos paralelos

Matrices Booleanas

de dimensión n×n

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

grafos dirigidos y relaciones binarias

Dado un grafo dirigido G con n nodos y sin arcos paralelos donde N es el conjunto de nodos, podemos definir una relación binaria ρ como sigue :Si ni, nj ∈ N entonces

ni ρ nj ↔ existe un arco en G de ni a nj..

Dada una relación binaria ρ sobre un conjunto S de n elementos podemos construir un grafo G dirigido con n nodos y sin arcos paralelos como sigue:Si ni, nj ∈ S entonces

existe un arco en G de ni a nj.. ↔ ni ρ nj

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

grafos dirigidos y relaciones binarias

Para el grafo G1obtenemos la siguiente relación {(1, 2), (1, 3), (3, 3), (4, 1), (4, 2), (4, 3)}.

Para el conjunto N ={1, 2, 3, 4} y la relación binaria {(1, 4), (2, 3), (2, 4), (4, 1)} sobre N, obtenemos el siguiente grafo G2

G1

G2

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

correspondencias

matriz deadyacencia

relación binaria

grafo dirigido sin arcos paralelos

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

composición y multiplicación booleana

Recordemos la composición de una relación consigo misma:

ρ0 ={(a,a)|a∈A}ρn+1 = ρn ◦ρDe manera análoga, dada una matriz de

adyacencia M podemos operarla consigo misma utilizando el productobooleano ◎:

M(0) = IM(n+1) = M(n) ◎ M donde [A◎B]i,j= )B(A jk,ki,

m1k ∧∨ =

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

clausuras

reflexivaρ U ρ0

M v M(0)

simétricaρ U ρ c donde ρ c ={(x,y)|(y,x)∈ ρ } (se denomina conversa de ρ )M v MT

transitiva (caso finito, n elementos)ρ U ρ 2 U ρ 3 U … U ρ n

M v M(2) v M(3) v … v M(n)

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

matriz de alcance y clausura transitiva

Dado un grafo podemos utilizar su matriz de adyacencia para calcular caminos de diferentes longitudes.

Matriz de adyacencia

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

matriz de alcance y clausura transitiva

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

matriz de alcance y clausura transitiva

R=A(1) v A(2) v A(3) v A(4) v A(5)

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

algoritmo de Warshall: clausura transitiva

Sea M la matriz de adyacencia para la relación ρ.El algoritmo de Warshall reemplaza M con la matriz

de adyacencia correspondiente a la clausura transitiva de ρ .

Warshall(matriz Booleana M de n × n)for k = 1 to n do

for i = 1 to n dofor j = 1 to n doM[i, j] = M[i, j] ∨ (M[i, k ] ∧ M[k, j ])

end forend for

end for

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

algoritmo de Warshall: clausura transitiva

Obtener la clausura transitiva para el siguiente grafo utilizando el algoritmo de Warshall:

= M4= M5

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

matriz de adyacencia ponderada

4

1

10

6

27

⎥⎥⎥⎥⎥⎥

⎢⎢⎢⎢⎢⎢

∞∞∞∞∞∞∞∞∞∞∞∞∞∞

07102010

6040

Grafo ponderado

Matriz de adyacenciaponderada

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

distancias mínimas

Sea M una matriz de adyacencia ponderada de un grafo G.

Podemos calcular las distancias mínimas como sigue:

n=1,M(n)= MRepetir

Para cada par de nodos i,j, elegimos el camino más conveniente:M(n+1)

i,j=min(M(n)i,j, mink(M(n)

i, k + M(n)k, j))

n=n+1hasta que M(n+1) =M(n)

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

distancias mínimas

Para el siguiente grafo ponderado calcular las distancias mínimas

G2.5

0.5

1.5

10

20⎥⎥⎥⎥

⎢⎢⎢⎢

∞∞∞∞∞

∞∞

=

05.20

5.1100205.00

M )1(

)3()2( M

05.20

5.110045.00

M =

⎥⎥⎥⎥

⎢⎢⎢⎢

∞∞∞∞∞

∞∞

=

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

algoritmo de Floyd: distancias mínimas

Sea M la matriz de adyacencia para un grafo ponderado.

El algoritmo de Floyd reemplaza M con la matriz de adyacencia correspondiente a la distancia más corta entre los vértices

Floyd(matriz Ponderada M de n × n)for k = 1 to n do

for i = 1 to n dofor j = 1 to n doM[i, j] = min(M[i, j] , M[i, k ] + M[k, j ])

end forend for

end for

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

algoritmo de Floyd: distancias mínimas

EjemploPara la matriz de adyacencia ponderada M obtenemos la matriz de adyacencia M* representando las distancias mínimas

⎥⎥⎥⎥⎥⎥⎥⎥

⎢⎢⎢⎢⎢⎢⎢⎢

∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞

=

05040

0300300

102010100

M

⎥⎥⎥⎥⎥⎥⎥⎥

⎢⎢⎢⎢⎢⎢⎢⎢

∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞∞

=

0545040

0300300

10154010100

M*

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

algoritmo de Floyd: distancias mínimas

EjercicioUsar el algoritmo de Floyd para encontrar la matriz de distancias mínimas correspondiente a los siguientes grafos :

4

1

10

6

212

G2

G1

1

4

7 5

11 2

3 4

G3

2.5

0.5

1.5

10

20

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

relación de equivalencia (repaso)

Una relación binaria sobre un conjunto Sque es reflexiva, simétrica y transitiva se llama relación de equivalencia sobre S.

EjemplosSobre N, x ρ y ↔ x + y es par.Sobre {1, 2, 3}, ρ ={(1,1), (2,2), (3,3), (1,2), (2,1)}.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

particiones de un conjunto (repaso)

Una partición P de un conjunto S es una colección de subconjuntos Ai ⊆ S, no vacíos y disjuntos, cuya unión es igual a S.P ={A1,A2,A3,…}1. Ai ≠∅ y Ai ⊆ S. 2. La unión de todos los Aies igual a S. 3. Ai ∩ Aj = ∅, para todo Ai, Aj ⊆ S, tales que i ≠ j.

S .h

.g.a

.b

.c .e

.f

.i

.d

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

clases de equivalencia (repaso)

Sea ρ una relación de equivalencia sobre S y a ∈ S, entonces [a] es el conjunto de elementos de S con los que a se relaciona, y es llamado clase de equivalencia de a:

[a] = {b ∈ S | aρ b}Ejemploρ = {(a,a), (b,b), (a,b), (b,a), (c,c),(d,d),(c,d),(d,c), (e,e),(f,f),(e,f),(f,e), (g,g), (h,h),(i,i),(h,i),(i,h)}[a]={a,b}, [c]={c,d},[e]={e,f}, [g]={g}, [h]={h,i}

S .h

.g.a

.b

.c .e

.f

.i

.d

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

clases de equivalencia (repaso)

EjerciciosPara las siguientes relaciones de

equivalencia, describir las correspondientes clases de equivalencia

1. x ρ y si y sólo si x es paralela a y o x coincide con y.

2. Sobre los naturales, x ρ y si y sólo six=y.

3. Sobre los reales, x ρ y si y sólo si |x|=|y|

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

clases de equivalencia (repaso)

Ejercicios (continuación)4. Sea S={a/b | a,b son enteros, b <>0}.

Definir una relación de equivalencia sobre S y mostrar que es efectivamente una relación de equivalencia.

5. Un entero x es congruente con y módulo 4, simbolizado x ≡4y si y sólo sí x-y es múltiplo de 4. Mostrar que la relación ≡4 es una relación de equivalencia.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

relaciones de equivalencia y particiones (repaso)

Teorema:Si ρ es una relación de equivalencia

sobre S, entonces ρ induce una partición Pρ sobre S. Recíprocamente, toda partición P sobre S induce una relación de equivalencia ρP .

Ejercicio: Demostrar el teorema anterior

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

particiones de un conjunto (repaso)

Ejercicio¿Qué relación ρ determina las siguientes

cuatro clases de equivalencia?[0] = {... , -8, -4, 0, 4, 8,...} [1] = {... , -7, -3, 1, 5, 9,...} [2] = {... , -6, -2, 2, 6, 10,...} [3] = {... , -5, -1, 3, 7, 11,...}

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

conjunto cociente (repaso)

Sea ρ una relación de equivalencia. Definimos para todo a ∈ S,

[a]ρ ={b∈S| (a,b) ∈ ρ }[a]ρ es la clase de equivalencia de a,

según la relación ρEl elemento a ∈ [a]ρ se dice un

representante de la clase de equivalencia [a] ρ

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

conjunto cociente (repaso)

El conjunto cociente S/ρ de S por una relación de equivalencia ρ es el conjunto de las clases de equivalencia según la relación ρ.

S .h

.g.a

.b

.c .e

.f

.i

.d

S/ρ .[h]ρ

.[g] ρ.[a]ρ

.[c]ρ .[e]ρ

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

aplicación canónica (repaso)

La función que manda cada elemento de S a su clase de equivalencia se llama aplicación canónica

S .h

.g.a

.b

.c .e

.f

.i

.d

S/ρ .[h]ρ

.[g] ρ.[a]ρ

.[c]ρ .[e]ρ

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

generación de relaciones de equivalencia

Pregunta:¿Dada un relación ρ , como se genera la

menor relación de equivalencia ρ’ que contiene a ρ ?

Respuesta:Obtenemos la clausura reflexiva,

simétrica y transitiva de ρ.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

generación de relaciones de equivalencia

Usamos r(ρ), s(ρ) y t(ρ) para referirnos a la clausura reflexiva, simétrica y transitiva de ρ respectivamente.

Notar lo siguiente:1. r(t(ρ)) = t(r(ρ)) 2. r(s(ρ)) = s(r(ρ)) 3. s(t(ρ)) ⊆ t(s(ρ))

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

generación de relaciones de equivalencia

Ejercicio:Sea A ={a,b,c} y ρ={(a,b),(a,c),(b,b)}.

Obtener t(s(r(ρ))). Obtener s(t(r(ρ))). ¿Cuáles de las relaciones de arriba es una relación de equivalencia?

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

relación de orden parcial

Una relación binaria sobre un conjunto S que es reflexiva, antisimétrica y transitiva se llama relación de orden parcial sobre S.

EjemplosSobre N, x ρ y ↔ x ≤ y.Sobre {0,1}, x ρ y ↔ x = y2 ,

ρ = {(0,0), (1,1)}.Sobre enteros positivos, x ρ y ↔ x divide a y.Sobre S = {a, b, c, d, e, f} ρ = {(a,a), (b,b), (c,c), (d,d), (e,e), (f, f), (a,b), (a,c), (a,d), (a,e), (d,e)},

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

órdenes estrictos y no estrictos

orden estricto x < y si y sólo si x ≤ y y x ≠ yorden no estricto o reflexivox ≤ y si y sólo si x < y o x = y

Observación: la relación < se puede definir en función de la relación ≤ y viceversa

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

órdenes parciales

Un conjunto arbitrario parcialmente ordenado se denota (S, ≤).

En casos particulares, ≤ puede representar la relación de “menor o igual”, “subconjunto”“divide”, etc.

Sea (S, ≤). un conjunto ordenado. Se dice que el elemento b ∈ S cubre al elemento a ∈ S si

1) a < b;2) No existe ningún elemento x ∈ S tal que

a < x < b.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

diagrama de Hasse

Los diagrama de Hasse son diagramas utilizados para representar visualmente conjuntos parcialmente ordenados con un número finito de elementos.

Construyendo Diagramas de Hasse:Dado un conjunto ordenado finito (S,≤):

Cada elemento de S es representado por un nodo del diagrama.Si b ∈ S cubre al elemento a ∈ S, el nodo b se coloca por arriba del nodo a y ambos nodos se unen por un segmento de extremos a y b.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

b

a

cd

e

f

diagrama de Hasse

EjemploSea S = {a, b, c, d, e, f} ρ = {(a,a), (b,b), (c,c),

(d,d), (e,e), (f, f), (a, b), (a,c), (a,d), (a,e), (d,e)}

ρ a b c d e fabcdef

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

diagramas de Hasse

Ejemplo:Sea A={a,b,c,d} S = ℘ (A) y ρ la relación ⊆

{d}

{c,d}{a,b}

{a}

{a,c}{b,c}

{b}

{b,d}

{c}

{a,d}

{a,c,d}{a,b,d}{a,b,c} {b,c,d}

{a,b,c,d}

{}

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

diagrama de Hasse

Ejercicio¿Cuál es la relación de orden parcial ρcorrespondiente al siguiente diagrama de Hasse sobre el conjunto S={0,1,a,b,c}?

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

diagrama de Hasse

EjercicioDar ejemplos de conjuntos S y

relaciones ρ para los siguientes diagramas de Hasse

(a) (b) (c) (d)

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

no son diagramas de Hasse

Notar: las siguientes figuras no son diagramas de Hasse

¿Por qué?a

b

d

c

a b

cd

e

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos comparables e incomparables

Los elementos x e y se dicen comparables si x ≤ y o y ≤ x.

Si x e y no son comparables se dicenincomparables.

Ejemplo:a y c son comparables0 es comparable con todosa y b son incomparablesa y d son incomparables

a b

c d

0

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

cadenas y anticadenas

Una cadena es un conjunto parcialmente ordenado en el que todo par de elementos es comparable.

Una anticadena es un conjunto parcialmente ordenado en el que todos los elementos son incomparables.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

cadenas y anticadenas

También llamamos cadena a un subconjunto de un conjunto parcialmente ordenado que a su vez es una cadena.

Ejemplo

{d}

{c,d}{a,b}

{a}

{a,c}{b,c}

{b}

{b,d}

{c}

{a,d}

{a,c,d}{a,b,d}{a,b,c} {b,c,d}

{a,b,c,d}

{}

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

cadenas y anticadenas

Y llamamos anticadena a un subconjunto de un conjunto parcialmente ordenado que a su vez es una anticadena.

Ejemplo

{d}

{c,d}{a,b}

{a}

{a,c}{b,c}

{b}

{b,d}

{c}

{a,d}

{a,c,d}{a,b,d}{a,b,c} {b,c,d}

{}

{a,b,c,d}

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos especiales

Un elemento m de un conjunto ordenado (S,≤) se dice un elemento maximal (o máximo) de S si:

Si x ∈ S es tal que m ≤ x entonces x = mEjemplos

b

a

c

e

d b

a

c

e

d

d

a

b c

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos especiales

Un elemento m de un conjunto ordenado (S,≤) se dice un elemento minimal (o mínimo) de S si:

Si x ∈ S es tal que x ≤ m entonces x = mEjemplos

b

a

c

e

d b

a

c

e

d

d

a

b c

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos especiales

Ejemplos Conjunto N ordenado por la relación ≤

Elemento mínimo: 0No tiene elementos máximos

Conjunto Z ordenado por ≤No existen elementos mínimos ni máximos

S = {1,2,4,8,12} ordenado por la relación “divide a”

Elemento mínimo: 1Elementos máximos: 8 y 12

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos especiales

Sea (S,≤) un conjunto ordenado. Se dice que un elemento 0 ∈ S es

primer elemento de S si:0 ≤ x; para todo x ∈ S

Ejemplos

no tiene primer

elemento

b

a

c

e

d b

a

c

e

d

d

a

b c

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos especiales

Sea (S,≤) un conjunto ordenado. Se dice que un elemento 1 ∈ S es último elemento de S si:

x ≤ 1; para todo x ∈ S Ejemplos

no tiene últimoelemento

b

a

c

e

d b

a

c

e

d

d

a

b c

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos especiales

Sea (S,≤) un conjunto ordenado. Dadosa, b ∈ S se dice que el elemento c ∈ S es el ínfimo de a y b y se nota c = a Λb si:c ≤ a y c ≤ bSi x ∈ S verifica x ≤ a y x ≤ b, entoncesx ≤ c

a b

aΛb

Ejemplo:

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos especiales

Sea (S,≤) un conjunto ordenado. Dados a, b ∈ S se dice que el elemento c ∈ S es el supremo de a yb y se nota c = a V b si:a ≤ c y b ≤ cSi x ∈ S verifica a ≤ x y b ≤ x, entonces c ≤ x

a b

aVbEjemplo:

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos especiales

Ejemplos

a b

cd

a Λ b no existea V b no existea Λ d = da V d = a

a b

cd

f

gh

e

a Λ a =aa V a =aa Λ c =ca V c =a

a Λ b =ba V b =ab Λ d =cb V d =a

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

lemas

Lema: Todo conjunto ordenado finito tiene, por lo menos, un elemento mínimo (máximo).

Lema: Si un conjunto ordenado tiene primer (último) elemento este es único.

Lema: En un conjunto ordenado si existe el ínfimo (supremo) de dos elementos, es único.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

reticulados

Un conjunto ordenado (S,≤), se dice un reticulado inferior si todo par de elementos de S tiene ínfimo.

Si Si No

a

b

d

c b

a

dc

e

a

cb d

e

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

reticulados

Un conjunto ordenado (S,≤), se dice un reticulado superior si todo par de elementos de S tiene supremo.

Si No Si

a

b

d

c b

a

dc

e

a

cb d

e

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

reticulados

Un conjunto ordenado (S,≤), se dice un reticulado si es un reticulado inferior y superior. Es decir si todo par de elementos de S tiene ínfimo y supremo.

Si No Noa

b

d

c b

a

dc

e

a

cb d

e

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

reticulados

EjercicioCuáles de los siguientes conjuntos

ordenados son reticulados inferioresreticulados superioresreticulados

(a)

(b) (c) (d) (e)

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos especiales

Un elemento i de un reticulado R se dice irreducible si:i no es primer elemento de R.Si i = a V b entonces i = a ó i = b.

a

b

c

d

e

a

bc

de

f

a

b c d

e

ab

c

de

g

f

h

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

elementos especiales

Un elemento p de un reticulado R se dice primo si:p no es primer elemento de R.Si p ≤ a V b entonces p ≤ a ó p ≤ b.

a

b

c

d

e

a

bc

de

f

a

b c d

e

ab

c

de

g

f

h

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

criterio para determinar elementos irreducibles

En un reticulado finito, no trivial, R; i es un elemento irreducible si y sólo si el conjunto ordenado

Zi = {z ∈ R : z < i }tiene último elemento.

a

b

c

d

e

a

bc

de

f

a

b c d

e

ab

c

de

g

f

h

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

criterio para determinar elementos primos

En un reticulado finito, no trivial, R; p es un elemento primo si y sólo si el conjunto ordenado

Zp = {z ∈ R : p ≤ z}tiene último elemento.

a

b

c

d

e

a

bc

de

f

a

b c d

e

ab

c

de

g

f

h

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

lemas

Lema: En un reticulado R todo elemento primo es irreducible.

La recíproca no es válida.

a

b c d

e

a

b

cd

e

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

ordenamiento topológico

El ordenamiento topológico es un proceso para encontrar un orden total σ a partir de un orden parcial ρ sobre un conjunto finito, de manera tal que σsea una extensión de ρ. Esto significa que si x ρ y, entonces x σ y (o ρ ⊆ σ).

Este es un proceso de ordenamiento especializado, ya que arrancamos de un orden parcial para llegar a un orden total.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

algoritmo: ordenamiento topológico

TopSort(conjunto finito S;orden parcial sobre S)

i = 1 while S <> ∅

elegir un elemento minimal xi de S;S = S − {xi} i = i +1

end while//x1 < x2 < … < xn es un orden total que // extiende ρwrite(x1, x2, x3, …, xn)

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

ejemplo: ordenamiento topológico

Ernesto y sus hermanos tienen una carpintería en Tandil donde fabrican sillas mecedoras con almohadones. El proceso de fabricación puede descomponerse en varias tareas, algunas de las cuales tienen otras tareas como pre-requisito. La tabla que presentaremos a continuación muestra el proceso de fabricación de las sillas mecedoras, los pre-requisitos y el número de horas requeridos para completar cada tarea.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

ejemplo: ordenamiento topológico (cont.)

Tarea pre-requisitohoras para completar

1. seleccionar la madera ninguna 3.02. tallar mecedores 1 4.03. tallar asiento 1 6.04. tallar respaldo 1 7.05. tallar apoyabrazos 1 3.06. elegir tela ninguna 1.07. cocer almohadón 6 2.08. ensamblar asiento y respaldo 3,4 2.09. incorporar apoyabrazos 5,8 2.010. incorporar mecedores 2,8 3.011. barnizar 9,10 5.012. agregar el almohadón 7,11 0.5

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

diagrama de PERT

Definimos un orden parcial sobre el conjunto de tareas:

x ≤ y ↔ tarea x = tarea y o tarea x es requisito para la tarea y.

Construimos un diagrama de PERT (program evaluation and review technique) de manera similar a un diagrama de Hasse como sigue:Los nodos son tareas. Asociamos a los nodos información sobre tiempo requerido para completar la tarea.Orientamos el diagrama de tal manera que si x < y, entonces x aparece a la izquierda de y (el diagrama es de izquierda a derecha en lugar de abajo para arriba)

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

ejemplo: diagrama de PERT (cont.)

Tarea pre-requisito

horas para

completar

1 ninguna 3.02 1 4.03 1 6.04 1 7.05 1 3.06 ninguna 1.07 6 2.08 3,4 2.09 5,8 2.0

10 2,8 3.011 9,10 5.012 7,11 0.5

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

ejemplo: ordenamiento topológico (cont.)

Aplicando TopSort:

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

ejemplo: ordenamiento topológico (cont.)

Aplicando TopSort:

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

ejemplo: ordenamiento topológico (cont.)

Aplicando TopSort:

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

ejemplo: ordenamiento topológico (cont.)

Aplicando TopSort:

y así siguiendo …Obtenemos por ejemplo:

6, 1, 7, 2, 3, 5, 4, 8, 10, 9, 11, 12.

conjuntos yrelaciones

LENGUAJESLENGUAJESFORMALES FORMALES

YYAUTAUTÓÓMATASMATAS

ejemplo: camino crítico

¿Cuál es el tiempo mínimo requerido paraconstruir una silla?

camino crítico: 1 4 8 10 11 12horas: 3.0+7.0+2.0+3.0+5.0+0.5=20.5