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?
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:
GP (for Graph Programs) é uma linguagem de programação não determinística baseada em regras para resolver problemas gráficos em um alto nível de abstração, liberando os programadores de manipular estruturas de dados de baixo nível. O núcleo do GP consiste em quatro construções: aplicação em uma etapa de um conjunto de regras de transformação condicional de gráficos, composição seqüencial, ramificação e iteração.
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.
Não tenho muita certeza do que você quer. Mas você já olhou para:
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.
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.
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.