Fichier:3SAT-3COL reduction.svg
Taille de cet aperçu PNG pour ce fichier SVG : 720 × 522 pixels. Autres résolutions : 320 × 232 pixels | 640 × 464 pixels | 1 024 × 742 pixels | 1 280 × 928 pixels | 2 560 × 1 856 pixels.
Fichier d’origine (Fichier SVG, nominalement de 720 × 522 pixels, taille : 9 kio)
Ce fichier et sa description proviennent de Wikimedia Commons.
Description
| Description |
English: Gadgets for an NP-completeness proof of graph 3-coloring, by reduction from 3-Satisfiability. The variable and clause gadgets are shown on the upper and lower left, respectively, and the right side of the figure shows the complete reduction for the instance (x ∨ y ∨ ~z) ∧ (~x ∨ ~y ∨ z) with three variables and two clauses. This reduction is from Oded Goldreich, Computational Complexity: A Conceptual Perspective, Cambridge University Press, 2008, Proposition 2.27, p. 81. |
| Date | |
| Source | Travail personnel |
| Auteur | David Eppstein |
Conditions d’utilisation
Moi, en tant que détenteur des droits d’auteur sur cette œuvre, je la publie sous la licence suivante :
 
|
Ce fichier est disponible selon les termes de la licence Creative Commons CC0 Don universel au domaine public. |
| La personne qui a associé une œuvre avec cet acte l’a placée dans le domaine public en renonçant mondialement à tous ses droits sur cette œuvre en vertu des lois relatives au droit d’auteur, ainsi qu’à tous les droits juridiques connexes et voisins qu’elle possédait sur l’œuvre, sans autre limite que celles imposées par la loi. Vous pouvez copier, modifier, distribuer et utiliser cette œuvre, y compris à des fins commerciales, sans qu’il soit nécessaire d’en demander la permission.
|
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 27 février 2012 à 23:41 | | 720 × 522 (9 kio) | David Eppstein | {{Information |Description ={{en|1=Gadgets for an NP-completeness proof of graph 3-coloring, by reduction from 3-Satisfiability. The variable and clause gadgets are shown o... |
Utilisation du fichier
La page suivante utilise ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur en.wikipedia.org
- Utilisation sur pt.wikipedia.org
