• Aucun résultat trouvé

TD 7 – Réduction

N/A
N/A
Protected

Academic year: 2022

Partager "TD 7 – Réduction"

Copied!
1
0
0

Texte intégral

(1)

L3– Algorithmique1(Année2013/2014) A. Lagoutte & A. Langlois

TD 7 – Réduction

Exercice1. Deux Cliques

1. Etant donné un grapheG= (V,E), et un entierK>0, existe-t-il deux cliques disjointes de taille K dansG? On rappelle qu’une clique est un sous-ensemble de sommets tous adjacents deux à deux.

Exercice2. Variantes de3-SAT

Montrer laN P-complétude des deux variantes de3-SAT suivantes :

1. 3-SAT NAE(not all equal), où l’on impose que les trois littéraux de chaque clause ne soient pas tous à la même valeur.

2. 3-SAT OIT(one in three), où l’on impose qu’exactement un littéral soit àvraidans chaque clause.

Exercice3. Couverture de Sommets

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.

On considère le problème suivant :

Couverture-Sommets: Etant donné un grapheGet un entierk, existe-t-il une couverture de sommets de taillek?

1. Montrer que ce problème est NP-complet.

Indication : Faire une réduction à partir deClique

Exercice4. Chemin avec Paires Interdites

1. SoientG= (V,E)un graphe orienté (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. 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

On considère un écoulement incompressible, permanent et irrotationnel d’un fluide dans un dièdre d’angle α.. Le fluide est éjecté à une distance D de l’arrête du cube avec

Ma sœur est deux fois plus grande que Tom et le chat Puce mesure 50 cm de moins

– QSTS : Our QSTS submission is comprised of our bare-bone solver (i.e., the nested SAT solver architecture of SAT- TO -SAT plus its quantifier-independent decision ordering feature)

Après son retrait officiel de l’Union européenne (Brexit) le 1er janvier 2021, grâce à un accord arraché à la veille de Noël 2020, la Grande-Bretagne déploie la somme de

Savoir utiliser cette animation pour retrouver le lieu de l'ADN dans une cellule : Ceci est un document Microsoft Office incorporé, fourni par Office

Dans ce nouveau rapport publié à l’occasion de ses réu- nions d’automne, le FMI cite le Maroc parmi les pays de la région qui ont « bien avancé dans leurs campagnes de

I will use the 8 tiles in C FS ; shown in Fig. Informally, I will encode the formula’s literals in row 0, such that the literals of each clause are together and place the special

 Les instances sont la donnée d’un graphe fini orienté et d’un entier ;..  Les instances positives sont les graphes dont il existe un sous- graphe de complet à