Ver el código de «Hormiga de Langton»

{{Hormiga de Langton
| preview = WikiWidget-Formicarium.png
| autoplay = true
| width = 400
| height = 300
| ants = 0,0
| fallback = [[Archivo:LangtonsAntAnimated.gif|500px|thumb|Animación de los primeros 200 pasos de la hormiga de Langton.]]
}}

La '''hormiga de Langton''' es una [[máquina de Turing]] [[bidimensional]] con un conjunto de reglas muy sencillo, que sin embargo da lugar a [[Emergencia (filosofía)|comportamientos emergentes]] complejos.<ref>{{Cita publicación |título=Studying artificial life with cellular automata |apellido=Langton |nombre=Chris |publicación=Physica D: Nonlinear Phenomena |año=1986 |volumen=22 |número=1-3 |páginas=120–149 |doi=10.1016/0167-2789(86)90237-X}}</ref> La hormiga de Langton clásica opera sobre una [[grilla espacial|rejilla espacial]] cuadrada, en que cada celda puede estar en uno de dos estados (blanca o negra, 1 o 0, viva o muerta, etc). Fue inventada por [[Chris Langton]] en 1986 y su universalidad se demostró en el año 2000.<ref name="Complexity">{{Cita publicación |título=Complexity of Langton's ant |autor1=Gajardo, A. |autor2=Moreira, A. |autor3=Goles, E. |publicación=Discrete Applied Mathematics |año=2002 |url=http://www.dim.uchile.cl/~anmoreir/oficial/langton_dam.pdf |volumen=117 |número=1-3 |páginas=41-50 |doi=10.1016/S0166-218X(00)00334-6}}</ref> La idea ha sido generalizada de varias maneras, entre las que se encuentran [[turmite]]s que agregan más estados, así como reglas para agregar nuevos colores, rejillas tridimensionales<ref name="3D">{{Cita publicación |autor1=Hamann, Heiko |título= Definition and Behavior of Langton’s Ant in
Three Dimensions |publicación=Complex Systems |volumen=14 |páginas=263–268 |año=2008}}</ref> o finitas.

==Versión clásica==
[[Archivo:LangtonsAnt.svg|right|frame|Hormiga de Langton tras 11.000 pasos. Un pixel rojo muestra la posición de la hormiga]]

Cada cuadrado del entramado se colorea o bien blanco o bien negro. Se identifica arbitrariamente un cuadrado como la «hormiga». La hormiga siempre está mirando en una de las cuatro direcciones cardinales y se mueve un cuadrado cada vez, de acuerdo con las siguientes reglas:

*Si está sobre un cuadrado blanco, cambia el color del cuadrado, gira noventa grados a la izquierda y avanza un cuadrado.
*Si está sobre un cuadrado negro, cambia el color del cuadrado, gira noventa grados a la derecha y avanza un cuadrado.

La hormiga de Langton también se puede describir como un [[autómata celular]], donde la rejilla se pinta de blanco o negro y la hormiga se pinta de uno de ocho colores diferentes, dependiendo del color del cuadrado sobre el que esté y de la dirección en que esté mirando.<ref name="Complexity" />

==Comportamientos==
Las simples reglas que gobiernan a la hormiga de Langton llevan a comportamientos complejos que han sido objeto de múltiples investigaciones.<ref name="3D"/> Comenzando con una rejilla totalmente blanca, la versión clásica presenta tres tipos de comportamiento aparentes,:<ref>{{Cita libro |apellido=Practchett |nombre=Terry |título=The Science Of Discworld |año=1999}}</ref>
*Simplicidad: durante los primeros cientos de pasos, la hormiga crea patrones sencillos y frecuentemente simétricos.
*Caos: después de varios cientos de pasos, aparece un patrón grande e irregular. La hormiga sigue un camino aparentemente azaroso hasta los diez mil pasos.
*Orden emergente: finalmente la hormiga empieza a construir una «avenida», un patrón de 104 pasos que se repite indefinidamente.

===Conjetura de Cohen-Kong===
Todas las configuraciones finitas puestas a prueba, convergen eventualmente al mismo patrón repetitivo, sugiriendo que la «avenida» es una suerte de [[atractor]] de la hormiga de Langton, pero todavía nadie ha podido demostrar si eso es cierto para todas las configuraciones iniciales finitas, esta es la conjetura de Cohen-Kong.<ref>{{Cita publicación|título=Recurrence properties of Lorentz lattice gas cellular automata|url=https://archive.org/details/sim_journal-of-statistical-physics_1992-04_67_1-2/page/289|publicación=Journal of Statistical Physics|volumen=67|número=1-2|páginas=289–302|doi=10.1007/BF01049035|año=1992|autor1=Bunimovich, Leonid A.|autor2=Troubetzkoy, Serge E.}}</ref> Solo se sabe que la trayectoria de la hormiga no tiene un límite, sin importar la configuración inicial, tal como lo demuestran Bunimovitch y Troubetzkoy.<ref>{{Cita publicación|url=http://dev.whydomath.org/Reading_Room_Material/ian_stewart/AntyParticles.pdf|título=The Ultimate in Anty-Particles|nombre=I.|publicación=Sci. Amer.|volumen=271|páginas=104–107|año=1994|apellido=Stewart|fechaacceso=17 de noviembre de 2014|urlarchivo=https://web.archive.org/web/20160303211426/http://dev.whydomath.org/Reading_Room_Material/ian_stewart/AntyParticles.pdf|fechaarchivo=3 de marzo de 2016}}</ref>

====Demostración====
Para demostrar el teorema de Bunimovitch-Troubetzkoy, es necesario primero hacer una observación:
[[Archivo:Clasificacion de las celdas.png|thumb|Clasificación de las celdas de la grilla según su dirección de entrada]]
Los movimientos de la Hormiga de Langton se alternan entre verticales y horizontales, esto permite clasificar las celdas de la rejilla en dos conjuntos: uno es el de las celdas a las que se entra horizontalmente y se sale verticalmente (llamadas celdas H) y otro es el de las celdas a las que se entra verticalmente y se sale horizontalmente (llamadas celdas V).

Suponiendo que existiera una hormiga con trayectoria [[Acotado|acotada]], esta hormiga solo podría visitar un número finito de estados (hasta 4 direcciones y 2 colores por cada celda en la trayectoria). Por lo tanto, debido a que la hormiga se mueve infinitamente, en algún momento ha de repetir un estado y a partir de este momento quedará atrapada infinitamente en un ciclo. Además, como dicho ciclo es de longitud finita, tiene que ser acotado y por lo tanto tiene «esquinas», en particular debe tener esquinas «inferiores-izquierdas» es decir, celdas cuyas vecinas inferior e izquierda no forman parte del ciclo.

[[Archivo:Teorema de Cohen kung.png|thumb|Explicación gráfica de la demostración del Teorema de Bunimovitch-Troubetzkoy|left]]

Al tomar una de estas esquinas, es posible ver que la segunda vez que el ciclo pasa por ella (el ciclo pasa por ella infinitas veces) su color es blanco si es una celda H (pues solo pudo haber entrado por su vecina derecha y girado 90° a favor de las manecillas del reloj para salir por su vecina superior) o negro si es una celda V (porque solo pudo haber entrado por su vecina superior y girado 90° en contra de las manecillas del reloj para salir por la derecha). Hay que tener en cuenta que al pasar por esta celda, su color cambia, y por lo tanto, la próxima vez que el ciclo pase por ella será negra si es una celda H y blanca si es una celda V, sin embargo esto es una contradicción, pues de ser una celda H tiene que llegar por su vecina derecha (pues la izquierda no forma parte del ciclo) y, si es de color negro, la hormiga gira a la izquierda y saldría por la vecina inferior (que no forma parte tampoco del ciclo), mientras que si se tratara de una celda V, tiene que llegar por la vecina superior (la inferior no está en el ciclo) y, al ser blanca, gira a la derecha y sale por la vecina izquierda (que tampoco lo está). En cualquiera de los dos casos, la hormiga tendría que llegar a una celda que no forma parte del ciclo, pero esto no es posible.

Esta contradicción permite concluir que tal ciclo no existe y por lo tanto la trayectoria de la hormiga de Langton no puede estar [[Acotado|acotada]].

==Extensión a varios colores==
[[Greg Turk]] y [[Jim Propp]] propusieron que las reglas de la versión clásica fueran generalizadas para permitir que los cuadrados tomen más de dos colores,<ref name="Colors">{{Cita publicación |título=Further Travels with my Ant |autor1=Gale, D. |autor2=Propp, J. |autor3=Sutherland, S. |autor4=Troubetzkoy, S. |publicación=Mathematical Intelligencer |año=1995 |url=http://www.math.stonybrook.edu/preprints/ims95-1.pdf |volumen=17|páginas=48-56}}</ref> en donde cada color está asociado a un sentido de giro (90° a la derecha «D» o 90° a la izquierda «I»). Así, por ejemplo, la hormiga «DDII» se mueve en una rejilla bidimensional cuyas celdas se alternan entre cuatro colores, los dos primeros indican un giro a la derecha y los dos siguientes un giro a la izquierda, mientras que la versión clásica sería bajo esta nomenclatura la hormiga «DI».

La introducción de nuevos colores da lugar a comportamientos distintos a los observados en la versión clásica, por ejemplo, algunas hormigas como la «DDII» genera siempre patrones simétricos, mientras que otras, como la hormiga «DID» crece de forma caótica (de hecho, se desconoce si en algún momento llega a generar una avenida).

<gallery caption="Algunos ejemplos de los patrones producidos por Hormigas de Langton con más de 2 colores:">
Image:LangtonsAnt-nColor_RLR_13937.png|DID: crece caóticamente. Se desconoce si en algún momento construye una avenida.
Image:LangtonsAnt-nColor_LLRR_123157.png|IIDD: crece simétricamente.
Image:LangtonsAnt-nColor_LRRRRRLLR_70273.png|IDDDDDIID: forma patrones cuadrados a su alrededor y los rellena.
Image:LangtonsAnt-nColor_LLRRRLRLRLLR_36437.png|IIDDDIDIDIID: crea una avenida intrincada.
Image:LangtonsAnt-nColor_RRLLLRLLLRRR_32734.png|DDIIIDIIIDDD: crea patrones triangulares cada vez más grandes.
</gallery>

A pesar de comportamientos tan variados, el Teorema de Bunimovitch-Troubetzkoy sigue siendo válido para cualquier hormiga construida de esta manera (siempre y cuando tenga al menos una D y una I en su cadena característica). Esto quiere decir que el recorrido de una hormiga no está limitado a un espacio finito y, entre otras cosas, esto implica que ninguna hormiga genera caminos cíclicos repetitivos.

===Numeración de las hormigas===
Además de extender las reglas para múltiples colores, Turk y Propp introdujeron una nomenclatura que a cada una de estas hormigas le asigna un entero.<ref name="Colors"/> Esta nomenclatura obvía las simetrías, por ejemplo, teniendo en cuenta que las hormigas «IID» y «DDI» se comportan de manera [[Isomorfismo|isomorfa]], a ambas se les asigna el mismo número y se estudian como si fueran la misma.

Para calcular el número de una hormiga, se toma la cadena equivalente que empiece por «I» y luego se reemplazan las «I» por 1 y las «D» por 0. El resultado se convierte de binario a decimal y el resultado es un número que define sin ambigüedad la hormiga inicial.

{{ecuación|<math>\text{``DDID''} \rightarrow \text{``IIDI''} \rightarrow 1101_2 \rightarrow 13_{10}</math>||left}}

===Condiciones para la simetría===

Cuándo Propp realizó pruebas con hormigas generadas por cadenas de longitud cuatro y menores, notó la aparición de patrones simétricos,<ref name="">{{Cita publicación |título=Further Ant-ics |autor1=Gale, D. |autor2=Propp, J. |publicación=Mathematical Intelligencer |año=1995  |volumen=16|páginas=36-42}}</ref> situación que en la versión clásica apenas se da un par de veces durante los primeros doscientos pasos y no vuelve a suceder. Las hormigas «IIDD» y «IDDI» (con números doce y nueve respectivamente) eran las que se comportaban de esta peculiar manera. Después, al realizar pruebas con hormigas de longitudes cinco y seis, aparecieron otras hormigas con comportamientos simétricos («IDDDDI», «IDDIII», «IIDDDD», «IIDDII», «IIIDDI» y «IIIIDD», con números 33, 39, 48, 51, 57 y 60) halló una regularidad conocida como la «propiedad de las subcadenas de longitud par» («even run lenght property» en inglés), que consiste en que, vista cíclicamente, la cadena característica de todas estas hormigas está compuesta por parejas de letras iguales (es decir, la longitud de todas las subcadenas maximales de letras iguales es par). Posteriormente se demostró que estas observaciones no fueron casualidad, y que en efecto, cualquier hormiga generada a partir de una cadena que cumpla con esta propiedad generará patrones simétricos con centro en la posición inicial.<ref name = "Colors"/>

Una consecuencia, también visible en los ejemplos con hormigas de longitud menor o igual a seis, es el hecho de que el número correspondiente a todas estas hormigas es divisible por tres, esto se ve explicado en que <math>3_{10} = 11_2</math> y por lo tanto, el criterio de divisibilidad por tres, para números escritos en binario, es equivalente al criterio de divisibilidad por 11 para números en base 10 (ver [[Divisibilidad#Criterios_de_divisibilidad|Criterios de divisibilidad]] y [[Aritmética modular]]).

==Extensión a 3 dimensiones y rejillas finitas==
Basándose en la extensión a varios colores, [[Leonid Bunimovich]] plantea además la posibilidad de poner a la hormiga de Langton en una rejilla tridimensional.<ref name = "3D"/> La idea consiste en añadir dos posibles sentidos de giro (90° hacia arriba «A» y 90° hacia abajo «B»), así cada color está asociado a uno de los cuatro posibles sentidos («I», «D», «A» o «B») y la hormiga se puede mover por fuera de su plano inicial. Las cadenas características de hormigas de Langton en tres dimensiones deben tener al menos tres letras de longitud, pues de tener dos podría ser una hormiga bidimensional («ID» y «AB») o cíclica («IA», «IB», «DA» y «DB»).

El estudio de estas hormigas exige más recursos de cómputo (tiempo y memoria), de manera que resultan difíciles de analizar. Aun así, la experimentación ha permitido observar que estas hormigas comparten varias características con la versión de dos dimensiones, en especial la tendencia de muchas de ellas a generar avenidas.

===Rejillas finitas===
También se ha intentado estudiar el comportamiento de la hormiga de Langton en espacios finitos, haciendo que cuando la hormiga sale por un costado de la rejilla aparezca en la celda correspondiente del lado opuesto. Esta construcción es equivalente a colocar una hormiga de Langton sobre una rejilla en la superficie de un [[Toro (geometría)|toro]]. Las hormigas en espacios finitos también tienden a generar avenidas, sin embargo estas se ven interrumpidas cuándo la hormiga se encuentra con su propio rastro. Aun así, tras la colisión eventualmente vuelve a generar una nueva carretera.

En el estudio de hormigas de Langton en espacios finitos hay varias preguntas sin resolver, entre estas:
*¿Cualquier Hormiga de Langton, sin importar el estado inicial de la rejilla, visita cada una de sus celdas?.
*¿La probabilidad de que la hormiga esté en una celda está distribuida uniformemente o tiende a concentrarse en una región?
*¿Cuál es la mínima longitud de la cadena característica de una hormiga que alcance un estado final dado si la rejilla es inicialmente blanca? (esto es equivalente a preguntarse para un estado dado cuál es la mínima longitud de una hormiga que al empezar en la posición inicial deje totalmente blanca la rejilla).

==Universalidad==
En el año 2000, Gajardo et al. mostraron una construcción que calcula cualquier [[Circuito digital|circuito binario]] usando la trayectoria de una única hormiga de Langton.<ref name="Complexity"/> En términos de la teoría de la computación, esto quiere decir que el problema de saber si la trayectoria de una hormiga de Langton clásica pasa alguna vez por una celda dada, es [[P-Hard]] (pues reduce un problema [[P-completo]], el cálculo de un circuito binario). Por lo tanto, sería posible simular una [[máquina de Turing]] usando la trayectoria de la hormiga. Esto significa que la hormiga es capaz de computación universal, lo cual también implica que hay  [[Problema_indecidible|problemas indecidibles]] acerca del comportamiento de la hormiga de Langton clásica.

==Véase también==
*[[Turmite]]
*[[Juego de la vida]]

==Referencias==
{{listaref}}

{{Control de autoridades}}
[[Categoría:Vida artificial]]
[[Categoría:Máquinas de Turing]]