Vous êtes sur la page 1sur 2

EL PROBLEMA DEL RECUBRIMIENTO O COBERTURA MNIMA Set cover problem Dados los conjuntos de objetos S1,S2,,Sn.

Por ejemplo: S1={O1} S2={O2,O3} S3={O3,O4} S4={O2,O4} S5={O4} Podemos formar un universo U, uniendo todos esos conjuntos. U = S 1 S2 Sn En el ejemplo: U={O1,O2,O3,O4} O bien podemos partir de un universo U y de un conjunto {S1,S2,,Sn} de subconjuntos de U (cuya unin es el universo). Es claro que podemos trabajar slo con los subndices. En el ejemplo: U={1,2,3,4} S1={1} S2={2,3} S3={3,4} S4={2,4} S5={4} El problema de cobertura mnima consiste en seleccionar el menor nmero de subconjuntos tales que su unin devuelva el universo. En el ejemplo S1,S2 no es solucin pues S1 S2 U. En el ejemplo S1,S2,S3,S4 no es solucin pues aunque su unin es U, no es mnimo (tiene cuatro subconjuntos). Hay otra seleccin con menos subconjuntos (por ejemplo S1,S2,S4) EL ALGORITMO LT Para el problema de cobertura mnima Dado el universo U y un conjunto {S1,S2,,Sn} de subconjuntos de U (cuya unin es el universo), hallar el menor nmero de subconjuntos Si1,Si2,,Sik tal que Sij = U (1jk) Sea Si la unin de todos los subconjuntos que estamos considerando actualmente. Llamaremos imprescindible al conjunto Sj, si [ Si - Sj] U

Entrada: Un conjunto universo U. Un grupo de subconjuntos Si Salida: Una cobertura mnima para U. sol = {} REPETIR Ordenar ascendentemente los conjuntos Si por tamao (cardinalidad) SI Si Sj ENTONCES eliminar Si de los subconjuntos a considerar sw=0 SI Sj es imprescindible ENTONCES sw=1; sol = sol Sj SI sw=1 ENTONCES U = U [ Sj imprescindibles] Eliminar los Sj imprescindibles de los subconjuntos a considerar no eliminado Sk = Sk - [ Sj imprescindibles] Else Eliminar el Sj ms pequeo de los subconjuntos a considerar FinSI HASTA U = {}

Esquemticamente lo que se hace es:


REPETIR Eliminar Subsunciones Eliminar Imprescindibles redimensionando todos los conjutnos o bien Eliminar UN Prescindible el ms pequeo de los subconjuntos considerados Hasta U = {}

Ejemplo:

Resultado 1: Si todos los subconjuntos que estamos considerando (para cierto U) son imprescindibles entonces todos esos subconjuntos forman parte de la solucin. Resultado 2: Si Si est subsumido en Sj entonces puede eliminarse Si sin perjuicio para la mnima cobertura. Resultado3: Si todos los subconjuntos que estamos considerando (para cierto U) son prescindibles y existen subsunciones entre ellos Entonces los conjuntos subsumidos en otros pueden eliminarse sin perjuicio para la mnima cobertura. Resultado4: Si todos los subconjuntos que estamos considerando (para cierto U) son prescindibles y no existen subsunciones entre ellos Entonces la eliminacin de alguno de esos subconjuntos puede hacerse sin perjuicio para la mnima cobertura.