Herramientas de topología para el análisis de sistemas computacionales distribuidos y computablilidad distribuida

Ponente(s): Josue Abinadi Garrido Sanchez, Diana González Arroyo

La computabilidad distribuida es un campo de la informática que estudia los sistemas distribuidos, es decir, sistemas en los que múltiples componentes trabajan juntos para realizar una tarea, en específico busca estudiar los problemas de computación que surgen cuando los componentes de un sistema pueden fallar (en algunos casos convirtiendo estos problemas, en no computables) y cuándo el cálculo requiere coordinación entre los participantes. En este cartel nos enfocamos en algunas herramientas topológicas que han mostrado ser útiles para analizar la conectividad y la estructura de los sistemas distribuidos, así como entender la computabilidad distribuida, entre ellas, homología, homotopía, espacios de cubrimiento, teoremas de "shellability", nervios y aproximación simplicial. Se discute cómo es que los modelos que se consideran en la computabilidad distribuida dan pie a un estudio sustancioso que parte de conceptos matemáticos abstractos como las nociones de topología combinatoria que parecen relacionarse intrínsecamente. Finalmente, se mencionan ejemplos de aplicaciones, entre ellos el diseño de algoritmos eficientes para realizar tareas en estos sistemas y la relación de problemas de conectividad en gráficas con los de computabilidad distribuida.