You are here: Accueil -  Christian Louboutin Bruxelles classiques qui ont été établis comme

Christian Louboutin Bruxelles classiques qui ont été établis comme

Christian Louboutin Bruxelles

Dans cet article nous présentons un traitement étendue de problèmes de connectabilité de tuiles, parfois appelé problèmes de serpents domino. L'intérêt pour ces problèmes découle de leur relation aux problèmes de carrelage classiques, qui Christian Louboutin Pas Cher Avis ont été établis comme un outil important, simple et utile pour obtenir des résultats limite inférieure de base de la complexité et de la théorie de la calculabilité. Nous nous concentrons sur les deux résultats Christian Louboutin Bruxelles contrastés suivants: Le problème général de serpent est indécidable dans un demi-plan (en raison de Ebbinghaus), mais est décidable dans tout le plan. Ce résultat de décidabilité surprenant a été annoncé sans preuve par Myers en 1979. Nous fournissons ici la première preuve complète, et nous montrons que le problème est en fait PSPACE-complete.We prouver aussi de nombreux résultats concernant la difficulté de variantes de ces problèmes de serpents générales et leur extension aux serpents infinies. En outre, nous établissons une ressemblance entre les problèmes de serpents et les problèmes de carrelage classiques, en considérant les cas limitée, non bornés et récurrents correspondant.
0 Commentaires


Speak Your Mind