Ciencias de la Computacion II

Trabajo de Investigacin

El Problema del Enlozado

Rossi Esteban

Fecha 21/11/2011
1

Indice
Introduccin pag 3,4 1.0. La teora del problema del enlosado por Wang pag 5 1.1 Aplicaciones de la teora de Wang pag 5,6 1.3. Simulacin de Mquinas de Turing usando los azulejos.. pag 6 2. El problema del enlosado segn Roger Penrose.. pag 6,7 Bibliografa y webs consultadas.. pag 8

Introduccion
El problema del enlosado, o tambin llamado mosaico, baldosas, azulejo, ficha, teja o en ingles tiling problem. Describimos una definicin utilizada por Roger Penrose describiendo a que se llama enlosado diciendo que: dada una coleccin de formas poligonales, es posible cubrir todo el plano utilizando slo estas formas. Tal disposicin de las formas que se llama un mosaico. El enlosado se dice que es peridico si son exactamente repetitivos en dos direcciones diferentes (una direccin y su opuesto no se cuentan como diferentes). A primera vista, el problema es que si uno puede encontrar un mosaico del plano1 de forma que slo un azulejo sea no peridicamente. Una definicin un poco ms formal y hablando de matemticas en una rama llamada matemticas discretas el problema del enlosado comenzara explicando lo que se llama un tromino, este es un objeto formado por tres cuadrados como el que se observa en la figura:

Un tromino es un tipo de poliomino. Un poliomino de orden s consiste en S cuadros unidos en la orillas. Un tromino es un poliomino de orden 3. Tres cuadros en una fila forman solo otro tipo de poliomino de orden 3. Ahora veremos que presentando la prueba inductiva del matemtico Golomb [Golomb 1954] , que indica que si se quita un cuadro de un tablero de n x n, donde n es una potencia de 2, se puede enlosar con trominos el resto de los cuadros. Ejemplo:

Enlosado de un tablero deficiente de 4 x 4 con trominos

Enlosar una figura con trominos se refiere a un cubrimiento exacto de la figura con los trominos sin que ninguno de los trominos se traslape con otro o se extienda fuera de la figura. Un tablero al que le falta un cuadro se la llama tablero deficiente. Usando la induccin matemtica sobre k para probar que es posible enlosar un tablero deficiente de 2k x 2k con trominos.

Comenzando con este proceso, si k=1, el tablero deficiente de 2 x 2 es en s un tromino y por lo tanto se puede enlosar con un tromino. Una vez en el paso inductivo suponemos que se puede enlosar un tablero deficiente de 2k x 2k. Se debe probar que es posible enlosar un tablero deficiente de 2k+1 x 2k+1. Considerando ese tablero deficiente, se divide el tablero en cuatro tableros de 2k x 2k, como podemos ver en la figura

Empleo de la induccin matemtica Para enlosar un tablero deficiente de 2k+1 x 2k+1 con trominos

Si rotamos el trolero de manera que el cuadro que falta este en el cuadrante superior izquierdo. Por la superposicin inductiva, este tablero arriba a la izquierda de 2k x 2k se puede enlosar. Colocando un tromino T en el centro como se ve en la figura de arriba de manera que cada cuadro de T este en cada uno de los cuadrantes. S se consideran los cuadros cubiertos por T como faltantes, cada cuadrante es un tablero deficiente de 2k x 2k. De nuevo, por la suposicin inductiva, estos tableros se pueden enlosar. Ahora tenemos un enlosado del tablero 2k+1 x 2k+1. Por el principio de induccin matemtica, se concluye que cualquier tablero deficiente de 2k x 2k se puede enlosar con trominos, k=1,2,.. Si se puede enlosar un tablero deficiente de n x n, donde n no necesariamente es una potencia de 2 entonces el nmero de cuadros n2 -1 debe ser divisible entre 3. EL matemtico Chu demostr que el inverso es cierto, excepto cuando es 5. Con mayor precisin, si n<>5, cualquier tablero deficiente de n x n se puede enlosar con trominos si y solo si 3 es divisor de n2-1.

1.0. La teora del problema del enlosado por Wang

Un azulejo de Wang es una unidad cuadrada donde cada borde coloreado viene de un conjunto finito de colores. Un conjunto S de azulejos Wang se dice que es un mosaico del plano de la red si las copias de las baldosas de S se puede colocar, uno en cada posicin en la plano, de modo que los bordes de los colores de las casillas adyacentes sean del mismo color. Mltiples copias de cualquier pieza pueden ser utilizadas, con ninguna restriccin sobre el plano. Si permitimos que los azulejos puedan ser rotados o reflejados, ninguna sola baldosa de Wang puede embaldosar el plano en s mismo. La cuestin de si existe un mosaico para un determinado conjunto de fichas es interesante slo en el caso en el que no se permite la rotacin o reflexin, manteniendo as la orientacin fija de las baldosas. Este problema de decisin, llamado el problema de baldosas o de domin, se plante por primera vez en 1961por Wang en un artculo seminal. Tambin habl de la relacin de este problema con el problema de decisin para ciertas clases de frmulas de clculo de predicados derivados en el teorema automatizado de prueba. Wang incorrectamente conjetur que cada ficha establece que los azulejos del plano permitan a un mosaico peridico, es decir, tiene una traslacin simtrica. En base a esta suposicin, dio un procedimiento general para decidir el problema de baldosas. Su hiptesis fue refutada en 1966 por Berger (Matemtico) quien haba construido un conjunto de baldosas que slo permita un mosaico aperidico. l utiliz este azulejo establecido para mostrar que el problema del mosaico es indecidible. El conjunto de mosaicos de Berger era bastante grandes, ms de veinte mil azulejos, y su prueba un poco complicado. Robinson (Matemtico) logro reducir el nmero de fichas a poco ms de cincuenta y dio una prueba mucho ms sencilla de indecidibilidad. Anterior a consecuencia de Berger, Wang mostr una versin del problema del enlosado un poco ms restringida, donde slo se permiti una ficha determinada en el origen, para ser indecidible, reduciendo el problema de la parada. Esto y ms tarde el trabajo en enlosados dio un mtodo para la simulacin de las mquinas de Turing con azulejos, cambiando la manera de pensar de las baldosas como un modelo de computacin universal de Turing.

1.1. Aplicaciones de la teora de Wang

El inters en el enlosado, se ha renovado en los ltimos aos debido a dos hechos no relacionados. En primer lugar, los rpidos avances en el ADN terica y experimental del auto-ensamblaje permiten la construccin a nanoescala a aproximaciones fsicas a fichas de Wang que se pueden programar a baldosas de acuerdo con reglas simples. Esto permite realizar clculos en el tubo de ensayo, con ventajas como paralelismo masivo y la eficiencia energtica en las mquinas tradicionales de circuitos basados en silicio. Los intentos en el modelo y el estudio de auto-ensamblaje a travs de mosaicos fueron introducidos por Winfree (Bilogo), quien extendi los mosaicos de Wang mediante la adicin de un

mecanismo para el crecimiento del modelado. En segundo lugar, varios autores se han interesado en la prestacin de simple pruebas de la indecidibilidad del problema mosaico usando una tcnica llamada dos por dos sistemas de sustitucin. Estas pruebas proporcionan una intuicin ms profunda de cmo se establece la produccin de baldosas aperidicas y cmo se pueden disear.

1.3. Simulacin de Mquinas de Turing usando los azulejos

La simulacin de las mquinas de Turing usando los azulejos es una parte integral de las pruebas de indecibilidad de diversos problemas con azulejos. Estas simulaciones, sirven para q los mosaicos sigan el camino para ser considerados como modelos de computacin. La simulacin del funcionamiento de cualquier mquina de Turing arbitraria comenz en una cinta en blanco y lo utilizan para mostrar la indecidibilidad de una versin restringida del problema del enlosado, el origen del problema es donde una ficha en particular es forzada para que se produzca en el origen de cualquier mosaico en el plano. Esto se hizo por primera vez por Wang y ms tarde mejorado por Berger y Robinson. Tambin se muestran cmo comenz la simulacin de una mquina universal de Turing en una cinta de arbitraria mediante slo un nmero determinado de fichas. Esto se utilizar para mostrar la indecidibilidad del problema de ejecucin: dada una porcin finita de las baldosas puede ser completado para cubrir el plano, este problema fue planteado y resuelto.

2. El problema del enlosado segn Roger Penrose

El trabajo de Penrose sobre este problema se describe con cierto detalle en Quasicrystals and Kleenex, un artculo de la edicin la revista 16 of Plus. Una clase de problemas matemticos que se llama recursiva si existe un algoritmo para encontrar la respuesta en cada caso individual. Se le llama no recursivo si hay un s o ninguna respuesta a cada problema, pero no existe un algoritmo para decidir si la respuesta es s o no en cada caso individual. Se ha sabido durante unos cuarenta aos que no hay forma algortmica de decidir si una determinada coleccin de formas poligonales, se agruparn en el plano, es decir, el problema de baldosas no es recursivo. En primer lugar se demostr que s, cada vez que una coleccin de formas poligonales, o "tejas" puede embaldosar el plano de alguna manera, de la misma coleccin puede embaldosar el plano peridicamente, entonces el problema del enlosado tuvo que ser

recursivo. El siguiente paso fue que el problema de baldosas se ha demostrado no ser recursivo. Esto significaba que tena que haber una coleccin de formas poligonales que pueden embaldosar el plano, pero no slo peridicamente. La primera coleccin de azulejos que se encontr era absolutamente enorme - que contena 20.426. Varios matemticos encontraron colecciones ms pequeas, que culmin en el descubrimiento de Penrose de un par de fichas que embaldosar el plano slo de forma no peridica Penrose dice "Yo ya era consciente de ciertos patrones no peridicos de pentgonos y otras formas que son agradables a la vista. Lo que podramos llamar la inspiracin fue darse cuenta de que, mediante la modificacin de las formas en distintos tipos de formas, poniendo botones en como piezas de un rompecabezas, que podra obligar al patrn por las reglas locales de juego. Como modelo, me di cuenta de que antes, pero lo que requiere un poco ms, algo que yo supongo o algo por venir de otro lugar, fue que realizacin ". Como dice Penrose, uno de los aspectos interesantes del problema del enlosado es que es no computable. Agrega: "Es posible explicar no computabilidad en trminos relativamente sencillos, pero la gente casi siempre va del lado equivocado de la vara! Ellos te dicen, 'mustrame un problema que no puede resolver, pero no es as! Es una clase de problemas que no tienen soluciones sistemticas. Con el problema del enlosado, a veces me dicen que en las conversaciones, as que depende de la existencia de mosaicos no peridicos, y dar un ejemplo de como un mosaico. Y luego, al final de lo que habla la gente vienen y me dicen: 'cmo sabes cuales son los azulejos cuando el problema es no computable? pero ese no es el punto. El punto es que en un caso particular que pueda tener una forma de ver la solucin, pero no existe un procedimiento sistemtico que se podra poner en una mquina, que requiere un pensamiento ms. Penrose describe una analoga para compararla con el problema del enlosado y su no computabilidad, esta analoga es el hecho de que hay conjuntos no numerables, como los nmeros reales. Un conjunto se dice que es numerable si sus elementos pueden, en principio, ser listados. Un ejemplo es el de los nmeros naturales, 0, 1, 2,3,... Estamos seguros de que la lista que se obtiene mediante la adicin de uno hasta el ltimo elemento para obtener el siguiente elemento nos dar a todos los nmeros naturales. De hecho, los nmeros racionales son numerables (nmeros racionales son fracciones). Pero los nmeros reales - todos los nmeros en la recta numrica - no lo son. Cuando las personas aprenden por primera vez este hecho, son propensos a pensar en esa persona los nmeros reales son incontables, y al preguntar "cul es el nmero que no puede contar?", O "Qu pasa con la raz de 2?"! Pero ese no es el punto. Podramos aadir cualquier nmero real individuales al conjunto de los nmeros racionales y aun as tener una coleccin numerable, tal y como podemos ser capaces de demostrar los problemas individuales de una clase no algortmica de problemas.

Bibliografia y webs consultadas

Matemticas discretas de Richard Johnsonbaugh Popular lectures on mathematical logic de Hao Wang http://en.wikipedia.org/wiki/Penrose_tiling http://sbjoshi.wordpress.com/2008/07/31/rectangle-tiling-problem/ http://en.wikipedia.org/wiki/Wang_tile http://plus.maths.org/content/roger-penrose-knight-tiles http://goldenratio.wikidot.com/penrose-tiling http://www.fortunecity.com/emachines/e11/86/tourist7.html
http://www.cse.uconn.edu/~dqg/cse237/tiling.pdf http://rev-inv-ope.univ-paris1.fr/files/26105/IO-26105-8.pdf

http://www.cs.cmu.edu/~dsheehy/research/sheehy05complexity.pdf