Condition nécessaire pour la contrainte de partitionnement de graphes par des chemins
Abstract
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.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)