Perguntas com a marcação «graph-algorithms»

13
Código implementado para calcular a largura do caminho (= número de pesquisa do nó, número de separação de vértices, espessura do intervalo)

Estou procurando uma implementação de um algoritmo para calcular a largura de caminho de um gráfico. É sabido que o cálculo da largura do caminho é equivalente ao cálculo do número de busca do nó, número de separação de vértices ou espessura do intervalo do gráfico. O algoritmo não precisa ser...

12
Problemas de otimização do MSOL em gráficos de largura de cliques limitada, com predicados de cardinalidade

CMSOL é Counting Monadic Second Order Logic, ou seja, uma lógica de gráficos em que o domínio é o conjunto de vértices e arestas, existem predicados para adjacência vértice-vértice e incidência de aresta-vértice, quantificação sobre arestas, vértices, conjuntos de arestas e vértices conjuntos, e...