En Matemática existen muchos problemas que involucran conjuntos. Generalmente, estos problemas están relacionados con un grupo de elementos que deben cumplir una cierta propiedad. Por ejemplo, los conjuntos pitagóricos son aquellos de la forma {x,y,z}, con x<y<z tales que conforman una terna pitagórica: x2 +y2 =z2. Sin embargo, el algoritmo para determinar si un conjunto de cardinalidad 3 es pitagórico o no, es muy eficiente. En Computación Distribuida existen también problemas de conjuntos. Uno de ellos es el problema de los conjuntos imposibles de relojes vectoriales ([9]), que no se ha determinado si posee un algoritmo eficiente que lo resuelva.