Un gráfico plano es un gráfico que se puede incrustar en el plano, sin tener bordes cruzados.
Supongamos que sea una hipergrafía k -uniforme, es decir, una hipergrafía tal que todas sus hiperedificaciones tengan el tamaño k.
Se han realizado algunos trabajos para incrustar hipergrafías en el plano (con el contexto de agrupamiento u otra aplicación), pero a menudo, los datos simplemente no se pueden incrustar en el plano. La solución podría ser forzarlo, con alguna pérdida, o incrustarlo en una dimensión superior, como sugiero aquí:
Una extensión natural de la planaridad (IMO, al menos) es una " incrustación simple " (¿hay un nombre diferente conocido para ella?) De G : una incrustación M : X → R k , de modo que existen superficies que se conectan todos los vértices de cada hiperedificación, y estos no se cruzan, excepto los puntos finales.
(Piense en el análogo en 2D, donde cada superficie es un borde que puede dibujar como quiera).
Aquí hay un ejemplo de una inclusión válida de 3 simples de una hipergrafía de 3 uniformes. (Cada vértice está coloreado por las hipereduras en las que está contenido, y cada cara representa una hiperedificación).
Otro ejemplo de gráfico de 3 simples es la hipergrafía completa de 3 uniformes en 5 vértices . Para ver esto, simplemente tome 4 puntos en R 3 que no se encuentran en un plano 2D, cree una pirámide triangular (su casco convexo) y coloque el quinto punto en el centro de la pirámide, conectándolo a los otros vértices.
Del mismo modo, parece que la hipergrafía completa de 3 uniformes en 6 vértices no tiene una incrustación de 3 simples.
Hay algunas propiedades muy útiles de los gráficos planos que permiten algoritmos mejorados para problemas difíciles cuando el gráfico es plano. Desafortunadamente, los datos a menudo no son planos, aunque a veces son de baja dimensionalidad. Creo que comprender qué propiedades de los gráficos planos generalizan nos ayudará a descubrir qué algoritmos se pueden adaptar para una dimensión superior con la misma herramienta.
Un ejemplo de una propiedad que podría ser útil proviene del Teorema de Fáry, que sugiere que cada gráfico plano puede incrustarse de manera que todos sus bordes sean segmentos de línea recta.
¿Hay otras propiedades que puedan generalizarse? por ejemplo, ¿puede la fórmula de Euler para gráficos planos generalizarse de alguna manera a una dimensión superior? (aunque por el momento no estoy seguro de cuál sería su significado).