Complejidad de Algoritmos

COMPLEJIDAD DE ALGORITMOS
2019-1
Facultad de Ingeniería
5°Semestre Ing Clasede
05 sistemas

2018
Jaime Eduardo Cortés
jcortes@uco.edu.co
Jaime Eduardo Cortés
Ingeniero de Sistemas
Candidato Ms física aplicada
jcortes@uco.edu.co
3116322941
Problema de asignación
Plantea:
● La distribución de tareas entre los miembros de un
conjunto de trabajadores.
● Establecer parejas entre los elementos de un conjunto.

A partir de:
● Una función que relaciona a los elementos de los
conjuntos.
● En ocasiones una función que pondera la relación.
Emparejamientos en grafos
Estudiantes hacen solicitud de intercambio a varios países

Perú

Chile

España

Ecuador

¿Es posible hacer una asignación de destinos de manera

que todos los alumnos tengan una beca?
Emparejamiento en Grafos
En un grupo los alumnos tienen que hacer parejas para
trabajos de práctica. Se muestra en el grafo la relación de
amistad entre unos cuantos de estos alumnos

¿ Es posible hacer las parejas de manera que los alumnos

de cada pareja sean amigos?
Emparejamientos
Sea G=(V,E) un grafo no dirigido

Un subconjunto de aristas M ⊆ E es un emparejamiento si:

• Ninguna arista de M es un bucle.

• No hay ninguna pareja de aristas que incidan en un
mismo vértice v ∈ V.
• Ejemplos de emparejamientos
A A E

B E B
F

M(AE,CD) C D
M(AB,EF,CD)
C D
Emparejamientos
Sea G=(V,E) un grafo no dirigido

Los siguientes conjuntos no son emparejamientos

M(AE,BB,CD) M(BC,EF,CD)

A A E

B E B
F

C D C D
Vértices M-saturados
Sea G=(V,E) un grafo no dirigido

Dado un emparejamiento M ⊆ E se dice que un

vértice v ∈ V está M-saturado si existe una arista m ∈ M tal
que m es incidente en v. Es decir v es un extremo de M

M(AE,CD) Los vértices A,E,C y D Todos los vértices están saturados por
Están M-saturados pero B no lo está alguna de las aristas M(AB,EF,CD)

A A E

B E B
F

C D C D
Emparejamiento perfecto
Sea G=(V,E) un grafo no dirigido

Si dado un emparejamiento M ⊆ E se tiene que todos los

vértices están M-saturados se dice que M es un
emparejamiento perfecto.

M(AE,CD) No es un emparejamiento perfecto M(AB,EF,CD) este es un ejemplo de

Porque B no está M-saturado emparejamiento perfecto.

A A E

B E B
F

C D C D
Emparejamiento Máximo
Sea G=(V,E) un grafo no dirigido

Se dice que un emparejamiento M ⊆ E es máximo si es el

que tiene la mayor cantidad de aristas posibles dentro de los
emparejamientos posibles
Ej: el siguiente emparejamiento es máximo M(AB,CD)
A B C D

El siguiente emparejamiento no puede crecer mas pero no

es máximo, porque cualquier arista que se añada ocasiona
dos aristas incidiendo en un mismo vértice

A B C D
Emparejamiento Máximo
No tienen por que ser únicos

Ejmplos
M(AB) M(BC)
A B C A B C

Los emparejamientos perfectos tampoco tienen porque ser

únicos.
M(AB,CD) M(AC,BD)
A B A B

C D C D
Emparejamiento Perfecto vs Máximo
Todos los emparejamientos perfectos son máximos.

Sin embargo el recíproco no es cierto.

Ejemplo: El siguiente emparejamiento muestra un ejemplo
de emparejamiento máximo que no es perfecto.

D A B

C
Caminos M-alternados
Sea G=(V,E) un grafo no dirigido y sea M ⊆ E un
emparejamiento en G.

Se dice que un camino es M alternado en G si todas sus

aristas están alternativamente en M y en E/M.

Notación E/M: Los elementos que están en E y no en M. Es

decir las aristas que no están en M.
Ejemplo:
A B C D
M(AB,CD)

A B C D M(BC) A B C M(AB)
Caminos M-incrementables
Sea G=(V,E) un grafo no dirigido y sea M ⊆ E un
emparejamiento en G.

Se dice que un camino es M incrementable en G si es M-

alternado y los vértices inicial y final no están saturados.

Ejemplos M-incrementables:
A B C D
M(BC)

A B C D E F
M(BC,DE)

No incrementable:
A B C D E F
Cam M-alternados y M-incrementables
Entenderemos que un camino con una única arista es un
camino M-alternado independientemente si esta está o no en
el emparejamiento.

A B A B

Si además esta única arista no está en el emparejamiento

entonces diremos que el camino es además M-incrementable

A B
Emparejamientos máximos y
M-incrementables
Teorema (Berge)

Sea G=(V,E) un grafo no dirigido.

Un emparejamiento M⊆ 𝐸 es máximo ↔ no existe ningún
camino M-incrementable.

Procedimiento (Perfeccionar un emparejamiento):

1. Cada vez que hallemos un camino M-incrementable lo que
haremos será intercambiar el papel de las aristas que están
en M y fuera de M. A B C D

A B C D
Emparejamientos en grafos
Estudiantes hacen solicitud de intercambio a varios países

Perú S P

L C
Chile
P E
España
M Ec
Ecuador

¿Es posible hacer una asignación de destinos de manera

que todos los alumnos tengan una beca?
Emparejamientos en grafos

S P

L C

P E

M Ec

M(SP)
Emparejamientos en grafos

S P

L C

P E

M Ec

M(SC,PL)
Emparejamientos en grafos

S P

L C

P E

M Ec

M(SC,PL)
Emparejamientos en grafos

S P

L C

P E

M Ec

M(SC,PL)
Emparejamientos en grafos

S P

L C

P E

M Ec

M(SP,LEc,CM)
Emparejamientos en grafos

S P

L C

P E

M Ec

M(SP,LEc,CM)
Emparejamientos en grafos

S P

L C

P E

M Ec

M(SP,LEc,CM)