Hay un problema realmente importante en los autómatas celulares llamado el problema Mayoritario :
El problema mayoritario o la tarea de clasificación de densidad es el problema de encontrar reglas de autómatas celulares unidimensionales que realicen con precisión el voto mayoritario.
...
Dada una configuración de un autómata celular de dos estados con un total de celdas i + j, i de las cuales están en el estado cero yj de las cuales están en el estado único, una solución correcta al problema de votación eventualmente debe establecer todas las celdas en cero si i> j y eventualmente debe establecer todas las celdas en una si i <j. El estado eventual deseado no se especifica si i = j.
Aunque se ha demostrado que ningún autómata celular puede resolver el problema mayoritario en todos los casos, existen muchas reglas que pueden resolverlo en la mayoría de los casos. El autómata Gacs-Kurdyumov-Levin tiene una precisión de aproximadamente el 78% con condiciones iniciales aleatorias. La regla GKL no es complicada:
- Radio de 3, lo que significa que el nuevo estado de la celda depende de 7 celdas anteriores: en sí, las 3 celdas a la derecha y las 3 celdas a la izquierda.
- Si una celda está actualmente
O
, su nuevo estado es la mayoría de sí misma, la celda a su izquierda y la celda 3 pasos a su izquierda. - Si una celda está actualmente
1
, su nuevo estado es la mayoría de sí misma, la celda a su derecha y la celda 3 pasos a su derecha.
Aquí hay un ejemplo:
0 1 0 1 1 1 0 1 1 0 1 0 0 1
0 1 1 1 1 1 1 1 0 0 1 1 0 0
0 1 1 1 1 1 1 1 1 0 1 0 0 0
0 1 1 1 1 1 1 1 0 1 0 1 0 0
0 1 1 1 1 1 1 0 1 0 1 0 1 0
0 1 1 1 1 1 0 1 0 1 0 1 1 1
1 1 1 1 1 0 1 0 1 1 1 1 1 1
1 1 1 1 0 1 1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1 1 1 1
En este ejemplo, el autómata celular calculó correctamente que 8> 6. Otros ejemplos toman períodos de tiempo más largos y producen algunos patrones interesantes mientras tanto. A continuación hay dos ejemplos que encontré al azar.
0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1
1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1
Llévandolo al siguiente nivel
Por lo que mi investigación en Internet ha demostrado, casi toda la investigación académica sobre el problema mayoritario se realizó con AC de 2 estados. En este desafío, vamos a expandir el problema mayoritario a las AC de 3 estados . Llamaré a esto el problema de la pluralidad . La pluralidad , o mayoría relativa, se refiere a la condición en la que una de las opciones tiene más votos que cada una de las alternativas, pero no necesariamente una mayoría de todos los votos.
Planteamiento del problema
- Hay un autómata celular 1D de 3 estados con radio 3.
- Hay 151 celdas con una condición de contorno circular.
- Estas celdas tienen un estado inicial aleatorio, con la única condición de que 1 de los 3 estados tenga una pluralidad estricta. "Aleatorio" significa una distribución uniforme independiente para cada celda.
- La precisión de una regla es el porcentaje de condiciones iniciales aleatorias (válidas) en las que todas las celdas se sincronizan con el estado correcto (el que tiene pluralidad) dentro de 10000 generaciones .
- El objetivo es encontrar una regla con alta precisión,
Casos extremos de pluralidad: cualquier configuración con 50/50/51 es una configuración de inicio válida (ya que existe una pluralidad estricta), mientras que cualquier configuración con 51/51/49 no es válida (ya que no existe una pluralidad estricta).
El espacio de búsqueda es 3 ^ 3 ^ 7 (~ 3e1043), muy fuera del alcance de cualquier búsqueda exhaustiva. Esto significa que deberá utilizar otras técnicas, como algoritmos genéticos, para resolver este problema. También tomará algo de ingeniería humana.
La regla de generación 10000 está sujeta a cambios, dependiendo de los tiempos de ejecución / precisión de las reglas que las personas encuentran. Si es demasiado bajo para permitir tasas razonables de convergencia, entonces puedo aumentarlo. Alternativamente, puedo bajarlo para que sirva de desempate.
Victorioso
El ganador es la persona que presenta la regla CA de radio 3 con la mayor precisión de todos los concursantes.
Su envío debe incluir ...
- Una descripción de la regla (usando el código Wolfram si es necesario)
- La tasa de precisión y el tamaño de la muestra.
- Una explicación de tamaño razonable de cómo descubrió la regla, incluidos los programas que escribió para resolverla, o cualquier ingeniería "manual". (Esta es la parte más interesante, ya que todo lo demás son solo números en bruto).
Trabajo prioritario
- Un artículo de Juille y Pollack , que describe cómo evolucionaron una regla de 2 estados con un 86% de precisión.
- Este artículo utilizó r = 3, 149 celdas, CA de 2 estados. No trató sin embargo a la mayoría resuelve el problema, pero en lugar de encontrar rápidamente las reglas que resultan en una alternancia de todo-
1
-todos-0
patrón. A pesar de estas diferencias, sospecho que muchas técnicas serán similares. - Un documento (no muy útil porque está detrás de un muro de pago) de Wolz y de Oliviera, que actualmente tienen el récord de 2 estados