Résultats de la recherche

...{Lien web |auteur=David Mix Barrington and Alexis Maciel |titre=Lecture 7: NP-Complete Problems |url=http://people.clarkson.edu/~alexis/PCMI/Notes/lectur ...tres problèmes de satisfiabilité pour prouver leur NP-complétude<ref name="np-complete-problems" />{{,}}<ref>See also, for example, the informal proof gi ...

...ctions polynomiales]] sont utilisées pour démontrer que des problèmes sont NP-difficiles. Plus généralement, on démontre avec des réductions qu'un problè ...ité)|P]]''', alors ''A'' est aussi dans '''P'''<ref>{{Cormen2fr}} chap 34, NP-completude</ref>. ...

...[[P (complexité)|P]] <math>\scriptstyle\subseteq</math> [[NP (complexité)|NP]] <math>\scriptstyle\subseteq</math> [[PSPACE]] <math>\scriptstyle\subseteq ...o chapitre=2.6.2|titre chapitre=EXP and NEXP}}.</ref>, lié au [[problème P=NP]] : ...

...yle\subseteq</math> P <math>\scriptstyle\subseteq</math> [[NP (complexité)|NP]] <math>\scriptstyle\subseteq</math> PSPACE <math>\scriptstyle\subseteq</ma ...roblème dans PSPACE s'y réduit en temps polynomial. Un problème est PSPACE-complet s'il est dans PSPACE et il est PSPACE-difficile. ...

...mes qui ne sont ni [[P (complexité)|résolubles en un temps polynomial]] ni NP-complets, dont l'existence fut démontrée par le [[théorème de Ladner]]. La ...lème des huit dames]], le problème du [[théorème des quatre couleurs]], le jeu de [[sudoku]], la [[Problème SAT|satisfiabilité booléenne]] et le [[problè ...

...au contraire d'« indécidable » ou « incalculable ». Ainsi, considérons un jeu dans lequel un voyageur se déplace sur Terre avec, à chaque étape de son vo ...es complexités formelles. En particulier, un problème [[NP (complexité)|NP-complet]] est considéré comme tellement difficile qu'il est [[Conjecture|conjecturé ...

| type = [[Jeu vidéo de réflexion|réflexion]] Le '''Démineur''' (Minesweeper) est un [[jeu vidéo]] de [[Jeu vidéo de réflexion|réflexion]] dont le but est de localiser des [[Mine terr ...

...on de la capacité de chaque boîte pour avoir moins de variables entrant en jeu. == NP-complétude == ...

...éthode est très utilisée pour résoudre des [[problème NP-complet|problèmes NP-complets]], c'est-à-dire des problèmes considérés comme difficiles à résoud ...st l'unique élément de l'ensemble. Dans d'autres cas, il arrive que par le jeu des séparations, on arrive à un sous-problème dans lequel les décisions « d ...

...édiane (statistiques)|médiane]] quant à elle est le quantile qui sépare le jeu de données en deux groupes de même probabilité. ...èmes, ou 5 centièmes, etc. On les appelle encore '''fractiles''', synonyme complet selon le contexte d'usage, et ce sont les valeurs réciproques de la [[fonct ...

...rie des jeux|jeux]] à deux joueurs à information parfaite, notamment les [[Jeu de parité|jeux de parité]]<ref>André Arnold et Damian Niwiński, ''{{Langue| ...''model checking'' du mu-calcul est dans [[NP (complexité)|NP]] inter [[co-NP]]<ref name=":2" /> et est [[P (complexité)|P]]-dur. Un algorithme pour le ' ...

...te une classe importante de problèmes dits de [[NP (complexité)|complexité NP]]), alors il est possible à l'aide de cet algorithme d'accélérer notablemen Parmi les problèmes dans '''NP''' (et même [[NP-Complet|NP-complet]]) qui pourraient être résolus par cet algorithme se trouvent notamment : ...

...x formules booléennes quantifiées. Le problème QBF-SAT est [[PSPACE|PSPACE-complet]]<ref name=":0">{{Ouvrage|langue = en|auteur1 = |titre = Sipser, Michael (1 ...riables dans l'ordre des quantifications. Le joueur 1 gagne si à la fin du jeu la [[formule propositionnelle]] est vraie. Une formule QBF est satisfiable ...

# C'est un [[graphe complet]] à quatre sommets (K<small>4</small>). Il est planaire : si on déplace le # C'est un graphe complet à 5 sommets (K<small>5</small>). Il n'est pas planaire. ...

...problème algorithmique du chemin hamiltonien est [[Problème NP-complet|NP-complet]], i.e. difficile à résoudre dans un temps raisonnable dans le cas général. [[Fichier:Icosian grid small with labels2.svg|thumb|right|Plateau de jeu pour le ''{{langue|en|icosian game}}''.]] ...

...ques. En 1958, [[John Forbes Nash]] décrit un théorème qui assure que tout jeu à nombre de joueurs et stratégies finis possède un [[Équilibre_de_Nash|équi Cela signifie que n'importe quel jeu pourrait, en principe, atteindre un état de calme où personne n'aurait l'in ...

...a théorie de la [[Problème NP-complet|NP-complétude]] et du [[problème P = NP]]. Le problème SAT a aussi de nombreuses applications notamment en [[satisf ...taille linéaire en la formule initiale, le problème CNF-SAT est aussi [[NP-complet]]. ...

...e feront effectivement les joueurs placés dans la situation décrite par le jeu — même en supposant qu'ils sont rationnels. ...appelé « stratégie » — dans un ensemble qui est stipulé par les règles du jeu. Celles-ci précisent aussi quel est le gain, en monnaie ou en « utilité », ...

...ompris la recherche d'un ordre optimal pour la coloration gloutonne, est [[NP-difficile]]{{Sfnp|Maffray|2003}}. ...ef>. Reconnaître qu'un graphe est parfaitement ordonnable est également NP-complet{{Sfnp|Middendorf|Pfeiffer|1990}}. ...

...connus d'automates cellulaires, et il a été démontré qu'il est le [[Turing-complet]], donc un modèle de calcul universel. Les automates cellulaires ont été ap ...érimentales ont réussi à résoudre des cas plus complexes de problèmes [[NP-complet]]s, comme un cas à 20 variables de [[3-SAT]], et des implémentations d'ADN ...