Complexité de Problèmes: Les Propriétés NP, NP-dures et NP ... - FIL
Complexité de Problèmes: Les Propriétés NP, NP-dures et NP ... - FIL
Complexité de Problèmes: Les Propriétés NP, NP-dures et NP ... - FIL
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
La découverte <strong>de</strong> CookLa classe <strong>NP</strong>Définitiond’unepropriété <strong>NP</strong><strong>Les</strong>réductionspolynômiales<strong>Les</strong>propriétés<strong>NP</strong>-<strong>dures</strong> <strong>et</strong><strong>NP</strong>complètesProblèmes<strong>NP</strong>-dursUncatalogue...Que faireface à unproblème<strong>NP</strong>-dur?Cook fut le premier à découvrir... l’existence <strong>de</strong> propriétés<strong>NP</strong>-<strong>dures</strong>:Théorème <strong>de</strong> Cook3 − CNF − SAT est <strong>NP</strong>−complète.Rappel: 3 − CNF − SAT est le problème <strong>de</strong> la satisfiabilitéd’une formule sous forme conjonctive où chaque clausecontient 3 littéraux.(x 1 ∨x 2 ∨x 3 )∧(x 2 ∨¬x 3 ∨x 4 )∧(x 1 ∨x 2 ∨¬X 4 )∧(¬x 1 ∨¬x 2 ¬x 3 )
Change language