Grafos Planos

Estructuras Discretas INF-152

Diego Israel Beltran Madrid

diego.beltran@sansano.usm.cl

25 de mayo de 2021

Diego Beltran INF-152 25 de mayo de 2021 1 / 19

Indice

1 Objetivos

2 Grafos Planos
Introduccion
Definicion
Teorema de Euler
Regiones
Teorema de Kuratowsky
Aplicaciones

Diego Beltran INF-152 25 de mayo de 2021 2 / 19

Objetivos

1 Determinar si un grafo es plano.

2 Conocer las regiones dentro de un grafo
3 Conocer los teoremas que ayudaran a determinar si un grafo plano

Diego Beltran INF-152 25 de mayo de 2021 3 / 19

Introduccion

Consideraremos el problema de conectar tres casas con las tomas de electricidad, agua y gas,
tal como se muestra a continuacion.

Diego Beltran INF-152 25 de mayo de 2021 4 / 19

Introduccion

Consideraremos el problema de conectar tres casas con las tomas de electricidad, agua y gas,
tal como se muestra a continuacion.

¿Es posible conectar estas casas con las tres tomas de modo que ninguna de las conexiones se
cruce con otra conexion?
Diego Beltran INF-152 25 de mayo de 2021 4 / 19
Introduccion

Este problema se puede modelar usando un grafo bipartito completo K3,3 , como se muestra a
continuacion.

Diego Beltran INF-152 25 de mayo de 2021 5 / 19

Introduccion

Este problema se puede modelar usando un grafo bipartito completo K3,3 , como se muestra a
continuacion.

Conociendo el grafo podemos reformular la pregunta. ¿Puede dibujarse K3,3 en el plano de

forma que ningun par de arcos se corten?
Diego Beltran INF-152 25 de mayo de 2021 5 / 19
Introduccion

En este documento estudiaremos si un grafo puede o no dibujarse en el plano de forma que

ningun par de arcos se corten. Mas concretamente, se resolvera el problema de las casas.

Diego Beltran INF-152 25 de mayo de 2021 6 / 19

Introduccion

En este documento estudiaremos si un grafo puede o no dibujarse en el plano de forma que

ningun par de arcos se corten. Mas concretamente, se resolvera el problema de las casas.
Para ello, dado que sabemos que hay muchas formas de representar un grafo, ¿Bajo que
condiciones se puede encontrar al menos una forma de representar el grafo en el plano sin que
ningun par de arcos se corten?

Diego Beltran INF-152 25 de mayo de 2021 6 / 19

Grafos Planos

Definicion
Se dice que un grafo es plano si puede dibujarse en el plano de manera que ningun par de arcos
se corten, es decir, no debe existir una interseccion de las lineas que representan a los arcos en
un punto distinto de sus extremos. A ese dibujo se le llama representacion plana del grafo.

Diego Beltran INF-152 25 de mayo de 2021 7 / 19

Grafos Planos

Definicion
Se dice que un grafo es plano si puede dibujarse en el plano de manera que ningun par de arcos
se corten, es decir, no debe existir una interseccion de las lineas que representan a los arcos en
un punto distinto de sus extremos. A ese dibujo se le llama representacion plana del grafo.

Un grafo puede ser plano aunque habitualmente se dibujen con cortes de arcos, ya que cabe la
posibilidad de que se pueda dibujar de manera diferente sin ningun corte.

Diego Beltran INF-152 25 de mayo de 2021 7 / 19

Grafos Planos
Ejemplo: Dado el grafo completo K4 :

1 3

2 4

Diego Beltran INF-152 25 de mayo de 2021 8 / 19

Grafos Planos
Ejemplo: Dado el grafo completo K4 :

1 3

2 4

Una forma de re-dibujar el grafo para transformarlo a un grafo plano es

1 2

Diego Beltran INF-152 25 de mayo de 2021 8 / 19

Grafos Planos

Una representacion plana de un grafo divide el plano en regiones, entre ellas una region no
acotada. Euler demostro que todas las representaciones planas de un mismo grafo dividen el
plano en igual numero de regiones. Esto lo hizo hallando una relacion entre el numero de
regiones, el numero de vertices y el numero de arcos de un grafo plano.

Diego Beltran INF-152 25 de mayo de 2021 9 / 19

Grafos Planos

Una representacion plana de un grafo divide el plano en regiones, entre ellas una region no
acotada. Euler demostro que todas las representaciones planas de un mismo grafo dividen el
plano en igual numero de regiones. Esto lo hizo hallando una relacion entre el numero de
regiones, el numero de vertices y el numero de arcos de un grafo plano.

Teorema
Sea G = (V , E ) un grafo simple conexo con |E | arcos y |V | vertices. Dado un conjunto R ∈ G
donde R es un conjunto finito de regiones. Sea |R| el numero de regiones de una
representacion plana de G , entonces |R| = |E | − |V | + 2

Diego Beltran INF-152 25 de mayo de 2021 9 / 19

Grafos Planos
La fórmula de Euler se puede utilizar para establecer desigualdades que tiene que cumplir
cualquier grafo plano. Una de las desigualdades es la que se da en el siguiente colorario.

Diego Beltran INF-152 25 de mayo de 2021 10 / 19

Grafos Planos
La fórmula de Euler se puede utilizar para establecer desigualdades que tiene que cumplir
cualquier grafo plano. Una de las desigualdades es la que se da en el siguiente colorario.

Colorario
Sea G = (V , E ) un grafo plano, simple y conexo con |E | aristas y |V | vertices, donde |V | ≥ 3,
entonces |E | ≤ 3 · |V | − 6.

Diego Beltran INF-152 25 de mayo de 2021 10 / 19

Grafos Planos
La fórmula de Euler se puede utilizar para establecer desigualdades que tiene que cumplir
cualquier grafo plano. Una de las desigualdades es la que se da en el siguiente colorario.

Colorario
Sea G = (V , E ) un grafo plano, simple y conexo con |E | aristas y |V | vertices, donde |V | ≥ 3,
entonces |E | ≤ 3 · |V | − 6.

Y este colorario conlleva a los siguientes resultados.

Diego Beltran INF-152 25 de mayo de 2021 10 / 19

Grafos Planos
La fórmula de Euler se puede utilizar para establecer desigualdades que tiene que cumplir
cualquier grafo plano. Una de las desigualdades es la que se da en el siguiente colorario.

Colorario
Sea G = (V , E ) un grafo plano, simple y conexo con |E | aristas y |V | vertices, donde |V | ≥ 3,
entonces |E | ≤ 3 · |V | − 6.

Y este colorario conlleva a los siguientes resultados.

Colorario
Sea G = (V , E ) un grafo plano, simple y conexo, entonces existe un v ∈ V tal que δ(v ) ≤ 5

Colorario
Sea G = (V , E ) un grafo plano, simple y conexo, con |E | arcos, |V | vertices, con |V | ≥ 3 y no
contiene circuitos de longitud 3, entonces |E | ≤ 2 · |V | − 4.
Diego Beltran INF-152 25 de mayo de 2021 10 / 19
Grafos Planos

Antes de continuar, hablemos de las regiones. Como se menciono antes, la representacion

plana de un grafo divide el plano en regiones, pero ¿Que es una region?

Diego Beltran INF-152 25 de mayo de 2021 11 / 19

Grafos Planos

Antes de continuar, hablemos de las regiones. Como se menciono antes, la representacion

plana de un grafo divide el plano en regiones, pero ¿Que es una region?

Definicion
Una region se define como una área del plano que está acotada por arcos y no pude continuar
dividiéndose en subáreas. A esta definicion la asociaremos a un conjunto con todas las regiones
posibles de G y la denotaremos por R.

Diego Beltran INF-152 25 de mayo de 2021 11 / 19

Grafos Planos

Antes de continuar, hablemos de las regiones. Como se menciono antes, la representacion

plana de un grafo divide el plano en regiones, pero ¿Que es una region?

Definicion
Una region se define como una área del plano que está acotada por arcos y no pude continuar
dividiéndose en subáreas. A esta definicion la asociaremos a un conjunto con todas las regiones
posibles de G y la denotaremos por R.

Definicion
Se denomina grado de una región al número de arcos que conforman la frontera de la misma.
A esta se le asocia una funcion δ(ri ) que indica el numero de arcos.

Diego Beltran INF-152 25 de mayo de 2021 11 / 19

Grafos Planos
Teorema
Sea ri ∈ R una region de G = (V , E ), entonces se cumple que:
X
δ(ri ) = 2 · |E |
ri ∈R

Diego Beltran INF-152 25 de mayo de 2021 12 / 19

Grafos Planos
Teorema
Sea ri ∈ R una region de G = (V , E ), entonces se cumple que:
X
δ(ri ) = 2 · |E |
ri ∈R

Proposicion
Dado el teorema anterior:
X
δ(ri ) ≥ 3 · |R|
ri ∈R

Diego Beltran INF-152 25 de mayo de 2021 12 / 19

Grafos Planos
Teorema
Sea ri ∈ R una region de G = (V , E ), entonces se cumple que:
X
δ(ri ) = 2 · |E |
ri ∈R

Proposicion
Dado el teorema anterior:
X
δ(ri ) ≥ 3 · |R|
ri ∈R

Nota
Recuerde que la cardinalidad de un conjunto corresponde a el numero de elementos de dicho
conjunto, y se denota por |A|.
Diego Beltran INF-152 25 de mayo de 2021 12 / 19
Grafos Planos

Ejemplo: Sea el siguiente grafo, este contiene 6 regiones los cuales son:
{R1 , R2 , R3 , R4 , R5 , R6 }.

Diego Beltran INF-152 25 de mayo de 2021 13 / 19

Grafos Planos

Ejemplo: Sea el siguiente grafo, este contiene 6 regiones los cuales son:
{R1 , R2 , R3 , R4 , R5 , R6 }.

Observacion
Notese que R6 es la region formada por fuera del dibujo, esto es porque existe una
representacion de este grafo en donde R6 esta explicitamente encerrado por arcos.

Diego Beltran INF-152 25 de mayo de 2021 13 / 19

Grafos Planos

El teorema de Kuratowsky hace alusion a grafos isomorfos, esto es debido a que existen dos
grafos que no son planos, y cualquier otro grafo que esté construido en relacion a estos dos
grafos tampoco sera plano. Los grafos que estamos hablando y que no son planos son K3,3
(grafo completo bipartito de 6 vertices) y K5 (grafo completo con 5 vertices). Para definir el
teorema, recordaremos la definicion de isomorfismo en grafos.

Diego Beltran INF-152 25 de mayo de 2021 14 / 19

Grafos Planos

El teorema de Kuratowsky hace alusion a grafos isomorfos, esto es debido a que existen dos
grafos que no son planos, y cualquier otro grafo que esté construido en relacion a estos dos
grafos tampoco sera plano. Los grafos que estamos hablando y que no son planos son K3,3
(grafo completo bipartito de 6 vertices) y K5 (grafo completo con 5 vertices). Para definir el
teorema, recordaremos la definicion de isomorfismo en grafos.
Definicion
Sean G = (V , E ) y H = (W , F ) dos grafos. Se dice que G y H son isomorfos si existe una
biyeccion f : V −→ W tal que si {u, v } ∈ E , entonces {f (u), f (v )} ∈ F .

Diego Beltran INF-152 25 de mayo de 2021 14 / 19

Grafos Planos
Si un grafo es plano, tambien lo será cualquier grafo que se obtenga de el (subgrafo)
eliminando un arco {u, v } y añadiendo un vertice w junto con las aristas {u, w } y {w , v }, a
esta operacion se le conoce como subdivision elemental.

Diego Beltran INF-152 25 de mayo de 2021 15 / 19

Grafos Planos
Si un grafo es plano, tambien lo será cualquier grafo que se obtenga de el (subgrafo)
eliminando un arco {u, v } y añadiendo un vertice w junto con las aristas {u, w } y {w , v }, a
esta operacion se le conoce como subdivision elemental.
Definicion
Se dice que dos grafos son homeomorfos si se pueden obtener a partir de un mismo grafo por
medio de una secuencia de subdivisiones elementales.

Diego Beltran INF-152 25 de mayo de 2021 15 / 19

Grafos Planos
Si un grafo es plano, tambien lo será cualquier grafo que se obtenga de el (subgrafo)
eliminando un arco {u, v } y añadiendo un vertice w junto con las aristas {u, w } y {w , v }, a
esta operacion se le conoce como subdivision elemental.
Definicion
Se dice que dos grafos son homeomorfos si se pueden obtener a partir de un mismo grafo por
medio de una secuencia de subdivisiones elementales.
Ejemplo:

Figura: El grafo no dirigido G , un subgrafo H, ambos homeomorfos a K5

Diego Beltran INF-152 25 de mayo de 2021 15 / 19

Grafos Planos

Para definir el teorema, definiremos la siguiente proposicion:

Diego Beltran INF-152 25 de mayo de 2021 16 / 19

Grafos Planos

Para definir el teorema, definiremos la siguiente proposicion:

Proposicion
Los grafos K3,3 y K5 no son planos

Diego Beltran INF-152 25 de mayo de 2021 16 / 19

Grafos Planos

Para definir el teorema, definiremos la siguiente proposicion:

Proposicion
Los grafos K3,3 y K5 no son planos

Teorema
Un grafo es plano si, y solo si, no contiene ningun subgrafo homeomorfo a K3,3 o a K5 .

Diego Beltran INF-152 25 de mayo de 2021 16 / 19

Aplicaciones

El que un grafo sea o no plano desempeña un importante papel en el diseño de circuitos

impresos. Podemos modelar un circuito electronico mediante un grafo en el que los
componentes se representan por medio de vertices y las pistas que conectan los componentes
entre si por medio de arcos.
Podemos imprimir un circuito en una placa de una sola capa sin que haya cortes entre las
pistas siempre que el grafo que represente al circuito sea un grafo plano. Si el grafo no es
plano, tendremos que recurrir a opciones de mayor coste

Diego Beltran INF-152 25 de mayo de 2021 17 / 19

Bibliografia

1 Rosen, K. H. (2018). Matemáticas Discretas y sus Aplicaciones (Fifth Edition). TBS.

2 Universidad de Almeria. (2010). Grafos.
https://w3.ual.es/~btorreci/tr-grafos.pdf
3 5.7 GRAFOS APLANABLES. (s. f.). Grafos Planos.
http://mate.cucei.udg.mx/matdis/5gra/5gra7.htm

Diego Beltran INF-152 25 de mayo de 2021 18 / 19

 Grafos Planos
Estructuras Discretas INF-152

Diego Israel Beltran Madrid

diego.beltran@sansano.usm.cl

25 de mayo de 2021

Diego Beltran INF-152 25 de mayo de 2021 19 / 19