« Principe des tiroirs » : différence entre les versions

On considère le cas où <math>n = 3</math>, c'est-à-dire que l'on essaie de ranger 4 pigeons dans 3 trous. Pour tout <math>p\in \{1,2,3,4\} </math> et tout <math>t \in \{1,2,3\}</math> on définit la [[variable booléenne]] <math>x_p^t</math> qui vaut <math>\mathtt{Vrai}</math> si le pigeon numéro <math>p</math> est dans le trou numéro <math>t</math> et qui vaut <math>\mathtt{Faux}</math> sinon<ref>{{Lien web|langue = français|titre = Le problème SAT|url = https://leria-info.univ-angers.fr/~jeanmichel.richer/uco_opt_combi_sat.php|site = [[AtlanSTIC#Le LERIA|leria-info.univ-angers.fr]]|auteur = Jean-Michel Richer}}, section 2.4.1 - le problème des pigeons.</ref>.