24.06.2013 Views

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

SHOW MORE
SHOW LESS

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-

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!