Condition nécessaire pour la contrainte de partitionnement de graphes par des chemins
Résumé
Etant donné un graphe orienté $\cG$, le problème des $\NPATH$-chemins disjoints consiste à trouver une partition de $\cG$ en $\NPATH$ chemins noeuds-disjoints, tel que chaque chemin termine sur un noeud appartenant à un sous-ensemble des noeuds de $\cG$. Cet article fournit une condition nécessaire, pour le problème des $\NPATH$-chemins disjoints, combinant (1) la structure du graphe réduit associé au graphe $\cG$, (2) la structure de chaque composante fortement connexe de $\cG$ vis à vis des relations de dominance entre les noeuds de $\cG$, et (3) la structure des connexions entre les composantes fortement connexes de $\cG$. Finalement, nous montrons comment exploiter cette condition nécessaire pour en dériver une contrainte de partitionnement de graphes par des chemins.
Domaines
Langage de programmation [cs.PL]Origine | Fichiers produits par l'(les) auteur(s) |
---|