La teoría de grafos, también llamada teoría de gráficas, es una rama de las
matemáticas y las
ciencias de la computación que estudia las propiedades de los grafos. Los grafos no
deben ser
confundidos con las gráficas, que es un término muy amplio. Formalmente, un grafo
{\displaystyle G=(V,E)}{\displaystyle G=(V,E)}
es una pareja ordenada en la que {\displaystyle V}V es un conjunto no vacío de
vértices y {\displaystyle E}E
es un conjunto de aristas. Donde {\displaystyle E}E consta de pares no ordenados de
vértices, tales como
{\displaystyle \left\{x,y\right\}\in E}{\displaystyle \left\{x,y\right\}\in E},
entonces se dice que
{\displaystyle x}x e {\displaystyle y}y son adyacentes; y en el grafo se representa
mediante una línea
no orientada que una dichos vértices. Si el grafo es dirigido se le llama dígrafo,
se denota {\displaystyle D}D,
y entonces el par {\displaystyle (x,y)}(x,y) es un par ordenado, esto se
representa con una flecha que va de
{\displaystyle x}x a {\displaystyle y}y y se dice que {\displaystyle (x,y)\in E}
(x,y)\in E.1
La teoría de grafos tiene sus fundamentos en las matemáticas discretas y de las
matemáticas aplicadas.
Esta teoría requiere de diferentes conceptos de diversas áreas como combinatoria,
álgebra, probabilidad,
geometría de polígonos, aritmética y topología. Actualmente ha tenido mayor
influencia en el campo de la
informática, las ciencias de la computación y telecomunicaciones. Debido a la gran
cantidad de aplicaciones
en la optimización de recorridos, procesos, flujos, algoritmos de búsquedas, entre
otros, se generó toda
una nueva teoría que se conoce como análisis de redes.2
Índice
1 Historia
2 Composición de un grafo
3 Tipos de grafos
4 Representación de grafos
4.1 Estructura de lista
4.2 Estructuras matriciales
5 Problemas de teoría de grafos
5.1 Subgrafos, subgrafos inducidos y menores
5.2 Ciclos y caminos hamiltonianos
5.3 Grafos planos
5.4 Coloración de grafos
5.4.1 Teorema de los cuatro colores
6 Caracterización de grafos
6.1 Grafo simple
6.2 Grafos conexos
6.3 Grafos completos
6.4 Grafos bipartitos
6.5 Homeomorfismo de grafos
6.6 Árboles
6.7 Grafos ponderados o etiquetados
6.8 Diámetro
7 Aplicaciones
8 Algoritmos importantes
9 Investigadores relevantes en teoría de grafos
10 Véase también
11 Referencias
12 Bibliografía
13 Enlaces externos
Historia
Los 7 puentes del río Pregel en Königsberg.
El origen de la teoría de grafos se remonta al siglo XVIII con el problema de los
puentes de Königsberg, el cual consistía en encontrar un camino que recorriera los
siete puentes del río Pregel (54°42′12″N 20°30′56″E) en la ciudad de Königsberg,
actualmente Kaliningrado, de modo que se recorrieran todos los puentes pasando una
sola vez por cada uno de ellos. El trabajo de Leonhard Euler sobre el problema
titulado Solutio problematis ad geometriam situs pertinentis3 (La solución de un
problema relativo a la geometría de la posición) en 1736, es considerado el primer
resultado de la teoría de grafos. También se considera uno de los primeros
resultados topológicos en geometría (que no depende de ninguna medida). Este
ejemplo ilustra la profunda relación entre la teoría de grafos y la topología.
Luego, en 1847, Gustav Kirchhoff utilizó la teoría de grafos para el análisis de
redes eléctricas publicando sus leyes de los circuitos para calcular el voltaje y
la corriente en los circuitos eléctricos, conocidas como leyes de Kirchhoff,
considerado la primera aplicación de la teoría de grafos a un problema de
ingeniería.
En 1852, Francis Guthrie planteó el problema de los cuatro colores, el cual afirma
que es posible, utilizando solamente cuatro colores, colorear cualquier mapa de
países de tal forma que dos países vecinos nunca tengan el mismo color. Este
problema, que no fue resuelto hasta un siglo después por Kenneth Appel y Wolfgang
Haken en 1976, puede ser considerado como el nacimiento de la teoría de grafos. Al
tratar de resolverlo, los matemáticos definieron términos y conceptos teóricos
fundamentales de los grafos.
En 1857, Arthur Cayley estudió y resolvió el problema de enumeración de los
isómeros, compuestos químicos con idéntica composición (fórmula) pero diferente
estructura molecular. Para ello representó cada compuesto, en este caso
hidrocarburos saturados CnH2n+2, mediante un grafo árbol donde los vértices
representan átomos y las aristas la existencia de enlaces químicos.
El término «grafo», proviene de la expresión inglesa graphic notation («notación
gráfica»), usada por primera vez por Edward Frankland4 y posteriormente adoptada
por Alexander Crum Brown en 1884 y que hacía referencia a la representación gráfica
de los enlaces entre los átomos de una molécula.
El primer libro sobre teoría de grafos fue escrito por Dénes Kőnig y publicado en
1936.5
A fines de los años 1940 e inicios de los años 1950, junto con los primeros
estudios formales de cliques o camarillas en sociomatrices67 y de centralidad en
sociogramas,8910 se introdujo la teoría de grafos como herramienta clave para la
sociometría y el análisis de redes sociales.11
