Conclusiones

Los problemas de conjuntos han maravillado al mundo de los matemáticos. Sin embargo, también en Computación Distribuida existen problemas de conjuntos.

Uno de ellos es el Problema de los Conjuntos Imposibles. Este problema se relaciona con un sistema para detectar la causalidad en una historia distribuida. El sistema asigna vectores de enteros a eventos y utilizando ciertas propiedades se puede averiguar las relaciones causales entre los eventos respectivos.

Si se recolectan todas las etiquetas vectoriales se obtiene un conjunto posible. Cualquier subconjunto de él también es posible. Aún así, cualquier conjunto de vectores no necesariamente corresponde a alguna historia distribuida.

Los conjuntos imposibles son aquellos para los cuales es imposible hallar una historia distribuida que los contenga. El problema de los conjuntos imposibles consta en determinar si un conjunto de vectores es posible o no. Resolver este problema es posible, pero por medio de un algoritmo que revisa exhaustivamente todas las historias candidatas.

El problema ingenieril es encontrar un algoritmo eficiente que resuelva el problema, o bien, demostrar que tal algoritmo no existe.

Revista digital Matemática, Educación e Internet.
Derechos Reservados