§ 4. Вычислимые функции. Частично рекурсивные и общерекурсивные функции

Для алгоритмических проблем типичным является то обстоятельство, что требуется найти алгоритм для решения задачи, в условия которой входят значения некоторой конечной системы целочисленных параметров x₁, х₂, ..., х_п, а искомым результатом также является целое число у. Следовательно, стоит вопрос о существовании алгоритма для вычисления значений числовой функции у, зависящей от целочисленных значений аргументов x₁, х₂, ..., х_п.

Определение 1. Функция g = f(x₁, x₂,..., х_п) называется эффективно вычислимой, если существует алгоритм, позволяющий вычислить ее значения.

Так как в этом определении алгоритм понимается в интуитивном смысле, то и понятие эффективно вычислимой функции является интуитивным.

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

Гёдель впервые описал класс всех рекурсивных функций как класс всех числовых функций, определяемых в некоторой формальной системе. Черч в 1936 году пришел к тому же классу функций, исходя из других предпосылок. Здесь построение класса вычислимых функций строится следующим образом.

Выбираются простейшие функции

(оператор сдвига),

О(х) = 0 (оператор аннулирования),

(оператор проектирования).

Ясно, что все три простейшие функции всюду опре­делены и интуитивно вычислимы.

Далее вводятся операции над функциями.

1. Суперпозиция функций.

Рассмотрим функции и функцию , функцию , определяемую равенством

.

Будем говорить, что функция получена из функций и f₁, f₂, ..., f_m суперпозицией.

Если мы каким-либо образом умеем вычислять функции f₁, f₂, ..., f_m , то функция может быть вычислена так: придадим переменным x_v х₂, ..., х_п некоторые значения a₁, а₂, ..., а_п. Вычисляя все , найдем . Вычисляя теперь найдем .

Ясно, что если все функции f_l, f₂, ..., f_m и всюду определены, то функция всюду определена. Функция будет не всюду определенной, если хотя бы одна из функций f_l, f₂, ..., f_m не всюду определена, или если можно найти такие значения аргументов а₁, а₂, ..., а_n, что b_i=f_i(a₁,a₂,...,a_n), но (b₁,b₂,.,.,b_m) не определено (i = 1,…, т).

Таким образом, если функции f_l, f₂, ..., f_m, интуитивно вычислимы, то будет интуитивно вычислима и функция .

Отметим, что возможны случаи, когда не все функции f₁, f₂, ..., f_m зависят от всех п аргументов х₁, x₂, ..., х_п. В этих случаях для получения суперпозиции используются фиктивные аргументы и функции . Например, функция получается суперпозицией из функций и

.

2. Схема примитивной рекурсии.

Пусть имеется две функции (х₂,х₃,...,х_п) и , (n > l). Рассмотрим новую функцию, которая удовлетворяет следующим равенствам:

(1)

Отметим, что функция зависит от п-1 аргументов, функция от n+1 аргументов, а функция f – от п аргументов.

Если функция получается из функций и с помощью равенств (1), то говорят, что функция f получена из функций и по схеме примитивной рекурсии.

Если функции и интуитивно вычислимы, то будет интуитивно вычислима и функция f. Действительно, пусть a₁, а₂, ..., а_п – набор значений аргументов х₁, х₂, ..., х_п. Тогда последовательно находим

,

,

и т.д.

Очевидно, что если функции и всюду определены, то будет всюду определена и функция f.

Рассмотрим примеры получения функций по схеме примитивной рекурсии.

Пример 1. Пусть функция f(y,x) задана равенствами:

f(0,x) = x,

f(y+1,x) = f(y,x) + 1.

Здесь функция , а .

Вычислим значение функции f(y,х) при у = 5, х = 2.

Т.к. f(0,2) = (2) = 2 , то из второго равенства последовательно имеем:

Нетрудно показать, что . Действительно, . Полагая в этом равенстве у = 0, получим f(z, х) = f(0, х)+z или f(z, х) = x+z.

Пример 2. Пусть функция f(y, x) задана равенствами:

f(0,x) = 0,

f(y+1,x) = f(y,x) + x.

Здесь , .

Вычислим значение функции f(у, х) при у = 2, х = 2. Так как f(0,x) = , то f(0,2) = 0 , а значения f(1,2) и f(2,2) находим последовательно:

,

.

Легко показать, что в этом примере f(y, x) = ху. Действительно, f(y + z, x) = f(y, x) + zх. Полагая в этом равенстве у = 0, получим f(z, х) = f(0, х) + zх или f(z, х) = zх.

3. Операция минимизации ( -оператор).

Пусть задана некоторая функция f(x,y). Зафиксируем значение х и выясним, при каком у f(x, у) = 0.

Более сложной задачей является отыскание для данной функции f(x, у) и фиксированного х наименьшего из тех значений у, при которых функция f(x,y) = 0. Так как результат решения задачи зависит от х, то наименьшее значение у, при котором функция f(x, y) = 0 есть функция х. Принято обозначение

(Читается: «наименьшее у такое, что f(x,y) = 0 ».)

Аналогично определяется функция многих переменных:

.

Переход от функции к функции принято называть применением -оператора.

Для вычисления функции можно предложить следующий алгоритм:

1. Вычислим . Если это значение f равно нулю, то полагаем =0. Если , то переходим к следующему шагу.

2. Вычислим . Если , то полагаем = 1. Если же, то переходим к следующему шагу. И т.д.

Если окажется, что для всех у функция , то функцию в этом случае считают неопределенной. Но возможно, что существует такое у₀, что f(x₁,x₂,...,x_n,y₀) = 0 и, значит, есть и наименьшее у, при котором ; и в то же время может случиться, что при некотором z(0 < z < y₀) значение функции не определено. Очевидно, что в этом случае процесс вычисления наименьшего у, при кото­ром f(x_ltx₂,...,x_n,y) = 0 не дойдет до у₀. И здесь функцию считают неопределенной.

Пример. Рассмотрим функцию f(x,y) = х-у, которая может быть получена с помощью оператора минимизации

Вычислим, например, f(7,2), то есть значение функции при у = 2, х = 7. Для этого положим у = 2 и будем придавать x последовательно значения:

z = 0, 2 + 0 = 27,

z = 1, 2 + 1 = 37,

z = 2, 2 + 2 = 47,

z = 3, 2 + 3 = 57,

z = 4, 2 + 4 = 67,

z = 5, 2 + 5 = 7 = 7.

Таким образом, f(7,2) = 5.

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

Определение 3. Функция f(x_ltx₂,…,x_n) называется общерекурсивной, если она частично рекурсивна и всюду определена.

Примерами общерекурсивных функций являются функции:

1) ,

2) О(х),

3) ,

4) f(y, x) = у+x,

5) f(y, x) = ху,

6) f(y, x) = х+n.

Тезис А. Чёрча. Каждая интуитивно вычислимая функция является частично рекурсивной.

Этот тезис нельзя доказать, т.к. он связывает нестрогое математическое понятие интуитивно вычислимой функции со строгим математическим понятием частично рекурсивной функции.

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