Diseño de algoritmos auto-estabilizantes para el problema del conjunto independiente fuerte
Esta tesis se enfoca en el estudio del problema del conjunto independiente fuerte enalgoritmos distribuidos y en algoritmos auto-estabilizantes. Se presenta un algoritmoauto-estabilizante para elección de líder para un grafo arbitrario. Este algoritmo es óptimo dado que encuentra un líder en O(diam)...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Estado: | Versión publicada |
| Fecha de publicación: | 2014 |
| País: | México |
| Institución: | Centro de Investigación Científica y de Educación Superior de Ensenada |
| Repositorio: | Repositorio Institucional CICESE |
| Idioma: | español |
| OAI Identifier: | oai:cicese.repositorioinstitucional.mx:1007/424 |
| Acceso en línea: | http://cicese.repositorioinstitucional.mx/jspui/handle/1007/424 |
| Access Level: | acceso abierto |
| Palabra clave: | info:eu-repo/classification/Autor/Computación,Conjunto independiente fuerte,Algoritmos distribuidos,Algoritmos autoestabilizantes info:eu-repo/classification/cti/1 info:eu-repo/classification/cti/12 info:eu-repo/classification/cti/1203 |
| Sumario: | Esta tesis se enfoca en el estudio del problema del conjunto independiente fuerte enalgoritmos distribuidos y en algoritmos auto-estabilizantes. Se presenta un algoritmoauto-estabilizante para elección de líder para un grafo arbitrario. Este algoritmo es óptimo dado que encuentra un líder en O(diam) rondas, donde diam es el diámetro delgrafo de entrada. Dicho algoritmo es un componente fundamental de los algoritmos dela tesis.En segundo lugar, se presenta un algoritmo auto-estabilizante que calcula un conjuntoindependiente fuerte máximo en un anillo. Posteriormente, se extiende dichoalgoritmo para calcular un conjunto independiente fuerte maximal en un cactus. Ambosalgoritmos mejoran la complejidad temporal de los resultados previos cuando elgrafo de entrada es un anillo o un cactus. Finalmente, se presenta un algoritmo distribuidoque calcula un conjunto independiente fuerte maximal en un grafo outerplanargeométrico. La complejidad temporal de este algoritmo es O(n) rondas, donde n es elnúmero de vértices en el grafo. Este algoritmo también calcula un conjunto independientefuerte máximo cuando el grafo de entrada es un anillo. La dificultad principal endiseñar estos algoritmos es que los procesadores sólo tienen una vista local del sistemay necesitan leer información a una distancia dos. Todos los algoritmos que se presentanen la presente tesis son determinísticos. |
|---|