• Aucun résultat trouvé

´ECOLE POLYTECHNIQUE F´ED´ERALE DE LAUSANNE Sections d’Informatique et de Syst`emes de Communication S´erie d’exercices 13

N/A
N/A
Protected

Academic year: 2022

Partager "´ECOLE POLYTECHNIQUE F´ED´ERALE DE LAUSANNE Sections d’Informatique et de Syst`emes de Communication S´erie d’exercices 13"

Copied!
2
0
0

Texte intégral

(1)

Algorithmique - Semestre d’Automne 2011/2012

ECOLE POLYTECHNIQUE F´´ ED´ERALE DE LAUSANNE Sections d’Informatique et de Syst`emes de Communication

S´erie d’exercices 13 19 Dec. 2011

1. La taille de l’input

Pour chacun des probl`emes suivants, donner la taille de l’input en fonction den:

a) Etant donn´e un nombren∈N, trouver sa d´ecomposition en produit de nombres premiers.

b) Etant donn´e une matrice binairen×n, calculer l’inverse de cette matrice, s’il existe.

c) Etant donn´e nentiers non-n´egatifs plus petits que 1000, trouver le plus grand.

d) Etant donn´e un grapheGavec des poids entre−100 et 100 (donn´e par sa matrice d’adja- cence) trouver un arbre couvrant minimal.

2. R´eduction polynomiale

Rappelons d’abord qu’uneclique dans un grapheG(V, E) est un sous-ensembleS⊆V tel que S×S⊆E, c’est `a dire un ensemble de sommets qui sont tous connect´es entre eux.

Consid´erons les probl`emes de d´ecision suivants : Probl`eme : CLIQUE

Input :Un graphe non orient´e G, et un entierk.

Output :Vrai si Gcontient une clique de taille≥k, Faux sinon.

Probl`eme : HALF-CLIQUE

Input :Un graphe non orient´e G, ayantnsommets (o`u nest pair).

Output :Vrai si Gcontient une clique de taille≥n/2, Faux sinon.

Nous voulons montrer que

CLIQUE≤P HALF-CLIQUE.

Ainsi, il s’agit donc de construire une fonctionf qui transforme un input (G, k) de CLIQUE en un inputG de HALF-CLIQUE.

a) SoitG un graphe, et soitf1(G) le graphe obtenu en ajoutant `a Gun sommet connect´e `a tous les autres sommets. Montrer que Gcontient une clique de taille ≥ksi et seulement si f1(G) contient une clique de taille≥k+ 1.

b) G´en´eraliser la construction ci-dessus. Plus pr´ecis´ement, pour touta∈N, montrer qu’´etant donn´e un graphe G, on peut construire un graphefa(G) tel que Gcontient une clique de taille ≥k si et seulement sifa(G) contient une clique de taille≥k+a.

c) Soit m le nombre de sommets dansG. Supposons quek≤m/2. Trouver aen fonction de m et k tel que G contient une clique de taille ≥k si et seulement si fa(G) contient une clique de taille ≥na/2, o`una d´enote le nombre de sommets dansfa(G).

d) D´eduire que CLIQUE≤P HALF-CLIQUE. (Indice : Distinguer les deux cas k ≤m/2 et k > m/2).

1

(2)

Algorithmique - Semestre d’Automne 2011/2012

3. SAT

On rappelle qu’une formule CNF (Conjunctive normal form) sur les variables x1, . . . , xn

s’´ecrit

F =C1∧. . .∧Cm,

o`u chaque clause Cj est de la forme λ1 ∨. . .∨λkj (et on a pour chaque i : λi =xi ou xi).

Lesλi sont appel´es des litt´eraux. Une attribution aux variables x1, . . . , xn consiste `a donner la valeur TRUE ou FALSE `a chacune des variablesxi.

Pour une attribution donn´ee, la formuleF sera donc soit vraie (l’attribution est alors dite satisfaisante), soit fausse. Une formuleF est dite satisfaisable s’il existe une attribution aux variablesx1, . . . , xntelle que F est vraie.

a) Consid´erons la formule suivante sur les variablesx1, x2, x3 : F1 = (x1∨x2)∧(x2∨x3∨x1)∧(x3∨x1)

L’attribution x1 = TRUE,x2 = FALSE, x3 = TRUE est elle satisfaisante ? b) Trouver une attribution satisfaisante pourF1.

c) La formule suivante, sur les variables x1 etx2 est elle satisfaisable ? F2= (x1∨x2)∧(x1∨x2)∧(x1∨x2)∧(x1∨x2)

d) On consid`ere le probl`eme suivant : ´etant donn´e une formule CNFF surnvariables, avecm clauses contenant k1, . . . , km litt´eraux, determiner si cette formule est satisfaisable (C’est le probl`eme SAT). Quelle est la taille de l’input pour ce probl`eme ?

e) Montrer que ce probl`eme est dans NP.

f) Montrer que si P=NP, alors il existe un algorithme polynomial qui, ´etant donn´e une formule CNF F, retourne une attribution satisfaisante aux variables x1, . . . , xn, si une telle attribution existe (donc il ne retourne pas juste TRUE ou FALSE, mais il retourne l’attribution elle mˆeme si elle existe).

2

Références

Documents relatifs

a) Si on augmente le poids de chaque arˆete de G par une constante c, est-ce que l’arbre T reste minimal? Justifiez votre r´eponse.. b) Si on diminue le poids de l’une des arˆetes de

Donc on donne ` a A comme input une formule CNF F , et il retournera TRUE si F est satisfaisable et FALSE sinon (et son temps est polynomial en la taille de F ). Si A retourne

En appliquant le premier principe de la thermodynamique pour un syst`eme ouvert, exprimer la vitesse d’´ejection des gaz en fonction de , C , 4 , , , et. est une barre homog`ene

Dans une biblioth` eque de 6 ´ etag` eres pouvant contenir 40 livres chacune, Iliona souhaite ranger ses 261 livres. Combien de livres ne pourra-t-elle pas ranger dans la

Dans une biblioth`eque de 6 ´etag`eres pouvant contenir 40 livres chacune, Iliona souhaite ranger ses 261 livres. Combien de livres ne pourra-t-elle pas ranger dans

[r]

Donner la d´efinition de la borne sup´erieure de A ainsi qu’une condition n´ecessaire et suffisante pour son existence. En particulier, on peut faire la seconde partie en admettant

Le probl` eme de synchronisation d’une ligne de fusiliers (firing squad problem) est un probl` eme qui consiste ` a trouver la r` egle locale d’un automate cellulaire