RESOLVER ÁRBOL

- Permite ver los conjuntos que resuelven el árbol que está en el panel.

- Se abre una caja diálogo con 3 pestañas:

- La primera pestaña es para calcular la dimensión métrica del árbol y se divide en 3 partes:

  1. La de la izquierda permite elegir el tamaño de los conjuntos que resuelven al grafo o que los devuelva todos
  2. La del centro contiene la lista resultado con los conjuntos de vértices que resuelven el grafo
  3. La de la derecha contiene los vectores de distancias del conjunto seleccionado en la lista anterior

- La segunda pestaña muestra la clasificación de vértices del árbol y se divide en 2 partes:

  1. La de la izquierda permite ver los vértices del árbol que son Major Vertex
  2. La de la derecha permite ver los vértices del árbol que son Exterior Major Vertex.

* La dimensión métrica la podemos calcular a través de los anteriores valores, ya que es igual al sumatorio del número de terminales de los exterior major vertex menos el número de major vertex

- La tercera pestaña es para el cálculo de la dimensión métrica 1-tolerante y se divide en 2 partes:

  1. La de la izquierda permite ver el tamaño de los conjuntos resolutivos 1-tolerantes del árbol
  2. La de la derecha contiene una la lista con los conjuntos resolutivos 1-tolerantes del árbol

* La dimensión métrica la podemos calcular a través de los anteriores valores, ya que es igual al sumatorio del número de terminales de los exterior major vertex menos el número de major vertex

- El cálculo de los conjuntos resolvedores se puede interrumpir en cualquier momento clickeando en el botón con el icono al lado de la barra de proceso.

- El cálculo es más costoso cuantos más vértices contenga el árbol ya que la complejidad del cálculo crece exponencialmente, por lo que con un árbol de más de 12 vértices el cálculo ya no es inmediato.

- A ésta acción se puede acceder por:

  1. Un item del menú: Resolver -> Resolver Árbol
  2. Por el icono de la barra de herramentas