Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf ·...

55
Relaciones IIC1253 IIC1253 Relaciones 1 / 32

Transcript of Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf ·...

Page 1: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Relaciones

IIC1253

IIC1253 – Relaciones 1 / 32

Page 2: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Relaciones binarias

Dado: conjunto A

R es una relacion binaria sobre A si R ⊆ A× A.

◮ Para indicar que a, b ∈ A estan relacionados a traves de R usamoslas notaciones: R(a, b) y aRb

IIC1253 – Relaciones 2 / 32

Page 3: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Relaciones binarias

Dado: conjunto A

R es una relacion binaria sobre A si R ⊆ A× A.

◮ Para indicar que a, b ∈ A estan relacionados a traves de R usamoslas notaciones: R(a, b) y aRb

Ejemplo

Si A = N, las siguientes son relaciones binarias sobre A:

R1 = {(i , j) ∈ N× N | i = j}

R2 = {(i , j) ∈ N× N | i < j}

IIC1253 – Relaciones 2 / 32

Page 4: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Relaciones binarias

Dado: conjunto A

R es una relacion binaria sobre A si R ⊆ A× A.

◮ Para indicar que a, b ∈ A estan relacionados a traves de R usamoslas notaciones: R(a, b) y aRb

Ejemplo

Si A = N, las siguientes son relaciones binarias sobre A:

R1 = {(i , j) ∈ N× N | i = j}

R2 = {(i , j) ∈ N× N | i < j}

En este capıtulo solo vamos a considerar relaciones binarias, usamos el

termino relacion para referirnos a ellas.

IIC1253 – Relaciones 2 / 32

Page 5: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Propiedades de las relaciones

Definicion

Una relacion R sobre A es:

◮ Refleja: Para cada a ∈ A, se tiene R(a, a)

◮ Irrefleja: Para cada a ∈ A, no se tiene R(a, a)

IIC1253 – Relaciones 3 / 32

Page 6: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Propiedades de las relaciones

Definicion

Una relacion R sobre A es:

◮ Refleja: Para cada a ∈ A, se tiene R(a, a)

◮ Irrefleja: Para cada a ∈ A, no se tiene R(a, a)

Ejercicio

De ejemplos de relaciones reflejas e irreflejas sobre N.

IIC1253 – Relaciones 3 / 32

Page 7: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Propiedades de las relaciones

Definicion

Una relacion R sobre A es:

◮ Simetrica: Para cada a, b ∈ A, si R(a, b) entonces R(b, a)

◮ Asimetrica: Para cada a, b ∈ A, si R(a, b) entonces no escierto R(b, a)

◮ Antisimetrica: Para cada a, b ∈ A, si R(a, b) y R(b, a),entonces a = b

IIC1253 – Relaciones 4 / 32

Page 8: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Propiedades de las relaciones

Definicion

Una relacion R sobre A es:

◮ Simetrica: Para cada a, b ∈ A, si R(a, b) entonces R(b, a)

◮ Asimetrica: Para cada a, b ∈ A, si R(a, b) entonces no escierto R(b, a)

◮ Antisimetrica: Para cada a, b ∈ A, si R(a, b) y R(b, a),entonces a = b

Ejercicio

De ejemplos de relaciones simetricas, asimetricas y antisimetricassobre N.

IIC1253 – Relaciones 4 / 32

Page 9: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Propiedades de las relaciones

Definicion

Una relacion R sobre A es:

◮ Transitiva: Para cada a, b, c ∈ A, si R(a, b) y R(b, c),entonces R(a, c)

◮ Conexa: Para cada a, b ∈ A, se tiene R(a, b) o R(b, a)

IIC1253 – Relaciones 5 / 32

Page 10: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Propiedades de las relaciones

Definicion

Una relacion R sobre A es:

◮ Transitiva: Para cada a, b, c ∈ A, si R(a, b) y R(b, c),entonces R(a, c)

◮ Conexa: Para cada a, b ∈ A, se tiene R(a, b) o R(b, a)

Ejercicio

De ejemplos de relaciones transitivas y conexas sobre N.

IIC1253 – Relaciones 5 / 32

Page 11: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Ejercicios

1. De una relacion refleja, simetrica y no transitiva sobre N.

2. De una relacion refleja, transitiva y no simetrica sobre N.

3. De una relacion simetrica, transitiva y no refleja sobre N.

4. De un conjunto A y una relacion R sobre A tal que R searefleja, antisimetrica, transitivia y no conexa.

IIC1253 – Relaciones 6 / 32

Page 12: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Relaciones de equivalencia

Definicion

Una relacion R sobre A es una relacion de equivalencia si R esrefleja, simetrica y transitiva.

IIC1253 – Relaciones 7 / 32

Page 13: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Relaciones de equivalencia

Definicion

Una relacion R sobre A es una relacion de equivalencia si R esrefleja, simetrica y transitiva.

Ejemplo

Sea A = N× N y ∼ una relacion definida de la siguiente forma:

(a, b) ∼ (c , d) ⇔ a + d = c + b

Demuestre que ∼ es una relacion de equivalencia.

IIC1253 – Relaciones 7 / 32

Page 14: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Clases de equivalencia

Definicion

Dada una relacion de equivalencia R sobre A y un elemento b ∈ A,la clase de equivalencia de b bajo R se define como:

[b]R = {c ∈ A | R(b, c)}

IIC1253 – Relaciones 8 / 32

Page 15: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Clases de equivalencia

Definicion

Dada una relacion de equivalencia R sobre A y un elemento b ∈ A,la clase de equivalencia de b bajo R se define como:

[b]R = {c ∈ A | R(b, c)}

Ejercicio

Suponga que ∼ es definida como en la transparencia anterior. Paracada (a, b) ∈ A, ¿que representa [(a, b)]

∼?

IIC1253 – Relaciones 8 / 32

Page 16: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Ejercicios

1. Sea n un numero natural y ∼n una relacion sobre Z definida comoa ∼n b si y solo si (a− b) es divisible por n.

◮ Demuestre que ∼n es una relacion de equivalencia

◮ Dado a ∈ Z, ¿que representa [a]∼n?

2. Sea ∼ una relacion de equivalencia (arbitraria) sobre un conjunto A.Demuestre que:

◮ Para cada a ∈ A: [a]∼6= ∅

◮ Para cada a, b ∈ A: si a ∼ b, entonces [a]∼= [b]

◮ Para cada a, b ∈ A: si es falso que a ∼ b, entonces[a]

∼∩ [b]

∼= ∅

IIC1253 – Relaciones 9 / 32

Page 17: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Conjunto cociente

Dado: Una relacion de equivalencia ∼ sobre un conjunto A

Conjunto cociente de A dado ∼:

A/∼ = {[a]∼| a ∈ A}

Un conjunto cociente agrupa los elementos indistinguibles

◮ Algunos conjuntos fundamentales son definidos usando estanocion: Z y Q

IIC1253 – Relaciones 10 / 32

Page 18: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Un primer ejemplo: Z

Sea ∼ una relacion sobre N× N definida de la siguiente forma:

(a, b) ∼ (c , d) ⇔ a + d = c + b

Definimos Z = {[(a, b)]∼| (a, b) ∈ N× N}

Para n ∈ N:

◮ n es representado por [(n, 0)]∼

◮ −n es representado por [(0, n)]∼

IIC1253 – Relaciones 11 / 32

Page 19: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Operaciones en Z

Primero vamos a definir la suma sobre Z:

[(a, b)]∼+ [(c , d)]

∼= [(a + c , b + d)]

IIC1253 – Relaciones 12 / 32

Page 20: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Operaciones en Z

Primero vamos a definir la suma sobre Z:

[(a, b)]∼+ [(c , d)]

∼= [(a + c , b + d)]

Tenemos que demostrar que esta operacion esta bien definida:

◮ Si [(a1, b1)]∼ = [(a2, b2)]∼ y [(c1, d1)]∼ = [(c2, d2)]∼, entonces[(a1, b1)]∼ + [(c1, d1)]∼ = [(a2, b2)]∼ + [(c2, d2)]∼

Ejercicio

Demuestre que la suma esta bien definida.

IIC1253 – Relaciones 12 / 32

Page 21: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Operaciones en Z

Ahora vamos a definir la multiplicacion sobre Z:

[(a, b)]∼· [(c , d)]

∼= [(ac + bd , ad + bc)]

IIC1253 – Relaciones 13 / 32

Page 22: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Operaciones en Z

Ahora vamos a definir la multiplicacion sobre Z:

[(a, b)]∼· [(c , d)]

∼= [(ac + bd , ad + bc)]

Tenemos que demostrar que esta operacion esta bien definida:

◮ Si [(a1, b1)]∼ = [(a2, b2)]∼ y [(c1, d1)]∼ = [(c2, d2)]∼, entonces[(a1, b1)]∼ · [(c1, d1)]∼ = [(a2, b2)]∼ · [(c2, d2)]∼

Ejercicio

Demuestre que la multiplicacion esta bien definida.

IIC1253 – Relaciones 13 / 32

Page 23: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Relaciones sobre Z

Concluimos definiendo la relacion < para Z:

[(a, b)]∼< [(c , d)]

∼si y solo si a + d < c + b

IIC1253 – Relaciones 14 / 32

Page 24: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Relaciones sobre Z

Concluimos definiendo la relacion < para Z:

[(a, b)]∼< [(c , d)]

∼si y solo si a + d < c + b

Tenemos que demostrar que esta relacion esta bien definida:

◮ Si [(a1, b1)]∼ = [(a2, b2)]∼ y [(c1, d1)]∼ = [(c2, d2)]∼, entonces[(a1, b1)]∼ < [(c1, d1)]∼ si y solo si [(a2, b2)]∼ < [(c2, d2)]∼

Ejercicio

Demuestre que < esta bien definida.

IIC1253 – Relaciones 14 / 32

Page 25: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Ejercicios

1. Defina Q a partir de Z utilizando una relacion de equivalenciay la nocion de espacio cociente.

2. Defina las operaciones de suma y multiplicacion para Q, ydemuestre que estas operaciones estan bien definidas.

IIC1253 – Relaciones 15 / 32

Page 26: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Indice de una relacion de equivalencia

Dado: Una relacion de equivalencia ∼ sobre un conjunto A

El ındice de ∼ se define como |{[a]∼| a ∈ A}|

◮ Este indice se dice finito si {[a]∼| a ∈ A} es un conjunto

finito, e infinito en otro caso

IIC1253 – Relaciones 16 / 32

Page 27: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Indice de una relacion de equivalencia

Dado: Una relacion de equivalencia ∼ sobre un conjunto A

El ındice de ∼ se define como |{[a]∼| a ∈ A}|

◮ Este indice se dice finito si {[a]∼| a ∈ A} es un conjunto

finito, e infinito en otro caso

Ejercicio

Sea P un conjunto de variables proposicionales.

1. Demuestre que ≡ es una relacion de equivalencia sobre L(P).

2. Demuestre que el ındice de ≡ es finito si y solo si P es un conjuntofinito.

IIC1253 – Relaciones 16 / 32

Page 28: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Ordenes parciales y totales

Dado: Relacion R sobre un conjunto A

Definicion

R es un orden parcial sobre A si R es refleja, antisimetrica y transitiva. SiR es ademas conexa, entonces en un orden total (u orden lineal) sobre A.

IIC1253 – Relaciones 17 / 32

Page 29: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Ordenes parciales y totales

Dado: Relacion R sobre un conjunto A

Definicion

R es un orden parcial sobre A si R es refleja, antisimetrica y transitiva. SiR es ademas conexa, entonces en un orden total (u orden lineal) sobre A.

Ejercicio

De ejemplos de ordenes parciales y totales.

IIC1253 – Relaciones 17 / 32

Page 30: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Ordenes topologicos

Sea G = (N,E ) un grafo.

◮ Podemos considerar E como una relacion sobre N

Una relacion � sobre N se dice un orden topologico para G si:

◮ Para cada (a, b) ∈ E , se tiene que a � b

◮ � es un orden total sobre N

IIC1253 – Relaciones 18 / 32

Page 31: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Ordenes topologicos: Ejemplos

Sea G el siguiente grafo:

1 2

3 4

Los siguientes son ordenes topologicos para G :

1 � 4 � 2 � 3

1 � 4 � 3 � 2

IIC1253 – Relaciones 19 / 32

Page 32: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Ordenes topologicos: Ejemplos

Sea G el siguiente grafo:

1 2

3 4

¿Existe un orden topologico en este caso?

IIC1253 – Relaciones 20 / 32

Page 33: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Ordenes topologicos: Ejemplos

Sea G el siguiente grafo:

1 2

3 4

¿Existe un orden topologico en este caso? No

IIC1253 – Relaciones 20 / 32

Page 34: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Ordenes topologicos: Ejemplos

Sea G el siguiente grafo:

1 2

3 4

¿Existe un orden topologico en este caso? No

¿Cuando existe un orden topologico? ¿Como podemos calcularlo?

◮ ¿Por que es importante este problema?

IIC1253 – Relaciones 20 / 32

Page 35: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Existencia de ordenes topologicos: Terminologıa

Dado: grafo G = (N ,E )

Secuencia de nodos (a1, . . . , an) es un camino en G si:

para todo i ∈ {1, . . . , n − 1}: (ai , ai+1) ∈ E

Ejemplo

(1, 4, 2) y (1, 4, 3, 1, 2) son caminos en el grafo:

1 2

3 4

IIC1253 – Relaciones 21 / 32

Page 36: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Existencia de ordenes topologicos: Terminologıa

Camino (a1, . . . , an) en G es simple si:

para todo i , j ∈ {1, . . . , n} con i 6= j : ai 6= aj

Ejemplo

(1, 4, 2) es un camino simple en el grafo:

1 2

3 4

IIC1253 – Relaciones 22 / 32

Page 37: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Existencia de ordenes topologicos: Terminologıa

Camino (a1, . . . , an) en G es un ciclo simple si n ≥ 3, (a1, . . . , an−1) esun camino simple y a1 = an

Ejemplo

(1, 4, 3, 1) es un ciclo simple en el grafo:

1 2

3 4

IIC1253 – Relaciones 23 / 32

Page 38: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Existencia de ordenes topologicos: Terminologıa

Camino (a1, . . . , an) en G es un ciclo simple si n ≥ 3, (a1, . . . , an−1) esun camino simple y a1 = an

Ejemplo

(1, 4, 3, 1) es un ciclo simple en el grafo:

1 2

3 4

Un grafo es acıclico si no contiene un ciclo simple.

IIC1253 – Relaciones 23 / 32

Page 39: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Existencia de ordenes topologicos

Teorema

Dado un grafo G , existe un orden topologico para G si y solo si Ges acıclico.

IIC1253 – Relaciones 24 / 32

Page 40: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Existencia de ordenes topologicos

Teorema

Dado un grafo G , existe un orden topologico para G si y solo si Ges acıclico.

Ejercicio

Demuestre la direccion (⇒)

IIC1253 – Relaciones 24 / 32

Page 41: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Existencia de ordenes topologicos

Teorema

Dado un grafo G , existe un orden topologico para G si y solo si Ges acıclico.

Ejercicio

Demuestre la direccion (⇒)

Para demostrar la direccion (⇐), vamos a dar un algoritmo paracalcular un orden topologico para un grafo acıclico.

IIC1253 – Relaciones 24 / 32

Page 42: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Sea G = (N,E ) un grafo acıclico.

IIC1253 – Relaciones 25 / 32

Page 43: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Sea G = (N,E ) un grafo acıclico.

Comenzamos calculando:

C0 = {a ∈ N | no existe b ∈ N tal que b 6= a y (b, a) ∈ E}

IIC1253 – Relaciones 25 / 32

Page 44: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Sea G = (N,E ) un grafo acıclico.

Comenzamos calculando:

C0 = {a ∈ N | no existe b ∈ N tal que b 6= a y (b, a) ∈ E}

Tenemos que C0 6= ∅

◮ ¿Por que?

IIC1253 – Relaciones 25 / 32

Page 45: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Si N 6= C0, entonces calculamos:

C1 = {a ∈ (N r C0) | si (b, a) ∈ E y b 6= a, entonces b ∈ C0}

IIC1253 – Relaciones 26 / 32

Page 46: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Si N 6= C0, entonces calculamos:

C1 = {a ∈ (N r C0) | si (b, a) ∈ E y b 6= a, entonces b ∈ C0}

Tenemos que C1 6= ∅

◮ ¿Por que?

IIC1253 – Relaciones 26 / 32

Page 47: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Supongamos que hemos calculado C0, C1, . . ., Ck (k ≥ 1)

◮ Sea Tk =

k⋃

i=0

Ci

IIC1253 – Relaciones 27 / 32

Page 48: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Supongamos que hemos calculado C0, C1, . . ., Ck (k ≥ 1)

◮ Sea Tk =

k⋃

i=0

Ci

Si N 6= Tk , entonces calculamos:

Ck+1 = {a ∈ (N r Tk) | si (b, a) ∈ E y b 6= a, entonces b ∈ Tk}

IIC1253 – Relaciones 27 / 32

Page 49: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Supongamos que hemos calculado C0, C1, . . ., Ck (k ≥ 1)

◮ Sea Tk =

k⋃

i=0

Ci

Si N 6= Tk , entonces calculamos:

Ck+1 = {a ∈ (N r Tk) | si (b, a) ∈ E y b 6= a, entonces b ∈ Tk}

Al igual que en los casos anteriores, tenemos que Ck+1 6= ∅

◮ ¿Por que?

IIC1253 – Relaciones 27 / 32

Page 50: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

El proceso continua hasta encontrar una secuencia C0, C1, . . ., Cn tal que:

N =

n⋃

i=0

Ci

Tenemos que n es menor o igual al numero de nodos en N , ya que:

◮ para cada i ∈ {0, . . . , n}: Ci 6= ∅

◮ para cada i , j ∈ {0, . . . , n} con i 6= j : Ci ∩ Cj = ∅

IIC1253 – Relaciones 28 / 32

Page 51: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Tenemos ademas que para cada i ∈ {0, . . . , n} y a, b ∈ Ci :

si a 6= b, entonces (a, b) 6∈ E

¿Por que?

Entonces: para cada i ∈ {0, . . . , n}, existe orden total �i sobre Ci

◮ Extendemos estos ordenes totales para construir un ordentotal sobre N

IIC1253 – Relaciones 29 / 32

Page 52: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Para cada a, b ∈ N: a � b si y solo si

◮ existe i ∈ {0, . . . , n} tal que a, b ∈ Ci y a �i b, o

◮ existe i , j ∈ {0, . . . , n} con i < j tal que a ∈ Ci y b ∈ Cj

IIC1253 – Relaciones 30 / 32

Page 53: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico

Para cada a, b ∈ N: a � b si y solo si

◮ existe i ∈ {0, . . . , n} tal que a, b ∈ Ci y a �i b, o

◮ existe i , j ∈ {0, . . . , n} con i < j tal que a ∈ Ci y b ∈ Cj

Ejercicio

Demuestre que � es un orden total sobre N.

IIC1253 – Relaciones 30 / 32

Page 54: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico: Ejemplo

Sea G el siguiente grafo:

1 2

3 4

Tenemos que:

C0 = {1}

C1 = {4}

C2 = {2, 3}

IIC1253 – Relaciones 31 / 32

Page 55: Relaciones - marenas.sitios.ing.uc.clmarenas.sitios.ing.uc.cl/iic1253-14/clases/relaciones.pdf · Relaciones binarias Dado: conjunto A R es una relacio´n binaria sobre A si R ⊆

Calculo de un orden topologico: Ejemplo

Ordenes totales para estos conjuntos:

�0 = {(1, 1)}

�1 = {(4, 4)}

�2 = {(3, 3), (3, 2), (2, 2)}

Entonces tenemos que:

� = �0 ∪ �1 ∪ �2 ∪ {(1, 4), (1, 3), (1, 2), (4, 3), (4, 2)}

IIC1253 – Relaciones 32 / 32