Podemos ver la equivalencia al mapear los conjuntos de nuestra colección hacia hiperaristas.
Otro término equivalente, utilizado en un contexto más combinatorio, es el de la transversal.
[2] Para el problema del conjunto de golpe, diferentes parametrizaciones hacen sentido.
[3] El problema de conjunto de pgolpe es W[2]-completo para el parámetro OPT; es decir, probablemente no puede encontrarse un algoritmo que corra en tiempo f(OPTA)n^{O(1)}, dónde OPT es la cardinalidad del conjunto de golpe más pequeño.
El problema del conjunto de golpe es equivalente al problema de cubierta del conjunto: Un caso de cubierta puesta puede ser visto como un grafo bipartito arbitrario, con sis conjuntos representados por vértices en el lado izquierdo, elementos del universo representados por vértices en el lado derecho, y las aristas que representan la inclusión de elementos en conjuntos.
Bajo detección basada en conjunto candado, si algún otro hilo escribe a aquella ubicación y no hay una carrera, tiene que ser porque lleva al menos un candado en común con cada uno de los récord previos.
Esto es útil para eliminar eventos de sobreescritura redundante, ya que conjuntos de cerradura grande son considerados improbables en la práctica.
Una cubierta de vértice fraccionario es una función que asigna un peso en
a cada vértice en V, tal que para cada hiperarista en E, la suma de fracciones de los vértices incidentes a e es al menos 1.
Un teorema de László Lovász proporciona una cuota superior para la proporción entre ellos:[5] Un plano proyectivo finito es un hipergrafo en que cada dos hyperaristas tienen intersección no vacía.
Cuándo Hr existe, tiene las propiedades siguientes:[6] Un cubierta de vértice (transversal) T se es mínimal si ningún subconjunto propio de T es un transversal.