Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Índice
Historia y problema de los puentes de Königsberg
Definiciones
Grafo no dirigido
Grafo dirigido
Variantes sobre las definiciones principales
Propiedades
Representación
Ejemplos
Grafos particulares
Véase también
Referencias
Enlaces externos
El primer artículo científico relativo a grafos fue escrito por el matemático suizo Leonhard Euler en 1736.
Euler se basó en su artículo en el problema de los puentes de Königsberg. La ciudad de Kaliningrado,
originalmente Königsberg, es famosa por sus siete puentes que unen ambas márgenes del río Pregel con dos
de sus islas. Dos de los puentes unen la isla mayor con la margen oriental y otros dos con la margen
occidental. La isla menor está conectada a cada margen por un puente y el séptimo puente une ambas islas.
El problema planteaba lo siguiente: "¿Es posible dar un paseo comenzando desde cualquiera de estas
regiones, pasando por todos los puentes, recorriendo solo una vez cada uno y regresando al mismo punto
de partida?"
Abstrayendo este problema y planteándolo con la (entonces aún básica) teoría de grafos, Euler consigue
demostrar que el grafo asociado al esquema de puentes de Königsberg no tiene solución, es decir, no es
posible regresar al vértice de partida sin pasar por alguna arista dos veces.
De hecho, Euler resuelve el problema más general: ¿qué condiciones debe satisfacer un grafo para
garantizar que se puede regresar al vértice de partida sin pasar por la misma arista más de una vez? Si
definimos como «grado» al número de líneas que se encuentran en un punto de un grafo, entonces la
respuesta al problema es que los puentes de un pueblo se pueden atravesar exactamente una vez si, salvo a
lo sumo dos, todos los puntos tienen un grado par.
Definiciones
Un grafo es un par ordenado , donde:
Normalmente suele ser finito. Muchos resultados importantes sobre grafos no son aplicables para grafos
infinitos.
El grado de un vértice o nodo es igual al número de arcos que lo tienen como extremo.
Un bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el nodo inicial y el nodo
final coinciden.
Grafo no dirigido
Grafo no dirigido
es un conjunto de pares no
ordenados de elementos de .
Grafo dirigido
es un conjunto de pares
Grafo dirigido
ordenados de elementos de .
Algunas aplicaciones requieren extensiones más generales a las dos propuestas clásicas de grafos. Aunque
la definición original los permite, según la aplicación concreta pueden ser válidos o no. A veces o
pueden ser un multiconjunto, pudiendo haber más de una arista entre cada par de vértices. La palabra grafo
(a secas) puede permitir o no múltiples aristas entre cada par de vértices, dependiendo del autor de la
referencia consultada. Si se quiere remarcar la inexistencia de múltiples aristas entre cada par de vértices (y
en el caso no dirigido, excluir bucles) el grafo puede llamarse simple. Por otra parte, si se quiere asegurar la
posibilidad de permitir múltiples aristas, el grafo puede llamarse multigrafo (a veces se utiliza el término
pseudografo para indicar que se permiten tanto bucles como múltiples aristas entre cada par de vértices).
Propiedades
Adyacencia: dos aristas son adyacentes si tienen un vértice en común, y dos vértices son
adyacentes si una arista los une.
Incidencia: una arista es incidente a un vértice si ésta lo une a otro.
Ponderación: corresponde a una función que a cada arista le asocia un valor (costo, peso,
longitud, etc.), para aumentar la expresividad del modelo. Esto se usa mucho para
problemas de optimización, como el del vendedor viajero o del camino más corto.
Etiquetado: distinción que se hace a los vértices y/o aristas mediante una marca que los
hace unívocamente distinguibles del resto.
Representación
Las dos representaciones principales de grafos son las siguientes:
Ejemplos
La imagen es una representación del siguiente grafo:
V:={1,2,3,4,5,6}
E:={{1,2},{1,5},{2,3},{2,5},{3,4},{4,5},{4,6}}
El hecho que el vértice 1 sea adyacente con el vértice 2 puede ser
denotado como 1 ~ 2.
Grafos particulares
Existen grafos que poseen propiedades destacables. Algunos ejemplos básicos son:
Grafo nulo: aquel que no tiene vértices ni aristas. Nótese que algunas personas exigen que
el conjunto de vértices no sea vacío en la definición de grafo.
Grafo vacío: aquel que no tiene aristas.
Grafo trivial: aquel que tiene un vértice y ninguna arista.
Grafo simple: aquel que no posee bucles ni aristas paralelas. Consultar variantes en esta
definición.
Multigrafo (o pseudografo): G es multigrafo si y solo si no es simple. Consultar variantes en
esta definición.
Grafo completo: grafo simple en el que cada par de vértices están unidos por una arista, es
decir, contiene todas las posibles aristas.
Grafo bipartito: sea una partición del conjunto de vértices , es aquel donde cada
arista tiene un vértice en y otro en .
Grafo bipartito completo: sea una partición del conjunto de vértices , es aquel
donde cada vértice en es adyacente sólo a cada vértice en , y viceversa.
Grafo plano: aquel que puede ser dibujado en el plano cartesiano sin cruce de aristas.
Árbol: grafo conexo sin ciclos.
Grafo rueda: grafo con n vértices que se forma conectando un único vértice a todos los
vértices de un ciclo-(n-1).
Grafo perfecto aquel que el número cromático de cada subgrafo inducido es igual al tamaño
del mayor clique de ese subgrafo.
Véase también
Teoría de grafos
Grafo social
Grafo de conocimiento
Referencias
1. Real Academia Española. «grafo : Diagrama que representa mediante puntos y líneas las
relaciones entre pares de elementos y que se usa para resolver problemas lógicos,
topológicos y de cálculo combinatorio.» (https://dle.rae.es/grafo). Diccionario de la lengua
española (23.ª edición). Consultado el 14 de agosto de 2019.
2. Trudeau, Richard J. (1993). Dover Pub., ed. Introduction to Graph Theory (Edición corregida
y aumentada.) (https://archive.org/details/introductiontogr0000trud). ISBN 978-0-486-67870-2.
Enlaces externos
Wikimedia Commons alberga una categoría multimedia sobre Grafo.
Obtenido de «https://es.wikipedia.org/w/index.php?title=Grafo&oldid=144550194»
Esta página se editó por última vez el 3 jul 2022 a las 10:48.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.