RESOLVER GRAFO

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

- Se abre una caja diálogo con 2 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 También muestra una acotación del tamaño de la dimensión métrica del grafo
  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 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 elegir el tamaño de los conjuntos resolutivos 1-tolerantes del grafo a calcular
  2. La de la derecha contiene una la lista con los conjuntos resolutivos 1-tolerantes del grafo

- 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 grafo ya que la complejidad del cálculo crece exponencialmente, por lo que con un grafo 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 Grafo
  2. Por el icono de la barra de herramentas