Rossi Problema Del Enlosado CsII
Rossi Problema Del Enlosado CsII
Rossi Problema Del Enlosado CsII
Trabajo de Investigacin
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:
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.
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.
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.
http://www.cs.cmu.edu/~dsheehy/research/sheehy05complexity.pdf