Jump to content

Занятой бобер

В теоретической информатике игра занятого бобра направлена ​​на поиск завершающей программы заданного размера, которая выдает максимально возможный результат. [1] Поскольку легко придумать программу с бесконечным циклом, производящую бесконечный вывод или работающую бесконечное время, такие программы исключаются из игры. Иногда это также формулируют как поиск машины, которая работает дольше всех, но обе игры одинаково сложны. [2]

Точнее, игра занятого бобра состоит из разработки останавливающейся машины Тьюринга с алфавитом {0,1}, которая записывает на ленту наибольшее количество единиц, используя только заданный набор состояний. Правила игры с двумя состояниями следующие:

  1. машина должна иметь не более двух состояний помимо состояния остановки, и
  2. лента изначально содержит только 0.

Игроку следует придумать таблицу переходов, стремящуюся к максимально длинному выходному сигналу в 1 с на ленте, при этом гарантируя, что машина в конечном итоге остановится.

занятой n-й бобер , BB- n или просто «занятый бобер» — это машина Тьюринга, которая выигрывает игру занятого бобра с n состояниями. То есть она достигает наибольшего числа единиц среди всех других возможных конкурирующих машин Тьюринга с n -состояниями. шагов . Например, машина Тьюринга BB-2 получает четыре единицы за шесть

Определить количество единиц или время работы n-го Busy Beaver невозможно . Это имеет значение для теории вычислимости , проблемы остановки и теории сложности . Эта концепция была впервые представлена ​​Тибором Радо в его статье 1962 года «О невычислимых функциях». [1]

Игра [ править ]

Игра n занятого бобра с состояниями (или BB -n игра ), представленная в статье Тибора Радо 1962 года, включает в себя класс машин Тьюринга , каждый член которых должен соответствовать следующим конструктивным спецификациям:

  • Машина имеет n «рабочих» состояний плюс состояние «Останов», где n — целое положительное число, и одно из n состояний считается стартовым. (Обычно состояния обозначаются цифрами 1, 2, ..., n , причем состояние 1 является начальным состоянием, или A , B , C , ..., состояние A является начальным состоянием.)
  • Машина использует одну двустороннюю бесконечную (или неограниченную) ленту.
  • Алфавит ленты — {0, 1}, где 0 служит пустым символом.
  • машины Функция перехода принимает два входа:
  1. текущее состояние без остановки,
  2. символ в текущей ячейке ленты,
и производит три вывода:
  1. символ для записи поверх символа в текущей ячейке ленты (это может быть тот же символ, что и перезаписанный символ),
  2. направление перемещения (влево или вправо; то есть сдвиг к ячейке ленты на одно место влево или вправо от текущей ячейки) и
  3. состояние перехода (которое может быть состоянием остановки).

Таким образом, имеется (4 n + 4) 2 н Машины Тьюринга с n состояниями соответствуют этому определению, поскольку общий вид формулы следующий: ( символы × направления × ( состояния + 1)) ( символы × состояния ) .

Функцию перехода можно рассматривать как конечную таблицу из 5 кортежей, каждый из которых имеет форму

(текущее состояние, текущий символ, символ для записи, направление сдвига, следующее состояние).

«Запуск» машины состоит из запуска в начальном состоянии, где текущей ячейкой ленты является любая ячейка пустой ленты (все 0), а затем итерации функции перехода до тех пор, пока не будет введено состояние «Остановка» (если вообще когда-либо). Если и только если машины машина в конце концов останавливается, то количество единиц, окончательно оставшихся на ленте, называется счетом .

Игра «Занятый бобр» с n состояниями (BB- n ) — это соревнование по поиску такой машины Тьюринга с n состояниями, которая имеет максимально возможный результат — наибольшее количество единиц на ленте после остановки. Машина, которая набирает максимально возможный балл среди всех машин Тьюринга с n -состояниями, называется занятым бобром с n -состояниями, а машина, результат которой является лишь самым высоким из достигнутых на данный момент результатов (возможно, не самым большим из возможных), называется чемпионом с n -состояниями. машина.

Учитывая эти правила, при любом переходе в состояние «Остановка» запись 1 всегда дает более высокий балл, чем запись 0. При переходе в состояние «Остановка» необходимо учитывать только одно направление, поскольку конечное положение ленты не влияет на оценку. Поэтому на практике количество рассматриваемых машин Тьюринга с n - состояниями можно сократить до (4 n + 1). 2 н . раз Пространство поиска можно дополнительно сократить в ( n - 1) ! отметив, что окончательный результат не меняется при перестановке всех состояний, кроме «Старт» и «Остановка».

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

Связанные функции [ править ]

Функция занятого бобра Σ [ править ]

Функция занятого бобра количественно определяет максимальный балл, который может получить занятый бобр по заданному показателю. Это невычислимая функция . Кроме того, можно показать, что занятая функция бобра растет асимптотически быстрее, чем любая вычислимая функция. [3]

Функция занятого бобра, , определяется так, что Σ( n ) представляет собой максимально достижимую оценку (максимальное количество единиц, наконец, на ленте) среди всех останавливающихся 2-символьных машин Тьюринга с n состояниями описанного выше типа при запуске на пустой ленте.

Ясно, что Σ является четко определенной функцией: для каждого n существует не более конечного числа с n машин Тьюринга состояниями, как указано выше, с точностью до изоморфизма, следовательно, не более конечного числа возможных времен работы.

Эта бесконечная последовательность Σ является функцией занятого бобра , и любая с n 2-символьная машина Тьюринга M состояниями , для которой σ ( M ) = Σ( n ) (т. е. которая достигает максимального значения), называется занятым бобром . Обратите внимание, что для каждого n существует не менее 4( n - 1)! n - состояние занятых бобров. (Для любого занятого бобра с n состояниями другое получается путем простого изменения направления сдвига при останавливающемся переходе, третье - путем равномерного изменения всех направлений сдвига, а четвертое - путем изменения направления остановки занятого бобра, в котором все заменены местами. Кроме того, перестановка всех состояний, кроме «Старт» и «Остановка», дает машину, которая набирает один и тот же балл. Теоретически может быть более одного типа перехода, ведущего к состоянию остановки, но на практике это было бы расточительно, поскольку существует только одна последовательность состояний. переходы, дающие искомый результат.)

Невычислимость [ править ]

Статья Радо 1962 года доказала, что если — любая вычислимая функция , то Σ( n ) > f ( n ) для всех достаточно больших n , и, следовательно, Σ не является вычислимой функцией.

Более того, это означает, что невозможно решить с помощью общего алгоритма , является ли произвольная машина Тьюринга занятым бобром. (Такой алгоритм не может существовать, потому что его существование позволило бы вычислить Σ, что является доказанной невозможностью. В частности, такой алгоритм можно использовать для построения другого алгоритма, который будет вычислять Σ следующим образом: для любого заданного n каждый из конечное число 2-символьных машин Тьюринга с n состояниями будет тестироваться до тех пор, пока не будет найден занятый бобер с n состояниями; затем эта занятая машина бобра будет смоделирована для определения ее оценки, которая по определению равна Σ( n ).)

Несмотря на то, что Σ( n ) является невычислимой функцией, существуют некоторые малые n , для которых можно получить ее значения и доказать, что они верны. Нетрудно показать, что Σ(0) = 0, Σ(1) = 1, Σ(2) = 4, и со все большей трудностью можно показать, что Σ(3) = 6 и Σ(4) = 13 (последовательность A028444 в OEIS ). Σ( n ) еще не была определена ни для одного случая n > 4, хотя нижние границы были установлены (см. раздел « Известные значения» ниже).

В 2016 году Адам Йедидиа и Скотт Ааронсон получили первую (явную) верхнюю оценку минимального n, для которого Σ( n ) недоказуемо в ZFC . Для этого они построили штат 7910. [4] Машина Тьюринга, поведение которой не может быть доказано на основе обычных аксиом теории множеств ( теория множеств Цермело–Френкеля с аксиомой выбора ), при разумных гипотезах непротиворечивости ( стационарное свойство Рамсея ). [5] [6] Затем Стефан О'Рир сократил его до 1919 штатов, устранив зависимость от стационарной собственности Рэмси. [7] [8] а затем в 748 штатов. [9] В июле 2023 года Рибель сократил его до 745 штатов. [10] [11]

Сложность и недоказуемость Σ [ править ]

Вариант колмогоровской сложности определяется следующим образом: [12] Сложность — это наименьшее количество состояний, необходимое для машины Тьюринга класса BB , числа n которая останавливается на одном блоке из n последовательных единиц на изначально пустой ленте. Соответствующий вариант теоремы Чайтина о неполноте утверждает, что в контексте данной аксиоматической системы для натуральных чисел существует число k такое, что ни одно конкретное число не может иметь сложность, превышающую k , и, следовательно, не существует конкретной верхней границы может быть доказано для Σ( k ) (последнее связано с тем, что «сложность n больше k » была бы доказана, если бы было доказано n > Σ( k ) . Как упоминалось в цитируемой ссылке, для любой аксиоматической системы «обычной математики» наименьшее значение k , для которого это верно, намного меньше 10⇈10 ; следовательно, в контексте обычной математики ни значение, ни верхняя граница Σ(10⇈10) не могут быть доказаны. ( Первая теорема Гёделя о неполноте иллюстрируется этим результатом: в аксиоматической системе обычной математики существует истинное, но недоказуемое предложение вида Σ(10⇈10) = n , и существует бесконечно много истинных, но недоказуемых предложений вида Σ(10⇈10) < n .)

Функция максимального смещения S [ править ]

В дополнение к функции Σ Радо [1962] ввел еще одну экстремальную функцию для машин Тьюринга, функцию максимального сдвига , S определенную следующим образом:

  • s ( M ) = количество сдвигов, которые делает перед остановкой, для любого M En M ,
  • S ( п ) знак равно Макс { s ( M ) | M En 2 } = наибольшее число сдвигов, сделанных любой останавливающейся -символьной машиной Тьюринга с n состояниями.

Поскольку от этих машин Тьюринга требуется сдвиг при каждом переходе или «шаге» (включая любой переход в состояние остановки), функция максимальных сдвигов в то же время является функцией максимальных шагов.

Радо показал, что S невычислима по той же причине, по которой невычислима Σ: она растет быстрее, чем любая вычислимая функция. Он доказал это, просто заметив, что для каждого S n ( n ) ≥ Σ( n ). Каждый сдвиг может записать на ленту 0 или 1, тогда как Σ подсчитывает подмножество сдвигов, на которых записана 1, а именно те, которые не были перезаписаны к моменту остановки машины Тьюринга; следовательно, S растет по крайней мере так же быстро, как Σ, которая, как уже было доказано, растет быстрее, чем любая вычислимая функция.

Следующая связь между Σ и S была использована Лин и Радо [ Компьютерные исследования проблем машины Тьюринга , 1965] для доказательства того, что Σ(3) = 6: Для данного n , если S ( n ) известно, то все n -состояния Машины Тьюринга (в принципе) могут работать до S ( n ) шагов, после чего любая машина, которая еще не остановилась, никогда не остановится. В этот момент, наблюдая, какие машины остановились с наибольшим количеством единиц на ленте (т. е. занятые бобры), можно получить из их лент значение Σ( n ). Подход, использованный Лином и Радо для случая n = 3, заключался в предположении, что S (3) = 21, а затем в моделировании всех существенно разных автоматов с тремя состояниями за 21 шаг. Анализируя поведение машин, которые не остановились в течение 21 шага, им удалось показать, что ни одна из этих машин никогда не остановится, тем самым доказав гипотезу о том, что S (3) = 21, и определив, что Σ(3) = 6 по формуле только что описанную процедуру.

Неравенства, связывающие Σ и S, включают следующие (из [Ben-Amram, et al., 1996]), которые справедливы для всех n ≥ 1 :

и асимптотически улучшенная оценка (из [Ben-Amram, Petersen, 2002]): существует константа c такая, что для всех n 2

имеет тенденцию быть близко к квадрату , и ведь многие машины дают меньше, чем .

Σ S Известные и значения

По состоянию на 2016 год значения функций для Σ( n ) и S ( n ) точно известны только для n < 5 . [6]

Нынешний (по состоянию на 2023 год) занятый чемпион по бобрам в 5 штатах производит 4098 единиц, используя 47 176 870 шагов (открыт Хайнером Марксеном и Юргеном Бунтроком в 1989 году), но остается много машин с нерегулярным поведением, которые, как полагают, никогда не останавливаются. , но не доказано, что они работают бесконечно. В разных источниках указывается разное количество таких несогласных. Скелет перечисляет 42 или 43 непроверенных машины. [13]

На данный момент рекордный чемпион шести штатов производит более 10⇈15 [14] (найден Павлом Кропицем в 2022 году). Как отмечалось выше, это двухсимвольные машины Тьюринга.

Милтон Грин в своей статье 1964 года «Нижняя граница сигма-функции Радо для двоичных машин Тьюринга» построил набор машин Тьюринга, демонстрирующих, что

где ↑ — обозначение Кнута, направленное вверх , а A функция Аккермана .

Таким образом

3 3 3 = 7 625 597 484 987 членов в экспоненциальной башне), и

где число g 1 — это огромное начальное значение в последовательности, определяющей число Грэма .

В 1964 году Милтон Грин разработал нижнюю оценку функции Busy Beaver, которая была опубликована в материалах симпозиума IEEE 1964 года по теории коммутационных цепей и логическому проектированию. Хайнер Марксен и Юрген Бунтрок описали это как «нетривиальную (не примитивно рекурсивную) нижнюю границу». Эту нижнюю границу можно вычислить, но она слишком сложна, чтобы ее можно было выразить в виде одного выражения в терминах n . Когда n = 8, метод дает

Σ(8) ≥ 3 × (7 × 3 92 - 1) / 2 ≈ 8.248×10 44 .

Из текущих нижних границ можно вывести следующее:

Напротив, лучшая текущая (по состоянию на 2023 год) нижняя граница Σ(6) составляет 10⇈15, что больше нижней границы, заданной формулой Грина, 3 3 = 27 (что очень мало по сравнению с этим). На самом деле она намного больше нижней границы: 3⇈3 = 3 3 3 = 7 625 597 484 987 , что является первой нижней границей Грина для Σ(8), а также намного превышает вторую нижнюю границу: 3×(7×3 92 −1)/2.

Доказательство невычислимости S ( n ) и Σ( n ) [ править ]

Предположим, что S ( n ) — вычислимая функция, и пусть EvalS обозначает TM, оценивающую S ( n ). Учитывая ленту с n 1, она создаст S ( n ) 1 на ленте, а затем остановится. Пусть Clean обозначает машину Тьюринга, очищающую последовательность единиц, изначально записанную на ленте. Пусть Double обозначает функцию вычисления машины Тьюринга n + n . Учитывая ленту с n 1, она создаст 2 n на ленте 1, а затем остановится. Создадим композицию Double | ЭвалС | Очистите и пусть n 0 — количество состояний этой машины. Пусть Create_n 0 обозначает машину Тьюринга, создающую n 0 1 на изначально пустой ленте. Эту машину можно сконструировать тривиальным образом так, чтобы она имела n 0 состояний (состояние i записывает 1, перемещает головку вправо и переключается в состояние i + 1, за исключением состояния n 0 , которое останавливается). Обозначим через N сумму n 0 + n 0 .

Обозначим через BadS композицию Create_n 0 | Двойной | ЭвалС | Чистый . Обратите внимание, что эта машина имеет N состояний. Начиная с изначально пустой ленты, он сначала создает последовательность из n 0 1, а затем удваивает ее, создавая последовательность из N 1. Затем BadS создаст на ленте S ( N )1 и, наконец, очистит все единицы, а затем остановится. Но фаза очистки будет продолжаться не менее S ( N ) шагов, поэтому время работы BadS строго больше S ( N ), что противоречит определению функции S ( n ).

Невычислимость Σ( n ) может быть доказана аналогичным образом. В приведенном выше доказательстве необходимо заменить машину EvalS на EvalΣ и Clean на Increment — простой TM, ищущий на ленте первый 0 и заменяющий его 1.

Невычислимость S ( n ) также может быть установлена ​​с помощью проблемы остановки пустой ленты. Проблема остановки пустой ленты — это проблема решения для любой машины Тьюринга, остановится она или нет при запуске на пустой ленте. Проблема остановки пустой ленты эквивалентна стандартной проблеме остановки и поэтому также невычислима. Если бы S ( n ) было вычислимо, то мы могли бы решить проблему остановки пустой ленты, просто запустив любую данную машину Тьюринга с n состояниями для S ( n ) шагов; если оно до сих пор не остановилось, то никогда не остановится. Итак, поскольку проблема остановки пустой ленты невычислима, отсюда следует, что S ( n ) также должно быть невычислимым.

Обобщения [ править ]

Для любой модели вычислений существуют простые аналоги занятого бобра. Например, обобщение машин Тьюринга с n состояниями и m символами определяет следующие обобщенные функции занятого бобра :

  1. Σ( n , m ): наибольшее количество ненулевых символов, которые можно напечатать машиной с n- состоянием и m -символом, запущенной на изначально пустой ленте перед остановкой, и
  2. S ( n , m ): наибольшее количество шагов, выполненных машиной с n -состоянием и m -символом, начатой ​​на изначально пустой ленте перед остановкой.

Например, самая долго работающая трехсимвольная машина с тремя состояниями, найденная на данный момент, делает 119 112 334 170 342 540 шагов, прежде чем остановиться. [15] Самая продолжительная машина с 6 состояниями и 2 символами, имеющая дополнительное свойство переворачивать значение ленты на каждом шаге, выдает 6147 единиц после 47 339 970 шагов. [ нужна ссылка ] Итак, для класса Обратной машины Тьюринга (RTM) [16] S РТМ (6) ≥ 47 339 970 и Σ РТМ (6) ≥ 6 147 .

Функцию занятого бобра можно дополнительно обобщить, распространив ее на более чем одно измерение.

Аналогичным образом мы могли бы определить аналог функции Σ для регистровых машин как наибольшее число, которое может присутствовать в любом регистре при остановке для заданного количества инструкций.

Точные значения и нижние границы [ править ]

В следующей таблице перечислены точные значения и некоторые известные нижние оценки для S ( n , m ) и Σ( n , m ) для обобщенных задач занятого бобра. Примечание: записи отмечены знаком "?" ограничены снизу максимумом всех записей слева и сверху. Эти машины либо не исследовались, либо впоследствии были заменены машинами меньшего размера.

Значения S( n , m )
н
м
2-государственный 3-государственный 4-штатный 5-штат 6-штат
2-символ 6 21 107 47 176 870 > 10⇈15
3-символ 38 119 112 334 170 342 540 > 1,0 × 10 14 072 ? ?
4-символ 3 932 964 > (2↑ 15 5)+14 ? ? ?
5-символ > 1,9 × 10 704 ? ? ? ?
6-символ > 10⇈10⇈10 10 115 ? ? ? ?
Значения Σ( n , m )
н
м
2-государственный 3-государственный 4-штатный 5-штат 6-штат
2-символ 4 6 13 4098 > 10⇈15
3-символ 9 374 676 383 > 1,3 × 10 7036 ? ?
4-символ 2050 ≥ (2↑ 15 5)+14 [17] ? ? ?
5-символ > 1,7 × 10 352 ? ? ? ?
6-символ > 10⇈10⇈10 10 115 ? ? ? ?

Тьюринга Недетерминированные машины

Максимальное время остановки и состояния из p -case, 2-state, 2-color NDTM [18]
п шаги государства
1 2 2
2 4 4
3 6 7
4 7 11
5 8 15
6 7 18
7 6 18

Задачу можно распространить на недетерминированные машины Тьюринга , ища систему с наибольшим количеством состояний во всех ветвях или ветвь с самым длинным числом шагов. [18] Вопрос о том, остановится ли данный NDTM, по-прежнему неразрешим с вычислительной точки зрения, и вычисления, необходимые для поиска занятого бобра NDTM, значительно больше, чем в детерминистическом случае, поскольку существует несколько ветвей, которые необходимо учитывать. Для системы с 2 состояниями и 2 цветами с p случаями или правилами в таблице справа указано максимальное количество шагов до остановки и максимальное количество уникальных состояний, созданных NDTM.

Приложения [ править ]

Помимо создания довольно сложной математической игры , функции занятого бобра предлагают совершенно новый подход к решению чисто математических задач. Многие открытые проблемы математики теоретически, но не на практике, могут быть решены систематическим способом, учитывая значение S ( n ) для достаточно большого n . [19]

Рассмотрим любую гипотезу , которую можно опровергнуть с помощью контрпримера среди счетного числа случаев (например, гипотезу Гольдбаха ). Напишите компьютерную программу, которая последовательно проверяет эту гипотезу на предмет увеличения значений. В случае гипотезы Гольдбаха мы последовательно рассматривали бы каждое четное число ≥ 4 ​​и проверяли, является ли оно суммой двух простых чисел. Предположим, что эта программа моделируется на машине Тьюринга с n состояниями. Если он находит контрпример (четное число ≥ 4, которое не является суммой двух простых чисел в нашем примере), он останавливается и указывает на это. Однако если гипотеза верна, то наша программа никогда не остановится. (Эта программа останавливается, только если находит контрпример.)

Теперь эта программа моделируется машиной Тьюринга с n состояниями, поэтому, если мы знаем S ( n ), мы можем решить (за конечный промежуток времени), остановится ли она когда-либо или нет, просто запустив машину на такое количество шагов. И если после S ( n ) шагов машина не остановится, мы знаем, что она никогда не остановится и, следовательно, не существует контрпримеров к данной гипотезе (т. е. не существует четных чисел, не являющихся суммой двух простых чисел). Это докажет, что гипотеза верна.

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

  • Чрезвычайно сложно доказать значения функции занятого бобра (и функции максимального сдвига). Это было доказано только для очень маленьких машин с менее чем пятью состояниями, тогда как предположительно потребуется как минимум 20-50 состояний. [ нужна ссылка ] сделать полезную машину. Более того, каждое известное точное значение S ( n ) было доказано путем перечисления каждой машины Тьюринга с n состояниями и проверки того, останавливается ли каждая из них. пришлось бы вычислить S ( n ) каким-то менее прямым методом. Чтобы это действительно было полезно,
  • Но даже если бы кто-то нашел лучший способ вычисления S ( n ), значения функции занятого бобра (и функции максимального сдвига) станут очень большими и очень быстро. С (6) > 10 36,534 для завершения моделирования уже требуется специальное ускорение на основе шаблонов. Точно так же мы знаем, что – гигантское число и S (17) > Σ(17) > G > g 1 , где G – число Грэма – огромное число. Таким образом, даже если бы мы знали, скажем, S (30), совершенно неразумно запускать какую-либо машину на такое количество шагов. В известной части Вселенной недостаточно вычислительных мощностей, чтобы напрямую выполнить даже S (6) операций. [20]

Известные случаи [ править ]

Была построена двоичная машина Тьюринга с 745 состояниями, которая останавливается тогда и только тогда, когда ZFC несовместим. [10] [11] Была построена машина Тьюринга с 744 состояниями, которая останавливается тогда и только тогда, когда гипотеза Римана ложна. [7] [21] Была построена машина Тьюринга с 43 состояниями, которая останавливается тогда и только тогда, когда гипотеза Гольдбаха ложна, а машина с 27 состояниями для этой гипотезы была предложена, но еще не проверена. [7] [21]

Была построена машина Тьюринга с 15 состояниями, которая останавливается тогда и только тогда, когда следующая гипотеза, сформулированная Полом Эрдешем в 1979 году, неверна: для всех n > 8 существует хотя бы одна цифра 2 в представлении числа 2 по основанию 3. н . [22] [23]

Примеры [ править ]

Показывает первые 100 000 временных шагов лучшего на данный момент занятого бобра с 5 состояниями. Оранжевый — «1», белый — «0» (изображение сжато по вертикали).

Это таблицы правил для машин Тьюринга, генерирующих Σ(1) и S (1), Σ(2) и S (2), Σ(3) (но не S (3)), Σ(4) и S. (4) и наиболее известную нижнюю оценку для Σ(5) и S (5), а также Σ(6) и S (6).

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

Каждая машина начинается в состоянии A с бесконечной ленты, содержащей все 0. Таким образом, начальный символ, считанный с ленты, равен 0.

позиции Ключ результата: (начинается с подчеркнутой позиции , заканчивается в подчеркнутой )

Занятый бобр с 1 состоянием и 2 символами
А
0 ч
1 (не используется)

Результат: 0 0 1 0 0 (1 шаг, всего одна «1»)

Занятый бобр с 2 состояниями и 2 символами [ нужна ссылка ]
А Б
0 Б А
1 Б ч

Результат: 0 0 1 1 1 1 0 0 (6 шагов, всего четыре единицы)

Анимация занятого бобра с 3 состояниями и 2 символами
Занятый бобр с 3 состояниями и 2 символами [24] [25]
А Б С
0 Б С С
1 ч Б А

Результат: 0 0 1 1 1 1 1 1 0 0 (14 шагов, всего шесть единиц).

предыдущих машин, эта занята только для Σ, но не для S. В отличие от ( С (3) = 21.)

Анимация занятого бобра с 4 состояниями и 2 символами
Занятый бобр с 4 состояниями и 2 символами
А Б С Д
0 Б А ч д
1 Б С д А

Результат: 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 (107 шагов, всего тринадцать единиц)

текущий лучший претендент на 5 штатов, 2 символа (возможно, занятой бобер)
А Б С Д И
0 Б С д А ч
1 С Б Э д А

Результат: 4098 «1» с 8191 «0», разбросанными по 47 176 870 шагам.

Обратите внимание на изображение справа, насколько это решение качественно похоже на эволюцию некоторых клеточных автоматов .

текущий лучший претендент на 6 штатов и 2 символа [15] [14]
А Б С Д И Ф
0 Б С С Э Ф С
1 Д Ф А ч Б Э

Результат: 1 0 1 1 1 ... 1 1 1 («10» с последующими более чем 10↑↑15 последовательными «1» за более чем 10↑↑15 шагов, где 10↑↑15=10 10 . . 10 , показательная башня из 15 десятков).

Визуализации [ править ]

В следующей таблице правила для каждого занятого бобра (максимизирующего Σ) представлены визуально: оранжевые квадраты соответствуют цифре «1» на ленте, а белые соответствуют «0». Положение головы обозначено черным овалом, а ориентация головы представляет состояние. Отдельные ленты раскладываются горизонтально, с течением времени сверху вниз. Состояние остановки представлено правилом, которое отображает одно состояние само на себя (голова не движется).

Эволюция занятых бобров с 1-4 состояниями.
Правила для занятого бобра с 1 состоянием
Правила для занятого бобра с двумя состояниями
Правила для занятого бобра с 3 состояниями
Правила для занятого бобра с 4 состояниями
Эволюция занятого бобра с 1 состоянием до остановки. Начальное состояние вызывает остановку, перед завершением записывается одна цифра «1».
Эволюция занятого бобра с двумя состояниями до остановки
Эволюция занятого бобра с тремя состояниями до остановки
Эволюция занятого бобра с 4 состояниями вплоть до остановки. Нижняя строка левого изображения переносится на верхнюю строку правого изображения. На последнем этапе перед остановкой записывается «1» (не показано).

См. также [ править ]

Примечания [ править ]

  1. ^ Jump up to: Перейти обратно: а б Радо, Тибор (май 1962 г.). «О невычислимых функциях» (PDF) . Технический журнал Bell System . 41 (3): 877–884. дои : 10.1002/j.1538-7305.1962.tb00480.x .
  2. ^ Вайсштейн, Эрик В. «Занятой бобер» . Вольфрам Математический мир . Проверено 21 ноября 2023 г.
  3. ^ Чайтин (1987)
  4. ^ Адам Едидиа и Скотт Ааронсон (май 2016 г.). Относительно небольшая машина Тьюринга, поведение которой не зависит от теории множеств (технический отчет). Массачусетский технологический институт. arXiv : 1605.04343 . Бибкод : 2016arXiv160504343Y .
  5. ^ Арон, Джейкоб. «Эта машина Тьюринга должна работать вечно, если математика не ошибается» . Проверено 25 сентября 2016 г.
  6. ^ Jump up to: Перейти обратно: а б Версия от 3 мая содержала 7918 состояний: «8000-е число Busy Beaver ускользает от теории множеств ZF» . Shtetl-Оптимизированный блог . 03 мая 2016 г. Проверено 25 сентября 2016 г.
  7. ^ Jump up to: Перейти обратно: а б с «Три объявления» . Shtetl-Оптимизированный блог . 03 мая 2016 г. Проверено 27 апреля 2018 г.
  8. ^ «GitHub — sorear/metamath-turing-machines: счетчики доказательства метаматематики и другие вещи» . Гитхаб . 2019-02-13.
  9. ^ «Оживленный бобровый фронтир» (PDF) .
  10. ^ Jump up to: Перейти обратно: а б «Жизнь, ведение блога и функция Busy Beaver продолжаются» . 05.07.2023 . Проверено 27 августа 2023 г.
  11. ^ Jump up to: Перейти обратно: а б «Неразрешимость BB (748)» (PDF) . Проверено 27 августа 2023 г.
  12. ^ Булос, Берджесс и Джеффри, 2007. «Вычислимость и логика»
  13. ^ «Скетч-страница для проблемы Busy Beaver» . skelet.ludost.net .
  14. ^ Jump up to: Перейти обратно: а б BB(6, 2) > 10↑↑15 статья, доказывающая эту оценку.
  15. ^ Jump up to: Перейти обратно: а б Страница соревнований Паскаля Мишеля Busy Beaver , на которой перечислены лучшие известные претенденты.
  16. ^ «Обратная машина Тьюринга» . skelet.ludost.net . Проверено 10 февраля 2022 г.
  17. ^ Лигоцки, Шон (22 мая 2024 г.). «BB(3, 4) > Подтверждение(14)» . слигоцкий .
  18. ^ Jump up to: Перейти обратно: а б Вольфрам, Стивен (4 февраля 2021 г.). «Многосторонние машины Тьюринга» . www.wolframphysicals.org .
  19. ^ Чайтин 1987
  20. ^ Ллойд 2001. Вычислительная мощность Вселенной .
  21. ^ Jump up to: Перейти обратно: а б Павлус, Джон (10 декабря 2020 г.). «Как самые медленные компьютерные программы выявляют фундаментальные ограничения математики» . Журнал Кванта . Проверено 11 декабря 2020 г.
  22. ^ Тристан Стерин и Дэмиен Вудс (июль 2021 г.). О сложности знания занятого бобра значений ВВ(15) и ВВ(5,4) (Технический отчет). Университет Мейнут. arXiv : 2107.12475 .
  23. ^ Эрдыш, Пол (1979). «Некоторые нетрадиционные задачи теории чисел» . Математика. Маг. 52 (2): 67–70. дои : 10.1080/0025570X.1979.11976756 . JSTOR   2689842 .
  24. ^ Шэнь Линь (1963). Компьютерные исследования задач машины Тьюринга (кандидатская диссертация). Университет штата Огайо .
  25. ^ Линь, Шен; Радо, Тибор (апрель 1965 г.). «Компьютерные исследования проблем машины Тьюринга» . Журнал АКМ . 12 (2): 196–212. дои : 10.1145/321264.321270 . S2CID   17789208 .

Ссылки [ править ]

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 2720ea97d780dd19ec2dcf49bca65034__1717174740
URL1:https://arc.ask3.ru/arc/aa/27/34/2720ea97d780dd19ec2dcf49bca65034.html
Заголовок, (Title) документа по адресу, URL1:
Busy beaver - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)