Árboles | 12/42 | UPV

Universitat Politècnica de València - UPV
22 Sept 201108:38

Summary

TLDRLa sesión se centra en el estudio de los árboles en el contexto de los grafos no dirigidos. Se define un árbol como un grafo conexo y acíclico, y se exploran las propiedades equivalentes, como ser simple, tener un único camino entre cada par de vértices y tener un número de aristas igual al número de vértices menos uno. Se destaca la importancia de estas propiedades en diferentes contextos y se analizan ejemplos para ilustrar las definiciones. Además, se discute la relación entre la conectividad y la aciclicidad en grafos no dirigidos y cómo estas características afectan el número de aristas. Se introduce el concepto de árbol generador de mínimo coste en grafos ponderados, donde cada arista tiene un peso asociado, y se explica que este árbol es el que tiene el menor coste de todos los árboles generadores posibles. Se menciona el algoritmo de Kruskal, que proporciona un árbol generador de mínimo coste a partir de un grafo ponderado y conexo. Finalmente, se aborda la no unicidad del árbol generador de mínimo coste y se explora la influencia de los pesos de las aristas en la unicidad del árbol. El vídeo resalta la aplicabilidad de los árboles en múltiples campos y la relevancia de los árboles generadores de mínimo coste en problemas de conexión.

Takeaways

  • 🌳 La definición de árbol en grafos no dirigidos es un grafo conexo y acíclico.
  • 🔄 Aunque la terminología árbol se puede usar en grafos dirigidos, en este contexto se refiere exclusivamente a grafos no dirigidos.
  • 🔗 Un árbol siempre tiene un único camino entre cada par de vértices, lo que lo hace distinto de otros tipos de grafos.
  • 🔢 Las propiedades equivalentes de un árbol incluyen ser simple, acíclico, tener el número de aristas igual al número de vértices menos uno, y ser conexo.
  • 🚫 Un grafo no dirigido no es un árbol si contiene ciclos o no es conexo.
  • 📏 Si un grafo no dirigido es conexo y tiene más de un vértice, y el número de aristas es mayor o igual que el número de vértices, entonces no es acíclico.
  • 🌐 Cualquier árbol tiene al menos dos vértices de grado uno, lo que es una propiedad visual fácil de observar.
  • 🏗️ Un árbol generador de mínimo coste en grafos ponderados es aquel que conecta a todos los vértices con el menor peso total.
  • 💰 El árbol generador de mínimo coste no es necesariamente único; puede haber varios árboles con el mismo mínimo coste.
  • 🛠️ El algoritmo de Kruskal proporciona un árbol generador de mínimo coste a partir de un grafo ponderado y conexo.
  • ⚖️ Si todos los pesos en un grafo ponderado son distintos, el árbol generador de mínimo coste es único.

Q & A

  • ¿Qué es un árbol en el contexto de grafos no dirigidos?

    -Un árbol es un tipo de grafo no dirigido que es conexo y acíclico, es decir, existe un camino entre cualquier par de vértices, pero este camino es único y no forma ciclos.

  • ¿Por qué se utiliza el término 'árbol con raíz' cuando se habla de grafos dirigidos?

    -En grafos dirigidos, el término 'árbol con raíz' se refiere a un árbol donde se designa un vértice específico como raíz, y todos los caminos fluyen desde o hacia esta raíz, a diferencia de los árboles en grafos no dirigidos que no tienen una dirección o raíz específica.

  • ¿Cuáles son las propiedades equivalentes para identificar un árbol en un grafo no dirigido?

    -Las propiedades equivalentes para identificar un árbol son: 1) que el grafo sea acíclico y el número de aristas sea igual al número de vértices menos uno, 2) que sea conexo y el número de aristas sea igual al número de vértices menos uno, y 3) que el grafo sea simple y exista un único camino entre cada par de vértices.

  • ¿Qué es un árbol generador de mínimo coste?

    -Un árbol generador de mínimo coste es un subgrafo que es árbol y cuyo coste total (la suma de los pesos de sus aristas) es menor o igual que el de cualquier otro árbol generador del grafo. Este concepto se aplica especialmente en grafos ponderados.

  • ¿Es único el árbol generador de mínimo coste?

    -No necesariamente. Aunque el costo mínimo es un valor único, pueden existir múltiples árboles generadores que tengan el mismo costo mínimo si el grafo permite configuraciones alternativas con igual peso total.

  • ¿Cómo se relaciona el número de vértices y aristas en un árbol?

    -En un árbol, el número de aristas siempre es igual al número de vértices menos uno. Esta propiedad es fundamental para identificar estructuras de árbol en grafos no dirigidos.

  • ¿Qué implica que un grafo sea acíclico y conexo?

    -Que un grafo sea acíclico y conexo implica que es un árbol. Esto significa que hay un camino entre cualquier par de vértices sin que estos caminos formen un ciclo.

  • ¿Qué algoritmo se utiliza para encontrar un árbol generador de mínimo coste y qué teorema se aplica?

    -El algoritmo de Kruskal se utiliza para encontrar árboles generadores de mínimo coste en grafos ponderados y conexos. Este algoritmo se basa en un teorema que ofrece una prueba constructiva para formar el árbol.

  • ¿Cuál es el impacto de tener pesos diferentes en las aristas en el contexto de árboles generadores de mínimo coste?

    -Si los pesos de las aristas son únicos (diferentes entre sí), se puede asegurar que el árbol generador de mínimo coste será único. Si los pesos se repiten, puede haber más de un árbol generador con el mismo costo mínimo.

  • ¿Por qué es importante el concepto de árbol en problemas de modelización real?

    -El concepto de árbol es fundamental en muchos problemas reales donde se busca optimizar recursos, como en la conexión de redes, la construcción de infraestructuras mínimas o la optimización de rutas, donde es crucial encontrar estructuras eficientes y sin redundancias.

Outlines

00:00

🌳 Introducción a los árboles en grafos no dirigidos

En este primer párrafo, se aborda el tema de los árboles en el contexto de los grafos no dirigidos. Se define un árbol como un grafo conexo y acíclico, es decir, uno que no contiene ciclos y en el que todos los vértices están interconectados. Se menciona que la terminología árbol también puede aplicarse a grafos dirigidos, pero en este caso se enfoca exclusivamente en grafos no dirigidos. Además, se introduce la idea de propiedades equivalentes de un árbol, como ser simple (sin bucles), tener un único camino entre cada par de vértices y tener un número de aristas igual al número de vértices menos uno. Se ejemplifica con un grafo que no es un árbol porque contiene un ciclo. Finalmente, se anticipa la discusión sobre el árbol generador de mínimo coste.

05:03

📐 Propiedades de los árboles y árboles generadores de mínimo coste

Este segundo párrafo profundiza en las propiedades de los árboles y cómo se relacionan con los grafos. Se destaca que si un grafo no dirigido con más de un vértice es conexo y el número de aristas es mayor o igual que el número de vértices, entonces no puede ser acíclico, lo cual se demuestra utilizando el teorema previamente mencionado. También se menciona una propiedad visual de los árboles: cualquier árbol tiene al menos dos vértices de grado uno. Luego, se introduce el concepto de árbol generador de mínimo coste en grafos ponderados, que es un árbol que conecta a todos los vértices con el menor peso total posible. Se destaca que este árbol no es necesariamente único y se puede haber varios árboles con el mismo mínimo coste. Se menciona el algoritmo de Kruskal, que permite encontrar un árbol generador de mínimo coste a partir de un grafo ponderado y conexo. Se concluye con la observación de que si los pesos de las aristas son todos distintos, el árbol generador de mínimo coste es único, pero si hay pesos repetidos, podrían existir múltiples árboles con el mismo coste mínimo.

Mindmap

Keywords

💡Árbol

Un árbol en el contexto de la video es un grafo no dirigido que es conexo y acíclico. Este concepto es fundamental para entender la estructura de los grafos que se estudian en el video. Por ejemplo, se menciona que un grafo no dirigido es un árbol si y solo si es conexo y acíclico, y se utiliza para ilustrar la definición de otros conceptos como el árbol generador de mínimo coste.

💡Grafo no dirigido

Un grafo no dirigido es una estructura matemática que consiste en un conjunto de vértices y un conjunto de aristas que conectan pares de vértices sin una dirección específica. En el video, se trabaja exclusivamente con grafos no dirigidos para explorar conceptos como los árboles y los árboles generadores de mínimo coste.

💡Árbol generador de mínimo coste

Este es un árbol dentro de un grafo ponderado que conecta a todos los vértices con el menor costo posible. Es un concepto clave en la sesión, ya que se explora cómo encontrar este tipo de árbol en un grafo dado, y su importancia en problemas de modelización en la vida real.

💡Grafo ponderado

Un grafo ponderado es aquel en el que cada arista tiene un peso asociado. Este concepto es esencial para entender el árbol generador de mínimo coste, ya que el peso de las aristas influye directamente en el cálculo del costo total del árbol.

💡Algoritmo de Kruskal

El algoritmo de Kruskal es un método mencionado en el video para encontrar el árbol generador de mínimo coste en un grafo no dirigido ponderado y conexo. Este algoritmo es una herramienta utilizada para resolver problemas de optimización en grafos.

💡Conexo

Un grafo se dice que es conexo si, para cualquier par de vértices, existe al menos una ruta que los conecte. La conectividad es una propiedad crucial para definir un árbol, como se destaca en la sesión.

💡Acíclico

Un grafo es acíclico si no contiene ciclos, es decir, no hay un camino que regrese al vértice de inicio sin repetir vértices. Esta es una de las condiciones necesarias para que un grafo no dirigido sea considerado un árbol.

💡Simple

Un grafo es simple si no contiene bucles ni múltiples aristas entre el mismo par de vértices. En el contexto del video, la propiedad de ser simple está incluida en la condición de ser acíclico.

💡Número de aristas

El número de aristas en un grafo es una propiedad que se relaciona con otros conceptos clave como la conectividad y el árbol generador de mínimo coste. Por ejemplo, se menciona que en un árbol, el número de aristas es igual al número de vértices menos uno.

💡Componente conexo

Un componente conexo es una subestructura dentro de un grafo no conexo donde todos los vértices están interconectados entre sí. En el video, se utiliza para contrastar con la propiedad de ser un grafo conexo, que es necesaria para definir un árbol.

💡Grado de un vértice

El grado de un vértice en un grafo es el número de aristas que salen de ese vértice. En el video, se menciona que cualquier árbol tiene al menos dos vértices de grado uno, lo que es una propiedad visual y intuitiva de los árboles.

Highlights

Se estudia el concepto de árbol en grafos no dirigidos.

La terminología árbol también se utiliza en grafos dirigidos, pero en esta sesión se enfoca en grafos no dirigidos.

Un grafo no dirigido es un árbol si es conexo y acíclico.

Se presentan ejemplos de grafos que no son árboles por no ser acíclicos o no ser conexos.

Se introducen propiedades equivalentes de un árbol: ser simple, tener un único camino entre cada par de vértices, y tener un número de aristas igual al número de vértices menos uno.

Se demuestra que en un grafo conexo con más de un vértice, si el número de aristas es mayor o igual que el de vértices, entonces no es acíclico.

Cualquier árbol posee al menos dos vértices de grado uno.

Se analiza el árbol generador de mínimo coste en grafos ponderados.

Un árbol generador es un subgrafo conexo y acíclico que contiene todos los vértices del grafo.

El árbol generador de mínimo coste es aquel con el menor coste entre todos los árboles generadores posibles.

El árbol generador de mínimo coste no es necesariamente único.

Se muestra un ejemplo de un grafo ponderado y se obtiene un árbol generador de mínimo coste.

El algoritmo de Kruskal proporciona un árbol generador de mínimo coste a partir de un grafo no dirigido ponderado y conexo.

Si los pesos son distintos, el árbol generador de mínimo coste es único.

Se discute la posibilidad de tener varios árboles generadores con el mismo peso si los pesos no son distintos.

Se resalta la importancia de los árboles generadores de mínimo coste en problemas de modelización de la vida real, especialmente en problemas de conexión.

Se recomienda escribir el razonamiento detallado utilizando notación matemática para comprender mejor las propiedades de los árboles.

Transcripts

play00:03

En esta sesión nos vamos a preocupar /SF// de estudiar /SF// árboles, /SF// un concepto definido en grafos no dirigidos.

play00:11

En ocasiones, /SF// la terminología árbol también se utiliza en grafos dirigidos, /SF// pero no va a ser nuestro caso, /SF// nosotros /vamos a hablar de arbo// siempre que hablemos de árboles vamos a suponer grafos no dirigidos /SF// y /SF// cuando /e// queramos hablar /e// en grafos dirigidos hablaremos de árboles con raíz.

play00:27

Entonces /nos vamos// /e// vamos a introducir en primer lugar la definición de árbol, /SF// una caracterización, algunas propiedades /SF// y terminaremos hablando del árbol generador de mínimo coste.

play00:38

Repito, /en/a/ lo largo de la sesión vamos a trabajar siempre con grafos no dirigidos.

play00:43

Un grafo no dirigido se dice que es un árbol /SF// si es un grafo conexo y acíclico.

play00:49

Si intentáis pintar un grafo conexo y acíclico, os saldrá una cosa como esta, /SF// /e// es el aspecto habitual de este tipo de grafos, /SF// fijémonos /SF// que no hay ningún ciclo /SF// y que es conexo.

play01:03

Veamos más ejemplos.

play01:05

Este grafo /SF// /es// /e// /no dirigi// es no dirigido es conexo pero /SF// no es acíclico, vemos aquí un triángulo, /SF// por tanto /este arb// este grafo no es un árbol.

play01:15

Este otro /SF// es acíclico /SF// es no dirigido /SF// pero tiene dos componentes conexas, es decir no es conexo /SF// por lo tanto tampoco es árbol.

play01:25

El concepto conexo y acíclico es muy útil pero en ocasiones /e// queda corto /SF// entonces es interesante tener /SF// propiedades equivalentes que podamos manejar en diferentes contextos.

play01:35

Son equivalentes, suponiendo que tengamos un grafo no dirigido con /SF// más de un vértice, /SF// las siguientes propiedades.

play01:41

Ser árbol, /SF// que el grafo sea simple y que tenga un único camino entre cada par de vértices /SF// que le grafo sea acíclico y que el número de aristas sea igual al número de vértices menos uno /SF// o que el grafo sea conexo y el número de aristas sea igual al número de vértices menos uno.

play01:59

En este ejemplo vemos las propiedades anteriores.

play02:02

/es árbol est e// Esto es un árbol, porque es conexo y acíclico.

play02:06

Es simple, en realidad lo de simple va incluido en acíclico, porque simple significa que no hay bucles, /SF// que son ciclos de longitud uno.

play02:14

Hay un único camino entre cada dos pares de vértices, es decir, yo escojo el ocho y el cuatro, vemos que está este camino, /SF// pero solamente hay un camino, /SF// es único.

play02:24

Y además hay una relación entre el número de aristas y el número de vértices, /SF// número de vértices ocho, número de aristas /SF// siete.

play02:31

Estas propiedades, /SF// si es árbol, /SF// /e// las puedo utilizar siempre, si es árbol se deduce todo lo que he dicho.

play02:37

Ahora, si quiero comprobar que es árbol /SF// tendré que comprobar las propiedades por pares /SF// es decir tal y como estaban explicitadas en el teorema /SF// o bien conexo y acíclico junto /SF// o conexo y número de aristas igual a número de vértices menos uno /SF// o acíclico y número de vértices igual a menos uno /SF// o lo de existe un único camino y es simple.

play02:56

Vamos a ver ahora algunas propiedades de los grafos.

play03:00

En primer lugar supongamos que el grafo sea un grafo no dirigido con más de un vértice, /SF// si es conexo /SF// se demuestra /SF// que si el número de aristas es mayor o igual que el de vértices /SF// entonces /ge/g/ no es acíclico.

play03:12

La demostración de esta propiedad es muy sencilla, utilizando /el// /SF// el teorema anterior.

play03:16

/Fijaros/Fijaos/ que ya sabemos que el grafo es conexo por hipótesis.

play03:19

No hay más que /SF// pensar qué ocurriría /SF// si en vez de /SF// no ser acíclico sí lo fuera, es decir, qué ocurre si el grafo es acíclico.

play03:28

Sería conexo /SF// y acíclico, /SF// con lo cual sería árbol, /SF// y por el teorema de antes, el número de aristas sería número de vértices menos uno.

play03:35

Con lo cual esto es falso, /SF// /e// /SF// y por /e// /SF// /el// propiedades de lógica /SF// tenemos el teorema demostrado.

play03:44

Es recomendable que os entretengáis en escribir el razonamiento /SF// que acabo de hacer de forma detallada utilizando /noma e// notación matemática.

play03:53

Otra propiedad /SF// no demostración tan intuitiva pero sí muy visual /SF// dice lo siguiente /SF// si /ge/g/ es un árbol /SF// posee al menos dos vértices de grado uno.

play04:04

Cualquier árbol que pintéis /SF// es fácil ver /SF// que siempre va a tener por lo menos dos vértices de grado uno.

play04:12

Vamos a pasar ahora a analizar árboles generadores de mínimo coste.

play04:17

/vamo// Para hablar de mínimo coste lo que haremos será trabajar con grafos ponderados /SF// es decir grafos /SF// tales que cada arista tiene un peso asociado.

play04:29

Supongamos que tenemos un grafo no dirigido conexo ponderado /SF// llamamos árbol generador /SF// para esto no hace falta la ponderación para nada árbol generador de /ge/g/ /SF// a todo subgrafo /SF// generador que sea conexo y acíclico.

play04:42

Recordamos que la palabra subgrafo generador /SF// significa que están todos los vértices del grafo, /SF// un subgrafo que contiene todos los vértices, /SF// lo que le faltan son unas cuantas aristas del grafo.

play04:52

Al decir que sea /SF// conexo y acíclico estamos diciendo que sea árbol /SF// o sea que en realidad /la propia// el propio nombre que hemos dado al concepto le dice árbol /SF// generador.

play05:03

Ahora si utilizamos /el que// el hecho de que el grafo sea ponderado ¿qué significará /SF// un árbol generador de mínimo coste?.

play05:09

Pues es un árbol que es generador /SF// y /SF// su coste es menor o igual /SF// que el de cualquier otro árbol generador de /ge/g/ /SF// es decir que si yo considero todos los árboles generadores posibles del grafo /SF// aquel que tenga mínimo coste /SF// ese es el árbol generador de mínimo coste.

play05:26

¿Es único? /SF// no /SF// el árbol generador /SF// de mínimo coste no tiene por qué ser único /SF// pueden haber varios.

play05:33

Veámoslo en este ejemplo.

play05:35

Tengo un grafo /SF// /e// conexo /SF// /e// ponderado /SF// y obtengo este árbol generador.

play05:44

Este árbol generador, fijémonos que están todos los vértices del grafo, luego es conexo, y es acíclico, luego es árbol generador.

play05:50

Y ahora, ¿qué peso tiene? Dos seis diez trece catorce diecisiete /SF// el peso del árbol es diecisiete /SF// y se demuestra /SF// utilizando un algoritmo que luego comentaremos /SF// que es un árbol generador de mínimo coste.

play06:02

Aquí tenemos otro /SF// dos cuatro seis /SF// o sea dos seis /SF// diez trece catorce diecisiete /SF// este es otro árbol generador, vemos que un grafo puede tener varios árboles generadores /SF// e incluso puede tener árboles generadores de mínimo coste /SF// distintos.

play06:17

Lo que sí es obvio es que si es de mínimo coste /SF// el de mínimo coste es un valor único pueden haber otros árboles con más peso /SF// pero con el mismo coste /SF// puede haber varios árboles.

play06:29

El algoritmo de Kruskal es el algoritmo /SF// que a partir de un grafo no dirigido ponderado, /SF// conexo, /SF// no lo pone en la transparencia pero hay que añadirlo, /SF// el algoritmo de Kruskal proporciona un árbol generador de mínimo coste.

play06:42

Y lo que nos dice este algoritmo, que está basado /SF// en un teorema, /SF// o sea, el algoritmo es, en realidad, el /SF// el teorema es una prueba constructiva, /SF// y al /SF// /m// hacer la demostración del teorema a pasos, /SF// obtenemos el algoritmo.

play06:58

Pues si los pesos son distintos dos a dos /SF// entonces podemos asegurar que el árbol generador de mínimo coste /SF// es único.

play07:08

¿Qué ocurre /SF// si los pesos no son distintos?

play07:12

Es decir, /SF// /puede haber// /dado un// /e// dado un grafo ponderado, /SF// puede haber varios árboles generadores /SF// que tengan /SF// /di e// el mismo peso, árboles generadores distintos con el mismo peso, /SF// si los pesos son distintos, los árboles generadores, /SF// único, /SF// pero, ¿y si los pesos son distintos? ¿Está obligado a que haya /uno e dos pe// dos árboles generadores del mismo peso?.

play07:36

Veamos /SF// qué ocurre.

play07:39

Supongamos este ejemplo.

play07:41

Tenemos este árbol generador, /SF// y resulta que este árbol es /e/el/ único árbol generador de mínimo coste, es decir, repito, /SF// /a el que// el que los pesos se repitan /SF// no obliga /SF// a que existan /SF// árboles generadores de mínimo coste distintos.

play07:57

Puede ser que /en est// sea único, /SF// o sea, que en el caso /SF// de que los pesos sean distintos, un único árbol; en el caso de que haya pesos iguales, no sé qué va a ocurrir.

play08:06

Puede /haber// ser único /SF// o puede no serlo, /SF// como en este caso, /SF// que es único.

play08:13

Resumiendo, hemos visto el concepto de árbol, que aparece en gran cantidad de campos.

play08:19

Y /SF// si utilizamos grafos ponderados, pues habrá muchos problemas /SF// que al modelizarlos, problemas de la vida real, que al modelizarlos /SF// /den lugares// /SF// /a// den lugar a que tengamos que obtener un árbol generador de mínimo coste, /SF// sobre todo problemas relacionados con la conexión.

Rate This

5.0 / 5 (0 votes)

Related Tags
Árboles en GrafosGrafos No DirigidosÁrbol GeneradorMínimo CosteGrafos PonderadosKruskalOptimizaciónAlgoritmosTeoría de GrafosAplicaciones PrácticasConexión
Do you need a summary in English?