• Aucun résultat trouvé

TD 07 – NP-complétude

N/A
N/A
Protected

Academic year: 2022

Partager "TD 07 – NP-complétude"

Copied!
1
0
0

Texte intégral

(1)

L3– Algorithmique1(Année2014/2015) A. Lagoutte & A. Plet

TD 07 – NP-complétude

Exercice1. Independent Set

Montrer que le problème défini ci-dessous estN P-complet.

IndependentSet

Instance :Un grapheG= (V,E)et un entierk.

Question :Existe-t-il un stable de taillekdansG?

Exercice2. Deux cliques

Montrer que le problème suivant estN P-complet : Deux-Cliques

Instance :Un grapheG= (V,E), et un entierk>0

Question :Existe-t-il deux cliques disjointes de taillekdansG?

On rappelle qu’une clique est un sous-ensemble de sommets tous adjacents deux à deux.

Exercice3. Vertex Cover

SoitG= (V,E)un graphe. Unecouverture de sommetsde taillekest un sous-ensemble de sommetsV0 de taille ktel que pour toute arêteuv ∈ E, on au ∈ V0 ou v ∈ V0 (ou les deux). Autrement dit, les sommets choisis "couvrent" toutes les arêtes du graphe.

Montrer que le problème suivant estN P-complet : Couverture-Sommets

Instance :Un grapheGet un entierk≥0

Question :Existe-t-il une couverture de sommets de taillek?

Indication : Faire une réduction à partir deClique

Exercice4. Chemin avec paires interdites

Montrer que le problème suivant estN P-complet : CheminAvecPairesInterdites

Instance : Un graphe orientéG = (V,A)(on distingue l’arc (u,v) de l’arc (v,u)), deux sommets de ce graphes,t∈Vet une listeP={(a1,b1), . . . ,(an,bn)}de paires de sommets deG.

Question :Existe-t-il un chemin orienté desverstdansGqui contient au plus un sommet de chaque paire de la listeP?

Indication : faire une réduction à partir de3-SAT.

1

Références

Documents relatifs

Alors l’une ou l’autre des propositions est vraie : – il existe un modèle de Herbrand qui satisfait Σ ;.. – il existe un ensemble fini de particularisations de formules de Σ

Une vérification de ce résultat — ainsi qu'un résultat parallèle qui caractérise la complétude structurale dans le cas où, dans la définition de complétude structurale,

Etudier les fonctions suivantes : domaine de d´ ´ efinition, ´ eventuelle parit´ e ou p´ eriodicit´ e, d´ eriv´ ee, variations et extrema, limites, esquisse du graphe.. Pour

Noter aussi qu'on suppose implicitement, ci-dessus, que le coût d'une division est constant, alors qu'il est en O ( n 2 ), et donc la complexité est rigoureusement O (

On appelle VertexCoverEven l’ensemble des (codages de) couples (G, k) tels que G est un graphe dont tous les sommets sont de degré pair et ayant une couverture de sommets de

On appelle VertexCoverEven l’ensemble des (codages de) couples (G, k) tels que G est un graphe dont tous les sommets sont de degr´ e pair et ayant une couverture de sommets de

VertexCover est dans NP, parce que la question de l’appartenance d’un couple (G, k) revient ` a une question d’existence d’une solution et parce sur la donn´ ee d’un couple (G,

Le temps a laissé son manteau De vent, de froidure et de pluie, Et s'est vêtu de broderie,.. De soleil luisant, clair