• 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

– 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)

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

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

 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 à

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

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