Existen numerosas herramientas / paquetes de teorías gráficas. Cada uno con sus pros y sus contras. ¿Cuál debería ser la semántica / sintaxis de un lenguaje de programación para resolver problemas de teoría de grafos?
Existen numerosas herramientas / paquetes de teorías gráficas. Cada uno con sus pros y sus contras. ¿Cuál debería ser la semántica / sintaxis de un lenguaje de programación para resolver problemas de teoría de grafos?
Respuestas:
Es posible que desee ver el GP de lenguaje de programación de gráficos . Desde la página vinculada:
GP (para programas de gráficos) es un lenguaje de programación no determinista basado en reglas para resolver problemas de gráficos en un alto nivel de abstracción, liberando a los programadores del manejo de estructuras de datos de bajo nivel. El núcleo de GP consiste en cuatro construcciones: aplicación en un solo paso de un conjunto de reglas condicionales de transformación de gráficos, composición secuencial, ramificación e iteración.
Sandra Steinert dedicó su tesis doctoral al tema.
También hay una lógica de Hoare para razonar sobre la corrección de tales programas.
No estoy completamente seguro de lo que quieres. Pero has mirado:
Eche un vistazo al Proyecto Sage , que hace que Python sea más matemático e incluye networkx y cosas agradables de visualización. Su lista de funciones gráficas puede ser wiki.sagemath.org/graph_survey o wiki.sagemath.org/graph.
Sazzad: estoy un poco frustrado con tus respuestas. Le han dado respuestas y sugerencias útiles, pero aún no está satisfecho. Utilice las mejores herramientas disponibles en su sistema para varios aspectos de la investigación gráfica o escriba las suyas propias.
Gremlin es uno. Cuenta con una amplia documentación y está bien desarrollado. Creo que lo usa un grupo de AT&T. Además, es multiplataforma (si te importan esas cosas). Hay una presentación del autor en su sitio web, pero no puedo agregar un hipervínculo adicional a esta publicación porque soy un usuario nuevo.