• 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

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

• 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

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)