Autor Tema: Consulta grafos sin ciclos

0 Usuarios y 1 Visitante están viendo este tema.

18 Mayo, 2008, 04:55 pm
Leído 3900 veces

Eleal

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 549
  • Karma: +0/-0
  • Sexo: Masculino
No he sabido cómo comenzar con éste:

Sea G=\( (V,E) \) un grafo.

G es un bosque (grafo sin ciclos) si y sólo si \( \epsilon = \nu - \omega \).
_____

-) \( \epsilon \) es el número de lados de G \( \left |{E}\right | \)

-) \( \nu \) es el número de vértices de G \( \left |{V}\right | \)

-) \( \omega \) es el número de componentes de G.

Saludos,


19 Mayo, 2008, 12:51 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 56,141
  • País: es
  • Karma: +0/-0
Hola

 Indicaciones:

 - Te basta trabajar independientemente en cada componente conexa. Por tanto puedes suponger \( G \) conexo.

 - Razona por inducción en el número de vértices.

 -- Para un sólo vértices es trivial.

 -- Dado un bosque conexo puedes encontrar un vértice terminal (con índice de grado 1). Retirando el vértice y la arista tienes un nuevo bosque conexo, con un vértices menos y una arista menos.

Saludos.

15 Junio, 2008, 05:10 pm
Respuesta #2

Eleal

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 549
  • Karma: +0/-0
  • Sexo: Masculino
Esto es lo que llevo:

Supongamos \( H \) es un árbol (componente conexa de un bosque). Veamos que \( e_h=v_h-1 \).

Por inducción sobre el numero de vértices:
a) Si \( v_h=1 \), es claro que \( e_h=v_h-1=0 \)

b) Supongamos que la hipótesis se verifica para \( k\geq{1} \). Probemos que se cumple para k+1.
Sea entonces I un árbol con n+1 vértices. Es posible encontrar un vértice terminal (con indice de grado 1) (*). Si lo retiramos queda un bosque conexo J de n vértices y un lado menos que I. Por hipótesis, \( e_j=v_j-1 \) por lo tanto, \( e_I=e_j+1=v_j=v_I-1 \)

Por lo tanto cualquier árbol H=\( (V,E) \) verifica \( \left |{E}\right |=\left |{V}\right |-1 \)

Por otro lado, sea G un bosque con p componentes conexas. Como cada componente es un árbol, se cumple
\( e_i=v_i-1, \forall{\, 1\leq{i\leq{p}}} \). Como las componentes son disjuntas,
\( \displaystyle\sum_{i=1}^p{}e_i=e_G \) y \( \displaystyle\sum_{i=1}^p{}v_i=v_G \), por lo tanto
\( e_G=v_G-p \)

Aunque todavia me falta probar (*)

Saludos,

15 Junio, 2008, 06:45 pm
Respuesta #3

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 56,141
  • País: es
  • Karma: +0/-0
Hola

 Está bien.

 Lo que falta... es muy poco... poquísimo. Basta tener en cuenta que por ser un árbol no tienes ciclos. Entonces si empiezas un camino, el que sea, este tiene que terminar necesariamente en un vértice de índice 1.

Saludos.

17 Junio, 2008, 11:56 am
Respuesta #4

Eleal

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 549
  • Karma: +0/-0
  • Sexo: Masculino
Entonces para (*),

¿Qué tal está esto?:

Sea l un camino de longitud máxima (sin que repita vértices). Los extremos de este camino deben tener grado 1, de lo contrario, o habría un camino de longitud más grande que la del camino l, o se tendría un ciclo.

Saludos,

17 Junio, 2008, 11:59 am
Respuesta #5

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 56,141
  • País: es
  • Karma: +0/-0
Hola

 Perfecto.

Saludos.

17 Junio, 2008, 11:33 pm
Respuesta #6

Eleal

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 549
  • Karma: +0/-0
  • Sexo: Masculino
Muchas gracias por tu ayuda el_manco.

Saludos,