Научная статья на тему 'О генерической неразрешимости Десятой проблемы Гильберта'

О генерической неразрешимости Десятой проблемы Гильберта Текст научной статьи по специальности «Математика»

CC BY
325
40
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ГЕНЕРИЧЕСКАЯ СЛОЖНОСТЬ / ДЕСЯТАЯ ПРОБЛЕМА ГИЛЬБЕРТА / GENERIC COMPLEXITY / HILBERT TENTH PROBLEM

Аннотация научной статьи по математике, автор научной работы — Рыбалов А. Н.

Рассматривается генерический подход к алгоритмическим проблемам, предложенный в 2003 г. А. Мясниковым, А. Каповичем, П. Шуппом и В. Шпильрайном. В рамках этого подхода алгоритмическая проблема рассматривается не для всего множества входов (в худшем случае), а для множества “почти всех” входов. Термин “почти все входы” уточняется при помощи введения естественной меры на множестве входных данных. В статье изучается генерическая вычислимость Десятой проблемы Гильберта о разрешимости диофантовых уравнений. Ю. Матиясевич в 1970 г. доказал, что эта проблема алгоритмически неразрешима в худшем случае. В настоящей статье доказывается, что Десятая проблема Гильберта остается неразрешимой на любом разрешимом строго генерическом подмножестве диофантовых уравнений.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

On generic undecidability of Hilbert Tenth problem

Generic-case approach to algorithmic problems was suggested by Miasnikov, Kapovich, Schupp and Shpilrain in 2003. This approach considers a problem for the “most” inputs instead of all inputs like in worst-case approach. In this paper we study generic complexity of Hilbert tenth problem. Matiyasevich in 1970 proved that Hilbert tenth problem is undecidable. We prove that Hilbert tenth problem is generically undecidable too. This work was supported by Russian Foundation for Basic Research, grants 10.01.00383 and 08.01.00067.

Текст научной работы на тему «О генерической неразрешимости Десятой проблемы Гильберта»

МАТЕМАТИКА

Вестн. Ом. ун-та. 2011. № 4. С. 19-22.

УДК 510.52 А.Н. Рыбалов

О ГЕНЕРИЧЕСКОЙ НЕРАЗРЕШИМОСТИ ДЕСЯТОЙ ПРОБЛЕМЫ ГИЛЬБЕРТА*

Рассматривается генерический подход к алгоритмическим проблемам, предложенный в 2003 г. А. Мясниковым, А. Каповичем, П. Шуппом и В. Шпильрайном. В рамках этого подхода алгоритмическая проблема рассматривается не для всего множества входов (в худшем случае), а для множества “почти всех” входов. Термин “почти все входы” уточняется при помощи введения естественной меры на множестве входных данных. В статье изучается генерическая вычислимость Десятой проблемы Гильберта о разрешимости диофантовых уравнений. Ю. Матиясевич в 1970 г. доказал, что эта проблема алгоритмически неразрешима в худшем случае. В настоящей статье доказывается, что Десятая проблема Гильберта остается неразрешимой на любом разрешимом строго генерическом подмножестве диофантовых уравнений.

Ключевые слова: генерическая сложность, Десятая проблема Гильберта.

Введение

В 1900 г. Д. Гильберт на II математическом конгрессе сформулировал 23 математические проблемы, которые XIX в. оставлял в наследство XX в. Проблема под номером 10 в современной формулировке звучит следующим образом: найти алгоритм, который по любому диофантовому уравнению определяет, разрешимо ли оно в целых числах. В 1970 г. Ю.В. Матиясевич [1], основываясь на работах М. Дэвиса, Дж. Робинсон и Х. Патнема, доказал, что такого алгоритма не существует. В дальнейшем было доказано, что Десятая проблема Гильберта алгоритмически неразрешима уже для диофантовых уравнений от 13 неизвестных (Матиясевич, Робинсон [2]) и для 9 неизвестных (Джонс [3]).

Генерический подход в применении к алгоритмическим проблемам впервые был предложен в 2003 г., в статье [4]. В рамках этого подхода изучается поведение алгоритмов на множестве «почти всех» входов (это множество называется генерическим), игнорируя поведение алгоритма на остальных входах, на которых алгоритм может работать медленно или вообще не останавливаться. Такой подход имеет приложение в криптографии, где требуется, чтобы алгоритмические проблемы были трудными для «почти всех» входов. В отличие от сложности в среднем, генерический подход применим и для алгоритмически неразрешимых проблем. Для многих классических алгоритмически неразрешимых проблем алгебры доказано, что они разрешимы в генерическом случае. Также, в работе [5] установлено, что проблема остановки для машин Тьюринга с полубесконечной лентой генериче-ски разрешима. С другой стороны, в работе [6] доказано, что некоторые проблемы, неразрешимые в классическом смысле, остаются неразрешимыми и в генерическом случае.

В данной статье изучается генерическая разрешимость Десятой проблемы Гильберта. Доказывается, что Десятая проблема Гильберта

* Работа выполнена при финансовой поддержке РФФИ (коды проектов 10.01.00383 и 08.01.00067).

© А.Н. Рыбалов, 2011

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

Генерическая вычислимость

Пусть A - множество всех входов для некоторой алгоритмической проблемы, а S - некоторое его подмножество. Рассмотрим последовательность

где An - множество всех входов проблемы размера n . Если случайно и равновероятно генерировать входы размера n , то вероятность попасть в S равна рп (S). Определим асимптотическую плотность множества S как предел (если он существует): ju(S) = lim Pn (S).

n^-да

Если предела не существует, то считаем, что асимптотическая плотность не определена.

Множество входов S с A называется генерическим, если ¿и(S) = 1, и пренебре-жимым, если ¿и(S) = 0. Непосредственно из определения следует, что S является генерическим тогда и только тогда, когда A \ S пренебрежимо. Понятие генерического множества формализует интуитивное понятие множества «почти всех» входов в том смысле, что при увеличении размера входа вероятность того, что случайно сгенерированный вход попадет в генерическое множество, стремится к 1. Если последовательность рп (S) стремится к 0 экспоненциально быстро, т. е. существуют константы C > 0 и 0 <а < 1 такие, что для любого n Pn (S) < Can, то множество S называется строго пренебрежи-мым. Строго пренебрежимое множество существенно меньше просто пренебре-жимого в том смысле, что никакое (не строго) пренебрежимое множество не может содержаться в строго пренебрежи-мом. Множество S называется строго генерическим, если A \ S строго пренебрежимо.

Алгоритмическая проблема S с A (строго) генерически разрешима, если существует множество G с A такое, что

1. G - (строго) генерическое.

2. G - разрешимое.

3. S П G - разрешимое.

Генерический алгоритм, решающий проблему S, работает следующим образом. Сначала определяет, принадлежит ли вход генерическому множеству. Если да, то проверяет принадлежность входа S . Если нет, то отвечает «НЕ ЗНАЮ». Такой алгоритм правильно решает проблему S на почти всех входах.

Представление диофантовых уравнений

Будем рассматривать диофантовы уравнения с фиксированным числом неизвестных m > 13 . Доказано (см. [2]), что уже для таких уравнений Десятая проблема Гильберта неразрешима.

Любое диофантово уравнение можно представить в виде P ( x1,..., xm ) = О, где

P - многочлен с целыми коэффициентами. Будем представлять многочлены с помощью так называемых арифметических схем. Арифметическая схема от переменных x1,...,xmсостоит из конечного числа промежуточных переменных xm+1,..., xm+n и присваиваний (одно присваивание для каждой промежуточной переменной) вида xt = xj * xk , где j, k к i и

* є {+, -, x}, либо вида xt = xj +1 или

x¡ = xj -1, где j к i . Переменные x1,..., xm

называются входными переменными схемы, а последняя промежуточная переменная xn+m - выходной переменной схемы. Размер схемы - это число присваиваний.

Легко видеть, что каждая последующая переменная схемы определяется при помощи операций сложения, вычитания, умножения или прибавления (вычитания) І через предыдущие переменные. Поэтому выходная переменная схемы - это некоторый многочлен от входных переменных. Более того, любой многочлен от переменных x1,...,xm может быть реализован с помощью некоторой арифметической схемы от переменных x1,...,xm. Например, многочлен x13 + 2x1 x2 -1 можно реализовать в виде схемы x3 = x1 x1, x4 = x3 x1, x5 = x1 x2, x6 = x5 + x5, x7 = x4 + x6, x8 = x7 -1 .

Будем отождествлять диофантово уравнение P( x1,..., xm ) = О с представлением многочлена P с помощью некоторой арифметической схемы. Такое представление удобно тем, что можно легко посчи-

О генерической неразрешимости Десятой проблемы Гильберта

21

тать число всевозможных схем фиксированного размера.

Лемма 1. Число арифметических схем размера п от т переменных равно

П (3(і -1)2 + 2(7 -1)).

Доказательство. Для промежуточной переменной хі присваивание может

иметь вид хі = х. * хк , где у, к < і и

*е{+, - х}. Число вариантов такого присваивания 3(і -1)2. Либо присваивание имеет вид х. = х. +1 или х. = х. -1, где 7 у 7 у у < і . В этом случае число вариантов есть 2(і -1). Итого получаем 3(і -1)2 + 2(і -1) вариантов для і -го присваивания. А так как в схеме присваивания выбираются независимо, то число схем размера п от т переменных есть

п+т

П (3(і -1)2 + 2(і -1)).

і=т

Что и требовалось доказать.

Многочлен Р можно задавать с помощью арифметических схем различными способами. Обозначим через as(P) множество всех арифметических схем, которые задают Р.

Лемма 2. Для любого многочлена Р множество as(P) не является строго пре-небрежимым.

Доказательство. Пусть имеется арифметическая схема Е размера к, реализующая многочлен Р. Пусть ее последнее присваивание имеет вид хк+т = хі * ху. Тогда для любого п > к можно построить схемы, реализующие Р, следующим образом. Первые к присваиваний такие же, как и в схеме Е, последнее имеет вид хп+т = хі * ху (правая часть

ее такая же, как в схеме Е), а остальные п - к -1 присваиваний произвольные. Легко видеть, что любая такая схема реализует тот же многочлен Р, так как значение выходной переменной - в точности, как в схеме Е, и от новых добавленных присваиваний оно не зависит. Обозначим это множество через ^, а множество всех схем через А. Очевидно, что ^ с as(Р). Подсчитаем число схем в ^. Первые к

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

п+т-1

|5| = П (30' -1)2 + 20' -1)).

\=к+1

Теперь оценим асимптотическую плотность множества as(P) среди всех схем размера п :

ИР)п| > Ц =

Ап | \Ап\

П (3(і -1)2 + 2(і -1))

і=к+1

П (3(і -1)2 + 2(і -1))

і=т

1

(3(п+т-1)2 + 2(п+т - 1))П(3(?'-1)2 + 20'-1))

¡=т

=_______________1_______________

С(3(п + т -1)2 + 2(п + т -1)) ’

к

где С = П -1)2 + 2(/ -1)) - константа.

I =т

Так как в знаменателе этой оценки стоит квадратичный полином, то отношение

М Р) п\ 0

не может стремиться к и экспо-

|Ап

ненциально быстро, поэтому множество as(Р) не является строго пренебрежимым.

Лемма доказана.

Основной результат

Теперь все готово, чтобы доказать основной результат статьи.

Теорема. Не существует строго генерического разрешимого множества дио-фантовых уравнений (арифметических схем), на котором Десятая проблема Гильберта разрешима.

Доказательство. Допустим, что существует строго генерическое разрешимое множество диофантовых уравнений ^, на котором Десятая проблема Гильберта разрешима. Докажем тогда, что Десятая проблема Гильберта разрешима на всем множестве диофантовых уравнений. Опишем, как работает разрешающий алгоритм на арифметической схеме Е, представляющей диофантово уравнение

Р (^..^ хт) = 0 :

1. Проверяем, принадлежит ли Е множеству ^. Если да, то там по предпо-

ложению можно определить разрешимость. Если нет, переходим на шаг 2.

2. Перебираем арифметические схемы из множества as(P) до тех пор, пока не получим схему Е' є S .

3. Определяем разрешимость уравнения, заданного схемой Е'. Это и будет искомый ответ.

Для доказательства корректности алгоритма нужно показать, что на шаге 2 мы всегда получим схему из множества S. Это так, потому что as(Р) п S ^0 для любого многочлена Р. Действительно, если было бы as(P) п S = 0 , то строго пре-небрежимое множество А \ S содержало бы не строго пренебрежимое (по лемме 2) множество as( Р), что невозможно.

Итак, в предположении существования строго генерического разрешимого множества, на котором разрешима Десятая проблема Гильберта, мы доказали, что Десятая проблема Гильберта разрешима на всём множестве диофантовых уравне-

ний. Полученное противоречие доказывает теорему.

ЛИТЕРАТУРА

[1] Матиясевич Ю. В. Диофантовость перечислимых множеств // Доклады Академии наук СССР. 1970. Т. 191. № 2. С. 279-282.

[2] Matiyasevich Yu., Robinson J. Reduction of an arbitrary diophantine equation to one in 13 unknowns // Acta Arithmetica. Vol. 27 (1975). P. 521-553.

[3] Jones J. Undecidable diophantine equations // Bull. Amer. Math. Soc. Vol. 3. № 2 (1980). P. 859-862.

[4] Karpovich A.V., Myasnikov A.G., Schupp P., Shpilrain V. Generic-case complexity, decision problems in group theory and random walks // J. Algebra. 264 (2003). № 2. P. 665-694.

[5] Hamkins J.D., Miasnikov A. The halting problem is decidable on a set of asymptotic probability one // Notre Dame Journal of Formal Logic. 47 (2006). № 4. P. 515-524.

[6] Myasnikov A., Rybalov A. Generic complexity of undecidable problems // Journal of Symbolic Logic. Vol. 73. № 2 (2008). P. 656-673.

i Надоели баннеры? Вы всегда можете отключить рекламу.