Plus court chemin de Dijkstra symbolique

Statut documentaire : reference — voir Maturité et preuves.

Une opération de plus court chemin symbolique applique une recherche de chemin pondéré à une projection de graphe/hypergraphe tout en conservant les contraintes sémantiques sur les nœuds et relations admissibles. Pour la sémantique standard de Dijkstra, utilisez uniquement des coûts d’arêtes non négatifs.