Salut,
Voilà je travaille sur les graphes orientés, plus précisemment sur des graphes ayant des arcs valués par des symboles. Mon graphe représente donc un automate. Chaque arc qui relie 2 sommets, a pour longueur 1.
Je cherche donc un algo qui permet de trouver s'il existe un chemin de longueur k entre l'état initial ( le sommet source du graphe ) et un état final de l'automate ( un sommet quelconque ). Autrement dit si l'automate permet de générer des mots de longueur k.
Le graphe représentant l'automate peut comporter un ou plusieurs cycles, ou pas du tout.
Connaissez vous un algo qui permet de résoudre ce problème ? Ou avez vous une idée ?
Merci d'avance et @ bientot !
Partager