tout le monde sait qu'il existe de nombreux problèmes de décision qui sont NP-difficiles sur les graphiques généraux, mais je m'intéresse aux problèmes qui sont même NP-difficiles lorsque le graphique sous-jacent est un chemin. Alors, pouvez-vous m'aider à recueillir de tels problèmes?
J'ai déjà trouvé une question connexe sur les problèmes NP-difficiles sur les arbres .
graph-theory
np-hardness
Benjamin
la source
la source
Réponses:
Une correspondance arc- en- ciel dans un graphique de couleur de bord est une correspondance dont les bords ont des couleurs distinctes. Le problème est le suivant: étant donné un graphique couleur de bord et un entier , a-t-il un arc-en-ciel correspondant à au moins bords? Ceci est connu sous le nom de problème de correspondance arc- en- ciel , et son NP est complet même pour les chemins correctement colorés. Les auteurs notent même qu'avant ce résultat, aucun problème de graphe non pondéré n'est connu pour être NP- dur pour des chemins simples au meilleur de leur connaissance.k G kG k G k
Voir Le, Van Bang et Florian Pfender. "Résultats de complexité pour les correspondances arc-en-ciel." Informatique théorique (2013) , ou la version arXiv .
la source
Voici quelques observations simples.
Un graphique de chemin non coloré code essentiellement un entier, vous pouvez donc prendre tout problème NP-dur impliquant des entiers codés unaires et le réinterpréter comme un problème de graphique de chemin. Si vous autorisez plusieurs entiers encodés en unaire (= une union disjointe de graphes de chemin), vous pouvez utiliser des problèmes fortement NP-complets comme 3-Partition.
Un graphique de chemin en couleur code un mot sur un alphabet fixe, vous pouvez donc à nouveau prendre un problème NP-difficile sur les mots. Un exemple que je connais est le problème des facteurs disjoints introduit à Bodlaender, Thomassé et Yeo .
la source
MinCC Graph Motif est NP-hard lorsque le graphe est un chemin (même APX-hard). Étant donné un graphique avec des couleurs sur les sommets et un ensemble de couleurs, trouvez un sous-graphique correspondant à l'ensemble des couleurs et minimisant le nombre de compositions connectées. Voir Problèmes de complexité dans la correspondance de motifs de graphiques de couleur vertex, JDA 2011.
la source
Étant donné un chemin avec nœuds et arêtes pondérées 1 ≤ poids ( u , v ) < n , trouvez si les nœuds peuvent être étiquetés en utilisant des nombres dans [ 1 .. n ] (en évitant les étiquettes en double) de telle sorte que la différence absolue de les étiquettes de deux nœuds adjacents sont égales au poids de l'arête:n 1≤weight(u,v)<n [1..n]
Cela équivaut au problème de la reconstruction par permutation à partir des différences qui est le NPC (un de mes résultats "non officiels" :-).
la source
Une réponse triviale qui est proche de certains de ce qui apparaît ci-dessus mais, je pense, distincte.
Correction de tout codage calculable en temps polynomial de triplets ⟨ k , m , w ⟩ comme nombres naturels. L'ensemble des valeurs f ( k , m , w ) telles que la m ème machine de Turing non déterministe accepte sa w ème entrée en au plus n log k étapes (où n est la longueur de cette entrée) estNP-complet. ( log k pour que nous codions effectivement kf:N3→N ⟨k,m,w⟩ f(k,m,w) m w nlogk n logk k en unaire.) Cet ensemble de valeurs peut être représenté comme un ensemble de chemins.
la source
Le problème de flux insécable (UFP) reste NP-difficile sur un chemin. En effet, l'UFP est NP-dur même sur un seul bord, car il est équivalent au problème du sac à dos.
la source
Le Rainbow Dominating Set (RDS) reste NP-difficile sur les chemins. Étant donné un graphique de couleur vertex, un RDS est un DS où chaque couleur du graphique apparaît au moins une fois.
Ensembles dominants tropicaux dans les graphiques de couleur vertex , JDA'18
la source
L'Ensemble Dominant et l'Ensemble Dominant Indépendant sont NP-durs sur les chemins s'il y a aussi en entrée un "graphe de conflit", où une arête dans ce graphe est une paire de sommets qui ne peuvent pas être tous les deux dans la solution.
Cornet, Alexis; Laforest, Christian , Problèmes de domination sans conflits , Application discrète. Math. 244, 78-88 (2018). ZBL1387.05181 .
la source