Gadget (informatique)
En informatique théorique, et plus précisément en théorie de la complexité, un gadget est un morceau d'une instance qui simule le comportement d'un autre problème algorithmique. Les gadgets sont utilisés dans les réductions, notamment pour démontrer la NP-dureté. La technique component design  est une méthode pour construire des réductions en utilisant des gadgets.

Selon Szabó , l'utilisation de gadgets remonte à un article de 1954, de W. T. Tuttle de théorie des graphes. Dans cet article, Tuttle propose des gadgets pour réduire le problème de recherche de sous-graphes au problème de couplage. Cependant la terminologie "gadget" semble avoir une origine plus récente et n'apparait pas dans l'article de Tuttle de 1954.

Exemple 

Dans cette section, nous allons donner les gadgets de la réduction du problème 3-SAT au problème de 3-coloration d'un graphe, comme donné dans le livre d'Oded Goldreich.

Notes et références 

Informatique théorique
En informatique théorique , et plus précisément en théorie de la complexité , un gadget est un morceau d' une instance qui simule le comportement d' un autre problème algorithmique . Les gadgets sont utilisés dans les réductions , notamment pour démontrer la NP-dureté . La technique component design est une méthode pour construire de les réductions en utilisant de les gadgets . Selon Szabó , l' utilisation de gadgets remonte à un article de de W. T. Tuttle de théorie de les graphes . Dans cet article , Tuttle propose de les gadgets pour réduire le problème de recherche de sous-graphes à le problème de couplage . Cependant la terminologie " gadget " semble avoir une origine plus récente et n' apparait pas dans l' article de Tuttle de Exemple Dans cette section , nous allons donner les gadgets de la réduction de le problèmeSAT à le problème decoloration d' un graphe , comme donné dans le livre d' Oded Goldreich . Notes et références Informatique théorique