Análisis de la factibilidad del diseño de algoritmos auto-estabilizantes para el conjunto independiente fuerte con peso máximo en uniciclos
En este trabajo se estudia el problema de encontrar el conjunto independiente fuerte (2-packing) con peso máximo, que suele aparecer en problemas de exclusión mutua, calendarización, etiquetado de mapas, entre otros. Este problema en grafos generales es NP-difícil, pero para grafos restringidos como...
| Autor: | |
|---|---|
| Formato: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2018 |
| País: | México |
| Recursos: | 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/2537 |
| Acesso em linha: | http://cicese.repositorioinstitucional.mx/jspui/handle/1007/2537 |
| Access Level: | acceso abierto |
| Palavra-chave: | info:eu-repo/classification/Autor/Auto-estabilización, 2-packing, cactus, uniciclo info:eu-repo/classification/Autor/Self-stabilization, 2-packing, cactus, unicycle info:eu-repo/classification/cti/7 |
| Resumo: | En este trabajo se estudia el problema de encontrar el conjunto independiente fuerte (2-packing) con peso máximo, que suele aparecer en problemas de exclusión mutua, calendarización, etiquetado de mapas, entre otros. Este problema en grafos generales es NP-difícil, pero para grafos restringidos como el árbol, el uniciclo y el cactus, se han encontrado soluciones eficientes. En esta investigación se trabaja en los casos del cactus y del uniciclo. Para el cactus se propone un algoritmo secuencial basado en un algoritmo reciente en la literatura que resuelve el mismo problema pero en cactus sin peso, y se implementa en un lenguaje de programación orientado a objetos (Java). Para el uniciclo se diseña un algoritmo auto-estabilizante basado en la implementación anterior. Además se plantean los pasos para generalizar este ´ultimo para que funcione en un cactus. Los algoritmos auto-estabilizantes se utilizan en sistemas distribuidos donde se necesita asegurar estabilidad sin necesidad de que haya interacción humana, incluso cuando ocurren fallos transitorios, tales como cortes de energía y pérdidas de memoria. |
|---|