# Grafo plano exterior

En teoría de grafos, un grafo plano exterior es un grafo que tiene una representación plana para la que todos los vértices pertenecen a la cara exterior del dibujo.
Los grafos planos externos se pueden caracterizar (análogamente al teorema de Wagner para grafos planos) por los dos menores prohibidos K$_4$ y K$_{2,3}$, o por sus invariantes de grafo de Colin de Verdière.
Poseen ciclos hamiltonianos si y solo si están biconectados, en cuyo caso la cara exterior forma el único ciclo hamiltoniano. Cada grafo plano externo tiene 3 colores; y degeneración y ancho de árbol como máximo 2.
Los grafos planos exteriores son un subconjunto de los grafos planos, de los subgrafos de grafos serie-paralelo y de los grafos circulares. Los grafos planos exteriores máximos, aquellos a los que no se les pueden añadir más aristas conservando la planaridad exterior, también son cordales y de visibilidad.

## Historia

Los grafos planos exteriores fueron estudiados y nombrados por primera vez por Chartrand y Harary (1967), en relación con el problema de determinar la planaridad de los grafos formados mediante el uso de un emparejado perfecto para conectar dos copias de un grafo base (por ejemplo, muchos de los grafos de Petersen generalizados se forman de esta manera a partir de dos copias de un grafo ciclo). Como demostraron, cuando el grafo base es biconectado, un grafo construido de esta manera es plano si y solo si su grafo base es plano exterior y su emparejado forma una permutación diédrica de su ciclo exterior. Chartrand y Harary también demostraron un análogo al Teorema de Kuratowski para grafos planos exteriores, que afirma que un grafo es plano exterior si y solo si no contiene una subdivisión de uno de los dos grafos K$_4$ o K$_{2,3}$.

## Definición y caracterizaciones

Un grafo plano exterior es un grafo que puede ser representado en el plano sin cruces de tal manera que todos los vértices pertenecen a la cara no acotada del dibujo. Es decir, ningún vértice está totalmente rodeado de aristas. Alternativamente, un grafo G es plano exterior si el grafo formado a partir de G mediante la adición de un nuevo vértice, con aristas que lo conectan con todos los demás vértices, es un grafo plano.
Un grafo de plano exterior máximo es un grafo plano exterior al que no se le pueden agregar bordes adicionales mientras conserva la planaridad exterior. Todo grafo plano exterior máximo con n vértices tiene exactamente 2n − 3 aristas, y cada cara delimitada de un grafo plano exterior máximo es un triángulo.

### Grafos prohibidos

Los grafos exteriores tienen una caracterización de grafos prohibidos análoga al teorema de Kuratowski y al teorema de Wagner para grafos planos: un grafo es exterior si y solo si no contiene una subdivisión del grafo completo K$_4$ o el grafo bipartito completo K$_{2,3}$. Alternativamente, un grafo es plano exterior si y solo si no contiene K$_4$ o K$_{2,3}$ como menor (un grafo obtenido a partir de eliminar y contraer bordes).
Un grafo sin triángulos es plano exterior si y solo si no contiene una subdivisión de K$_{2,3}$.

### Invariantes de Colin de Verdière

Un grafo es plano exterior si y solo si su invariante de grafo de Colin de Verdière es como máximo dos. Los grafos caracterizados de manera similar por tener un invariante de Colin de Verdière como máximo de uno, tres o cuatro son respectivamente los bosques lineales, los grafos planos y los grafos embebidos sin enlaces.

## Propiedades
### Biconectividad y hamiltonicidad

Un grafo plano exterior es biconectado si y solo si la cara exterior del grafo forma un ciclo simple sin vértices repetidos. Un grafo plano exterior es hamiltoniano si y solo si es biconexo; en este caso, la cara exterior forma el único ciclo hamiltoniano. De manera más general, el tamaño del ciclo más largo en un grafo plano exterior es el mismo que el número de vértices en su componente biconectado más grande. Por esta razón, encontrar ciclos hamiltonianos y ciclos más largos en grafos planos exteriores puede resolverse en tiempo lineal, en contraste con el carácter NP-completo de estos problemas para grafos arbitrarios.
Todo grafo plano exterior máximo satisface una condición más fuerte que la hamiltonicidad: es nodo pancíclico, lo que significa que para cada vértice v y para cada número k en el rango de tres al número de vértices en el grafo, hay un ciclo de longitud k que contiene a v. Se puede encontrar un ciclo de esta longitud quitando repetidamente un triángulo que esté conectado al resto del grafo por una sola arista, de modo que el vértice eliminado no sea v, hasta que la cara exterior del grafo restante tenga una longitud k.
Un grafo plano es plano exterior si y solo si cada uno de sus componentes biconectados es plano exterior.

### Coloreado

Todos los grafos planos exteriores sin bucles pueden ser coloreados usando solo tres colores. Este hecho ocupa un lugar destacado en la demostración simplificada por hallada por Fisk (1978) del problema de la galería de arte planteado por Václav Chvátal. Se puede encontrar un 3-coloreado en tiempo lineal mediante un algoritmo de coloreado ávido que elimina cualquier vértice de grado como máximo dos, colorea el grafo restante de forma recursiva y luego vuelve a agregar el vértice eliminado con un color diferente de los colores de sus dos vecinos.
De acuerdo con el teorema de Vizing, el índice cromático de cualquier grafo (el número mínimo de colores necesarios para colorear sus aristas para que no haya dos aristas adyacentes que tengan el mismo color) es el grado máximo de cualquier vértice del grafo o uno más el grado máximo. Sin embargo, en un grafo plano externo conexo, el índice cromático es igual al grado máximo excepto cuando el grafo forma un ciclo de longitud impar. Se puede lograr una coloración de aristas con un número óptimo de colores y en tiempo lineal basado en una búsqueda transversal del árbol dual débil.

### Otras propiedades

Los grafos planos exteriores tienen degeneración como máximo dos: cada subgrafo de un grafo plano exterior contiene un vértice con grado como máximo dos.
Los grafos planos exteriores tienen ancho de árbol como máximo dos, lo que implica que muchos problemas de optimización de grafos que son NP-completos para grafos arbitrarios pueden resolverse en tiempo lineal mediante programación dinámica cuando el grafo analizado es plano exterior. De forma más general, los grafos k-plano exteriores tienen un ancho de árbol O(k).
Cada grafo plano exterior se puede representar como un grafo de intersección de rectángulos alineados con el eje en el plano, por lo que los grafos planos exteriores tienen cajeidad como máximo dos.

## Familias relacionadas de grafos

Todo grafo plano exterior es un grafo plano. Todo grafo plano exterior es también un subgrafo de un grafo serie-paralelo. Sin embargo, no todos los grafos serie-paralelos planos son plano exteriores. El grafo bipartito completo K$_{2,3}$ es plano y paralelo en serie pero no plano exterior. Por otro lado, el grafo completo K$_4$ es plano pero no es serie-paralelo ni exterior. Cada bosque y cada grafo cactus son plano exteriores.
El grafo plano dual débil de un grafo plano exterior incrustado (el grafo que tiene un vértice para cada cara acotada de la incrustación y una arista para cada par de caras acotadas adyacentes) es un bosque, y el plano dual débil de un grafo de Halin es un grafo plano exterior. Un grafo plano es plano exterior si y solo si su dual débil es un bosque, y es de Halin si y solo si su dual débil es biconexo y plano exterior.
Hay una noción del grado de planaridad exterior. Una incrustación 1-plano exterior de un grafo es lo mismo que una incrustación en un plano exterior. Para k > 1, se dice que una incrustación plana es k-plano exterior si la eliminación de los vértices en la cara exterior da como resultado una incrustación plana exterior (k − 1).
Un grafo es k-plano exterior si tiene una incrustación k-plano exterior.
Un grafo 1-plano exterior, de manera análoga a los grafos 1-planos, se puede dibujar en un disco, con los vértices en el límite del disco y con un cruce por borde como máximo.
Todo grafo plano exterior máximo es un grafo cordal. Todo grafo planar exterior máximo es el grafo de visibilidad de un polígono simple. Los grafos planos exteriores máximos también se forman como grafos de triangulación de un polígono. Son ejemplos de 2-árboles, de grafos serie–paralelos y de grafos cordales.
Cada grafo plano exterior es un grafo circular, el grafo de intersección de un conjunto de cuerdas de una circunferencia.