Teoria de Grafos 2
Teoria de Grafos 2
Teoria de Grafos 2
GRAFOS: PROPIEDADES Y
DEFINICIONES
Grafos:
Los grafos permiten estudiar las relaciones que existen entre unidades que
interactúan con otras.
Propiedades:
Los vértices constituyen uno de los dos elementos que forman un grafo. Como
ocurre con el resto de las ramas del as matemáticas, a la Teoría de Grafos no le
interesa saber qué son los vértices.
Diferentes situaciones en las que pueden identificarse objetos y relaciones que
satisfagan la definición de grafo pueden verse como grafos y así aplicar la Teoría
de Grafos en ellos.
Una arista corresponde a una relación entre dos vértices de un grafo. Para
caracterizar un grafo G son suficientes únicamente el conjunto de todas sus
aristas, comúnmente denotado con la letra E, junto con el conjunto de sus vértices,
denotado por V.
Grado de un vértice:
Representaciones
Existen diferentes formas de representar un grafo, y hay muchos métodos para
almacenarlos en una computadora. La estructura de datos usada dependerá de
las características del grafo, y el algoritmo usado para manipularlo. Entre las más
comunes esta las listas y matrices, con frecuencia se usa una combinación de
ambas
Representación grafica:
Representación relacional:
Existen diferentes formas de representar un grafo, y hay muchos métodos para
almacenarlos en una computadora. La estructura de datos usada dependerá de
las características del grafo, y el algoritmo usado para manipularlo. Entre las más
comunes esta las listas y matrices, con frecuencia se usa una combinación de
ambas
Representación Matricial:
Las matrices proporcionan otra forma de representar grafos. Este tipo de
representación es de gran utilidad en el tratamiento algebraico de grafos y para
procesos computacionales .La matriz de adyacencias , |V|x|V|, asociada a un grafo
no orientado G=(V,E), es una matriz , A(G)=[aij], donde las filas y las columnas
representan elementos de V. El elemento aij será igual al número de aristas de G,
cuyos extremos son los vértices correspondientes a i y j.
Caminos y ciclos:
Un ciclo es una sucesión de aristas adyacentes, donde no se recorre dos
veces la misma arista, y donde se regresa al punto inicial.
Subgrafos:
Un subgrafo de un grafo G es un grafo cuyos conjuntos de vértices y aristas
son subconjuntos de los de G. Se diceque un grafo Gcontiene 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).
El subgrafo inducido de G es un subgrafo G' de G tal que contiene todas las
aristas adyacentes al subconjunto de vértices de G.
Isomorfismo de grafos:
Grafos planos:
Un grafo se dice que es plano si y sólo si existe una representación plana del
mismo, de forma que las curvas que representan los arcos se cortan sólo en los
puntos que representan a los vértices.
Ejemplos:
Grafos conexos:
Un grafo es conexo si cada par de vértices está conectado por un camino; es
decir, si para cualquier par de vértices(a, b), existe al menos un camino posible
desde a hacia b. 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 existe
un vértice tal que al sacarlo el grafo resultante sea disconexo.
Grafos bipartitos:
Un grafo G es bipartito si puede expresarse como G = {V1 U V2, A}
(es decir, sus vértices son la unión de dos grupos de vértices), bajo las
siguientes condiciones:
V1 y V2 son conductores vacios
Cada arista de A une un vértice de V1 con uno de V2.
No existen aristas uniendo dos elementos de V 1; análogamente para
V2. Bajo estas condiciones, el grafo se considera bipartito, y puede
describirse informalmente como el grafo que une o relaciona dos
conjuntos de elementos diferentes, como aquellos resultantes de los
ejercicios y puzzles en los que debe unirse un elemento de la columna
A con un elemento de la columna B
El vértice donde empieza un arco se llama punto inicial y el vértice donde termina
se llama punto terminal.
El nombre de este tipo de grafos proviene del matemático Leonard Euler quien
abordó por primera vez el asunto de cómo debían caracterizarse los grafos para
poder recorrerse de la manera deseada tras desestimar el problema de los
puentes de Königsber
Grafos de Hamilton:
Un camino hamiltoniano, en el campo matemático de la teoría de grafos, es un
camino de un grafo, una sucesión de aristas adyacentes, que visita todos los
vértices del grafo una sola vez. Si además el último vértice visitado es adyacente
al primero, el camino es un ciclo hamiltoniano.
Árboles
Un árbol es un grafo en el que cualesquier dos vértices están conectados por
exactamente un camino. Un bosque es una unión disjunta de árboles. Un árbol a
veces recibe el nombre de árbol libre.
Propiedades:
Una fórmula más exacta para el comportamiento asintótico de t(n) implica que
hay dos números α y β (α ≈ 3 y β ≈ 0.5) tales que:
Árboles generadores:
Sean G un grafo conexo donde los vértices representan edificios y las aristas
túneles de conexión entre los edificios. Se quiere determinar un subconjunto de
túneles que debieran mantenerse que pudiéramos alcanzar un edifico desde otro a
través de estos túneles. También se desea determinar los subconjuntos de túneles
que el ser obstruidos separarían a algunos edificios de otros (subconjunto de
aristas de conexión y subconjunto de aristas de no conexión de un grafo).
Definición:
Un árbol de un grafo es un subgrafo del grafo que es un árbol. Un árbol generador
de un grafo o conexo es un subgrafo generador que es un árbol.
Ejemplo: