teoría de grafos
TRANSCRIPT
![Page 1: Teoría de grafos](https://reader038.vdocuments.co/reader038/viewer/2022100800/58ece49d1a28ab01738b4777/html5/thumbnails/1.jpg)
Tecnicatura Superior en Desarrollo de Software Prof. Cesar Garau
1
Matemática
Apunte Teórico:
Teoría de Grafos
Docente: César Adrián Garau
![Page 2: Teoría de grafos](https://reader038.vdocuments.co/reader038/viewer/2022100800/58ece49d1a28ab01738b4777/html5/thumbnails/2.jpg)
Tecnicatura Superior en Desarrollo de Software Prof. Cesar Garau
2
Teoría de Grafos A. Relaciones en un conjunto. Dígrafos Par Ordenado Un par ordenado es una par de objetos matemáticos, en la que se distingue un primer elemento y un segundo elemento. El par ordenado cuyo primer elemento es “x” y cuyo segundo elemento es “y” se denota como (x, y).
Dos pares ordenados son iguales si: “Dos pares ordenados yx, y zw, son iguales si y solo si
coinciden su primer y segundo elemento respectivamente: zywxzwyx ,,
Los elementos de un par ordenado también se denominan componentes.
Producto Cartesiano El producto cartesiano A x B, siendo A y B conjuntos, se forma con todos los pares ordenados conformados por elementos del conjunto A, como primer componente del par ordenado y elementos del conjunto B, como segunda componente del par ordenado Ejemplo:
Dado un conjunto baA , y un conjunto 2,1B
2,;1,;2,;1, bbaaBxA
Relación Binaria de un conjunto A en otro conjunto B
Se llama relación al subconjunto R definido: AxBRBAR : . A este subconjunto R incluido en
AxB se llama relación. Por ejemplo:
Sean 8,4,1;4,3,2 BA
)8,4(),4,4(),1,4(),1,3(),8,2(),4,2(),1,2(AxB
babaRBAR /),(/:
(4,8) (4,4), (3,8), (3,4), (2,8), (2,4),R
Se puede observar que: (2,4)R ; (2,1) R… Relación Inversa de R es el subconjunto de BxA definido por:
RyxxyR ),/(),(1
En el ejemplo anterior: (8,4) (4,4), (8,3), (4,3), (8,2), (4,2),1 R
Representación de Relaciones:
Sea R una relación entre A y B, es decir R AxB. En el caso de conjuntos finitos se utilizan los siguientes
tipos de representación: 1) Mediante diagramas de Venn 2) Mediante un gráfico cartesiano. 3) Mediante una matriz, llamada también matriz de adyacencia (Ma): Es una matriz de clase n x n dada por:
R 1 4 8
2 0 1 1
3 0 1 1
4 0 1 1
![Page 3: Teoría de grafos](https://reader038.vdocuments.co/reader038/viewer/2022100800/58ece49d1a28ab01738b4777/html5/thumbnails/3.jpg)
Tecnicatura Superior en Desarrollo de Software Prof. Cesar Garau
3
En nuestro ejemplo, se tiene: Se ubican en columnas los elementos de A y en la primera fila los elementos de B. Se asigna a cada elemento del producto cartesiano AxB un 1, si el par ordenado pertenece a la relación y un 0 si no pertenece.
B. Grafos y Multigrafos En 1736 Leonhard Euler, Matemático y Físico Suizo (1707-1783), resolvió el problema de los puentes königsberg, que consiste en recorrer 7 puentes que conectan 4 porciones de tierra, bajo la condición de pasar por cada puente una sola vez.
Vértices: 1,2,3,4. Lados: 12,21,23,32,14,24,34. Definición: Se llama GRAFO a un par G = (V, A), donde V es un conjunto no vacío de puntos, llamados VERTICES, y A es un conjunto de pares de vértices (no necesariamente, pares ordenados), llamados LADOS. Llamaremos grado o valencia de un vértice al número de lados o aristas que incidan en él. En cualquier grafo se verifica:
![Page 4: Teoría de grafos](https://reader038.vdocuments.co/reader038/viewer/2022100800/58ece49d1a28ab01738b4777/html5/thumbnails/4.jpg)
Tecnicatura Superior en Desarrollo de Software Prof. Cesar Garau
4
La suma de todos sus grados es igual al doble del número de sus aristas.
El número de vértices de grado impar es par. Grafo Dirigido
Si G = (V, A) y A V2, entonces, G es un DIGRAFO o GRAFO DIRIGIDO. En este caso, los elementos de A son pares ordenados de elementos de V.
Si G es un dígrafo, sus lados se denominan ARCOS.
Si G no es un dígrafo, sus lados se denominan ARISTAS.
Elementos de un grafo
Sean a y b dos vértices. Se llaman EXTREMOS si {a,b} A (a,b) A.
Si G contiene un arco ó arista cuyos extremos son el mismo vértice se denomina BUCLE o LAZO. Por ej: el par {a,a} ó (a,a).
Dos lados que tienen los mismos extremos se llaman MULTILADOS O LADOS PARALELOS.
Tipos de Grafos
G=(V,A) es un GRAFO SIMPLE, si G no posee lados paralelos ni bucles.
G=(V,A) es un MULTIGRAFO, si G posee lados paralelos.
Grafo Bipartido
Es decir, cada vértice de un conjunto V está unido con todos los vértices de un conjunto U, pero entre los vértices de un mismo conjunto no existe arista que los una.
![Page 5: Teoría de grafos](https://reader038.vdocuments.co/reader038/viewer/2022100800/58ece49d1a28ab01738b4777/html5/thumbnails/5.jpg)
Tecnicatura Superior en Desarrollo de Software Prof. Cesar Garau
5
Grafo Completo
Un grafo simple de n vértices es completo y de orden n, si cada vértice es adyacente a los n – 1 restantes.
Notación: Kn
El número de lados es: n.(n – 1)/2
Kn puede representarse mediante un n–ágono y sus diagonales.
Grafo Vacío: Un grafo es vacío si no posee aristas. Grafos Regulares Un grafo G = (V, A) es regular de grado k o k-regular si cada vértice tiene grado k; es decir, un grafo es regular si todos los vértices tienen el mismo grado. Por ejemplo: Los siguientes son grafos regulares de grado 2. (2-regulares)
Camino: Es una sucesión de lados que van de un vértice u a otro v. Dicha sucesión puede incluir lados repetidos. Longitud de un camino: es el nº de lados de un camino. Circuito: Es un camino que comienza y termina en el mismo vértice. Grafo Conexo Un grafo es conexo si para dos vértices distintos, u y v, existe un trayecto para ir de u a v. Lado puente es aquel que si se lo elimina, el grafo al que pertenece deja de ser conexo.
![Page 6: Teoría de grafos](https://reader038.vdocuments.co/reader038/viewer/2022100800/58ece49d1a28ab01738b4777/html5/thumbnails/6.jpg)
Tecnicatura Superior en Desarrollo de Software Prof. Cesar Garau
6
Camino Euleriano: Es un camino que recorre todos los vértices de G, pasando por todos los lados una
única vez. TEOREMA:
Si un grafo G es conexo y tiene exactamente dos vértices de grado impar, entonces existe camino de Euler.
Si un grafo G tiene más de dos vértices de grado impar, entonces no existe camino de Euler. Circuito Euleriano: Es el circuito que recorre todos los vértices, pasando por todos los lados una única vez. TEOREMA:
Un grafo G tiene circuito de Euler si y sólo si es conexo y todos sus vértices tienen grado par.
Si un grafo G tiene un vértice de grado impar, entonces no existe circuito de Euler. Representación Matricial Matriz de adyacencia (Ma): Es una matriz de clase n x n dada por:
Donde se escribe un 1 si la ubicación en la matriz coincide con el par ordenado y 0 cuando no coincide.