Grafo embebido

En teoría de grafos topológica, un embebido (o también incrustación) de un grafo  en una superficie  es una representación de  sobre  en la que sus vértices están asociados con puntos de  y sus lados se asocian con arcos simples (imágenes homeomórficas de ) de , de tal forma que:

 Los extremos del arco asociado a un lado  son los puntos asociados a los vértices extremos de 
 Ningún arco incluye puntos asociados a otros vértices
 Dos arcos nunca se cortan en un punto interior a cualquiera de los arcos

Aquí se entiende por superficie una variedad de orden  compacta y conexa.

De manera informal, un embebido de un gráfico en una superficie es un dibujo del gráfico en la superficie de tal manera que sus lados se intersequen solo en sus puntos extremos. Es bien sabido que cualquier gráfico finito se puede incrustar en el espacio euclídeo tridimensional . Por definición, un grafo plano es aquel que se puede incrustar en un espacio euclídeo bidimensional 

A menudo, un embebido se considera una clase de equivalencia (bajo homeomorfismos de ) de las representaciones del tipo que se acaba de describir.

Algunos autores definen una versión más débil de la definición de "embebido de grafos" al omitir la condición de no intersección para los lados. En tales contextos, la definición más estricta se describe como embebido de grafos sin cruces.

Este artículo trata solo de la definición estricta de embebido de grafos. La definición más débil se discute en los artículos "dibujo de grafos" y "número de cruce".

Terminología
Si un grafo  está incrustado en una superficie cerrada , el complemento de la unión de los puntos y arcos asociados con
los vértices y aristas de  es una familia de regiones (o caras). Una incrustación de 2 celdas, incrustación celular o mapa es un embebido en el que cada cara es homeomorfa a un disco abierto. Una incrustación cerrada de 2 celdas es un embebido en el que el cierre de cada cara es homeomorfo a un disco cerrado.

El género (o también genus) de un grafo es el número entero mínimo  tal que el gráfico se puede embeber en una superficie de genus . En particular, un grafo plano tiene el género  porque se puede dibujar en una esfera sin autocruzarse. El género no orientable de un grafo es el número entero mínimo  tal que el grafo en cuestión se puede embeber en una superficie no orientable de género (no orientable) .

El género de Euler de un grafo es el mínimo entero  tal que el grafo se puede embeber en una superficie orientable de género (orientable)  o en una superficie no orientable de género (no orientable) . Un grafo es orientablemente simple si su género de Euler es más pequeño que su género no orientable.

El género máximo de un grafo es el máximo número entero  tal que el gráfico puede ser una celda  embebida en una superficie orientable de género .

Embebido combinatorio

Un grafo embebido define de forma única órdenes cíclicos de aristas incidentes en el mismo vértice. El conjunto de todas estas ordenaciones cíclicas se llama sistema de rotación. Las incrustaciones con el mismo sistema de rotación se consideran equivalentes y la clase de embebidos de equivalencia correspondiente se denomina embebido combinatorio (a diferencia del término embebido topológico, que se refiere a la definición anterior en términos de puntos y curvas). A veces, el propio sistema de rotación se denomina embebido combinatorio.

Un grafo incrustado también define órdenaciones cíclicas naturales de lados que constituyen los límites de las caras de la incrustación. Sin embargo, el manejo de estos órdenes basados ​​en caras es menos sencillo, ya que en algunos casos algunos bordes pueden atravesarse dos veces en un límite de cara. Por ejemplo, este es siempre el caso de embebidos de árboles, que tienen una sola cara. Para superar este inconveniente combinatorio, se puede considerar que cada lado está dividido longitudinalmente en dos medios lados o bordes. Según esta convención, en todos los recorridos de límites de caras, cada medio lado se recorre solo una vez y los dos medios lados del mismo lado siempre se recorren en direcciones opuestas.

Otras representaciones equivalentes de embebidos celulares incluyen a los grafos de cinta, un espacio topológico formado al pegar juntos discos topológicos para los vértices y los lados de un gráfico embebido, y a los mapas de grafos codificados, un grafo cúbico de color de borde con cuatro vértices para cada borde del gráfico incrustado.

Complejidad computacional

El problema de encontrar el género del gráfico es de dificultad NP (el problema de determinar si un gráfico de  vértices tiene el género  es NP-completo).

Al mismo tiempo, el problema del género del gráfico es de complejidad parametrizada, es decir, se sabe que algoritmos de complejidad temporal polinómica verifican si un gráfico se puede embeber en una superficie de un género fijo dado, así como para encontrar la incrustación.

El primer avance en este sentido se produjo en 1979, cuando dos algoritmos de complejidad temporal O(nO(g)) fueron presentados de forma independiente al Simposio de la ACM sobre Teoría de la Computación: uno por I. Filotti y G.L. Miller y otro por John Reif. Sus enfoques fueron bastante diferentes, pero por sugerencia del comité del programa presentaron un documento conjunto.

Sin embargo, Wendy Myrvold y William Kocay demostraron en 2011 que el algoritmo propuesto por Filotti, Miller y Reif era incorrecto.

En 1999 se informó que el caso de género fijo se puede resolver en tiempo lineal respecto al tamaño del grafo y en tiempo doble exponencial respecto al género.

Embebidos de grafos en espacios de mayor dimensión
Se sabe que cualquier grafo finito se puede incrustar en un espacio tridimensional.

Un método para hacerlo es colocar los puntos en cualquier línea recta en el espacio y dibujar los lados como curvas, cada una de las cuales se encuentra en un semiespacio distinto, con todos los semiplanos teniendo esa línea como límite común. Una incrustación como esta en la que los bordes se dibujan en semiplanos se llama embebido en libro del grafo. Esta metáfora proviene de imaginar que cada uno de los planos donde se dibuja una arista es como una página de un libro. Se observó que, de hecho, se pueden dibujar varios vínculos en la misma "página"; el grosor del libro del grafo es el número mínimo de semiplanos necesarios para tal dibujo.

Alternativamente, cualquier grafo finito se puede dibujar con vínculos rectilíneos en tres dimensiones sin cruces colocando sus vértices en posición general para que no haya cuatro coplanarios. Por ejemplo, esto se puede lograr colocando el vértice i en el punto (i,i2,i3) de una curva de momentos.

Un embebidp de un gráfico en un espacio tridimensional en el que dos de los ciclos no están vinculados topológicamente se denomina embebido sin enlaces. Un grafo tiene un embebido sin enlaces si y solo si no incluye uno de los siete grafos de la familia de Petersen como menor.

Galería

Véase también
 Encaje, para otro tipo de embebidos
 Embebido en libro
 Espesor (teoría de grafos)
 Lista de aristas doblemente conectadas, una estructura de datos para representar un gráfico embebido en un plano
 Mapa regular (teoría de grafos)
 Teorema de Fáry, que afirma que siempre es posible obtener un embebido en una línea recta de un grafo plano
 Triangulación

Referencias

Teoría de grafos topológicos
Algoritmos de grafos