WikiDer > Иерархия Гжегорчика

Grzegorczyk hierarchy

В Иерархия Гжегорчика (/ɡрɛˈɡɔːrtʃək/, Польское произношение:[ɡʐɛˈɡɔrt͡ʂɨk]), названный в честь польского логика Анджей Гжегорчик, представляет собой иерархию функций, используемых в теория вычислимости (Вагнер и Вексунг 1986: 43). Каждый функция в иерархии Гжегорчика является примитивная рекурсивная функция, и каждая примитивная рекурсивная функция появляется в иерархии на каком-то уровне. Иерархия имеет дело со скоростью, с которой значения функций растут; интуитивно понятно, что функции на более низком уровне иерархии растут медленнее, чем функции на более высоких уровнях.

Определение

Сначала введем бесконечный набор функций, обозначенных E_я для некоторого натурального числа я. Мы определяем ${displaystyle E_ {0} (x, y) = x + y}$ и ${displaystyle E_ {1} (x) = x ^ {2} +2}$ . Т.е., E₀ - функция сложения, а E₁ - унарная функция, которая возводит свой аргумент в квадрат и добавляет два. Затем для каждого п больше 1, определим ${displaystyle E_ {n} (x) = E_ {n-1} ^ {x} (2)}$ , т.е. Икс-го повторять из ${displaystyle E_ {n-1}}$ оценен в 2.

По этим функциям мы определяем иерархию Гжегорчика. ${displaystyle {mathcal {E}} ^ {n}}$ , то п-й набор в иерархии содержит следующие функции:

E_k за k < п
нулевая функция (Z(Икс) = 0);
то функция преемника (S(Икс) = Икс + 1);
то функции проекции ( ${displaystyle p_ {i} ^ {m} (t_ {1}, t_ {2}, dots, t_ {m}) = t_ {i}}$ );
(обобщенный) композиции функций в наборе (если час, грамм₁, грамм₂, ... и грамм_м находятся в ${displaystyle {mathcal {E}} ^ {n}}$ , тогда ${displaystyle f ({ar {u}}) = h (g_ {1} ({ar {u}}), g_ {2} ({ar {u}}), точки, g_ {m} ({ar { u}}))}$ тоже)^{[примечание 1]}; и
результаты ограниченной (примитивной) рекурсии, примененные к функциям в наборе, (если грамм, час и j находятся в ${displaystyle {mathcal {E}} ^ {n}}$ и ${displaystyle f (t, {ar {u}}) leq j (t, {ar {u}})}$ для всех т и ${displaystyle {ar {u}}}$ , и далее ${displaystyle f (0, {ar {u}}) = g ({ar {u}})}$ и ${displaystyle f (t + 1, {ar {u}}) = h (t, {ar {u}}, f (t, {ar {u}}))}$ , тогда ж в ${displaystyle {mathcal {E}} ^ {n}}$ также)^{[примечание 1]}

Другими словами, ${displaystyle {mathcal {E}} ^ {n}}$ это закрытие набора ${displaystyle B_ {n} = {Z, S, (p_ {i} ^ {m}) _ {ileq m}, E_ {k}: k$ в отношении композиции функций и ограниченной рекурсии (как определено выше).

Характеристики

Эти наборы четко образуют иерархию

{displaystyle {mathcal {E}} ^ {0} substeq {mathcal {E}} ^ {1} substeq {mathcal {E}} ^ {2} substeq cdots}

потому что они закрывают ${displaystyle B_ {n}}$ 'песок ${displaystyle B_ {0} subteq B_ {1} substeq B_ {2} substeq cdots}$ .

Это строгие подмножества (Rose 1984; Gakwaya 1997). Другими словами

{displaystyle {mathcal {E}} ^ {0} subsetneq {mathcal {E}} ^ {1} subsetneq {mathcal {E}} ^ {2} subsetneq cdots}

поскольку гипероперация ${displaystyle H_ {n}}$ в ${displaystyle {mathcal {E}} ^ {n}}$ но не в ${displaystyle {mathcal {E}} ^ {n-1}}$ .

${displaystyle {mathcal {E}} ^ {0}}$ включает такие функции, как Икс+1, Икс+2, ...
${displaystyle {mathcal {E}} ^ {1}}$ предоставляет все дополнительные функции, такие как Икс+у, 4Икс, ...
${displaystyle {mathcal {E}} ^ {2}}$ предоставляет все функции умножения, такие как ху, Икс⁴
${displaystyle {mathcal {E}} ^ {3}}$ предоставляет все функции возведения в степень, такие как Икс^у, 2^{2^{2^Икс}}, и именно элементарные рекурсивные функции.
${displaystyle {mathcal {E}} ^ {4}}$ предоставляет все тетрация функции и так далее.

Примечательно, что как функция ${displaystyle U}$ и характеристическая функция предиката ${displaystyle T}$ от Теорема Клини о нормальной форме определены таким образом, что они лежат на уровне ${displaystyle {mathcal {E}} ^ {0}}$ иерархии Гжегорчика. Это означает, в частности, что каждое рекурсивно перечислимое множество перечислимо некоторым ${displaystyle {mathcal {E}} ^ {0}}$ -функция.

Отношение к примитивным рекурсивным функциям

Определение ${displaystyle {mathcal {E}} ^ {n}}$ такой же, как у примитивные рекурсивные функции, PR, за исключением того, что рекурсия ограничено ( ${displaystyle f (t, {ar {u}}) leq j (t, {ar {u}})}$ для некоторых j в ${displaystyle {mathcal {E}} ^ {n}}$ ) и функции ${displaystyle (E_ {k}) _ {k$ явно включены в ${displaystyle {mathcal {E}} ^ {n}}$ . Таким образом, иерархию Гжегорчика можно рассматривать как способ предел сила примитивной рекурсии на разных уровнях.

Из этого факта ясно, что все функции на любом уровне иерархии Гжегорчика являются примитивными рекурсивными функциями (т.е. ${displaystyle {mathcal {E}} ^ {n} substeq {mathsf {PR}}}$ ) и поэтому:

{displaystyle igcup _ {n} {{mathcal {E}} ^ {n}} substeq {mathsf {PR}}}

Также можно показать, что все примитивные рекурсивные функции находятся на каком-то уровне иерархии (Rose 1984; Gakwaya 1997), таким образом

{displaystyle igcup _ {n} {{mathcal {E}} ^ {n}} = {mathsf {PR}}}

и наборы ${displaystyle {mathcal {E}} ^ {0}, {mathcal {E}} ^ {1} - {mathcal {E}} ^ {0}, {mathcal {E}} ^ {2} - {mathcal {E} }} ^ {1}, точки, {mathcal {E}} ^ {n} - {mathcal {E}} ^ {n-1}, точки}$ раздел набор примитивных рекурсивных функций, PR.

Расширения

Иерархию Гжегорчика можно расширить до трансфинитный порядковые. Такие расширения определяют быстрорастущая иерархия. Для этого производящие функции ${displaystyle E_ {alpha}}$ должны быть рекурсивно определены для предельных ординалов (обратите внимание, что они уже были рекурсивно определены для последующих порядковых номеров отношением ${displaystyle E_ {alpha +1} (n) = E_ {alpha} ^ {n} (2)}$ ). Если есть стандартный способ определения основная последовательность ${displaystyle lambda _ {m}}$ , чей предельный порядковый номер является ${displaystyle lambda}$ , то производящие функции можно определить ${displaystyle E_ {lambda} (n) = E_ {lambda _ {n}} (n)}$ . Однако это определение зависит от стандартного способа определения фундаментальной последовательности. Роуз (1984) предлагает стандартный способ для всех ординалов α < ε₀.

Первоначальное расширение было связано с Мартин Лёб и Стэн С. Уэйнер (1970) и иногда называют Иерархия Лёба – Вайнера.

Смотрите также

Примечания

^ ^а ^б Здесь ${displaystyle {ar {u}}}$ представляет кортеж входов в ж. Обозначение ${displaystyle f ({ar {u}})}$ Значит это ж берет произвольный количество аргументов и если ${displaystyle {ar {u}} = (x, y, z)}$ , тогда ${displaystyle f ({ar {u}}) = f (x, y, z)}$ . В обозначениях ${displaystyle f (t, {ar {u}})}$ , первый аргумент, т, указывается явно, а остальные как произвольный кортеж ${displaystyle {ar {u}}}$ . Таким образом, если ${displaystyle {ar {u}} = (x, y, z)}$ , тогда ${displaystyle f (t, {ar {u}}) = f (t, x, y, z)}$ . Эта нотация позволяет определять композицию и ограниченную рекурсию для функций, ж, любого количества аргументов.

v т е Важный классы сложности (более)
Считается выполнимым	DLOGTIME AC⁰ АКК⁰ TC⁰ L SL RL NL NC SC CC п P-полный ЗПП RP BPP BQP APX
Подозревается в невозможности	ВВЕРХ НП НП-полный NP-жесткий со-НП совместно NP-полный ЯВЛЯЮСЬ QMA PH ⊕P PP #П # P-complete IP PSPACE PSPACE-полный
Считается невозможным	EXPTIME NEXPTIME EXPSPACE 2-EXPTIME НАЧАЛЬНЫЙ PR р RE ВСЕ
Иерархии классов	Полиномиальная иерархия Экспоненциальная иерархия Иерархия Гжегорчика Арифметическая иерархия Логическая иерархия
Семьи классов	DTIME NTIME DSPACE NSPACE Вероятностно проверяемое доказательство Интерактивная система доказательств

v т е Гипероперации
Начальный	Преемник (0) Дополнение (1) Умножение (2) Возведение в степень (3) Тетрация (4) Пентация (5)
Обратный для левого аргумента	Вычитание (1) Дивизия (2) пкорень th (3) Супер-корень (4)
Обратный для правильного аргумента	Вычитание (1) Дивизия (2) Логарифм (3) Суперлогарифм (4)
Статьи по Теме	Функция Аккермана Обозначение стрелок Конвея Иерархия Гжегорчика Обозначение Кнута со стрелкой вверх Обозначения Штейнгауза – Мозера

Navigation