Jump to content

Вычислимо перечислимое множество

(Перенаправлено с Полуразрешимого )

В теории вычислимости множество S называется натуральных чисел вычислимо перечислимым (ce) , рекурсивно перечислимым (re) , полуразрешимым , частично разрешимым , перечислимым , доказуемым или распознаваемым по Тьюрингу , если:

  • Существует такой алгоритм , что набор входных чисел, для которых алгоритм останавливается, равен ровно S .

Или, что то же самое,

  • Существует алгоритм, который перечисляет члены S . Это означает, что его вывод представляет собой просто список всех членов S : s 1 , s 2 , s 3 ,.... Если S бесконечно, этот алгоритм будет работать вечно.

Первое условие позволяет понять, почему термин «полуразрешимый» иногда используется . Точнее, если число есть в наборе, это можно решить , запустив алгоритм, но если числа нет в наборе, алгоритм работает вечно и никакой информации не возвращается. Множество, которое «вполне разрешимо», является вычислимым множеством . Второе условие подсказывает, почему вычислимо перечислимое используется . Аббревиатуры ce и re часто используются даже в печати вместо полной фразы.

В теории сложности вычислений класс сложности, содержащий все вычислимо перечислимые множества, называется RE . В теории рекурсии решетка в.п. множеств по включению обозначается .

Формальное определение [ править ]

Набор S натуральных чисел называется вычислимо перечислимым, если существует частично вычислимая функция которой , область определения равна точно S что функция определена тогда и только тогда, когда ее вход является членом S. , а это означает ,

составы Эквивалентные

Ниже приведены все эквивалентные свойства множества S натуральных чисел:

Полуразрешимость:
  • Множество S вычислимо перечислимо. То есть S — это область определения (совместный диапазон) частично вычислимой функции.
  • Множество S (имеется в виду арифметическая иерархия ). [1]
  • Существует частично вычислимая функция f такая, что:
Перечисляемость:
  • Множество S представляет собой образ частично вычислимой функции.
  • Множество S представляет собой область значений полной вычислимой функции или пусто. Если S бесконечно, функцию можно выбрать инъективной .
  • Множество S представляет собой диапазон примитивно-рекурсивной функции или пусто. Даже если S бесконечно, в этом случае может потребоваться повторение значений.
Диофантин:
  • Существует полином p с целыми коэффициентами и переменными x , a , b , c , d , e , f , g , h , i, пробегающими натуральные числа, такой, что
    (Количество связанных переменных в этом определении на данный момент является наиболее известным; возможно, для определения всех диофантовых множеств можно использовать меньшее число.)
  • Существует многочлен от целых чисел к целым числам такой, что набор S содержит ровно неотрицательные числа в своем диапазоне.

Эквивалентность полуразрешимости и перечислимости можно получить с помощью техники « ласточкиного хвоста» .

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

Вычислимое перечисление набора всех машин Тьюринга, останавливающихся на фиксированном вводе: смоделируйте все машины Тьюринга (перечисленные по вертикальной оси) шаг за шагом (горизонтальная ось), используя показанное планирование диагонализации. Если машина завершает работу, выведите ее номер. Таким образом, в конечном итоге печатается номер каждой терминальной машины. В примере алгоритм печатает «9, 13, 4, 15, 12, 18, 6, 2, 8, 0, ...».

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

  • Каждое вычислимое множество вычислимо перечислимо, но неверно, что каждое вычислимо перечислимое множество вычислимо. Для вычислимых множеств алгоритм также должен сообщать, нет ли входных данных в наборе — это не требуется для вычислимо перечислимых множеств.
  • Рекурсивно перечислимый язык это вычислимо перечислимое подмножество формального языка .
  • Множество всех доказуемых предложений в эффективно представленной аксиоматической системе представляет собой вычислимо перечислимое множество.
  • Теорема Матиясевича утверждает, что каждое вычислимо перечислимое множество является диофантовым множеством (обратное утверждение тривиально верно).
  • Простые множества вычислимо перечислимы, но не вычислимы.
  • Креативные множества вычислимо перечислимы, но не вычислимы.
  • Любое продуктивное множество является не вычислимо перечислимым.
  • Учитывая нумерацию Гёделя вычислимых функций множество (где функция спаривания Кантора и указывает определен) вычислимо перечислим (ср. изображение для фиксированного x ). Этот набор кодирует проблему остановки , поскольку он описывает входные параметры, при которых каждая машина Тьюринга останавливается.
  • Учитывая нумерацию Гёделя вычислимых функций множество является вычислимо перечислимым. Этот набор кодирует проблему определения значения функции.
  • Учитывая частичную функцию f из натуральных чисел в натуральные числа, f является частично вычислимой функцией тогда и только тогда, когда график f , то есть набор всех пар такая, что f ( x ) определена, вычислимо перечислима.

Свойства [ править ]

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

Набор называется ковычислимо-перечислимым или со-перечислимым, если его дополнение является вычислимо перечислимым. Эквивалентно, множество является сердцевинным тогда и только тогда, когда оно находится на уровне арифметической иерархии. Класс сложности ковычислимо-перечислимых множеств обозначается со-RE.

Множество A вычислимо A тогда и только тогда, когда и , и дополнение к A вычислимо перечислимы.

Некоторые пары вычислимо перечислимых множеств эффективно разделимы , а некоторые нет.

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

Согласно тезису Чёрча-Тьюринга , любая эффективно вычислимая функция вычислима машиной Тьюринга таким образом, множество S является вычислимо перечислимым тогда и только тогда, когда существует некоторый алгоритм , который дает перечисление S. , и , Однако это нельзя воспринимать как формальное определение, поскольку тезис Чёрча-Тьюринга представляет собой скорее неформальную гипотезу, чем формальную аксиому.

Определение вычислимо перечислимого множества как области определения частичной функции, а не области определения полной вычислимой функции, распространено в современных текстах. Этот выбор мотивирован тем фактом, что в обобщенных теориях рекурсии, таких как теория α-рекурсии , определение, соответствующее областям, оказалось более естественным. В других текстах определение используется в терминах перечислений, что эквивалентно для вычислимо перечислимых множеств.

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

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

  1. ^ Дауни, Родни Г.; Хиршфельдт, Денис Р. (29 октября 2010 г.). Алгоритмическая случайность и сложность . Springer Science & Business Media. п. 23. ISBN  978-0-387-68441-3 .
  • Роджерс, Х. Теория рекурсивных функций и эффективная вычислимость , MIT Press . ISBN   0-262-68052-1 ; ISBN   0-07-053522-1 .
  • Соаре, Р. Рекурсивно перечислимые множества и степени. Перспективы математической логики. Шпрингер-Верлаг , Берлин, 1987 г. ISBN   3-540-15299-7 .
  • Соаре, Роберт И. Рекурсивно перечислимые множества и степени. Бык. амер. Математика. Соц. 84 (1978), вып. 6, 1149–1181.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 518b973d451070fd5e9b37b833b6e37c__1679175840
URL1:https://arc.ask3.ru/arc/aa/51/7c/518b973d451070fd5e9b37b833b6e37c.html
Заголовок, (Title) документа по адресу, URL1:
Computably enumerable set - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)