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:
- La segunda pestaña es para el cálculo de la dimensión métrica 1-tolerante y se divide en 2 partes:
- 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: