Главная » Просмотр файлов » markov_teorija_algorifmov

markov_teorija_algorifmov (522344), страница 70

Файл №522344 markov_teorija_algorifmov (Марков - Теория алгоритмов) 70 страницаmarkov_teorija_algorifmov (522344) страница 702013-09-14СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 70)

Итак, пусть (57) (58) К о К (59) тогда как для всякого ! такого, что 1 < ! <т, соблюдаются условия б). При этом и есть некоторое число такое, что 1<т<й. $59! ПРОВЛЕМА ЭКВИВАЛЕНТНОСТИ ПУСТОМУ СЛОВУ Зтэ Имеем тогда )7сх й1 (60) х Я (1 (1 < т) [(24)], 3! ХЗ (61) ХЯ (1'(1(т) [(59), (25)], (62) ф Х РаКф5 (1(1 < и) [(28), (60), (61)]. Положим (63) Р, 1т„3, (64) Р,. — Я„аКфЯ (1(1<т) и примем за Я ряд такой, что его !-й член есть (1! при 1(!<1, Р!, при 1(!<и+1 и ()! при т+1(1(Ф. Так как 1 > 1 и т< И(л1, ряд Я соединяет те же слова, что А1, т. е. соединяет у' с Ф'.

Имеем (65) ч): 9! ) Я!+! (1(! <1 — 1), (66) ц!: Р, 1 (1 +„А): $1 $+! (и+1(1(в~1 — 1), так как А! есть Й-ряд н Р„,х() [(64), (58), (61), (28)]. Имеем далее !в; К,, 1 К, (1 < ! < т), откуда (67) Й: К! ! ) К! (1 < 1 < и), (68) ~; Р!, ~ Р, (1 < ! < т) [(64), (67), $ 57.5.3]. Имеем также (69) Р Ав)т аС~ЗЯ [(64), (23)], (70) Р.

Р,, ( Р,. [(63), (69)]. Наконец, имеем (71) вз,; )с) )г„[(57), (60)], (72) д): р( ] 11„[(71)], (73) ~; Р~, ) Р, [(72), (!9), (63), 5 57.5.3]. Смежности (65), (73), (70), (68), и (66) показывают, что Я есть В-ряд, пговлемА тождествА для полугпупп !ГЛ. У!П 990 ПРОБЛЕМА ЭКВИВАЛЕНТНОСТИ ПУСТОМУ СЛОВУ зв! Имеем далее (74) [)7» ~ [)7» [Р!- Т!-* (75) < 1! [Рв [ив 76 й [(22)1 [(74), (63), (19)] [(15)], (! (! < т) [(74), (64), (62)] ( ) [(18)1.

Из сравнения рядов % и ~~ видно, что % получается из Я' в результате замены слов (Е! (1<9(т) словами Р, (! — 1(9 < т — 1), Так как слова (;!! (!( !' т) имеют высоту Й [(18)1, а из слов Р, (! — 1(9(т — 1) первое слово имеет высоту, меньшую !т [(75)], а остальные — вы- соту Ь [(76)], имеем неравенство (39), причем в случае равенства (40) имеем [Яп [Я1» 1 < [ав Таким образом, и теперь построенный ряд Я обладает всеми требуемыми свойствами, Доказательство леммы 1.2 этим завершено. 1.3. При соблюдении условий леммы 1,2 может быть построен у ряд Я, соединяющий У с Ф' и удовлетворяющий условшо (9).

Пусть, в самом деле, соблюдены условия леммы 1.2. Строим тогда, согласно этой лемме, Й-ряд Я„соединяющий У с )у' н удовлетворяющий либо условию (77) [Яв < [Я)в либо паре условий (78) [1)(в [Е)в (79) [Яп < [~» Если соблюдено условие (77), то полагаем Я = %,; ряд Я, очевидно, обладает требуемыми свойствами. Е ели же соблюдены условия (78) и (79), то применяем лемму 1.2 к словам У, йх и ряду %, (в роли Я'). Это воз- можно, так как [Ув < [Я~ [(7) (78)1 [)Р" < [%» [(8), (78)1.

Строим, согласно 1.2, х!-ряд Я,, соединяющий У с Ж н удовлетворякнций либо условию (80) [Яв < [Яв либо условиям (81) (82) [Яв [Яв [Я,п < [%". Если соблюдено условие (80), то полагаем Ж вЂ” Я;, если же соблюдены условия (81) и (82), то применяем еще раз лемму 1,2, Продолжая таким образом действовать дальше, будем последовательно получать !г!-ряды, соединяющие У с Г и такие, что высоты их равны, тогда как протяжения строго убывают. Этот процесс, очевидно, должен оборваться (не более ЧЕМ ПОСЛЕ [А)п ШаГОВ), а ОбОрВатЬСя ОН МОжЕт ЛИШЬ тОГда, когда получится А!-ряд, соединяющий У с Вй и имеющий высоту, меньшую высоты ряда А!.

Такой З-ряд, следовательно, может быть построен, что и требовалось доказать. 1.4. Если З: У][ Ч!, то может быть построен ~Ю-ряд %, соединяющий У с %' и удовлетворяющий хотя бы одному из неравенств (83) [У' ~[%' (84) [Я7') [Я'. В самом деле, пусть Й: У][ 1(г. Тогда существует Й-ряд Г'., соединяющий 1" с ((Г, Если он удовлетворяет условиям (7) и (8), то строим, согласно 1,3, Й-ряд 9л„соединяющий У с йг и такой, что [0в! < [Св.

Если < [9ЛВ [рхв < [~в то строим, согласно 1.3, Й-ряд Ю„соединяющий У с 1(й н такой, что [А1; < 9л;. Этот процесс последовательного построения З-рядов, соединяющих У с )(Г и имеющих строго убывающие высоты, должен, очевидно, оборваться (ие более чем после [А)п шагов), а это, согласно 1.3, произойдет лишь тогда, когда получится л)-ряд Г'!„, соединяющий У с )(У и такой, что хотя бы одно из неравенств [Ув < [~~в [цхв < [~~в не соблюдается. Этот ряд А „, очевидно, и может быть взят в качестве Я.

)п(ы можем теперь закончить доказательствотеоремы 1.1, ПРОБЛЕМА ТОЖДЕСТВА ДЛЯ ПОЛУГРУПП !ГЛ. Ч!и 6691 пРОБЛЕмА ЭКВИВАлЕНтНОСти пУСтОМУ СЛОВУ 333 Допустим, что эквивалентность (3) Й: 66Р(1 )[ Л имеет место для слова Р в алфавите Г. Покажем, что тогда имеет место эквивалентность (2) В:Р С. Х Так как (85) [аР()в = 1 и [Л' О, может быть построен, согласно 1.4, я.-ряд А1 соединяющий аР11 с Л и удовлетворяющий условию [~~в ( 1 т..е. условию (86) [()в<1 (1«= <)У), где 1Е1 — 1-й член ряда А1, а Ф вЂ” его объем. Имеем (87) Х сьР~, (88) ()и ~Л, (89) Яй =0 [(88)~.

П 9=0. В усть 1 означает наименьшее из чисел 1, для которых [1Е1 = . силу (89) такие числа существуют и 1 < й(. В силу (85) и (87) 1 ) 1, Рассмотрим члены 1Е1 (1 (1 - 1) Й-ряда А1. По определению числа / имеем (90) [1;1;- 1 (1 < 1' </) [(86)1, (91) [ив.=О, Ра ассуждая далее, как в доказательстве леммы 1.2, убеж- даемся, что каждое слово Я1 (1(1<1) может быть одно- значно представлено в виде Р1аК11)О1, где (92) К1~Р, где )с1, Кв и 51 суть слова в Г н где при всяком 1 (1 < <1<1) имеем либо 6: К;, ! Кв, либо К тгК.

Имеем этому меем по- (93) аК,ЛК/ 1, С другой стороны, имеем 66К1- Рэ Ф:()1-;1 ();, откуда в силу (90) и (91) следует, что (94) Кг,~с. В силу (92) — (94) имеет место эквивалентность (2), что и требовалось доказать. 2. Теоремы 3 58.3.! и 1.1 дают возможность установить следующий результат (А. А. М а р к о в !61): 2.1. Может быть построена ассоциативное исчисление л1, удовлетворяюи(ее следуюи1ему условию: невозможен нормальный алгорифм над алфавитом исчисления Ь, перерабапичваю1ций в пустое слово те и только те слова в этом алфавите, которые не эквивалентны в З пустому слову.

Построим, в самом деле, ассоциативное исчисление 5 над алфавитом йе согласно 3 58,3.1. Применим к еэ теорему 1.1. Роль (В пусть играет при этом 2), роль à — алфавит исчисления В, роль С вЂ сло йеа в этом алфавите, роли 66 и р †как-нибудь две буквы, не принадлежащие Г. Построим согласно 1.1 ассоциативное исчисление лэ в алфавите Д, равном Гор, таким образом, что эквивалентность 16:Р )[ С тогда и только тогда будет иметь место для какого-нибудь слова Р в Г, когда будет иметь место эквивалентность В:аР!) 1[ Л. Исчисление 3О будет тогда удовлетворять условию, сформулированному в теореме 2.1.

Допустим, в самом деле, что 9 есть нормальный алгорифм над Д, аннулирующий те и только те слова в Д, которые не эквивалентны в л1 пустому слову. Построим нормальный алгорифм (й в алфавите Д со схемой где $ пробегает алфавит Г. Ясно, что для любого слова Р в Г имеет место графическое равенство 1в (Р) у. аРР. ПРОБЛЕМА ТОЖДЕСТВА ДЛЯ ПОЛ УГРУПП !ГЛ.

ЧП! э 60! 888 МЕТОД ВЫЧИСЛИМЫХ ИНВАРИАНТОВ Построим алгорифм м.' как нормальную композицию алгорифмов 6 и 9: (2) а — (е О6). м есть нормальный алгорифм над Г 1(2)1, причем для лю- бого слова Р в Г У((Р) — Ф (6 (Р)) ~(2)] $ (аР)») 1(1)1. Следовательно, м' тогда и только тогда аннулирует слово Р в Г, когда й аннулирует слово аР1), т.

е. когда аР(» не эквивалентно пустому слову в 1т1. Но, согласно построению исчисления ц1, эквивалентность лэ: аРр )) Л тогда и только тогда не имеет места, когда слово Р не эквивалентно йей в исчислении 6. Таким образом, гс аннулирует те и только те слова в Г, которые не эквивалентны сей в 6. Такой нормальный алгорифм й над Г, однако, невозможен, согласно построению исчисления В. Следовательно, невозможен и нормальный алгорифм ф над Д, аннулирующий те и только те слова в Д, которые не эквивалентны в 1Гэ пустому слову. Аналогично, с помощью теорем 3 58.3.2 и 1.1, устанавливается 2.2. Может быть построено ассоциативное исчисление л1, удовлетворяющее следующему условшо: невозможен нормальный алгорифм над алфавитом исчисления лэ, применимый ко всякому слову в этом алфавите и перерабатывающий в пустое елово те и только те слова в нем, которые эквивалентны в !ь пустому слову.

3. Аналогично тому, как проблему эквивалентности в данном ассоциативном исчислении Й можно истолковать как проблему тождества в порождаемой нм К-системе 13 57.9), проблему эквивалентности данному слову в исчислении Й можно истолковать как проблему тождественности данному элементу этой К-системы. В частности, проблему эквивалентности пустому слову в исчислении Й можно истолковать как проблему тождественности единичному элементу К-системы, порождаемой исчислением Й, т.

е. как проблему построения нормального алгорифма, распознающего элементы, тождественные единичному элементу этой К-системы, по словам, представляющим эти элементы. Доказанную только что тео- рему 2.2 можно в соответствии с этим рассматривать как установление возможности построения К-системы с неразрешимой проблемой тождественности единичному элементу. $60. Метод вычислимых инвариантов Мы закончим эту главу изложением одного предложенного А.

А. Марковым (см. (14), (15)) общего метода установления неразрешимости массовых алгорифмических проблем, находящего в рассматриваемой нами проблематике очень естественное применение. 1. Зафиксируем какой-либо алфавит А и будем рассматривать бинарные отношения между словами в нем. Под этим мы, как обычно, будем подразумевать двуместные вербальные предикаты, свободные переменные которых принимают в качестве значений слова в алфавите А. В целях краткости мы будем иногда опускать указания на алфавит и говорить просто о «бинарных отношениях».

Характеристики

Тип файла
DJVU-файл
Размер
4,16 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
Как Вы думаете, сколько людей до Вас делали точно такое же задание? 99% студентов выполняют точно такие же задания, как и их предшественники год назад. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6451
Авторов
на СтудИзбе
305
Средний доход
с одного платного файла
Обучение Подробнее