Preguntas etiquetadas con graph-algorithms

13
Código implementado para calcular el ancho de ruta (= número de búsqueda de nodo, número de separación de vértices, grosor de intervalo)

Estoy buscando una implementación de un algoritmo para calcular el ancho de ruta de un gráfico. Es bien sabido que calcular el ancho de ruta es equivalente a calcular el número de búsqueda de nodos, el número de separación de vértices o el grosor de intervalo del gráfico. El algoritmo no tiene que...

12
Problemas de optimización de MSOL en gráficos de ancho de camarilla acotado, con predicados de cardinalidad

CMSOL está contando la lógica monádica de segundo orden, es decir, una lógica de gráficos donde el dominio es el conjunto de vértices y bordes, existen predicados para la adyacencia vértice-vértice y la incidencia de borde-vértice, hay cuantificación sobre bordes, vértices, conjuntos de bordes y...