TopList Яндекс цитирования
Русский переплет
Портал | Содержание | О нас | Авторам | Новости | Первая десятка | Дискуссионный клуб | Чат Научный форум
-->
Первая десятка "Русского переплета"
Темы дня:

Президенту Путину о создании Института Истории Русского Народа. |Нас посетило 40 млн. человек | Чем занимались русские 4000 лет назад?

| Кому давать гранты или сколько в России молодых ученых?
Rambler's Top100

Статьи Соросовского Образовательного журнала в текстовом формате


О сложности вычислений в группах (Ольшанский А.Ю. , 2000), МАТЕМАТИКА

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

О СЛОЖНОСТИ ВЫЧИСЛЕНИЙ В ГРУППАХ

А. Ю. ОЛЬШАНСКИЙ

Московский государственный университет им. М.В. Ломоносова

Группы появляются в математике вместе с симметриями и преобразованиями. Для знакомства с примерами и основными понятиями рекомендуем опубликованные в "Соросовском Образовательном Журнале" статьи [1, 2]. Напомним только, что всякая группа G является множеством, наделенным ассоциативной операцией a " b для a, b k G (элемент c = a " b группы G называют обычно произведением элементов a и b), причем выполнены аксиомы единицы (существует элемент e k G, такой, что ae = ea = a для любого a k G ) и обратного (для любого a k G существует элемент b = = a-1 k G, такой, что ab = ba = e). Из аксиом непосредственно следует единственность единицы и единственность обратного для всякого a k G. Некоторые другие особенности групповых исчислений обсуждаются в [2].

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

Но есть и другие группы, устроенные дискретно в том смысле, что в малой окрестности элемента группы других элементов вообще нет (см. примеры ниже). В статье речь пойдет об универсальном способе задания элементов любой группы в виде слов от порождающих. Мы затронем основной вопрос, возникающий в исчислении слов, - проблему распознавания равенства слов в группе.

ПОРОЖДАЮЩИЕ

Начнем с примеров.

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

Понятно, что в G1 входят любые сдвиги плоскости на векторы (m, n) с целыми m и n. Любой такой перенос можно получить как результат многократного умножения (то есть повторного применения) всего из двух переносов и им обратных: из сдвига a на вектор (1; 0) и сдвига b на вектор (0; 1). Например, перенос t2, - 3 на вектор (2; - 3) можно записать как aab-1b-1b-1 или a2b- 3, то есть, выполняя последовательно три раза перенос b-1 на вектор (0; -1), а затем два раза перенос a, мы в итоге имеем перенос t2, - 3 .

Говорят, что сдвиги a и b составляют систему порождающих группы G1 . (Систему порождающих можно выбрать многими способами. Проверьте, что ее можно составить, в частности, из сдвигов на векторы (2; 1) и (3; 2).)

2. Напомним, что числовые матрицы размера 2 i 2 умножаются по правилу

Обозначим через G2 подмножество всех матриц вида где i - любое целое число, а r - двоично-рациональная дробь (ее числитель целый, а знаменатель - степень двойки).

Предлагаем читателю проверить, что G2 тоже группа: произведение двух матриц из G2 содержится в этом же подмножестве, умножение ассоциативно, единичной является матрица а обратной для A будет матрица Докажите также, что матрицы и порождают группу G2 , то есть с помощью многократного умножения из матриц a, a-1, b и b-1 можно получить всякую матрицу из G2 .

3. Пусть G3 - группа всех перестановок на множестве {1, 2, 3} (см. [1]). Проверьте, что перестановки и порождают группу G3 . Например, где произведение aba есть результат выполнения перестановок a, b и опять а.

Далее рассматриваются только конечно-порожденные группы: это группы с конечной системой порождающих. Из примеров понятно, что под системой порождающих (a1 , _, am) группы G понимается такое подмножество ее элементов, что каждый элемент g k G равен некоторому произведению g1 _ gn , где любой сомножитель - это один из элементов a1 , _, am , При этом говорят также, что каждый элемент из G представляется некоторым словом от порождающих a1 , _, am . Например, слово имеет длину 7, а пустое слово (не содержащее ни одной буквы; обозначим его здесь w) - длину 0. Считаем, что w представляет единицу группы G.

СООТНОШЕНИЯ И ИХ СЛЕДСТВИЯ

В рассмотренных примерах запись элемента группы в виде слова от порождающих неоднозначна. К примеру, в группе G1 (здесь (a1 , a2) = (a, b)) имеем a2b = aba = = a-1b2a3b-1, а в G2 aba-1 = b2 (проверьте!) и т.д. Поскольку в любой группе G равенство u = u равносильно равенству uu-1 = e, говоря о соотношениях группы, обычно имеют в виду равенства вида w = w , где w - слово от порождающих, представляющее единичный элемент группы. Соотношение записывают также в форме w = e, и, допуская вольность речи, слово w тоже называют соотношением. Подчеркнем, что в этом контексте w рассматривается формально, то есть именно как слово (конечная последовательность букв), так как при содержательном толковании (как произведения в группе G ) левая часть равенства w = w неотличима от правой. Для графического же (то есть побуквенного равенства слов будем употреблять символ ╞. Обратным для слова w ╞ b1 _ bn (где b1 , _, bn - любые буквы из множества ) считается слово Ясно, что если w - соотношение группы G, то и w-1 также соотношение, так как ww-1 = w-1w = e в G для любого слова w.

Множество соотношений произвольной группы G бесконечно, но из него в наиболее важных случаях удается выделить конечное подмножество так называемых определяющих соотношений, из которых следуют все остальные. Нужно лишь уточнить правила вывода следствий.

Для каждого множества слов R в алфавите A ?1 = введем следующие виды R-преобразований, применяемых далее к произвольному слову w в том же алфавите. Их определение основано на простом наблюдении, что в любой группе xy = xey и xzz-1y = xy для любых элементов x, y, z.

I. Если w ╞ uaa-1u (где a - буква из A ?1, а u, u - какие-то слова, возможно пустые), то можно сделать сокращение: uaa-1u uu.

I'. Вставка (обратное преобразование для I): uu uaa-1u.

II. Если w = uru для некоторых слов u, u, где r k R или r -1 k R, то можно сделать вычеркивание: uru uu.

II'. Обратное преобразование для II: uu uru.

Некоторое множество слов-соотношений R группы G (в алфавите A ?1 ) называется множеством определяющих слов (или соотношений), если всякое слово-соотношение w может быть приведено к пустому слову с помощью нескольких последовательно выполненных R-преобразований типов I-II'. Например, в группе сдвигов G1 слово w в алфавите {a, a-1, b, b-1} тогда и только тогда задает тождественное преобразование e (сдвиг на нулевой вектор), когда буква a встречается в w столько же раз, сколько и буква a-1, а b - столько раз, сколько b-1. Тогда оно может быть приведено к пустому слову посредством нескольких перестановок букв a? 1 с буквами b? 1 и последующих сокращений. Такая перестановка букв получается с помощью цепочки R-преобразований для множества R, состоящего из одного слова r ╞ a-1b-1ab. Для примера: ba baa-1b-1ab bb-1ab ab.

Следовательно, в качестве единственного определяющего слова для группы G1 можно взять a-1b-1ab.

В качестве более трудной задачи мы оставляем читателю проверку того факта, что в качестве одного определяющего слова для группы матриц G2 можно взять aba-1b2 (соотношение aba-1b2 = e чаще записывается в равносильной форме aba-1 = b2). Докажите также, что множество {a2, b2, (ab)3} будет множеством определяющих соотношений для группы G3 (здесь (ab)3 ╞ ababab).

Вообще запись вида

G4 = бa, b, c, d | aba-1b-1cdc-1d -1с

означает, что группа G4 порождается элементами a, b, c, d, а определяющим словом является слово aba-1b-1cdc-1d -1. На вопрос, существует ли такая группа, ответ положительный. В качестве ее элементов можно взять классы R-эквивалентных слов (то есть в G4 два слова равны тогда и только тогда, когда одно из другого можно получить с помощью нескольких R-преобразований для R = {aba-1b-1cdc-1d -1}). Произведение же uu слов u и u получается (с точностью до R-эквивалентности) посредством простого приписывания слова u к слову u.

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

ПРОБЛЕМА РАВЕНСТВА СЛОВ

Итак, каждый элемент группы G задается некоторым словом от порождающих При таком задании основным оказывается вопрос об идентификации элементов: как по любым двум словам u, u узнать, представляют ли они один и тот же элемент, то есть верно ли, что w = e в G для частного w = uu-1 ?

Для группы G1 проблема равенства слов (короче, проблема слов) решается очень просто, так как каждое слово легко приводится R-преобразованиями к единственному каноническому виду as bt с целыми показателями s и t. В случае группы матриц G2 для решения проблемы равенства двух слов u, u в алфавите {a?1, b?1 } нужно просто вычислить задаваемые этими словами произведения матриц, а в случае группы G3 - соответствующие произведения перестановок. Для группы G4 (и других фундаментальных групп поверхностей) М. Дэн в начале века обосновал алгоритм распознавания равенства слов w единице, основанный на том, что для такого слова w существует цепь R-преобразований w _ w , где каждое последующее слово короче предыдущего. При этом сама группа G4 интересна как фундаментальная группа поверхности, а именно сферы с двумя ручками S (рис. 1, а).

Опишем общее правило построения фундаментальной группы G поверхности S. Два замкнутых пути (петли) p и p', начинающиеся и кончающиеся в фиксированной на S точке o, называются гомотопными, если один в другой можно превратить с помощью непрерывной деформации, сохраняющей точку о, по поверхности S. (Например, на сфере все такие петли гомотопны тривиальному пути, состоящему только из точки о, то есть они стягиваемы по сфере в точку.)

Элементом группы G считается класс [ p] всех петель, гомотопных некоторой петле р. Умножение задается равенством [ p] [q] = [ pq], где pq - петля, для прохождения которой сначала проходится р, а потом q. Можно проверить, что введенная операция удовлетворяет аксиомам группы. В частности, роль единицы играет класс тривиальной петли, а класс, обратный к [ p], получается изменением обхода петель на противоположное. Фундаментальная группа показывает, насколько сложна структура петель на поверхности. Так, в случае сферы группа G состоит лишь из единичного элемента, а для поверхности тора фундаментальной группой оказывается группа из примера 1.

Вопрос о том, какие замкнутые кривые p на S могут быть непрерывно стянуты в точку по данной поверхности, является естественным и важным в топологии. Очевидно, что кривая p1 стягиваема по S в точку, а кривая p2 нет (рис. 1, а). При естественном задании кривой р вопрос о ее стягиваемости в точку сводится к проблеме равенства единице слова в группе G4 . Для получения этого слова путь, проходящий через фиксированную точку o, можно предварительно непрерывно деформировать по S в произведение путей a, b, c, d и им обратных, изображенных на рис. 1, б.

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

Определения алгоритма не требуется для положительного решения проблемы слов в группах G1-G4 . (Алгоритмы вошли в науку и жизнь задолго до формализации этого понятия в первой половине XX века.) Наоборот, факт отсутствия какого-либо алгоритма, решающего ту или иную "массовую" проблему, может быть доказан только на основе точного определения этого понятия. Все разумные определения алгоритма оказываются равносильными, а наиболее известную формализацию - с помощью понятия машины Тьюринга - можно найти в [3].

Детерминированную машину Тьюринга, решающую проблему слов в группе G, в общих чертах можно представлять себе в виде компьютерной программы, которая по любому слову w, подаваемому на вход (то есть определенным образом записываемому в конечную, но в принципе неограниченную память машины), на выходе дает ответ, равно слово w единице в G или нет. При этом время работы машины, реализующей алгоритм, - это число команд, выполненных компьютером. Каждая команда в момент времени n (где n = 0, 1, 2, _) в однозначной зависимости от буквы, записанной в обозреваемой в этот момент ячейке памяти, и от внутреннего состояния машины (число которых ограничено) выполняет одно из следующих предписаний. Либо она изменяет букву в данной ячейке, либо предписывает к моменту n + 1 перейти к одной из двух соседних ячеек памяти (условно расположенных на ленте), либо справа или слева от просматривающей головки к ленте добавляется новая ячейка с определенной буквой. Одновременно команда указывает на изменение состояния машины к моменту n + 1. В момент времени n = 0 машина находится в начальном состоянии, а завершается работа при переходе машины в заключительное состояние.

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

СЛОЖНОСТЬ ПРОБЛЕМЫ СЛОВ

Важнейшей характеристикой сложности алгоритма является длительность вычислительного процесса. Временная функция T (n) для алгоритма или реализующей его машины Тьюринга M, решающей проблему слов в группе G c порождающими a1 , _, am , определяется следующим образом. Пусть для каждого слова w в алфавите за время Tw (= числу команд) машина M узнает, равно слово w единице в G или нет. Тогда T (n) - это максимум времен Tw для всех слов w длины, не превосходящей n. Таким образом, функция T (n) оценивает сверху продолжительность работы алгоритма в зависимости от длины исследуемого слова w.

Говорят, что сложность алгоритма полиномиальна, если функция T (n) полиномиальна. Под полиномиальностью функции T (n) здесь и далее мы понимаем лишь существование такого многочлена f (x), что T (n) # f (n) для всех n $ 0. Полиномиальная сложность алгоритмов считается относительно низкой по сравнению с экспоненциальной (когда значения T (n) растут со скоростью геометрической прогрессии) и более высокими степенями сложности. Группу G отнесем к классу P, если проблема слов может быть решена в ней с помощью некоторого алгоритма полиномиальной сложности (говорят также, что проблема решается за полиномиальное время).

Проблема слов в каждой из групп G1-G4 имеет полиномиальную сложность. Например, в случае группы G2 в этом нетрудно убедиться, подсчитывая число арифметических операций, требуемых для перемножения n матриц вида a? 1, b? 1. (Здесь нужно учесть и удлинение процесса сложения и умножения рациональных чисел вместе с ростом их числителей и знаменателей.)

ФУНКЦИЯ ДЭНА ГРУППЫ

И НЕДЕТЕРМИНИРОВАННЫЕ АЛГОРИТМЫ

Поскольку слово w единично в конечно-определенной группе G тогда и только тогда, когда оно может быть сведено к пустому слову с помощью R-преобразований, естественно попытаться построить соответствующий R-алгоритм в виде следующего ветвящегося процесса. Сначала выписываются все слова w11 , w12 , _ _, которые можно получить из w с помощью одного R-преобразования. Затем применяем всевозможные R-преобразования к каждому из слов w11 , w12 , _ _, и получаем все слова w21 , w22 , _, которые могут возникнуть, если к исходному слову w применить два R-преобразования. Все слова w31 , w32 , _, "глубины" 3 аналогично получаются из слов w21 , w22 , _ _, глубины 2 и т.д. (рис. 2). Если рано или поздно получится пустое слово, то можно заключить, что w = e в группе G.

Однако если R-алгоритм раз за разом выписывает только непустые слова, мы не будем знать, то ли пустое слово будет выдано уже в следующую секунду (а значит, w = e в G ), то ли пустое слово встретится через 10 млрд лет работы идеального компьютера (и тогда тоже w = e в G ), то ли пустое слово никогда не встретится, машина никогда не остановится (и поэтому w ? e в группе G ). Этот "полуалгоритм" превращается в настоящий алгоритм, только если глубина перебора может быть ограничена значением некоторой алгоритмически вычислимой функции в зависимости от длины исследуемого слова w. Введем в этой связи функцию Дэна для конечно-определенной группы G.

Значением D(n) функции Дэна называют минимальное число R-преобразований, достаточных для приведения к пустому слову каждого слова w длины # n, представляющего в группе G единицу.

Конечно, функция Дэна может измениться при ином выборе конечных систем порождающих и определяющих соотношений группы G. Однако не очень сложно доказывается, что новая функция Дэна D1(n) и старая функция Дэна D (n) для некоторой константы с > 0 связаны неравенством D1(n) # cD (cn) + cn. Поэтому свойства функции Дэна быть полиномиальной, экспоненциальной и т.п. зависят только от группы G и не зависят от конкретного конечного задания этой группы порождающими и соотношениями. (Для читателя, знакомого с понятием риманова многообразия, отметим, что при "хорошем" действии группы G изометриями многообразия Х функция Дэна для G оказывается эквивалентной изопериметрической функции f (n) для Х, которая по определению ограничивает сверху площади двумерных пленок, которыми можно затянуть петли длины не больше n в Х.)

Предположим, что D (n) - вычислимая функция натурального аргумента, то есть существует алгоритм, вычисляющий ee значения. (Для функций Дэна это равносильно формально менее сильному условию D (n) # f (n) для некоторой вычислимой функции f.) Тогда описанный выше процесс можно сделать эффективным, потому что если нужно выяснить, равно ли слово w длины n пустому слову в группе G или нет, то для получения ответа достаточно просмотреть всевозможные полученные R-преобразованиями цепочки длин l # D (n). Иными словами, D (n) является достаточной глубиной работы R-алгоритма при решении проблемы равенства пустому слову для любого слова w длины # n.

Таким образом, если функция Дэна вычислима, то проблема слов для конечно-определенной группы G решается с помощью недетерминированного R-алгоритма. Отличие от детерминированных алгоритмов состоит в том, что на каждом шагу работы R-алгоритма имеется произвол (хотя и ограниченный) в выборе одной из нескольких возможных команд. (При исследовании написанного на ленте слова можно делать вставки или сокращения, делать разрешенные R-преобразования видов I-II' либо смещаться влево-вправо вдоль ленты на одну ячейку.)

ВременнЗя функция T (n) произвольного недетерминированного алгоритма определяется как максимум длин кратчайших вычислений для всевозможных входных слов длины, не превосходящей n.

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

РОСТ ФУНКЦИИ ДЭНА

И СЛОЖНОСТЬ ПРОБЛЕМЫ СЛОВ

Нетрудно установить и обратную зависимость: если проблема слов в некоторой конечно-определенной группе G алгоритмически разрешима, то функция Дена D (n) для G вычислима. Возникает вопрос, насколько сложность проблемы слов для G зависит от функции D (n).

Пример группы G2 показывает, что невысокая сложность проблемы слов для группы G еще не означает, что функция Дэна для нее также растет не слишком быстро. Как мы видели, группа G2 находится в классе P (а значит, и в классе NP, поскольку к недетерминированным алгоритмам относятся и детерминированные как частный случай). Но функция Дэна для этой группы экспоненциальна.

Последнее утверждение проверяется с помощью следующей серии слов wk ╞ (akba- k)b(akb-1a- k)b-1 длины 4k + 4 для каждого k = 1, 2, _

Убедимся, что подслова, заключенные нами в скобки, равны в G2 соответственно и а значит, wk = e в группе G2 . В самом деле, мы знаем, что aba-1 = = b2 в G2 . Отсюда a2ba- 2 = a(aba-1)a-1 = ab2a-1 = (aba-1) i i (aba-1) = b2b2 = b4. Аналогично a3ba- 3 = b8 и т.д. Однако для вывода каждого равенства этой серии требуется вдвое больше преобразований типа II', чем для вывода предыдущего, плюс еще одно. (Замена aba-1 на b2 требует одного преобразования типа II' с последующими сокращениями.)

Можно показать (хотя это уже неочевидно), что указанный способ приведения слова wk к пустому слову оптимален, откуда следует, что функция Дэна группы G2 растет не медленнее экспоненциальной.

На самом деле пример группы G2 показывает лишь, что вопрос был поставлен нами в начале раздела не совсем корректно. Нужно было учесть, что если G - подгруппа некоторой группы H (то есть G - подмножество в H с той же операцией умножения [2]), то проблема слов для G не может быть сложнее, чем для Н. Поэтому правильнее было спросить о связи сложности проблемы слов в группе G с функцией Дэна некоторой большей группы Н. Но даже для группы G2 до последнего времени не было известно, существует ли содержащая ее в качестве подгруппы группа Н с полиномиальной функцией Дэна. Такая группа H для G2 недавно действительно была явно построена А.Ю. Ольшанским и М.В. Сапиром. Но это только проявление общей закономерности.

Опираясь на методы, развитые ранее в работах П.С. Новикова, У. Буна, Г. Хигмэна, Дж. Бриттона, Д. Коллинза, Ч. Миллера, С. Андера, а также на свои недавние результаты, в совместной работе, выполненной в 1998 году, Дж.-К. Бирже, А.Ю. Ольшанский, И. Рипс и М.В. Сапир доказали следующее утверждение.

Теорема. Если проблема слов для некоторой конечно-порожденной группы G может быть решена с помощью некоторого (необязательно детерминированного) алгоритма с временнЧй функцией T (n), то группа G является подгруппой некоторой конечно-определенной группы Н, функция Дэна которой не превосходит функции, эквивалентной n2T (n2)4.

Основным является

Следствие. Конечно-порожденная группа G содержится в классе NP тогда и только тогда, когда G является подгруппой некоторой конечно-определенной группы Н с полиномиальной функцией Дэна.

Разумеется, нужно ставить задачу улучшения приведенной в теореме оценки. Но интересен и промежуточный итог. Упрощая, его можно сформулировать таким образом. Если некоторый алгоритм, возможно очень умный и изощренный (необязательно детерминированный), решает проблему слов в группе G, то эта проблема может быть решена и с помощью некоторого тупого и прямолинейного недетерминированного алгоритма (а именно R-алгоритма) за время, ненамного более долгое, чем в первом случае.

ЛИТЕРАТУРА

1. Ольшанский А.Ю. Умножение симметрий и преобразований // Соросовский Образовательный Журнал. 1996. ╧ 5. С. 115-120.

2. Ольшанский А.Ю. Групповые исчисления // Там же. ╧ 10. С. 114-119.

3. Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1986. 368 с.

Рецензент статьи Ю.Г. Борисович

* * *

Александр Юрьевич Ольшанский, доктор физико-математических наук, профессор кафедры высшей алгебры механико-математического факультета МГУ. Член редколлегий ряда международных математических журналов. Автор более 60 работ по теории групп и другим вопросам современной алгебры.


Rambler's Top100