Fundamentos de la teoría de grafos

Documentos relacionados
Tema 1: Introducción a la Teoría de Grafos

Capítulo 5 Introducción a la teoría de grafos

Grafos. Algoritmos y Estructuras de Datos III

Teoría de Grafos Introducción Grafos isomorfos

TEMA IV TEORÍA DE GRAFOS

Un grafo G = (V, E) se dice finito si V es un conjunto finito.

Conceptos básicos en la Teoría de Grafos

Introducción a la Teoría de Grafos

2007 Carmen Moreno Valencia

Un GRAFO O GRAFO NO ORIENTADO es una terna G = {V, A,ϕ } conv

Deseamos interconectar entre si todos los ordenadores de un edificio

1. GRAFOS : CONCEPTOS BASICOS

Centro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta

GRAFOS. 1. La matriz de adyacencia del grafo G es

Los elementos de V son los vértices (o nodos) de G y los elementos de A son las aristas (o arcos) de G.

Análisis de Algoritmos Teoría de grafos

Grafos. AMD Grado en Ingeniería Informática. AMD Grado en Ingeniería Informática (UM) Grafos 1 / 30

En la fig. 1 se representa el grafo, G=(V,A) donde: V = {1, 2, 3, 4, 5, 6} A = { {1,2}, {1,3}, {1,5}, {3}, {3,4}, {4,5}, {5,6} }

Representaciones Matriciales de Grafos Isomorfismos de Grafos Grafos Planos. Matemática Discreta. Agustín G. Bonifacio UNSL. Teoría de Grafos III

Definiciones y ejemplos.

Teoría de Grafos I. 2. Describa tres situaciones prácticas en las cuales un grafo pueda ser útil.

Capítulo 4: Grafos Clase 2: Caminos, Circuitos Eulerianos y Hamiltonianos

Matemáticas Discretas

GLOSARIO DE TÉRMINOS BÁSICOS

Grafos. Suponiendo que e = [u, v]. Entonces los nodos u y v se llaman extremos de e y u y v se dice que son nodos adyacentes o vecinos.

Teoría de grafos. Coloración de vértices

Tema 5 Árboles y Grafos.

Álgebra y Matemática Discreta

Teoría de Grafos. 5.1 Introducción.

UNIVERSIDAD NACIONAL DE INGENIERÍA UNI-RUACS. Investigación de Operaciones

Matemáticas Discretas

Indice. 1. Tipos de grafos. 2. Conceptos Básicos 3. Representación de grafos 4. Subgrafos. Grafos complementarios

Tema 5: Emparejamientos

Francisco J. Hernández López

TEORIA DE GRAFOS. Estructuras Discretas Ing. Jenny Paredes Aguilar

Matemáticas discretas II

A5 Introducción a la optimización en redes

El origen: Los puentes de Königsberg. Grafos. Algoritmos y Estructuras de Datos III. Leonhard Euler ( )

Clase 1: Gráficas. Malors Espinosa Lara. 6 de Febrero de 2010

Teoría de grafos y optimización en redes

Sobre digrafos adjuntos y (h, j) adjuntos de multidigrafos k regulares

TEMA 2 FUNDAMENTOS Y APLICACIONES DE LA TEORIA DE GRAFOS. DIAGRAMAS EN ARBOL.

Introducción a la Teoría de Grafos

Lógica de Proposiciones y de Predicado

Capítulo 3: Grafos Clase 1: Grafos: Modelos, tipos, representación e isomorfismo

Minicurso de Teoría de Gráficas Escuela de Verano 2014 por María Luisa Pérez Seguí Facultad de Ciencias Físico-Matemáticas, Universidad Michoacana

Árboles. no es un árbol porque no es conexo. Sin embargo, cada componente conexa es un árbol y, este tipo de grafo se llama bosque.

Teoría de Grafos y Árboles.

Tema 2.TEORIA Y APLICACIONES DE LA TEORÍA DE GRAFOS.

Tema 5: Grafos. CIS - UABJB - Estructura de Datos II Ing. Freddy Melgar Algarañaz 1

Raúl E Gutiérrez de Piñerez R. Carlos Andres Delgado

Introducción a la Teoría de Grafos

Matemática Discreta TEORIA DE GRAFOS. Ester Simó Marisa Zaragozá. Departamento Matemática Aplicada IV EPSEVG - UPC

Gráficas : teoría, aplicaciones e interacciones : II

Hacia las gráficas: una introducción básica

INDICE INTRODUCCION1 DESARROLLO2 GRAFOS (CONCEPTO).2 ARISTAS...2 VERTICES2 CAMINOS.3 CLASIFICACION DE GRAFOS...3 GRAFOS EULERIANOS.

Introducción a la teoría de grafos

Francis Guthrie Planteo el problema de los cuatro colores, después de colorear el mapa de Inglaterra 9/15/2015 3

Estructura de ciclos en MSDs (Minimally Strong Digraphs)

Es un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre

Unidad 1 Introducción a la teoría de gráficas

Definiciones: conjuntos, grafos, y árboles. Agustín J. González ELO 320: Estructura de Datos y Algoritmos. 2002

TEMA 5 El tipo grafo. Tipo grafo

Tema: Los Grafos y su importancia para la optimización de redes.

Grafos de línea hamiltonianos-conexos

Contribución a la teoría de redes con enlaces bidireccionales derivadas de los digrafos línea

Tema 4: Redes y flujos

5.4 Caminos mínimos: Algoritmo de Dijkstra

Estructuras de Datos y Algoritmos. Grafos

Estructura de Datos Página 1 de 13 ESTRUCTURA DE DATOS

Algoritmo de Kruskal

Representación y manipulación de grafos: caminos, expansión, cortes y flujos

Tesis de Licenciatura GRAFOS DE INTERVALOS Y OTRAS CLASES RELACIONADAS

Conjuntos, relaciones y grafos

Matemáticas Discretas L. Enrique Sucar INAOE. Teoría de Grafos. Problema de los puentes de Königsberg [Euler]

Hamilton, Euler y Dijkstra

Fundamentos y aplicaciones de la teoría de grafos. Grafos eulerianos y hamiltonianos. Diagramas en árbol. (1ª Parte)

Curso de Posgrado: Tópicos avanzados en teoría de grafos

Grafos: Fundamentos Representaciones, etc. Jose Aguilar

Tema 5: Grafos. Índice. E. Martín, A. Méndez, C. Ortiz y J. Sendra. Febrero de Guía del tema. 1. Grafos 1

Grafos y Redes. 3. Resolución: Dibujar el camino sin levantar el lápiz y pasando sólo una vez por cada arco o arista.

Grafos Los siete puentes de Königsberg: Teoría de Grafos

Teoría de Grafos y Árboles. UCR ECCI CI-0111 Estructuras Discretas Prof. Kryscia Daviana Ramírez Benavides

Núcleos por trayectorias monocromáticas. digráficas m-coloreada

Espacios Conexos Espacio Conexo

OBJETIVOS ÍNDICE BIBLIOGRAFÍA

Digrafos fuertemente conexos minimales (MSD) vs árboles

Problemas y Conjeturas

INSTRUMENTOS ESTADÍSTICOS AVANZADOS PARA LA GESTIÓN

ESTUDIO SOBRE ALGUNAS NUEVAS CLASES DE CONECTIVIDAD CONDICIONAL EN GRAFOS DIRIGIDOS

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad

Capítulo 4: Grafos Clase 3: Grafos planares y Colorabilidad de Grafos

Teoría de redes y optimización en redes

Algebra Matricial y Teoría de Grafos

Sesión 4: Teoría de Grafos

TEOREMA DE HALL Y SUS EQUIVALENCIAS

Dimensión métrica de grafos infinitos S

Caminos y Flujos optimales. Introducción a la Investigación de Operaciones 2007

Transcripción:

Fundamentos de la teoría de grafos 3º I.T.I. de Sistemas Mª Teresa Cáceres Sansaloni 1

Tema 1: Nociones básicas Conceptos básicos sobre grafos. Representación de grafos. Multigrafos, grafos dirigidos y no dirigidos. Bucles. Pseudografos. Valencias de entrada y salida. Propiedades. Isomorfismos de grafos. Conectividad. 2

Problemas de recorrido. camión de la basura ö por aristas autobús escolar ö por vértices Problemas de coloreado. calendario de exámenes acuario reactivos químicos Problemas de emparejamiento: comisiones de ayuntamiento claustro junta de facultad asignación eficiente de tareas en empresas 3

Un grafo G(V,E) es un conjunto V(G) finito no vacío de objetos llamados vértices y un conjunto E(G) (posiblemente vacio), de parejas de vértices, llamadas aristas. V(G) es el conjunto de vértices del grafo G (vertex set) E(G) es el conjunto de aristas del grafo G (edge set). Sea G un grafo, y e = {a,b} una arista. Si no importa la dirección se denota indistintamente {a,b} o {b,a}, siendo a y b los vértices que une. A los vértices a y b se les llama sus extremos, se dice que son adyacentes en G, y se dice que la arista e es incidente con los vértices a, b. 4

Las aristas que unen el mismo par de vértices se llaman aristas múltiples.(parallel edges) Si en el grafo se permite que hayan aristas múltiples, obtenemos un multigrafo (multigraph). Las aristas {a,a} cuyos extremos son el mismo vértice se llaman lazos o bucles (loop). Si en el grafo se permite que hayan aristas múltiples, y bucles obtenemos un pseudografo (pseudograph). 5

Permite Permite Tipo Aristas Aristas multiples? Bucles? Grafo simple No dirigidas NO NO Multigrafo No dirigidas SI NO Pseudografo No dirigidas SI SI Cualquier grafo simple es multigrafo, pero no el reciproco. Cualquier grafo o multigrafo es pseudografo, pero no el reciproco. 6

Llamamos orden (order) de un grafo a su número de vértices, V, y tamaño (size) de un grafo al número de sus aristas, E. Un grafo de orden p, y tamaño q lo denotaremos por (p,q)-grafo. Vértices Llamaremos grado o valencia de un vértice (degree of a vertex), al número de aristas de las que es extremo. Se dice que un vértice es par (even) o impar (odd) según lo sea su grado. Vértice aislado es el que tiene grado 0. d(v) =grado de v v œv(g), el conjunto de sus vecinos (neighborhood) se define por N(v)= {u Œ V: (v u) Œ E} d(v)= N(v) 7

PRIMER RESULTADO SOBRE GRAFOS Proposición.- La suma de los grados de los vértices de un grafo G(V,E) es igual al doble del número de aristas. Â vœv d(v) =2 E Consecuencia: El número de vértices impares de un grafo es siempre par. 8

Ejemplos de Grafos 1.- Grafo regular: Aquel con el mismo grado en todos los vértices. Si ese grado es k lo llamaremos k- regular. Por ejemplo, el primero de los siguientes grafos es 3-regular, el segundo es 2-regular y el tercero no es regular 9

Si G es un grafo r-regular de orden p, entonces 0 r p-1 Es cierto el reciproco? Puede haber un grafo 1-regular o 3-regular de orden 5? Si r y p no son ambos impares y 0 r p-1, entonces siempre existe un grafo r-regular de orden p 10

2.- Grafo bipartito (bipartite): Es aquel con cuyos vértices pueden formarse dos conjuntos disjuntos de modo que no haya adyacencias entre vértices pertenecientes al mismo conjunto Ejemplo.- de los dos grafos siguientes el primero es bipartito y el segundo no lo es. 11

3.- Grafo completo (complete graph): Aquel con una arista entre cada par de vértices. Un grafo completo con n vértices se denota K n. Todo grafo completo es regular porque cada vértice tiene grado V -1 al estar conectado con todos los otros vértices. Un grafo regular no tiene por qué ser completo. K 4 K 3 K 5 K 6 12

4.- Un grafo bipartido completo se denota K m,n donde m, n es el grado de cada conjunto disjunto de vértices. K 1,2 K 3,3 K 2,5 13

Dado un grafo G=(V,E) se define el complementario de G y se denota por G (V,Ē) como el grafo con el mismo conjunto de vértices y cuyas aristas son todos los pares de vértices que no pertenecen a E. Se verifica que si V = p, (V, E «Ē) = K p Sea G un grafo de orden p, si v es un vértice de G de grado n, d(v) = n, entonces d(v) = p-n-1 en el grafo complementario. 14

Consecuencia: G es regular si y solo si G es regular Ejercicio Los vértices de un grafo G de orden 14 y tamaño 25 tienen grado 3 o 5. Cuántos vértices tiene de grado 3? Puede un grafo de orden 4 tener tres vértices de grado 3 y uno de grado 1? 15

Grafos isomorfos (Isomorphic graphs) Dos grafos G=(V,E) y G =(V,E ), son isomorfos entre G y G si existe una función biyectiva (one-to-one function) entre los conjuntos de vértices f:v V tal que si {a,b} E {f(a),f(b)} E. Si G y G son isomorfos se denota por G@G Dos grafos G 1 y G 2 son iguales (equal) si lo son sus conjuntos de vértices y de aristas. Los grafos iguales son isomorfos, pero no al contrario. 16

Si G 1 y G 2 son grafos isomorfos, entonces tienen el mismo orden y el mismo tamaño. Además, para cada vértice v de G 1, d 1 (v) = d 2 ( f(v) ) Son invariantes: el nº de vértices, el nº de aristas, el grado de cada vértice, las adyacencias, la estructura, los caminos, ciclos, etc. Teorema: G 1, G 2 son grafos isomorfos si y sólo si sus complementarios son isomorfos 17

Subgrafos (Subgraphs) Dados dos grafos G=(V,E) y G =(V,E ) se dice que G es un subgrafo de G si se verifica que V es un subconjunto de V y E lo es de E. Ejemplos: K 3 es subgrafo de K 4 y ambos son subgrafos de K 5 Sea G un grafo y φ SÕV(G). El subgrafo inducido (induced subgraph) por S, SÒ, es el subgrafo máximal de G con conjunto de vértices S, contiene las aristas de G que unen vértices de S. Un subgrafo H de un grafo G es subgrafo inducido por vértices (vertex-induced subgraph), si H = SÒ para algún SÕV(G). 18

G J H F J, H, F son subgrafos de G? Son subgrafos inducidos? El subgrafo G-S se obtiene por la eliminación de los vértices de S Ã V y todas las aristas que inciden en los vértices de S. Observar que G-S = V(G) - SÒ Cualquier subgrafo inducido de G se obtiene por eliminación de un subconjunto de vértices de G 19

x u x u x w w y w y y z v z z G G-v G-{u,v} Son subgrafos inducidos? Sea X un subconjunto no vacío de aristas de un grafo G. El subgrafo inducido (induced subgraph) por X, que se denota XÒ, es el subgrafo minimal de G con conjunto de aristas X. XÒ contiene aquellos vértices de G incidentes con al menos una arista de X. Un subgrafo H de un grafo G es subgrafo inducido por aristas (edge-induced subgraph), si H = XÒ para algún XÕV(G). H es un subgrafo recubridor o soporte (spanning subgraph) de un grafo G si V(H) =V(G) 20

Si X E(G), entonces G-X, es el subgrafo recubridor de G obtenido por eliminación de las aristas de X. H es un subgrafo recubridor de un grafo G si y solo si H = G-X, donde X = E(G) E(H) u u u v w v w v w x y x y x G F H Sea G un grafo, con u i v i (i = 1,2,, n) pares de vértices no adyacentes de G. G+{u 1 v 1, u 2 v 2,, u n v n } es el grafo obtenido al añadir a G las aristas del conjunto {u 1 v 1, u 2 v 2,, u n v n } y 21

Dos grafos G y H descritos mediante diagramas. Diremos que H es subgrafo de G si es posible etiquetar los vértices de H y G de modo que H es subgrafo de G. Secuencias de grados (Degree sequences) Para cada grafo G, con V(G)={v 1, v 2,, v p } asociamos la secuencia de grados de sus vértices d(v 1 ), d(v 2 ),, d(v p ), que son valores enteros no negativos y con el convenio de mantener el orden d(v 1 ) d(v 2 ) d(v p ) El mínimo grado de G, min d(g) = d(v p ), es el término más pequeño. El máximo grado de G, D(G) = d(v 1 ), es el término mayor. 22

Sea s: d 1, d 2,, d p la secuencia de grados de un grafo G. Ejemplo: 5,5,3,2,1,0 Una secuencia de enteros no negativos es gráfica (graphical) si es la secuencia de grados de algún grafo. Teorema Una secuencia s : d 1, d 2,, d p de enteros no negativos, con d 1 d 2 d p, donde p>1 y d 1 1 es gráfica, si y solo si la secuencia s 1 : d 2-1, d 3-1,, d d1 +1-1, d d1 +2, d d1 +3,, d p es gáfica. 23

Demostración: ( ) s 1 es gáfica. Entonces hay un grafo G 1 de orden p-1, con s 1 como su secuencia de grados. Sus vértices son v 2, v 3,, v p con d(v i ) = d i -1 para 2 i d i +1 d(v i ) = d i para d i + 2 i p Construimos un nuevo grafo G, añadiendo un vértice v 1 y uniendolo a los d 1 vértices v i, con 2 i d i +1. Así, d(v i ) = d i, " v i œ G y s es secuencia gráfica. (fl) s es secuencia gráfica. Hay uno o más grafos de orden p con secuencia de grados s. Sea G uno de ellos, con d(v i ) = d i para 1 i p y la suma de los grados de los vértices adyacentes a v 1 máxima. Estamos exigiendo que v 1 sea adyacente a d 1 vértices con grados d 2, d 3,, d d1 +1. El grafo G v 1 tiene secuencia de grados s 1 así que s 1 es gráfica. 24

Para determinar si una secuencia de p enteros no negativos es gráfica. No puede contener valores mayores que p-1 Actuamos del siguiente modo. P1. Si todos los valores son 0, la secuencia es gráfica. Si tiene valores negativos, no es gráfica; Si no tiene valores negativos seguir. P2. Reordenar los números de la secuencia, si es necesario, para que sea no creciente. P3. Eliminar el primer valor n, y restar 1, de los siguientes n valores de la secuencia. Volver al paso 1. 25

Camino (walk) en un grafo G, es una secuencia alternada P : v 0, e 1, v 1, e 2, v 2,, v n-1, e n, v n (n 0) de vértices y aristas, empezando y terminando por vértices, y tal que e i = v i-1 v i para i = 1,2,, n P tiene longitud (length) n porque contiene n aristas. Como los vértices, determinan las aristas, éstas pueden ser omitidas. P : v 0, v 1, v 2,, v n-1, v n, es un v 0 -v n camino un v 0 -v n camino es cerrado (closed), si empieza y termina en el mismo vértice, v 0 =v n. Es abierto (open), si v 0 π v n. recorrido (trail), un camino donde no se repiten aristas, pudiendose repetir los vértices. camino simple (path), un camino donde no se repiten ni aristas ni vértices. Un camino simple es un recorrido, pero no todo recorrido es camino simple. 26

Teorema Cualquier x-y camino en un grafo G, contiene un x-y camino simple. Demostración Si x=y, entonces el x-y camino trivial da la solución. Supongamos x y. Hay dos casos a considerar: el camino que conecta x e y no contiene vértices repetidos, entonces ya es simple. el camino que conecta x e y tiene vértices repetidos x, v 1, v 2,..., w, w 1,w 2,..., w k, w,...v p-1, v p, y donde el vértice w se repite. eliminamos todos los vértices comprendidos entre los w, y uno de ellos, resultando x, v 1, v 2,..., w,...v p-1, v p, y Procedemos de igual modo con cada vértice repetido, hasta conseguir un camino simple. 27

Nombre Tipo Admite aristas repetidas? Admite vértices repetidas? Camino walk Sí Sí Camino cerrado cerrado Sí Sí Recorrido trail abierto No Sí Circuito circuit cerrado No Sí Camino simple abierto No No path Ciclo cycle cerrado No No 28

circuito (circuit), como un camino cerrado donde no se repiten aristas. ciclo (cycle), un circuito donde no se repiten vértices. u,v œv(g), u está conectado a v si G contiene un u-v camino. Un grafo G se dice conexo (connected) si cada par de vértices están unidos al menos por un camino. Un grafo no conexo tiene al menos dos vértices sin camino que los una. Un subgrafo H de G es una componente de G si H es un subgrafo conexo maximal de G. 29

La relación v está conectado con w, es una relación de equivalencia entre vértices de G. Establece una partición V 1, V 2,, V k de los vértices de G. Los subgrafos V i Ò, 1 i k, son las componentes conexas del grafo G. k(g)=número de componentes conexas de G G es conexo si y solo si K(G) = 1 Dar un ejemplo de k(g) = min d(g) = D(G) =2 30

Un vértice v de un grafo G es un vértice de corte (cut-vertex) si k(g-v) > k(g). Una arista e de un grafo G es una arista puente (bridge) si k(g-e) > k(g) Teorema Una arista e de un grafo conexo G es un puente de G si y solo si e no pertenece a ningún ciclo de G Ejercicio: Demostrarlo. 31

Los grafos que no tienen puentes son aquellos en los que cualquier arista pertenece a un ciclo. Un grafo conexo, no trivial, sin vértices de corte es llamado no separable (non-separable graph). Un bloque (block) B de un grafo G es un subgrafo de G, no separable y maximal. Es necesariamente un subgrafo inducido. Un grafo no separable tiene sólo un bloque. 32

Un bloque de un grafo G que contiene exactamente un vértice de corte de G se le llama bloque final (end-block) de G. Teorema Sea G un grafo conexo con al menos un vértice de corte, entonces G tiene al menos dos bloques finales. Un grafo de orden n 1 que es un camino se le llama camino de orden n y se denote por P n Un grafo de orden n 3 que es un ciclo se le llama n-ciclo y se denote por C n 33

Teorema Un grafo es bipartito (bipartite) si y solo si no tiene ciclos de longitud impar. Demostración (fl) Sea G bipartito. V=V 1» V 2 de modo que las aristas unen vertices de distintos subconjuntos. Sea C un ciclo en G. C: v 1, v 2, v 3,..., v n, v 1 Suponemos que v 1 œ V 1, entonces v 2 œ V 2, v 3, œ V 1, y así se continúa alternando. Como el último vértice v 1 œ V 1 resulta que v n œ V 2, y en consecuencia n es par. 34

( ) Si G es conexo. Sea u un vértice de G. Para cualquier vértice v del grafo hay un (u-v camino) en G. Seleccionamos uno de los caminos más cortos para cada u-v camino. Consideramos V 1 como el conjunto de vértices que contiene a u y a todos los que su u-v camino más corto tiene longitud par. En consecuencia V 2 = V - V 1 Con esta partición de vértices las aristas unen siempre vértices de los dos subconjuntos disjuntos V 1 y V 2 lo cual garantiza que G es bipartito. Si G no es conexo, sean G 1,..., G n sus componentes conexas. Por el resultado anterior cada componente es bipartito y por tanto también G es bipartito. 35

Digrafos (Digraphs) D(V,E) es un grafo dirigido (directed graph) o digrafo (digraph), donde V es un conjunto finito no vacío de vértices y E (posiblemente vacio), es el conjunto de pares ordenados de vértices, llamadas arcos (arcs). Como (u,v) es distinto a (v,u), dos vértices pueden estar unidos por dos arcos si estos tienen direcciones opuestas Orden (order) de un digrafo es el número de vértices. El número de sus arcos su tamaño (size). El grafo subyacente (underlying graph) de un digrafo D es el grafo obtenido al reemplazar los arcos (u,v) o (v,u) por la arista uv 36

Si (v,u) œe(d), v es adyacente hacia (adjacent to) u, y u es adyacente desde v. El arco (v,u) es incidente desde (adjacent from) v y es incidente a u Grado de entrada (indegree) de v es el número de vértices adyacentes hacia v, y se denota d + (v) Grado de salida (outdegree) de v es el número de vértices adyacentes desde v, y se denota d - (v) Grado del vértice v es la suma d (v) = d - (v) + d + (v) vértice gr. salida gr. entrada grado u u 1 1 2 v w v w 2 1 0 3 2 4 x x 1 1 2 37

Teorema Sea D un digrafo de orden p V = {v 1, v 2, v 3,..., v p }. Entonces y tamaño q, con p i= 1 + δ ( v i ) p = δ ( vi ) i= 1 = q Dos digrafos D (V,E) y D (V,E ), son isomorfos si existe una función biyectiva entre los conjuntos de vértices f : V(D) V (D ) tal que si {u,v} es un arco de D {f(u),f(v)}es un arco de D Los conceptos de subdigrafos, subdigrafos inducidos se definen del mismo modo que en el caso de grafos. 38

Camino (walk) en un digrafo D, es una secuencia alternada P : v 0, e 1, v 1, e 2, v 2,, v n-1, e n, v n (n 0) de vértices y arcos, empezando y terminando por vértices, y tal que e i = v i-1 v i para i = 1,2,, n P es un v 0 -v n camino de longitud n porque contiene n arcos. Como los vértices, determinan los arcos, éstos pueden ser omitidas. P : v 0, v 1, v 2,, v n-1, v n, Los conceptos de recorrido, camino simple, circuito, ciclo en digrafos son análogos a los de grafos, pero actuando en la dirección de los arcos. Un ciclo de longitud 2 es posible en digrafos. 39

Semicamino (semiwalk) en un digrafo es una secuencia alternada P : v 0, e 1, v 1, e 2, v 2,, v n-1, e n, v n (n 0) de vértices y arcos, tal que e i = (v i-1, v i ) o e i =( v i, v i-1 ) para cada i = 1,2,, n. P es un v 0 -v n semicamino de longitud n D u v w x y P : v, (vw), w, (uw) u, (x,u), x es un v-x semicamino que no es v-x camino D no tiene ningún v-x camino 40

Dos vértices u, v de un digrafo D están conectados si D contiene un u-v semicamino. Un digrafo D es débilmente conexo (weakly connected) si cualesquiera dos vértices de D están conectados, es decir, D es conexo si su grafo subyacente es conexo. Un digrafo D es unilateralmente conexo (unilaterally connected) si para cualesquiera dos vértices u y v de D hay un u-v camino, o un v-u camino, o ambos. D es fuertemente conexo (strongly connected) si para cualesquiera dos vértices u y v de D hay ambos, un u-v camino así como un v-u camino. conexión fuerte fi conexión unilateral conexión unilateral fi conexión débil 41

Un digrafo D es r-regular si d - (v) = d + (v) = r para todos los vértices v de D Un digrafo D es simétrico (symmetric) si siempre que (u,v) es un arco en D, entonces también (v,u) es arco en D. Si D es un digrafo simétrico, entonces D = G*, donde G es el grafo en el que cada arista uv reemplaza a los dos arcos (u,v) y (v,u) de D * K 1,4 42

Un digrafo D es asimétrico (asymmetric) si siempre que exista un arco (u,v) en D, entonces (v,u) no está en D. Tipo Arcos Permite arcos múltiples? Permite bucles? Digrafo dirigidas No No Multidigrafo dirigidas Sí No Pseudodigrafo dirigidas Sí Sí 43

Matriz de Adyacencia de un grafo Sea G un grafo de orden p. La matriz de adyacencia de G es una matriz cuadrada pxp que denotaremos por A. Sea (a ij ) el elemento de la fila i columna j de A, donde a ij = 1 si hay arista entre los vértices i, j a ij = 0 en otro caso. En grafos no dirigidos la matriz de adyacencia siempre es simétrica porque a ij = a ji Listas de adyacencia. Ocupan menor espacio en memoria, son recomendables especialmente en grafos con pocas aristas. 44

Matriz de Adyacencia de un digrafo Sea D un digrafo de orden p. La matriz de adyacencia de D es una matriz cuadrada pxp que denotaremos por A. Sea (a ij ) el elemento de la fila i columna j de A, donde a ij = 1 si hay arco desde el vértices i al j a ij = 0 en otro caso. En digrafos la matriz de adyacencia es en general no simétrica. 45

Conectividad y arista conectividad Definición: Sea G una grafo conexo. Un conjunto U de aristas de G es un conjunto de aristas de corte del grafo si G-U no es conexo. Definición: Sea G una grafo conexo. Un conjunto S de vértices de G es un conjunto de vértices v de corte del grafo si G-S no es conexo. v 5 v 1 v 2 v 6 v 4 v 3 46

Definición: n: Arista conectividad de un grafo, l(g), es el mínimo cardinal de un conjunto E de aristas de G tal que G-E es un grafo no conexo o trivial. Si un grafo G es no trivial, entonces l(g) es el menor cardinal de un conjunto de corte de aristas de G. l(g)=0 G es no conexo o trivial Definición: n: Vértice conectividad o conectividad de un grafo, K(G), es el mínimo número de vértices tales que si se eliminan de G producen un grafo no conexo o trivial. Si G no es completo K(G) es el mínimo cardinal de un conjunto de corte de vértices de G. 47