Télécharger (5Mb) - Université du Québec à Trois-Rivières
Télécharger (5Mb) - Université du Québec à Trois-Rivières
Télécharger (5Mb) - Université du Québec à Trois-Rivières
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
3. POLYOMINOS D'AIRE min + 1 92<br />
- Nous choisissons une équerrre ou un polyomino coin minimal pour un coin<br />
<strong>du</strong> banc dans la diagonale choisie;<br />
ous choisissons une équerre ou un polyomino coin minimal pour l'autre<br />
coin <strong>du</strong> banc dans la diagonale choisie.<br />
Nous sommes donc en présence d'une structure multiplicative de la forme<br />
{ équerre ou coin } x { banc } x { équerre ou coin }<br />
qui permet d'obtenir les polyominos d'aire min + 1 sur une diagonale. Pour<br />
obtenir les polyominos sur l'une ou l'autre diagonale, nous utilisons l'inclusionexclusion<br />
en prenant l'union des polyominos sur chaque diagonale et en soustrayant<br />
les polyominos appartenant aux deux diagonales. Les polyominos<br />
appartenant aux deux diagonales ont la structure multiplicative suivante,<br />
{ équerre } x { banc } x { équerre }.<br />
Ceci implique que l'ensemble de tous les polyominos inscrits d'aire min + 1<br />
est obtenu multiplicativement comme suit :<br />
fmin+l(b, k) = 2 { équerre ou coin} x { banc} x { équerre ou coin}<br />
- { équerre } x { banc } x { équerre }.<br />
La figure 3.22 illustre cette construction.<br />
Afin d'extraire la série génératrice Fmin+1(X, y), nous devons considérer séparément<br />
le cas des bancs dégénérés 2 x 2, car ces bancs possèdent des symètries<br />
qui sont absentes dans les bancs de plus grandes tailles.<br />
Cette description con<strong>du</strong>it <strong>à</strong> un théorème fondamental sur les polyominos<br />
d'aire min + 1.<br />
Théorème 3.7. Un polyomino est min+1 si et seulement s'il possède exac<br />
tement un banc.<br />
Démonstration. (=» Supposons P un polyomino min + l, si nous consz<br />
dérons P' un ri sous-polyominoi de P minimal. Un tel polyomino existe tou-