INTRODUCCION

Como estudiantes de ingeniera informtica, en la cotidianidad de nuestras labores, afines a la carrera, nos podemos encontrar envueltos en situaciones tediosas como por ejemplo a la hora de implementar una red de computadoras en una empresa

1. OBJETIVOS 1.1 Objetivo General Aplicar los conocimientos adquiridos durante la segunda parte del curso de Teora de Grafos correspondiente a la carrera de ingeniera de la institucin Unimayor.

1.2 Objetivos Especficos Aplicar las teoras asociadas a los grafos dirigidos o dgrafos vistos en el aula de clase. Utilizar los conceptos expuestos en clase, relacionados a matrices asociadas a grafos y dgrafos. Reforzar los conocimientos acerca del algoritmo para determinar los fragmentos de los grafos.

2 DESARROLLO 2.1Determinar la veracidad o falsedad de cada una de las siguientes afirmaciones JUSTIFICAR LA RESPUESTA! 2.1.1 Todo dgrafo conexo es fuertemente conexo y viceversa. Todo dgrafo conexo es fuertemente conexo: Segn la definicin, un grafo es fuertemente conexo cuando sus vrtices forman un circuito, pero hay ocasiones donde los dgrafos no forman circuitos, por lo tanto podemos decir que la afirmacin es FALSA. Todo dgrafo fuertemente conexo es conexo: Esta afirmacin es VERDADERA, ya que el dgrafo al ser fuertemente conexo, ser conexo. RESPUESTA: por conjuncin de proposiciones, podemos concluir que FALSO y VERDADERO = FALSO. Por tanto la afirmacin general es FALSO.

2.1.2 Todo dgrafo tiene al menos una fuente y al menos un poso. Esta afirmacin es FALSA porque existen dgrafos en los cuales no existen ni posos ni fuentes.

2.1.3 La relacin ser isomorfo a, es una relacin de equivalencia. Para que sea una relacin de equivalencia, se deben cumplir 3 propiedades Propiedad Reflexiva Propiedad Simtrica Propiedad Transitiva

Para determinar la veracidad o falsedad de la afirmacin vamos a ver el siguiente ejemplo:

Podemos evidenciar que los grafos isomorfos tienen el mismo nmero de vrtices, el mismo nmero de aristas y las mismas funciones de incidencia, adems, cumplen con las propiedades de equivalencia, por lo tanto la afirmacin es VERDADERA

2.1.4 La secuencia de grados S: 5, 5, 5, 5, 4, 3, 3, 3, 1 puede corresponder a un grafo auto complementario. VERDADERA porque n-1 debe ser mltiplo de 4, luego 9-1 = 8 por lo que podemos concluir que 8 es mltiplo de 4.casiqueno

2.1.5 Existen grafos complementarios

k-regulares,

que

pueden

ser

auto

Para poder determinar la veracidad o falsedad de esta afirmacin vamos a tomar como ejemplo los siguientes grafos:

Mediante un grafo 2-regular

El grafo auto complementario seria:

Podemos observar que el grafo resultante tambin es 2-regular, entonces la afirmacin es VERDADERA

2.1.6 Un vrtice pendiente (grado total igual a uno) siempre es un fragmento. Para poder determinar la veracidad o falsedad de esta afirmacin vamos a tomar como ejemplo el siguiente grafo:

Cuando los vrtices de un dgrafo D estn fuertemente conectados entre s se llama fragmento.En el grafo anterior podemos evidenciar que existen 2 fragmentos: Fragmento: 1 formado por los vrtices v1, v2, v3, v4 Fragmento 2 formado por el vrtice v5.

El vrtice pendiente v5 forma un circuito con el mismo, por lo tanto ser igual a un fragmento, por lo anterior podemos concluir que la afirmacin es VERDADERA.

2.1.8 Todos los grafos simple, conexos de 4 vrtices y 3 aristas son isomorfos.

Como podemos observaren el ejemplo anterior, los dos grafos son simples, conexos, con 4 vrtices y 3 aristas, pero no son isomorfos ya que no tienen la misma incidencia, por lo tanto la afirmacin es: FALSA.

2.1.9 El nmero de dgrafos simples, fuertemente conexos, de 4 vrtices es de 5.

Como podemos observar, existen ms de 5 dgrafos que son simples, fuertemente conexos con 4 vrtices. Podemos concluir que la afirmacin es FALSA.

2.1.10 Todos los dgrafos simples, con 3 arcos y 2 vrtices, son isomorfos. Conociendo que los dgrafos simples, son aquellos que no tienen ni arcos paralelos ni bucles, representaremos un dgrafo con dos vrtices y tres arcos

Se puede observar que el dgrafo posee tres arcos y dos de ellos son paralelos, por esta razn este no es un grafo simple, adems podemos concluir que no existen dgrafos simples con dos vrtices y tres arcos. Por lo tanto, la afirmacin esFALSA.

Desarrollar 2.2

V1 V2 V3 V4

Descendientes (+ (v)) v1, v7, v3, v4, v5, v6, v2 v2, v3, v5, v4, v6 v3, v5, v4, v2 v4, v6

Ascendientes ( (v)) v1, v7 v2, v5, v3, v7, v1 v3, v2, v7, v5, v1 v4, v3, v1, v6, v2, v7, v5

(+ (v) (v)) V1,v7 V2, v3 V3, v2, v5 V4, v6

D* F1 F2 F3 F4

V1 V2 V3 V4 V5 V6 V7

A1 -1 0 0 0 0 0 1

A2 0 -1 0 0 1 0 0

A3 0 1 -1 0 0 0 0

Matriz de incidencia I(D) A4 A5 A6 A7 A8 0 0 0 0 0 0 0 0 0 0 0 1 0 1 -1 0 0 1 -1 0 1 -1 0 0 0 -1 0 -1 0 0 0 0 0 0 1

A9 1 0 0 0 0 0 -1

A10 A11 A12 1 0 0 0 0 0 0 0 0 -1 -1 0 0 0 0 0 1 0 0 0 0

C1=a12 C2= a11, a6 C3= a1, a9 C4= a3, a2, a5 C5= a7, a10, a9, a8 C6= a7, a10, a1, a8

C7= a5, a4, a11, a7 C8= a5, a4, a6, a7 C9= a3, a2, a4, a11, a7 C10= a3, a2, a4, a6, a7 C11= a3, a2, a4, a11, a10, a9, a8 C12= a3, a2, a4, a11, a10, a1, a8

A1 C1 0 C2 0 C3 -1 C4 0 C5 0 C6 -1 C7 0 C8 0 C9 0 C10 0 C11 0 C12 -1

A2 0 0 0 1 0 0 0 0 -1 -1 -1 -1

A3 0 0 0 1 0 0 0 0 -1 -1 -1 -1

A4 0 0 0 0 0 0 1 1 1 1 1 1

Matriz ciclo c(D) A5 A6 A7 A8 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 -1 0 1 -1 -1 0 0 0 -1 0 0 -1 -1 0 0 0 0 1 0 0 0 1

A9 0 0 -1 0 1 0 0 0 0 0 1 0

A10 A11 A12 0 0 -1 0 -1 0 0 0 0 0 0 0 -1 0 0 -1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 -1 1 0 -1 1 0

V1 V1 V2 V3 V4 V5 V6 V7 0 0 0 0 0 0 1

Matriz Adyacente A(D) V2 V3 V4 V5 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0

V6 0 0 0 1 1 0 0

V7 1 0 1 0 0 0 0

1 0 1 0 0 0 0

0 0 1 0 0 0 0

1 1 2 0 1 0 1

Matriz A^2 (D) 0 0 0 1 1 0 1

0 1 1 0 0 0 1

0 0 1 0 0 1 0

0 1 1 0 0 0 2

2.3 Desarrollar 2.3.1

2.3.2 V1 0 5 2 3 4 1 V2 5 0 3 2 1 4 Matriz D(G) V3 V4 2 3 3 2 0 1 1 0 2 1 1 2 V5 4 1 2 1 0 3 V6 1 4 1 2 3 0 E(v) 5 5 3 3 4 4

V1 V2 V3 V4 V5 V6 Radio R=3

Dimetro D= 5

2.3.3 C1=a2 C2= a8, a4 C3=a8, a5 C4=a4, a5 C5=a4, a8 A1 0 0 0 0 0 A2 2 0 0 0 0 Matriz C(G) A3 A4 A5 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 A6 0 0 0 0 0 A7 0 0 0 0 0 A8 0 1 1 0 1

C1 C2 C3 C4 C5

V1 V2 V3 V4 V5 V6

V1 0 0 0 1 0 2

V2 0 0 0 0 1 1

Matriz A(G) V3 0 0 0 1 0 1

V4 1 0 1 0 0 0

V5 0 1 0 0 1 0

V6 2 1 1 0 0 0

V1 V2 V3 V4 V5 V6

V1 5 2 5 0 0 0

V2 2 2 1 0 0 0

Matriz A^2 (G) V3 3 1 2 0 0 0

V4 0 0 0 2 1 5

V5 0 1 0 0 2 1

V6 0 0 0 5 1 6

V1 V2 V3 V4 V5 V6

Lista de adyacencia V6 V2 V4 V3 V2 V3

V5 V6 V5 V4 V1