Вычислимые функции — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (Примеры вычислимых функций)
Строка 11: Строка 11:
 
''Замечание''<br/>
 
''Замечание''<br/>
 
Входами и выходами программ могут быть не только натуральные числа, но и двоичные строки, пары натуральных чисел, конечные последовательности слов и т.п. Поэтому аналогичным образом можно определить понятие вычислимой функции для счетных множеств.
 
Входами и выходами программ могут быть не только натуральные числа, но и двоичные строки, пары натуральных чисел, конечные последовательности слов и т.п. Поэтому аналогичным образом можно определить понятие вычислимой функции для счетных множеств.
 
=== Примеры вычислимых функций ===
 
* Нигде не определённая функция вычислима.
 
p(x)
 
  '''return''' <tex>\bot</tex>
 
* <tex>f(x) = x^2</tex>, где <tex>x</tex> — рациональное число.
 
p(x)
 
  '''return''' <tex>x^2</tex>
 
  
 
{{Теорема
 
{{Теорема
Строка 28: Строка 20:
 
     '''if''' a == x && f(a) == y
 
     '''if''' a == x && f(a) == y
 
     '''then return''' 1
 
     '''then return''' 1
Так как [[#D(f)|область определения вычислимой функции перечислимо]], то можно перебрать элементы области определения.<br/>
+
Так как [[#D(f)|область определения вычислимой функции перечислима]], то можно перебрать элементы области определения. Если алгоритм нашел нужную нам пару, то вернуть 1.<br/>
 
<tex>2 \Rightarrow 1</tex><br/>
 
<tex>2 \Rightarrow 1</tex><br/>
 
Напишем программу, вычисляющую <tex>f</tex>.
 
Напишем программу, вычисляющую <tex>f</tex>.
Строка 37: Строка 29:
 
Так как <tex>F</tex> перечислимое множество, то можно перебрать элементы этого множества.
 
Так как <tex>F</tex> перечислимое множество, то можно перебрать элементы этого множества.
 
}}
 
}}
 +
 +
=== Примеры вычислимых функций ===
 +
* Нигде не определённая функция вычислима.
 +
p(x)
 +
  '''return''' <tex>\bot</tex>
 +
* <tex>f(x) = x^2</tex>, где <tex>x</tex> — рациональное число.
 +
p(x)
 +
  '''return''' <tex>x^2</tex>
  
 
== Свойства вычислимой функции ==
 
== Свойства вычислимой функции ==

Версия 17:57, 10 декабря 2011

Основные определения

Определение:
(1) Функция [math]f : N \rightarrow N \cup \lbrace \bot \rbrace[/math] называется вычислимой, если существует программа, вычисляющая функцию [math]f[/math]. То есть существует такая программа, что:
  1. если [math]f(n)[/math] определено для натурального числа [math]n[/math], то программа заканчивается на входе [math]n[/math] и выводит [math]f(n)[/math];
  2. если [math]f(n)[/math] не определено, то программа зависает на входе [math]n[/math].


Определение:
(2) Функция [math]f : N \rightarrow N \cup \lbrace \bot \rbrace[/math] называется вычислимой, если её график [math]F = \lbrace \langle x, y\rangle | f(x)[/math] определено и равно [math]y \rbrace[/math] является перечислимым множеством пар натуральных чисел.


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

Теорема:
Определения (1) и (2) эквивалентны.
Доказательство:
[math]\triangleright[/math]

[math]1 \Rightarrow 2[/math]
Напишем программу полуразрешающую [math]F[/math].

p([math]\langle x, y\rangle[/math])
  for [math]a \in D(f)[/math]
    if a == x && f(a) == y
    then return 1

Так как область определения вычислимой функции перечислима, то можно перебрать элементы области определения. Если алгоритм нашел нужную нам пару, то вернуть 1.
[math]2 \Rightarrow 1[/math]
Напишем программу, вычисляющую [math]f[/math].

f(n)
  for [math]\langle x, y \rangle \in F[/math]
    if x == n
    then return y
Так как [math]F[/math] перечислимое множество, то можно перебрать элементы этого множества.
[math]\triangleleft[/math]

Примеры вычислимых функций

  • Нигде не определённая функция вычислима.
p(x)
  return [math]\bot[/math]
  • [math]f(x) = x^2[/math], где [math]x[/math] — рациональное число.
p(x)
  return [math]x^2[/math]

Свойства вычислимой функции

Утверждение:
[math]f[/math] — вычислимая функция. Тогда [math]D(f)[/math] — перечислимое множество, где [math]D(f)[/math] — область определения функции [math]f[/math].
[math]\triangleright[/math]

Для доказательства достаточно написать полуразрешающую программу.

p(x)
  f(x)
  return 1
Если функция [math]f[/math] определена на входе [math]x[/math], следовательно, [math]x \in D(f)[/math]. Тогда необходимо вернуть 1. Иначе программа зависнет при вызове [math]f(x)[/math].
[math]\triangleleft[/math]
Утверждение:
[math]f[/math] — вычислимая функция. Тогда [math]E(f)[/math] — перечислимое множество, где [math]E(f)[/math] — область изменения функции [math]f[/math];
[math]\triangleright[/math]

Для доказательства достаточно написать полуразрешающую программу.

p(x)
  for [math]y \in D(f)[/math]
    if x == f(y)
    then return 1
Так как [math]D(f)[/math] перечислимо, то можно перебрать элементы этого множества. Если программа находит слово, то она возвращает 1.
[math]\triangleleft[/math]
Утверждение:
[math]f[/math] — вычислимая функция. [math]f(X)[/math] — перечислимое множество, где [math]X[/math] — перечислимое множество.
[math]\triangleright[/math]

Для доказательства достаточно написать полуразрешающую программу.

p(x)
  for [math]y \in D(f) \cap X[/math]
    if x == f(y)
      then return 1
Из замкнутости перечислимых языков относительно операции пересечения следует, что элементы множества [math]X \cap D(f)[/math] можно перебрать. Если программа находит слов, то она возвращает 1.
[math]\triangleleft[/math]
Утверждение:
[math]f[/math] — вычислимая функция. [math]f^{-1}(X)[/math] — перечислимое множество, где [math]X[/math]разрешимое множество.
[math]\triangleright[/math]
Для доказательства достаточно написать полуразрешающую программу.
[math]\triangleleft[/math]
Утверждение:
[math]f[/math] — вычислимая функция. [math]f^{-1}(X)[/math] — перечислимое множество, где [math]X[/math] — перечислимое множество.
[math]\triangleright[/math]
Для доказательства достаточно написать полуразрешающую программу.
[math]\triangleleft[/math]

Теорема об униформизации

Теорема:
Пусть [math]F[/math] — перечислимое множество пар натуральных чисел. Тогда существует вычислимая функция [math]f[/math], определенная на тех и только тех [math]x[/math], для которых найдется [math]y[/math], при котором [math]\langle x, y \rangle \in F[/math], причем значение [math]f(x)[/math] является одним из таких [math]y[/math].
Доказательство:
[math]\triangleright[/math]

Напишем программу, вычисляющую функцию [math]f[/math].

f(x)
  for [math]\langle a, b \rangle \in F[/math]
    if x == a
    then return b
Так как множество [math]F[/math] перечислимо, то его элементы можно перебрать.
[math]\triangleleft[/math]

Теорема о псевдообратной функции

Теорема:
Для любой вычислимой функции [math]f[/math] существует вычислимая функция [math]g[/math], являющаяся псевдообратной в следующем смысле: [math]E(f) = D(g)[/math], и при этом [math]f(g(f(x))) = f(x)[/math] для всех [math]x[/math], при которых [math]f(x)[/math] определена.

Литература

  • Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритов. Часть 3. Вычислимые функции -- М.: МЦНМО, 1999 - С. 176