Цитируя Википедию , «[Игра Жизни Конвея] обладает мощью универсальной машины Тьюринга: то есть все, что может быть вычислено алгоритмически, может быть вычислено в Игре Жизни Конвея».
Распространяются ли такие результаты на шумные версии игры жизни Конвея? Простейшая версия состоит в том, что после каждого раунда каждая живая клетка умирает с малой вероятностью а каждая мертвая клетка становится живой с малой вероятностью (независимо).с
Другой возможностью является рассмотрение следующего вероятностного варианта правила самой игры.
- Любая живая клетка с менее чем двумя живыми соседями умирает с вероятностью .
- Любая живая клетка с двумя или тремя живыми соседями живет с вероятностью для следующего поколения.
- Любая живая клетка с более чем тремя живыми соседями умирает с вероятностью .
- Любая мертвая клетка с ровно тремя живыми соседями становится живой клеткой с вероятностью .
Вопрос: Поддерживают ли эти шумные версии Game of Life универсальные вычисления? Если нет, что можно сказать об их «вычислительной мощности»?
Также будет высоко оценена соответствующая информация о вычислительной мощности клеточных автоматов и зашумленных версиях клеточных автоматов.
(Этот вопрос возник из этого вопроса о MathOverflow. Ответ Винсента Беффары на МО дал интересные ссылки на связанные результаты по вычислительным аспектам шумных клеточных автоматов.)
Ответы:
Вот несколько «лучших» ссылок, которые того стоят. Казалось бы, путь к этому вопросу состоит в том, чтобы свести его к вопросу о «шумных машинах Тьюринга», которые были изучены (несколько недавно) и которые, по-видимому, являются ближайшей соответствующей областью литературы. Основной / общий / разумный ответ, по-видимому, заключается в том, что, если ТМ может сопротивляться / исправлять шум (как показано в этих ссылках), вполне вероятно, что ЦС также может, в пределах некоторых границ / порогов.
Вопрос о том, как уменьшить «шумный ЦС» до «шумного ТМ» (и наоборот), более открыт. Это может быть не сложно, но, похоже, не опубликовано исследований в этой области. Другая проблема заключается в том, что зашумленная ТМ - это новая модель, и поэтому может быть несколько (естественных?) Способов представления зашумленной ТМ. Например, в следующих статьях рассматриваются сбои в функции перехода состояний, но другая естественная модель - это сбои в символах ленты (последние более связаны с шумными ЦС?). Там может быть некоторая связь между ними.
источник
Гил спрашивает, не забывает ли GL все о своей начальной конфигурации во времени, не зависящем от размера, когда каждая ячейка «не подчиняется» функции перехода независимо от других ячеек с некоторой малой вероятностью.
Насколько мне известно, это не известно для GL. Это очень интересный вопрос. Если он может противостоять шуму, то он должен сохранить свою универсальность.
Краткий обзор современного уровня техники заключается в следующем.
источник
Для начала имейте в виду, что исследования в игре «Жизнь жизни» Конвея все еще продолжаются, и будущие разработки могут представлять собой гораздо менее сложное решение.
Сейчас, когда. Интересно, что эта тема на самом деле соответствует биологии и квантовой физике так же, как и традиционной компьютерной науке. Суть вопроса в том, может ли какое-либо устройство эффективно противостоять случайным изменениям своего состояния. Ответ прост и понятен: невозможно создать такую машину, которая идеальноустойчив к таким случайным изменениям. Конечно, это верно во многом так же, как квантовая механика могла вызвать, казалось бы, невозможные события. То, что препятствует тому, чтобы эти события произошли (ведущий большинство людей объявить их строго невозможными), является невероятно маленькой вероятностью, что такое событие имеет место. Вероятность, сделанная настолько малой из-за большой разницы между квантовым уровнем и уровнем человека. Аналогичным образом можно создать конечный автомат, устойчивый к малым степеням случайных изменений, просто сделав его настолько большим и избыточным, что любое замеченное «изменение» фактически равно нулю, но предполагается, что это не является целью. Предполагая, что это может быть достигнуто так же, как животные и растения устойчивы к радиации или физическим повреждениям.
В таком случае вопрос может заключаться не в том, как предотвратить низкоуровневые помехи от нанесения слишком большого ущерба, а скорее в том, как оправиться от максимально возможного ущерба. Здесь биология становится актуальной. Животные и растения на самом деле обладают этой самой способностью на клеточном уровне (обратите внимание: я говорю о клетках в биологическом смысле в этом ответе). Теперь, в игре жизни Конвея, идея создания вычислительного устройства в масштабе отдельных клеток это привлекательно (в конце концов, это делает такие создания намного меньше и эффективнее), но хотя мы можем создавать самовоспроизводящиеся компьютеры ( см. Близнецы ), это игнорирует тот факт, что сам объект-конструктор может быть поврежден возмущениями.
Другой, более устойчивый способ решения этой проблемы - создание компьютеров из самовоспроизводящихся избыточных частей (например, биологических клеток), которые выполняют свои операции, воспроизводят и заменяются.
В этот момент мы можем увидеть еще одну интересную параллель реального мира. Эти низкоуровневые помехи сродни воздействию радиации. Это наиболее заметно, если учесть тип повреждения, которое может быть нанесено вашим клеточным автоматам. Легко вызвать сбой каскада или «смерть» клетки в игре жизни Конвея, почти так же, как это происходит со многими клетками, подвергающимися воздействию радиации. Но существует наихудшая возможность мутации, в результате которой создается «раковая» клетка, которая продолжает воспроизводить свои поврежденные копии, которые не помогают в вычислительном процессе или дают неверные результаты.
Как я уже говорил, невозможно создать систему, которая полностью защищена от ошибок, вы можете только снизить вероятность того, что система скомпрометирует всю систему. Конечно, фундаментальный вопрос здесь действительно заключается в том, «являются ли вероятностное моделирование самим по Тьюрингу полным», что уже было решено, чтобы быть правдой . Сначала я бы ответил на этот фундаментальный вопрос, если бы не тот вопрос, который вы задали.
источник
Мне напомнили о xkcd 505: куча камней .
Любой реальный компьютер подвержен некоторому уровню шума. Имитация универсального компьютера в идеальной бесконечной вселенной Жизни Конвея будет иметь среднее время между отказами в зависимости от технических деталей его конструкции. Он будет надежно вычисляться в течение вероятностно измеряемого периода, ненадежно в течение периода накопления ошибок, а затем и вовсе не будет .
Я ожидал бы, что нечеткая логика или модель квантовой суперпозиции ясно продемонстрируют, какую надежность следует ожидать от конкретной конструкции. Можно хотеть смоделировать ожидаемые выходные данные различных компонентов, а не выполнять итерацию по всем их ячейкам, в какой бы степени они не были изолированы друг от друга. Можно было бы определить количество ожидаемых помех от неисправных компонентов. Генетический алгоритм должен быть наилучшим способом разработки отказоустойчивых, сопротивляющихся, исправляющих компонентов с MTBF, настолько большими, насколько это необходимо для данного распределения шума.
источник