Max-camarilla en gráfico lineal de hipergrafía

8

Supongamos que tenemos un multigraph (más tarde, un multihipegraph). Una camarilla de borde es un conjunto de bordes que se cruzan por pares (tienen al menos un vértice común). Entonces, cualquier camarilla de borde en un multigrafo siempre cae en una de dos categorías:C

  • Una estrella : hay un vértice tal que cada borde de contieneC
  • Un triángulo : hay tres vértices de tal manera que cada borde de va entre dos de ellos.C

Esto lleva a un algoritmo fácil de tiempo para calcular la camarilla de borde más grande.O(n3)

Estoy bastante seguro de que uno puede mostrar de manera más general, que por cada , en múltiples hiperígrafos con un tamaño máximo de borde r , puede probar un cierto teorema de estructura para las camarillas de hiperedge, y obtener un algoritmo de tiempo polinómico para encontrar la camarilla máxima.rr

¿Hay algo relacionado con este resultado conocido? Además, el algoritmo que tengo en mente es un polinomio de grado extremadamente alto; Sería bueno obtener algo con tiempo de ejecución o mejor.npoly(r)

Esto me pareció interesante ya que la camarilla de borde máxima es un límite inferior en el número cromático de borde (también conocido como índice cromático).

22exp(r)nexp(r)

daveagp
fuente
Estás casi en la teoría de conjuntos extremos, por ejemplo, sistemas de intersección. Echa un vistazo a "Combinatoria" de Cameron y referencias allí. Sin embargo, no estoy seguro acerca de los algoritmos.
RJK
1
Cross-post pidiendo un teorema de estructura: mathoverflow.net/questions/41123/cliques-of-hyperedges
daveagp

Respuestas:

5

Cada gráfico G es un gráfico lineal de alguna hipergrafía, por ejemplo, la que tiene los bordes de G como sus vértices y los conjuntos de bordes adyacentes a cada vértice de G como sus hipereduras. Por lo tanto, encontrar camarillas en gráficos de líneas de hipergrafías no puede ser más fácil que encontrar camarillas en gráficos arbitrarios.

rGrnpoly(r)

David Eppstein
fuente