О сложности экзистенциальной и универсальной теорий конечных полей Текст научной статьи по специальности «Математика»

ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА

2019 Математические основы информатики и программирования №45

МАТЕМАТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ И ПРОГРАММИРОВАНИЯ

УДК 510.52

О СЛОЖНОСТИ ЭКЗИСТЕНЦИАЛЬНОЙ И УНИВЕРСАЛЬНОЙ

ТЕОРИЙ КОНЕЧНЫХ ПОЛЕЙ1

А. Н. Рыбалов

Институт математики им. С. Л. Соболева СО РАН, г. Омск, Россия

Конечные поля являются важнейшими математическими объектами, которые используются при решении многих практически важных задач оптимизации, информатики, передачи информации и криптографии. Многие такие задачи можно формулировать как задачи, связанные с решением систем уравнений над полями, что приводит к необходимости развития алгебраической геометрии. Алгебраическая геометрия над этими объектами тесным образом связана со свойствами экзистенциальных и универсальных теорий. С практической точки зрения важнейшими являются вопросы разрешимости и вычислительной сложности этих теорий. В работе изучается вычислительная сложность экзистенциальной и универсальной теорий конечных полей. Доказывается, что экзистенциальная теория класса всех конечных полей является NP-трудной, а универсальная теория этого класса является co-NP-трудной. Это означает, что, при условии неравенства классов сложности P, NP и co-NP, не существует полиномиальных алгоритмов, распознающих эти теории.

Ключевые слова: конечные поля, универсальная теория, экзистенциальная теория, NP-трудность.

DOI 10.17223/20710410/45/9

ON COMPLEXITY OF THE EXISTENTIAL AND UNIVERSAL THEORIES OF FINITE FIELDS

A. N. Rybalov Sobolev Institute of Mathematics, Omsk, Russia E-mail: alexander.rybalov@gmail.com

Finite fields are the most important mathematical objects that are used for solving many practical problems of optimization, computer science, information transfer and cryptography. Many such problems can be formulated as problems connected with the solving systems of equations over fields. This leads to the need for the development of algebraic geometry. Algebraic geometry over such objects is closely related to properties of existential and universal theories. From a practical point of view, the most important are questions about decidability and computational complexity of these theories. In this paper, we study the computational complexity of existential and

1 Работа поддержана грантом РНФ №19-11-00209.

universal theories of finite fields. We prove that the existential theory of finite fields is NP-hard, and the universal theory of finite fields is co-NP-hard. This means that there are no polynomial algorithms that recognize these theories, provided the inequality of classes P, NP and co-NP.

Keywords: finite fields, universal theory, existential theory, NP-hardness.

Введение

Большой пласт алгоритмических проблем связан с проблемами разрешения элементарных теорий различных алгебраических систем. Как правило, эти проблемы либо неразрешимы (формальная арифметика, теория поля рациональных чисел, теория графов и т. д.), либо разрешимы, но имеют очень высокую вычислительную сложность (арифметика Пресбургера, теория упорядоченного поля действительных чисел, теория конечных полей и т. д.). Поэтому большой интерес представляет изучение экзистенциальных и универсальных теорий. Экзистенциальные и универсальные теории тесно связаны с решением уравнений и систем уравнений над различными алгебраическими системами. Для классических алгебраических систем, таких, как поля вещественных, комплексных, рациональных чисел, кольца целых и алгебраических чисел изучение их экзистенциальных и универсальных теорий является классической темой исследований в различных областях математики в течение уже многих сотен лет. Классическая алгебраическая геометрия изучает множества решений алгебраических уравнений над полями вещественных и комплексных чисел. В рамках диофантовой геометрии и ди-офантова анализа изучаются решения алгебраических уравнений над целыми и рациональными числами.

В XX веке, в связи с бурным развитием компьютерной техники и прикладной математики, на первый план вышли исследования различных конечных комбинаторных и алгебраических объектов. Одними из важнейших таких объектов являются конечные поля, без которых немыслима теория передачи информации и современная криптография. Классическим подходом к изучению конечных полей является использование алгебраических методов. Новый подход к изучению этих объектов — логический и теоретико-модельный — родился в рамках так называемой универсальной алгебраической геометрии [1]. Многие практически важные задачи о конечных полях можно формулировать как задачи, связанные с решением систем уравнений над полями, что приводит к необходимости развития алгебраической геометрии. Алгебраическая геометрия над этими объектами тесным образом связана со свойствами экзистенциальных и универсальных теорий. С практической точки зрения важнейшими являются вопросы разрешимости и вычислительной сложности этих теорий.

В данной работе изучается вычислительная сложность экзистенциальной и универсальной теорий конечных полей. Доказывается, что экзистенциальная теория класса всех конечных полей является NP-трудной, а универсальная теория этого класса является co-NP-трудной. Это означает, что, при условии неравенства классов сложности P, NP и co-NP, не существует полиномиальных алгоритмов, распознающих эти теории.

1. Предварительные сведения

Напомним некоторые определения из математической логики и теории моделей [1]. Сигнатурой называется множество а, состоящее из предикатных, функциональных и константных символов. Алгебраическая система сигнатуры а есть набор A = {A, а), где A — непустое множество, причём каждому предикатному символу сигнатуры а со-

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

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

Ф = 3x1... 3х„^(х 1,... ,Хп),

где ^ — бескванторная формула сигнатуры а. Предложение Ф сигнатуры а называется универсальным (или У-предложением), если оно имеет вид

Ф = Ух1... Ухга^(х1,..., хп),

где — бескванторная формула сигнатуры а. Элементарной теорией класса К называется множество ТН(К) всех предложений сигнатуры а, истинных во всех алгебраических системах класса К. Множество всех 3-предложений теории Тк(К) называется экзистенциальной теорией ТН^(К) класса К. Множество всех У-предложений теории ТН(К) называется универсальной теорией Т^у(К) класса К. Теория (элементарная, экзистенциальная, универсальная) класса К разрешима, если существует алгоритм, который по произвольному предложению сигнатуры а позволяет определить, принадлежит ли оно этой теории.

Приведём некоторые сведения из теории сложности вычислений [2]. Время работы ¿м (х) машины Тьюринга М над алфавитом А на входе х Е А* —это число шагов машины от начала работы до остановки. Если М на х не останавливается, полагаем ¿м(х) = то. В дальнейших определениях для строки х под |х| понимается длина строки х. Машина Тьюринга М полиномиальна, если существует полином р(п), такой, что для любого х Е А* имеет место ¿м(х) < р(|х|). Множество Б С I принадлежит классу Р, если существует полиномиальная машина Тьюринга, вычисляющая характеристическую функцию множества Б. Множество Б С I принадлежит классу ЫР, если существует такое множество Б' Е Р и такой полином р(п), что

х Е Б ^ 3у Е {0,1}* (|у| < р(|х|) и (х, у) Е Б').

Здесь строка у называется подсказкой (или сертификатом, или решением), а множество Б' — проверятелем. Множество Б С I принадлежит классу со-ЫР, если I \ Б Е ЫР.

Множество А С I полиномиально сводится к множеству В С 3, если существует функция f : I ^ 3, вычислимая на полиномиальной машине Тьюринга, такая, что

Ух Е I (х Е А ^ f (х) Е В).

Множество А называется ЫР-трудным, если любое множество В Е ЫР полиномиально сводится к А. Если при этом А Е ЫР, то А называется ЫР-полным. Соответствующая проблема распознавания ЫР-трудного множества также называется ЫР-трудной. ЫР-трудные проблемы являются самыми сложными проблемами в классе ЫР в том смысле, что если хотя бы одна из них лежит в классе Р, то Р = ЫР, а также, если Р = ЫР, то любая ЫР-трудная проблема не лежит в классе Р. Множество А называется со-ЫР-трудным, если любое множество В Е со-ЫР полиномиально сводится к А. Легко видеть, что Б С I со-ЫР-трудно тогда и только тогда, когда I \ Б ЫР-трудно.

2. Конечные поля

Рассмотрим класс Т всех конечных полей СЕ(^) сигнатуры о? = {=, +, —, /, 0,1}. В [3] доказано, что элементарная теория класса всех конечных полей разрешима. Поэтому разрешимы экзистенциальная и универсальная теория класса конечных полей. Изучим вычислительную сложность этих теорий.

Булева формула ^(ж^ ..., жп) называется выполнимой, если существуют значения булевых переменных ж^ ..., жп, при которых ^(ж^... , жп) является истинной. Проблема выполнимости булевых формул — это проблема распознавания множества выполнимых булевых формул на множестве всех булевых формул. Булева формула записана в виде 3-КНФ, если она имеет вид

т

^(ж1,...,ж„) = Д (41V42 V43), к= 1

где ж* есть литерал, то есть либо сама логическая переменная жг, либо её отрицание —жг. Известно [2], что проблема выполнимости 3-КНФ является КР-полной.

Определим отображение £ из множества всех литералов от переменных ж1,... в множество многочленов от переменных ж1,... , жп следующим образом:

, I xi, если х* xi,

£(жг) = \ м \ *

1(1 — жг), если Х* = —ж*.

Построим по 3-КНФ ^(ж1,... , жп) следующее экзистенциальное предложение сигнатуры о ?:

п т

Ф^ = 3ж1 ... Зжп Л ((жг = 0) V (жг = 1)) Л Д (£(жк1 ^^¿Кз) = 0).

г=1 к=1

Лемма 1. Пусть ^ — 3-КНФ. Тогда ^ выполнима тогда и только тогда, когда Ф^ е Тй3(Т).

Доказательство. Пусть 3-КНФ ^(ж1,...,жп) выполнима и а1,...,ап — набор значений логических переменных, на которых ^ истинна. Пусть Ар — любое конечное поле. Тогда Ар = Ф^, при этом значения переменных ж1,... , жп, которые делают бескванторную часть предложения Ф^ истинной, определяются следующим образом:

0, если аг = истина,

1, если аг = ложь.

Таким образом, Ф^ е ТН^(Т).

Обратно, пусть Ф^ е Ткз(Т), то есть Ар = Ф^ для любого конечного поля Ар, в частности для двоичного поля СЕ(2). Но тогда 3-КНФ ^(ж1,...,жп) выполнима, а значения логических переменных а1,...,ап, на которых ^ истинна, определяются по значениям переменных ж1,... , жп, которые делают бескванторную часть предложения Ф^ истинной в СЕ(2):

{истина, если жг = 0,

г

ложь, если жг = 1 .

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

Теорема 1. Экзистенциальная теория конечных полей является NP-трудной.

Доказательство. Доказательство заключается в сведении проблемы выполнимости 3-КНФ к проблеме разрешимости экзистенциальной теории конечных полей. Определим сводимость f между двумя этими проблемами следующим образом. Если ^ — 3-КНФ, то положим f = Ф^. По лемме 1 ^ выполнима тогда и только тогда, когда Ф<^ £ Thg(F). Полиномиальность сводимости следует из того факта, что размер формулы Ф^ линейно ограничен от размера 3-КНФ Таким образом, проблема разрешимости экзистенциальной теории конечных полей является NP-трудной. ■

Теорема 2. Универсальная теория конечных полей является co-NP-трудной.

Доказательство. Докажем, что дополнение Thg(F) в множестве всех экзистенциальных предложений сигнатуры af полиномиально сводится к Thv(F). Отсюда по теореме 1 будет следовать, что последняя теория co-NP-трудна. Эта сводимость f действует на предложение

Ф = 3xi... ..., xn)

следующим образом:

f (Ф) = —Ф = -(3xi... 3xn^(xi,... ,xn)) = Vxi... Vxn-^(xi,.. .,x„).

Очевидно, что для любого 3-предложения Ф имеет место Ф £ Thg(F) ^ —Ф £ Thv(F). Полиномиальность сводимости f следует из того, что размер — ^ линейно ограничен от размера <£. ■

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

ЛИТЕРАТУРА

1. Даниярова Э. Ю., Мясников А. Г., Ремесленников В. Н. Алгебраическая геометрия над алгебраическими системами. Новосибирск: СО РАН, 2016. 288 с.

2. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982. 419 с.

3. Ax J. The elementary theory of finite fields // Ann. Math. 1968. V. 88. No. 2. P. 239-271.

REFERENCES

1. Daniyarova E. Y., Myasnikov A. G., and Remeslennikov V. N. Algebraicheskaya geometriya nad algebraicheskimi sistemami [Algebraic Geometry over Algebraic Structures]. Novosibirsk, SB RAS Publ., 2016. 288 p. (in Russian)

2. Garey M. and Johnson D. Computers and Intractability. N. Y., Freeman & Co, 1979. 340 p.

3. Ax J. The elementary theory of finite fields. Ann. Math., 1968, vol.88, no.2, pp.239-271.