Taller Sobre Grafos
Taller Sobre Grafos
Taller Sobre Grafos
Docente: Alumno:
Adalides Rodríguez Fernando Carreño. C.I:
30.424.571
Barcelona, 07 de Diciembre del 2021
Multígrafos. Propiedades y teoremas fundamentales.
Un multígrafo o grafo multivariado es una generalización de un grafo que
permite aristas múltiples, o equivalentemente, más de un conjunto de aristas. De
esta forma, dos nodos pueden estar conectados por más de una arista.1
Algunos autores permiten que los multígrafos tengan bucles, es decir, que una
arista conecte a un nodo consigo mismo.23 Un pseudografo se puede definir
como un sinónimo de multígrafo, aunque en ocasiones también se utiliza para
distinguir a los multígrafos en general, de aquellos que permiten bucles.4 Si se
consideran aristas dirigidas, al multígrafo también se le conoce como multígrafo
dirigido o multidigrafo. También se puede hablar de grafo complejo en oposición
a un grafo simple (esto es, un grafo sin bucles ni aristas múltiples), como un
grafo que posee bucles y/o al menos un par de vértices con más de una arista.
Propiedades:
Formalmente, un multígrafo es un par ordenado G=(V , E) donde:
VV vvV es un conjunto de vértices o nodos;
E es un multiconjunto (finito) de aristas o líneas, o alternativamente,
una familia de conjuntos de aristas.
Un multidigrafo se define de manera análoga, pero con E considerando aristas
dirigidas. Si E EEeeeee admite aristas dirigidas y no dirigidas, entonces se habla
de multidigrafo mixto.
Teoremas fundamentales:
Teorema de Kuratowski: Un grafo es planar si y sólo si no contiene
un subgrafo que es subdivisión elemental de K5 (el grafo completo de
5 vértices) o K3,3 (el grafo bipartito completo de 6 vértices).
Ejemplo:
Un multígrafo con aristas múltiples (en rojo) y tres bucles (en azul). No todos los
autores permiten multígrafos con bucles.
Ejemplos:
Tipos de grafos
Subgrafo
Un subgrafo de un grafo G es un grafo cuyos conjuntos de vértices y aristas son
subconjuntos de los de G. Se dice que un grafo G contiene a otro grafo H si algún
subgrafo de G es H o es isomorfo a H (dependiendo de las necesidades de la
situación).
Ejemplo:
Los grafos isomorfos: Dos grafos, G y G’, son isomorfos si existe una
correspondencia uno a uno entre los vértices de los grafos tal que todo par de
vértices que son adyacentes en un grafo si y sólo si el correspondiente par de
vértices son adyacentes en el otro grafo.
g( ei ) = fi, i = 1, 2, . . . , 8
Grafos conexos:
es un grafo en que todos sus vértices están conectados por un camino (si el grafo
es no dirigido) o por un semicamino (si el grafo es dirigido). Un grafo que no es
conexo se denomina grafo disconexo o inconexo. Los subgrafos conexos máximos
de un grafo no dirigido se llaman componentes o componentes conexos. Para el
caso de los grafos dirigidos, si no se considera el sentido de las aristas, se habla
de componente débilmente conexo, mientras que sí se considera el sentido, se
habla de componente fuertemente conexo.
Un grafo es doblemente conexo si cada par de vértices está conectado por al
menos dos caminos disjuntos; es decir, es conexo y no tiene vértices de corte,
esto es, vértices tales que al quitarlos el grafo resultante se vuelve disconexo.
Ejemplo:
Grafo bipartito:
Es un grafo cuyos vértices se pueden separar en dos conjuntos disjuntos, de
manera que las aristas no pueden relacionar vértices de un mismo conjunto.
Un grafo bipartito completo es un grafo bipartito en que todos los vértices de uno
de los subconjuntos están relacionados con los del otro subconjunto.
Este concepto se puede generalizar al de grafo s-partito, como un grafo cuyo
conjunto de vértices se puede particionar en s subconjuntos, de modo que las
aristas solo conectan a vértices de subconjuntos diferentes. Análogamente,
también se puede definir un grafo s-bipartito completo, como uno en que todos los
pares de vértices pertenecientes a subconjuntos diferentes son adyacentes.
Ejemplo:
Grafo bipartito Grafo bipartito completo