Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Taller Sobre Grafos

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 11

República Bolivariana de Venezuela.

Ministerio del Poder Popular Para la Educación.


Universidad Nororiental Privada ‘’Gran Mariscal de Ayacucho’’
Asignatura: Matemáticas Discretas
Sección: 03B1

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).

 Teorema de los cuatro colores: Dado cualquier mapa geográfico con


regiones continuas, este puede ser coloreado con cuatro colores diferentes,
de forma que no queden regiones adyacentes con el mismo color.

 Teorema de König: En cualquier grafo bipartito, el número de aristas en un


emparejamiento máximo es igual al número de vértices en un cubrimiento
de vértices mínimo.

Ejemplo:
Un multígrafo con aristas múltiples (en rojo) y tres bucles (en azul). No todos los
autores permiten multígrafos con bucles.

Relaciones de equivalencias y grafos


Si la relación es reflexiva, significa que por ejemplo v1Rv1, lo que indica
que el vértice v1 tiene un lazo.

Si en un grafo dirigido la relación R es simétrica, es decir, v1Rv2 entonces v2R v1,


tenemos que existen dos líneas que unen a v1 y v2.

Si la relación es transitiva, o sea, (v1Rv2) y (v2Rv3) si y sólo si v1Rv3, se tiene la


existencia de un triángulo v1 v2 v3.
Grado o valencia de un vértice
Se denota grad(vi) o val(vi) e indica el número total de líneas que tiene un vértice
vi.
En el problema de los puentes de Königsberg (resuelto por Euler) encontramos un
multígrafo de cuatro vértices y siete líneas que representan la relación entre los
vértices.
Los vértices A, B, D tienen tres líneas y el vértice C cinco líneas. De este modo,
tenemos
val(A) = val(B) = val(D) = 3 y val(C) = 5.
Si tenemos una línea xij = (vi, vj), entonces los vértices vi y vj se llaman vértices
adyacentes y a vi lo denominaremos vértice inicial y vj vértice final. Además, se
dice que la línea es incidente al vértice vi como también es incidente al vj.
Las líneas son concurrentes entre sí, si varias líneas tienen un vértice vi en
común.
Las líneas (A, C), (C, D), (B, C) son concurrentes entre sí. Entonces el número
total de líneas concurrentes al vértice vi es igual al grado o valencia de vi.
A los vértices con valencia mínima los denotaremos con d(G) y aquellos vértices
con valencia máxima D(G). Ejemplo:

En el grafo anterior se observa que d(G) = 3 y D(G) = 5.


En particular, si d(G) = D(G) = r, entonces todos los vértices de G tienen la misma
valencia "r" y el grafo se dice regular de grado r.

Al conjunto de todos los vecinos de un vértice se le denomina vecindad de vi o


conjunto de adyacencia de vi, y se denota N(vi).
Así, N(vi) = { vj/ vjRvi }.
En particular, un vértice vi para el cual N(vi)= 0, se le denomina vértice aislado.
Por ejemplo, en el siguiente grafo v4 es un punto aislado.

Matrices asociadas a un grafo


La matriz de adyacencia es una matriz cuadrada que se utiliza como una
forma de representar relaciones binarias.
Construcción de la matriz a partir de un grafo
1. Se crea una matriz cero, cuyas columnas y filas representan los nodos del
grafo.
2. Por cada arista que une a dos nodos, se suma 1 al valor que hay
actualmente en la ubicación correspondiente de la matriz.
o Si tal arista es un bucle y el grafo es no dirigido, entonces se suma 1
o 2 (dependiendo de la convención usada).
o Si el grafo es ponderado, entonces en lugar de un 1 se suma el peso
de la arista respectiva.
Finalmente, se obtiene una matriz que representa el número de aristas
(relaciones) entre cada par de nodos (elementos).
Existe una matriz de adyacencia única para cada grafo (sin considerar
las permutaciones de filas o columnas), y viceversa.

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.

Puede comprobarse fácilmente que el par (f, g) definido de la forma siguiente es


un isomorfismo:

f(1) = d, f(2) = c, f(3) = a, f(4) = b,

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 disconexo con tres


Grafo conexo
componentes

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

También podría gustarte