Pavages du plan : indecidabilite et periodicite. - LARA - Libre accès aux rapports scientifiques et techniques
Rapport (Rapport De Recherche) Année : 1995

Pavages du plan : indecidabilite et periodicite.

Résumé

We study some decision problems concerning the tiling of the plane with Wang tiles. We present a proof for the undecidability of the tiling problem for the whole plane, and also for the periodic tiling. In these poofs, an aperiodic tile set is constructed. We are interested in the second part in the link between the cardinality of possible tilings of the plane with a given tile set and the existence of a periodic tiling. We are also interested in the property of quasiperiodicity and prove that all tile sets that tile the plane, may tile the plane quasiperiodically.
Nous nous intéressons à des problèmes de décidabilité des pavages du plan par des tules de Wang. Nous étudions le problème du pavage du plan avec une tuile imposée à l'origine et nous montrons que ce problème est indécidable. Ensuite, nous donnons une preuve de l'indécidabilité du pavage du plan ; la démonstration de ce résultat nous permet d'exhiber un jeu de tuiles apériodique. Enfin, nous montrons l'indécidabilité du pavage périodique du plan. Nous étudions dans la suite des problèmes liés à la périodicité. Dans les constructions précédentes, nous avons vu qu'il existe au moins un jeu de tuiles apériodique. Ceci nous amène à nous intéresser au lien entre la cardinalité de l'ensemble des pavages possibles pour un certain jeu de tuiles et la périodicité d'un des pavages donné par ce jeu. Finalement, nous nous intéressons à la généralisation de la notion de périodicité qu'est la quasipériodicité et nous prouvons que tout ensemble de tuiles pavant le plan permet de le paver quasipériodiquement.
Fichier principal
Vignette du fichier
RR1995-28.pdf (480.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02102097 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02102097 , version 1

Citer

Cyril Allauzen, Bruno Durand. Pavages du plan : indecidabilite et periodicite.. [Rapport de recherche] LIP RR-1995-28, Laboratoire de l'informatique du parallélisme. 1995, 2+28p. ⟨hal-02102097⟩
71 Consultations
77 Téléchargements

Partager

More