Interested Article - Натюрморт (конфигурация клеточного автомата)

Натюрмо́рт — класс конфигураций в «Жизни» — созданной Конвеем модели клеточного автомата .

Описание

В наиболее общей формулировке понятие «натюрморт» означает то же, что и «устойчивая фигура» — конфигурация «Жизни» или другого клеточного автомата, которая не изменяется в процессе эволюции . Иными словами, натюрморт является осциллятором периода 1 .

Терминология: натюрморты и псевдонатюрморты

Существует несколько близких по смыслу терминов, обозначающих не изменяющиеся в процессе эволюции конфигурации ( конфигурации, являющиеся собственными родителями ). Различия между ними связаны с ответом на следующие вопросы:

  1. Считается ли натюрмортом конфигурация, состоящая из двух независимых натюрмортов (например, двух блоков на достаточно большом расстоянии друг от друга)?
  2. Считается ли натюрмортом конфигурация, состоящая из двух частей, любую из которых можно удалить так, что вторая часть продолжит существовать?

В существующих словарях и онлайн-энциклопедиях приводятся следующие определения:

  • Устойчивый образец ( англ. stable pattern ) — объект, который является собственным родителем ;
  • Натюрморт ( англ. still life, strict still life ) — устойчивый объект, являющийся конечным и непустым , из которого нельзя выделить непустую устойчивую часть ;
  • Псевдонатюрморт ( англ. pseudo still life ) — устойчивый объект, не являющийся натюрмортом, в котором присутствует хотя бы одна мёртвая клетка, имеющая более трёх соседей всего, но меньше трёх соседей в каждом из содержащихся в объекте натюрмортов .

Точное определение «устойчивости» представляет интерес в контексте перечисления натюрмортов: например, согласно приведённым определениям, количество устойчивых конфигураций размера 8 (т.е. состоящих из 8 живых клеток) в «Жизни» бесконечно, так как пара блоков на любом расстоянии друг от друга является устойчивой; тем не менее, количество натюрмортов ограниченного размера считается конечным .

Псевдонатюрморт в «Жизни». Удаление одного из островов не влияет на стабильность второго острова.
«Строгий» натюрморт. Стабильность каждого из островов зависит от наличия другого острова.

Известно число натюрмортов и псевдонатюрмортов размера не выше 24 клеток .

Задача определения типа устойчивой конфигурации (натюрморт, псевдонатюрморт) решается за полиномиальное время путём поиска циклов в связанном кососимметричном графе .

Натюрморты в «Жизни»

В «Жизни» существует множество естественных натюрмортов.

Простые примеры

Блок

Наиболее распространённый натюрморт — блок — конфигурация в форме квадрата 2 × 2. Два блока, размещённые в прямоугольнике 2 × 5, образуют би-блок — простейший псевдонатюрморт. Блоки используются в качестве составных частей во множестве сложных устройств, например, в планерном ружье Госпера .

Блок
Би-блок

Улей

Второй по распространённости натюрморт — улей ( англ. hive, beehive ). Ульи часто возникают четвёрками в конфигурации, называемой па́секой ( англ. honey farm ) .

Улей
Па́сека

Каравай

Третий по распространённости натюрморт — каравай ( англ. loaf ). Караваи нередко появляются парами ( англ. bi-loaf ) . В свою очередь, двойные караваи также появляются в парах, называемых пека́рнями ( англ. bakery ) .

Каравай
Двойной каравай
Пекарня

Ящики, баржи, лодки, корабли

Ящик ( англ. tub ) состоит из четырёх живых клеток в окрестности фон Неймана центральной мёртвой клетки. Добавление одной живой клетки по диагонали к центральной клетке превращает ящик в лодку ( англ. boat ), а добавление симметрично ещё одной клетки — в корабль ( англ. ship ) . Естественное удлинение этих трёх конфигураций даёт баржу ( англ. barge ), длинную лодку ( англ. long-boat ) и длинный корабль ( англ. long-ship ) соответственно. Удлинение можно продолжать сколь угодно долго .

Слева направо: ящик, баржа, длинная баржа, ...
Слева направо: лодка, длинная лодка, ...
Слева направо: корабль, длинный корабль, ...

Из двух лодок можно составить ещё один натюрморт — лодочный бант ( англ. boat tie ), а из двух кораблей — корабельный бант ( англ. ship tie ) .

Лодочный бант
Корабельный бант

Другие натюрморты

Пожиратели и отражатели

Натюрморты можно использовать для модификации или разрушения других объектов. Пожиратель ( англ. eater ) способен уничтожить космический корабль и восстановиться после реакции. Отражатель ( англ. reflector ) вместо уничтожения космического корабля изменяет направление его полёта.

Отражатели и пожиратели не обязательно должны являться натюрмортами.

Максимальная плотность

Задача размещения в области n × n натюрморта с максимальным числом клеток привлекала к себе внимание программистов как задача программирования в ограничениях . При стремлении размера области к бесконечности живыми могут быть не более 50% клеток . На конечных квадратных областях можно достичь больших плотностей. Так, максимальная плотность натюрморта в квадрате 8 × 8 равна 36/64 = 0.5625 — эту плотность обеспечивает образец, состоящий из девяти блоков Для квадратов до 20 × 20 известны оптимальные решения .

Число натюрмортов

Число натюрмортов и псевдонатюрмортов в «Жизни» известно до размера в 24 клетки .

Число живых клеток Число натюрмортов Примеры
1 0
2 0
3 0
4 2 блок, ящик
5 1 лодка
6 5 баржа, авианосец, улей, корабль, змея
7 4 рыболовный крючок, каравай, длинная лодка
8 9 каноэ, манго, длинная баржа, пруд
9 10 знак интеграла
10 25 лодочный бант
11 46
12 121 корабельный бант
13 240
14 619 двойной каравай
15 1353
16 3286
17 7773
18 19044
19 45759 пожиратель 2
20 112243
21 273188
22 672172
23 1646147
24 4051711

Сноски

  1. Более строгие определения см. в разделе «Терминология».

Примечания

  1. . Словарь Жизни. Дата обращения: 11 августа 2013. 10 февраля 2013 года.
  2. . Life Lexicon. Дата обращения: 11 августа 2013. Архивировано из 20 февраля 2009 года.
  3. Eric Weisstein. . Treasure Trove of Life C.A.. Дата обращения: 11 августа 2013. (недоступная ссылка)
  4. Если ответ на этот вопрос положительный, то количество натюрмортов с ограниченным числом клеток бесконечно.
  5. Николай Белюченко. . 10 октября 2012 года.
  6. Stephen A. Silver. (англ.) . 26 мая 2013 года.
  7. . ConwayLife.com. Дата обращения: 11 августа 2013. 30 июля 2013 года.
  8. . Словарь Жизни. Дата обращения: 11 августа 2013. 10 февраля 2013 года.
  9. . Life Lexicon. Дата обращения: 11 августа 2013. Архивировано из 20 февраля 2009 года.
  10. . Словарь Жизни. Дата обращения: 11 августа 2013. 6 мая 2019 года.
  11. . Life Lexicon. Дата обращения: 11 августа 2013. Архивировано из 3 декабря 2014 года.
  12. Cook, Matthew (2003). "Still life theory". New Constructions in Cellular Automata . Santa Fe Institute Studies in the Sciences of Complexity, Oxford University Press. pp. 93—118.
  13. Естественный образец — объект, относительно часто возникающий в процессе развития случайной конфигурации.
  14. Achim Flammenkamp. . Дата обращения: 5 ноября 2008. 22 октября 2008 года.
  15. . Дата обращения: 11 августа 2013. 18 октября 2012 года.
  16. Клумова И. Н. // Квант . — 1974. — № 9 . — С. 26—30 . 4 марта 2016 года.
  17. . Словарь Жизни. Дата обращения: 11 августа 2013. 6 мая 2019 года.
  18. Не путать с космическим кораблём .
  19. Bosch, R. A. Integer programming and Conway’s game of Life (неопр.) // SIAM Review. — 1999. — Т. 41 , № 3 . — С. 594—604 . — doi : . .
  20. Bosch, R. A. Maximum density stable patterns in variants of Conway’s game of Life (англ.) // (англ.) : journal. — 2000. — Vol. 27 , no. 1 . — P. 7—11 . — doi : . .
  21. Smith, Barbara M. Principles and Practice of Constraint Programming - CP 2002 (англ.) : journal. — Springer-Verlag, 2002. — Vol. 2470 . — P. 89—94 . — doi : . .
  22. Bosch, Robert; Trick, Michael. Constraint programming and hybrid formulations for three Life designs (англ.) // (англ.) : journal. — 2004. — Vol. 130 , no. 1—4 . — P. 41—56 . — doi : . .
  23. Cheng, Kenil C. K.; Yap, Roland H. C. Applying ad-hoc global constraints with the case constraint to still-life (англ.) // Constraints : journal. — 2006. — Vol. 11 , no. 2—3 . — P. 91—114 . — doi : . .
  24. Elkies, Noam D. (1998). "The still life density problem and its generalizations". Voronoi's Impact on Modern Science, Book I . Proc. Inst. Math. Nat. Acad. Sci. Ukraine, vol. 21. pp. 228—253. arXiv : .
  25. J. Larrosa, E. Morancho and D. Niso. (англ.) // (англ.) : journal. — 2005. — Vol. 23 . — P. 421—440 . 16 июля 2011 года.
  26. Neil Yorke-Smith. . Artificial Intelligence Center . SRI International. Дата обращения: 11 августа 2013. 19 мая 2013 года.
  27. Niemiec, Mark D. . 21 января 2013 года.

Внешние ссылки

  • Николай Белюченко. . 10 октября 2012 года.
  • Stephen A. Silver. . 26 мая 2013 года.
Источник —

Same as Натюрморт (конфигурация клеточного автомата)