Existem inúmeras ferramentas / pacotes teóricos gráficos. Cada um com seus prós e contras. Qual deve ser a semântica / sintaxe de uma linguagem de programação para resolver problemas teóricos dos grafos?
8
Existem inúmeras ferramentas / pacotes teóricos gráficos. Cada um com seus prós e contras. Qual deve ser a semântica / sintaxe de uma linguagem de programação para resolver problemas teóricos dos grafos?
Respostas:
Você pode olhar para o GP da Linguagem de programação gráfica . Na página vinculada:
Sandra Steinert dedicou sua tese de doutorado ao tópico.
Há também uma lógica Hoare para raciocinar sobre a correção de tais programas.
fonte
Não tenho muita certeza do que você quer. Mas você já olhou para:
fonte
Dê uma olhada no Projeto Sage , que torna o python mais matemático e inclui o networkx e outras coisas interessantes de visualização. Sua lista de funções gráficas pode ser wiki.sagemath.org/graph_survey ou wiki.sagemath.org/graph.
fonte
Sazzad - Estou um pouco frustrado com suas respostas. Você recebeu respostas e sugestões úteis, mas permanece insatisfeito. Use as melhores ferramentas disponíveis em seu sistema para vários aspectos da pesquisa de gráficos ou escreva você mesmo.
fonte
Gremlin é um deles. Possui extensa documentação e está bem desenvolvida. Acredito que esteja em uso por um grupo da AT&T. Além disso, é multiplataforma (se você se importa com essas coisas). Há uma apresentação do autor em seu site, mas não consigo adicionar um hiperlink adicional a este post porque sou um novo usuário.
fonte