• Aucun résultat trouvé

D´ efinition 1 On dit qu’une relation R ⊂ Σ

N/A
N/A
Protected

Academic year: 2022

Partager "D´ efinition 1 On dit qu’une relation R ⊂ Σ"

Copied!
1
0
0

Texte intégral

(1)

TD B: NP

DEA d’Algorithmique – Complexit´e A pr´eparer vers le 21/10/03

1. Le but de cet exercice est de caract´eriser les langages NP comme projections des relations P.

D´ efinition 1 On dit qu’une relation R ⊂ Σ

× Σ

est ´equilibr´ee (terme provisoire) si

∃k∀x, y (x, y) ∈ R ⇒ |y| < |x|

k

D´ efinition 2 - ` a compl´ eter On dit qu’une relation R ⊂ Σ

× Σ

est de la classe P si ? ? ? ? ?.

Th´ eor` eme - ` a prouver L est dans NP si et seulement si il existe une relation binaire R ´equilibr´ee de la classe P telle que :

x ∈ L ⇔ ∃y (x, y) ∈ R

2. Montrez que 2SAT (satisfaisabilit´e de CNF avec 2 litt´eraux par clause) est dans P.

Indications : (1) c’est ´ecrit partout ; (2) on peut utiliser la r´esolution ; (3) sinon on peut transformer les disjonctions en implications.

3. Montrez que CLIQUE et STABLE sont NP-complets. Indication : montrer leur

´equivalence `a TRANSVERSAL.

4. SAC-A-DOS : On a un ensemble fini des objets U. La valeur de chaque objet u ∈ U est v ( u ), sont poids est p ( u ). On veut remplir le sac `a dos en y mettant un sous-ensemble d’objets S ⊂ U pour qu’il ne soit pas trop lourd : P

u∈S

p(u) ≤ P mais d’une grande valeur : P

u∈S

v(u) ≥ V .

Montrez que ce probl`eme est NP-complet. Indication : utilisez PARTITION ou SAC- A-DOS-EXACT.

5. EVALUER-FAMILLE : On a une famille C de sous-ensembles d’un ensemble A et un entier J. Est-il possible d’obtenir tous les ´el´ements de C `a partir de singletons en utilisant l’op´eration ∪ (union) ≤ J fois.

Montrer que ce probl`eme est NP-complet.

Id´ ee de la r´ eduction TRANSVERSAL EVALUER-FAMILLE. On peut repr´esenter chaque arˆete (u, v) du graphe par {a

0

, u, v} ∈ C. Comment profiter d´ un petit en- semble transversal de sommets pour obtenir C en peu d’op´erations ?

1

Références

Documents relatifs

Un programme informatique permet la recherche exhaustive des solutions possibles (hors les solutions symétriques par rapport à l’axe vertical qui partage le trapèze en deux)

• Dans la mesure où la tension est la même aux bornes de toutes les branches de l'assemblage, l'addition des courants ne dépend pas de l'ordre des compo- sants du modèle. ◊

◊ remarque : l'inductance est plus grande avec le noyau de fer feuilleté (aimantation induite) ; elle est un peu plus faible avec un noyau de métal non feuilleté (champ magnétique

On peut utiliser

Vous pouvez, si n´ecessaire, admettre le r´esultat d’une question ou d’un exercice pour r´epondre aux suivantes.. Certaines questions sont signal´ees comme

Vous pouvez, si n´ecessaire, admettre le r´esultat d’une question pour r´epondre aux suivantes.. Certaines questions sont signal´ees comme

Question 3 : D´emontrez que votre choix doit se porter sur le billet 2 pour ˆetre sur de gagner par la m´ethode de votre choix1. Exercice 2 Logique propositionnelle :

Vous pouvez, si n´ecessaire, admettre le r´esultat d’une question pour r´epondre aux suivantes. Certaines questions sont signal´ees comme