Алгоритмическая вычислимостьнад произвольнымиалгебраическими системами тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Ашаев, Игорь Викторович АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Омск МЕСТО ЗАЩИТЫ
1996 ГОД ЗАЩИТЫ
   
01.01.06 КОД ВАК РФ
Автореферат по математике на тему «Алгоритмическая вычислимостьнад произвольнымиалгебраическими системами»
 
Автореферат диссертации на тему "Алгоритмическая вычислимостьнад произвольнымиалгебраическими системами"

Министерство образования РФ Омский государственный университет

Апгаев Игорь Викторович

Алгоритмическая вычислимость над произвольными алгебраическими системами

01.01.06 — математическая логика,

Р Г 5 ОД

На правах рукописи

алгебра и теория чисел

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

Омск-1996

Работа выполнена на кафедре математической логики и логического программирования Омского государственного университета

Научный руководитель: кандидат физико-математических наук, доцект В.Я. Беляев

Официальные оппоненты: доктор физико-математических наук, профессор A.C. Морозов доктор физико-математических наук, профессор JI.M. Мартынов

Ведущая организация: Новосибирский государственный университет

Защита состоится "22" октября 1996 г. в 15.30 на заседании елец] ализированного совета К 064.36.02 при Омском государственном ун: верситете по адресу: 644077, г. Омск, пр. Мира, 55а.

С диссертацией можно ознакомиться в библиотеке Омского госуда] ственного университета.

Автореферат разослан г.

Ученый секретарь диссертационного совета, доктор физ.-мат. наук '^

.А. Романьк<

Общая характеристика работы

Актуальность темы. Обобщенная вычислимость - новое направление математической логики, зародившееся на стыке теории алгоритмов, теории моделей и теоретического программирования в работах Я. Москозакиса [Мой69] и X. Фридмана [Рп71]. К данной области тесно примыкает теория допустимых множеств и НГ-логика [Ваг75] и теория 2-вычпслимости, разработанная Новосибирской школой [Ерш85, ГС85].

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

Неформальной интуицией обобщенной вычислимости является абстрактный вычислитель, находящийся внутри некоторого мира — алгебраической системы Л. Такой вычислитель умеет работать с элементами системы Л, организуя их финитным образом, т.е. строя из них конечные множества, списки, матрицы и т.п. К элементам А разрешается применять операции и предикаты системы. Это элементарные шаги обобщенного алгоритма. Обобщенный алгоритм является конечным, целенаправленным, дискретным и детерминированным процессом переработки элементов системы А, т.е. обладает всеми свойствами обычного алгоритма, за исключением одного: система А может быть неконструктивной.

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

схем программ впервые появились в теоретическом программировании [КС91], однако упор при этом делался на изучение сравнительной схе-матологии. Систематическое изучение обобщенной теории алгоритмов, основанное на подобных формализациях было предпринято X. Фридманом [Еп71] и Э. Блюм, С. Смейлом и М. Шубом [ВБЗвЭ].

Однако, как отмечено в указанных работах, полученный таким образом класс вычислимых функций оказывается слишком мал и не совпадет с классом интуитивно вычислимых функций. В качестве решения этой проблемы многими авторами (см. обзор [КСУ89]) предлагались различные варианты усиления понятия машины над системой путем введения машин со стеками, счетчиками, массивами и проч. В работе [АБМ93] изложен подход, основанный на идее А.Г. Мясникова: вместо усиления машины расширить алгебраическую систему путем перехода к списочной надстройке. Списочная надстройка, введенная [ГС85), получается добавлением к исходной системе, элементы которой называются праэлементами, конечных последовательностей (списков) элементов системы, списков списков и т.д. вместе с набором естественных операций над списками. Машина над списочной надстройкой из [АБМ93] эквивалентна большинству существующих формализации обобщенной вычислимости: обобщенным машинам Тьюринга и схемам эффективных определений [М71], бесконечномерным машинам [В8Э89], машинам со стеками и счетчиками [КСУ89]. Формализация из [АБМ93] принята в качестве основной в настоящей диссертации. Заметим, что Е-вычислимость из [ГС85] отличается от рассматриваемой формализации: класс Е-вычислимых функций шире.

Имея понятие машины над алгебраической системой, можно определить основные объекты теории алгоритмов: вычислимые функции, рекурсивные и рекурсивно перечислимые множества. Уже на данном этапе появляются отличия от классической теории: класс областей определений вычислимых функций (рекурсивно перечислимые множества) не совпадает в общем случае с классом множеств значений вычислимых функций (выходные множества) [АБМ93]. Системы, в которых К.Е=0, т.е. классы рекурсивно перечислимых и выходных множеств совпадают, изучались в [МЮ2]. В (АБМ93] построена универсальная машина для вычислимости в списочной надстройке, а также мапшны. вычисляющие значение произвольного терма или бескванторной формулы в рассматриваемой системе (универсальные, вычислители термов и формул). Кроме этого в [АБМ93] получено описание рекурсивно пе-

речислимых и выходных множеств формулами логики ЬЫ1Ы. Из него, в частности, следует, что класс выходных множеств совпадает с классом £-определимых в НГ-логике множеств. В (БМ93] анонсированы два обобщения теоремы об арифметической иерархии, а также предложен изящный способ определения Тъюринговой сводимости в обобщенном случае. Однако систематического изучения Тыоринговых степеней в обобщенной вычислимости еще не предпринималось.

Цель работы. Целью диссертации являлось:

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

2) изучение проблемы 11Е=0 в списочной надстройке;

3) изучение свойств Тыоринговой сводимости и Тыоринговых степеней. При этом основной упор делается на изучение вычислимости в полях вещественных, комплексных и р-адических чисел, как наиболее близких по своим алгоритмическим свойствам к арифметике.

Общая методика исследования. Б основе методики исследования лежит описание рекурсивно перечислимых множеств счетными дизъюнкциями рекурсивно перечислимых наборов бескванторных формул (см. [АБМ93]) и вытекающим из этого логическим критерием Тъюринговой сводимости. Сочетание этого метода с методом приоритета используется при доказательстве обобщенной теоремы о разложении.

Практическая и теоретическая ценность. Работа носит теоретический характер. Ее результаты могут найти применение как в теории алгоритмов, так и в теоретическом щюграммировании.

Научная новизна. Результаты работы являются новыми. Следует особо отметить доказательство обобщенной теоремы о разложении как пример применимости метода приоритета в теории рекурсии над неконструктивными системами.

Апробация. Результаты, приведенные в диссертации, докладывались и обсуждались на XI Межреспубликанской конференции по мат. логике (Казань, 1992), на Международной конференции по мат. логике памяти А.И. Мальцева (Новосибирск, 1994), на семинаре "Логика и вычислимость'1 кафедры математической логики Омского университета (1994 - 1996 гг.).

Публикации. По теме диссертации опубликовано 6 работ, две из которых совместные. Из совместных работ в диссертации использованы результаты, полученные лично автором.

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

Содержание диссертации

Глава I посвящена рассмотрению различных формализаций понятия вычислимости в произвольной алгебраической системе, а также свойств вычислимых функций, рекурсивных и рекурсивно перечислимых множеств. В параграфе 1 вводится класс частично рекурсивных в системе Л функций с помощью операторов суперпозиции, примитивной рекурсии и минимизации по спискам в списочной надстройке НЬ{Л). Доказывается, что класс рекурсивных в Л функций совпадает с классом В Б Б-в ы числимы х функций из [АБМ93] и классом функций, вычислимых с помощью схем эффективных определений [№71]. В этом же параграфе доказан аналог теоремы Клини о нормальной форме частично рекурсивной функции.

Теорема 2. Существуют примитивно рекурсивные функции р(х, у) и д[х,у,г) такие, что для любого г £

<рг{х) = р(х,р3(д(х,у,2) = 1)).

В §2 главы I каждому элементу списочной надстройки сопоставлены две характеристики: носитель и структура. Носитель списка а -это список всех праэлементов, из которых состоит а. Структура списка а получается заменой в а всех праэлементов на переменные. Носитель и структура однозначно описывают список. Далее введенные понятия используются для доказательства того, что вопрос об истинности формулы исчисления предикатов сигнатуры ащ в надстройке НЬ(Л) может быть сведен к истинности множества формул сигнатуры а в системе Л.

В §3 рассматривается проблема 11Е=0 в списочной надстройке. Известно (см., например, [В8889]), что понятие рекурсивно перечнслимо-го множества может быть обобщено для случая произвольной алгебраической системы двумя различными способами: как область определения рекурсивной функции (такие множества продолжают называть рекурсивно перечислимыми) и как область значений рекурсивной функции (такие множества называют выходными). В связи с этим встает вопрос поиска систем, в которых эти два класса множеств совпадают,

т.е. RE=0. Такие системы в плане алгоритмических свойств должны быть подобны натуральным числам. В [BSS89, АБМ93, Mi92] приведены некоторые такие системы, в частности, среди них поля вещественных, комплексных и /салических чисел. Заметим, что все рекурсивно перечислпмые множества могут быть эффективно занумерованы натуральными числами: Wx = dom<px, где ipz - рекурсивная функция с номером х, число х называется р.п. индексом множества Wx. Аналогичным образом могут быть занумерованы все выходные множества: Ох — гпдфх, число х - выходной индекс. В §3 рассмотрен вопрос о проблеме RE=0 в системах вида JIL(A). Теорема 4 утверждает, что если RE=0 в системе А, причем можно эффективно переходить от рекурсивно перечислимых индексов множеств к выходным и наоборот, то RE=0 и в списочной надстройке HL(A).

В главе II рассматриваются свойства полурешетки рекурсивно перечислимых Тьюринговых степеней. При этом основной упор делается на рассмотрение вычислимости в полях вещественных, комплексных и р-адических чисел. Тьюрингова сводимость определяется как в [БМ93], а именно, X <т Y, если множество X рекурсивно в системе (А,Р}, где предикат Р интерпретируется как множество Y. Изучаются свойства упорядочения рекурсивно перечислимых Тьюринговых степеней множеств X С HL{A) и упорядочения рекурсивно перечислимых пра-элементных степеней, т.е. степеней множеств Л' С А.

В §4 главы II установлено, что упорядочения праэлементных рекурсивно перечислимых Тьюринговых степеней в полях 72., С и Qp являются верхними полурешетками с наибольшим элементом. Для систем вида HL(A) это установлено в [БМ93]. В [БМ93] отмечено также, что в упорядоченном поле вещественных чисел положительно решается проблема Поста. А именно, степени множеств Q, KD (KD - канторов дисконтинуум) и X С N, X р.п. несравнимы. В теореме б доказано, что проблема Поста решается положительно и в полях комплексных и р-адических чисел.

Теорема 6. В полях С и Qp справедливы следуюь^е утверждения: N <Т Q <т AI, Q £т X для любого X С N, X £т AI, где X С N рекурсивно перечислимо, но не рекурсивно в арифметике. Кроме того, множество N ме является рекурсивным о поле Qp.

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

Одним из следствий отсутствия аналога канторовской спаривающей функции в полях 72. и является

Теорема 7. Пусть J- одно из полей TZ или Qp. Пусть А1„ = {(ai,... ,а„) £ F | (ai,..., а,,) алгебраически зависимы над Q}, п > 1. Тогда для всех п > 1 множества А1„ рекурсивно перечислимы и для любого X С F""1 А1„ ¿7- X.

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

В §5 главы II рассматривается обобщение теоремы Сакса о разложении. Под теоремой о разложении для системы А подразумевается следующее утверждение:

Пусть В, С С. HL(A) рекурсивно перечислимые множества, причем С не рекурсивно. Тогда существуют рекурсивно перечислимые Aq,A\ такие, что

1) А0 U Ai = В, Ао Л Ai ~ 0;

2)С&Аь£ = 0,1.

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

Условие А. Существует рекурсивно перечислимая последовательность бескванторных атомных формул a 1,0$,с*з,... сигнатуры о таких, что для любой бескванторной формулы (р(х) сигнатуры а, не являющейся тождественно ложной, найдется атомная формула сц{х), что Vx (а,-(х) —» ¡р(х)) (или то же самое, что Эх (a,-(x)&<£(x))j. При этом истинность отношения Зх (а;(х)&<уэ(х)) определяется эффективно по номерам а,- и <р.

Теорема 9. Пусть система А удовлетворяет условию А и имеет разрешимую 3-теорию. Тогда для .Л справедлива теорема о разложении.

Теорема 10. Пусть система А удовлетворяет условию А, причем множество атомных формул из условия А плотно в А. Тогда для А справедлива теорема о разложении.

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

речислимое множество описывается счетной рекурсивно перечислимой дизъюнкцией бескванторных формул [АБМ93]. Поэтому рекурсивно пе-речнсшшые множества состоят тп счетного нябора частей, которые и используются в построении.

В главе III рассматриваются свойства упорядочения праэлементных Тьюринговых степеней в алгебраически замкнутых полях, рассматриваемых в сигнатуре полей. В §6 установлено, что если поле Т ненулевой степени трансцендентности над своим простым подполем, то рекурсивные над Т множества X С Т - это в точности те, которые задаются формулами вида $1(х) = О V ... V /„(х) = 0, /, - многочлены, или их дополнения. При этом нерекурсивные рекурсивно перечислимые множества представляют собой счетные множества алгебраических элементов. Поэтому каждому такому множеству может быть сопоставлено множество натуральных чисел - совокупность кодов минимальных многочленов. Получены также необходимые условия Тьюринговой сводимости праэлементных множеств в алгебраически замкнутых полях в терминах сводимости множеств их кодов в арифметике.

В §7 полученные результаты используются для доказательства того, что упорядочение праэлементных рекурсивно перечислпмых Тьюрпн-говых степеней в алгебраически замкнутых полях с трансцендентными элементами не изоморфно и не элементарно эквивалентно верхней полурешетке рекурсивно перечислимых степеней в арифметике. Это достигается при помощи рассмотрения ветвящихся и неветвящихся степеней. Рекурсивно перечислимая степень а называется ветвящейся, если существуют р.п. степени Ь, с, отличные от а, такие, что а есть наибольшая нижняя грань для {Ь,с}. В противном случае степень а неветвящаяся. В арифметике имеет место следующий результат Лахлана:

если Ь ф 0 р.п. степень, то существует неветвящаяся р.п. степень а такая, что а <т Ь (см. [Шен71'¡).

В теореме 11 устанавливается, что существует р.п. степень а > О такая, что для любой р.п. степени Ь < а степень Ь ветвящаяся.

В §8 строятся минимальные праэлементные степени в упорядочении всех Тьюринговых степеней в алгебраически замкнутых полях с трансцендентными элементами. А1т обозначает алгебраическое замыкание множества Т.

Теорема 12. Для любого множества трансцендентных элементов Т С F,T ф 0, если А1т ф F, то степень dт(А1т) является минимальной Гъюринговой степенью в Т. При этом степени ) и6г{А1тг) несравнимы, если А1тх ф А1тг.

Доказательство основано на результатах §7 и не требует переборных методов как в арифметике. Заметим, что в силу справедливости обобщенной теоремы о разложении для алгебраически замкнутых полей не существует минимальных рекурсивно перечислимых степеней.

Литература

[БМ93] Беляев В.Я., Мясников А.Г. Теоремы об иерархии в обобщенной теории рекурсии// Тез. докл. на III Международн. конф. по алгебре. Красноярск, 1993. С. 42-43.

[ГС85] Гончароа G.C., Свириденко Д.И. ^-программирование// Логико-математические проблемы МОЗ (Вычислительные системы. Вып. 107). Новосибирск, 1985. С. 3-29.

[Ерш85] Ершов Ю.Л. Ъ-определимостъ в допустимых множествах// Доклады АН СССР. 1985. N4. Т.285, 1985. С. 792794.

[КС91] Котов В.Е., Сабельфельд В.К. Теория схем программ. - М.: Наука, 1991.

[КСУ89] Кфури А. Дж., Столбоушкин А.П., Ужичин П. Некоторые открытые вопросы в теории схем программ и динамических логик// УМН. 1989. Т.44. Вып.1 (265). С. 35-55.

[Шен77] Шенфилд Дж. Степени неразрешимости. М.: Наука, 1977.

[BSS89] L. Blum, М. Shub, S. Smale. Оп а theory of computation and complexiiy over the real numbers: NP-compleieness, recursive functions and universal machines //Bull. Amer. Math. Soc. 1989. 4.21. N1. P.l-46.

[Bar75] J. Barwise. Admissible sets and structures. - Berlin: SpringerVerlag, 1975.

[Fri71] H. Friedman. Algorithmic procedures, generaiized Tating algorithms, and elementary recursion theory //Logic

Colloquium69 (R.O. Gandy and C.E.M. Yates eds), - North Holland, 1971. P. 361-390.

[Mac76] A. Macintyre. On definable subsets of p-adic numbers //The Journal of Symbolic Logic. V.4,1. 1976. N3. P. 605-610.

[Mi92] C. Michaux. Differential fields, machines over the real numbers and automata. - PhD dissertation, Universite de Mons hainaut, 1992.

[Mos69] Y. Moschovakis. Abstract first order computability 1 //Trans. Am. Math. Soc. 138 (April, 1969).

Работы автора по теме диссертации

[АБМ92] Ашаев И.В., Беляев В.Я., Мясников А.Г. Вычислимость над алгебраическими системами //Тез. докл. на XI Межресп. конф. по логике. Казань, 1992. С. 8.

[АБМ93] Ашаев И.В., Беляев В.Я., Мясников А.Г. Подходы к теории обобщенной вычислимости// Алгебра и логика. 32. N 4 (1993). С. 349-386.

[А93] Ашаев И.В. О вычислимости над алгебраическими системами //Тез. докл. на III Международн. конф. по алгебре. Красноярск, 1993. С. 24-25.

[А9Й] Апкьев И.В. Минимальные Тьюринговы степени в обобщенной вычислгшости //Тез. докл. на Международн. конф. по мат. логике памяти А.И. Мальцева. Новосибирск, 1994. С. 13-14.

[А95] Ашаев Й.В. О вычислимости в полях //Актуальные проблемы современной математики. Т.1 - Новосибирск: йзд-во НИИ МИОО, 1995. С. 10-18.

[А96] Ашаев И.В. Теорема о разложении в обобщенной вычислимости: Препринт 96-01. Омск, 1996. С. 1-24.

Подписано в печать 10.09.96. Печ. л. 0,7. Уч.-изд. л. 0,7. Тираж 100 экз. Заказ 443. Издательско-полиграфический отдел ОмГУ - НОФ 644077, Омск-77, пр. Мира, 55а