Teoria de Grafos 2

Descargar como doc, pdf o txt
Descargar como doc, pdf o txt
Está en la página 1de 14

ACTIVIDAD 2

GRAFOS: PROPIEDADES Y
DEFINICIONES
Grafos:

En primera instancia debemos entender que es un grafo. Un grafo es una


composición de un conjunto de objetos conocidos como nodos que se relacionan
con otros nodos a través de un conjunto de conexiones conocidas como aristas.

Los grafos  permiten estudiar las relaciones que existen entre unidades que
interactúan con otras.

Podemos representar diversas situaciones o elementos con grafos. Estos son


extraordinariamente útiles en situaciones complejas, es por esto, que es común
conseguir la implementación de análisis de grafos en estudios de ciencias exactas,
ciencias sociales y en aplicaciones informáticas.

Propiedades:

Entre las principales propiedades que posee un grafo está la adyacencia. La


adyacencia se trata de la relación que existe entre dos aristas que comparten la
conexión o relación con un vértice común. La incidencia, se trata simplemente de
cuando un vértice está unido a otro.

También debemos entender las propiedades de ponderación de los grafos que


corresponden a una función en la que cada arista es clasificada, cuantificada en
diversos términos para aumentar la expresividad de modelo. Esta característica en
especial es muy útil en estudios de optimización.

Por último pero no menos importante destacamos al etiquetado. Este trata de la


distinción que se realiza en los vértices mediante una marca que los hace
distinguible de otros.
Vértices y aristas:

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:

El grado de un vértice en un grafo es el número de aristas incidentes a él. Un


vértice aislado es un vértice con grado cero; esto es, un vértice que no es punto
final de ninguna arista. Un vértice hoja es un vértice con grado uno. En un grafo
dirigido, se puede distinguir entre grado de salida ("outdegree", número de aristas
que salen del vértice) y grado de entrada ("indegree", número de aristas que
llegan al vértice); un vértice fuente es un vértice con grado de entrada cero,
mientras que un sumidero es un vértice con grado de salida cero.

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:

Un grafo se representa mediante un diagrama en el cual a cada vértice le


corresponde un punto y si dos vértices son adyacentes se unen sus puntos
correspondientes mediante una línea, ejemplo:

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.

Un ciclo hamiltoniano tiene además que recorrer todos los vértices


exactamente una vez (excepto el vértice del que parte y al cual llega).

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:

un isomorfismo entre dos grafos G y H es una biyección f entre los conjuntos de


sus vértices f: V(G)→ V(H) que preserva la relación de adyacencia. Es decir,
cualquier par de vértices u y v de G son adyacentes si y solo si lo son sus
imágenes, f(u) y f(v), en H.

A pesar de su diferente aspecto, los dos grafos que se muestran a continuación


son isomorfos:
Tipos 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.

Es posible determinar si un grafo es conexo usando un algoritmo Búsqueda


en anchura (BFS) o Búsqueda en profundidad (DFS).

En términos matemáticos la propiedad de un grafo de ser (fuertemente)


conexo permite establecer con base en él una relación de equivalencia para
sus vértices, la cual lleva a una partición de éstos en "componentes
(fuertemente)conexas", es decir, porciones del grafo, que son (fuertemente)
conexas cuando se consideran como grafos aislados. Esta propiedad es
importante para muchas demostraciones en teoría de grafos.
Grafos completos:
Un grafo es completo si existen aristas uniendo todos los pares posibles de
vértices. Es decir, todo par de vértices (a,b) debe tener una arista e que los
une.
El conjunto de los grafos completos es denominado usualmente K, siendo
Kn el grafo completo de n vértices.
Un Kn, es decir, grafo completo de n vértices tiene exactamente

La representación gráfica de los Kn como los vértices de un polígono regular


da cuenta de su peculiar estructura.

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

Grafos orientados: Sea G un grafo. Si cada arista en G tiene una dirección,


entonces G se llama grafo dirigido o digrafo y sus aristas se llaman arcos.

El vértice donde empieza un arco se llama punto inicial y el vértice donde termina
se llama punto terminal.

Cuando no se consideran las direcciones de las aristas en G, el grafo que se


obtiene se llama grafo subyacente de G.

Grafos de dígrafos: Un grafo dirigido o digrafo es un tipo de grafo en el cual las


aristas tienen un sentido definido, a diferencia del grafo no dirigido, en el cual las
aristas son relaciones simétricas y no apuntan en ningún sentido.

Isomorfismos de dígrafos: un isomorfismo entre dos grafos G y H es una biyección


f entre los conjuntos de sus vértices f: V(G)→ V(H) que preserva la relación de
adyacencia. Es decir, cualquier par de vértices u y v de G son adyacentes si y solo
si lo son sus imágenes, f(u) y f(v), en H.
Grafos de Euler, algoritmo de Heary:
Dícese de los grafos no orientados formados por un ciclo euleriano; es decir,
aquellos que pueden recorrerse completamente desde un vértice y regresar al
punto de origen sin pasar dos veces por la misma arista.

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.

Definición: Un árbol es un grafo simple no dirigido G que satisface:

1. G es conexo y no tiene ciclos .


2. G no tiene ciclos y, si se añade alguna arista se forma un ciclo.
3. G es conexo y si se le quita alguna arista deja de ser conexo.

4. G es conexo y el grafo completo de 3 vértices no es un menor de G.


5. Dos vértices cualquiera de G están conectados por un único camino simple.

Las condiciones anteriores son todas equivalentes, es decir, si se cumple una de


ellas otras también se cumplen. Para árboles finitos además se cumple que: Si un
árbol G tiene un número finito de vértices, n, entonces tiene n − 1 aristas.

Propiedades:

Todo árbol es a su vez un grafo con sólo un conjunto numerable de vértices es


además un grafo plano.

Todo grafo conexo G admite un árbol de expansión, que es un árbol que


contiene cada vértice de G y cuyas aristas son aristas de G.

Todo árbol k-ario completo de altura h tiene kh hojas

Dado n vértices etiquetados, hay nn-2 maneras diferentes de conectarlos para


construir un grafo. El resultado se llama fórmula de Cayley. El número de árboles
con n vértices de grado d1, d2...,dn es:

que es un coeficiente multinomial.


Contar el número de árboles no etiquetados es un problema complicado. De
hecho, no se conoce ninguna fórmula para el número de árboles t(n) con n
vértices (debe entenderse aquí el número de árboles diferentes salvo isomorfismo
de grafos). Los primeros valores de t(n) son 1, 1, 1, 1, 2, 3, 6, 11, 23, 47, 106, 235,
551, 1301, 3159, ... (sucesión A000055 en OEIS). Otter (1948) probó que:

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:

También podría gustarte