Cтраница 2
Аналогичное сведение провели Рабин и Скотт [9] в применении к двуленточному автомату. Проблема парасочетаний формулируется следующим образом. [16]
Интересно отметить, что Рабин, Стирнс, Беннет и Ритчи - всел были студентами в Принстоне примерно в одно и то же время. [17]
Росс, Матиас и Рабин [47] показали, что связывание одного только Zn ( II) оказывает ингибирующее, но все же относительно слабое влияние. Однако в присутствии цитидин - З - фосфата ( З - ЦМФ) ингибирование наблюдалось при очень низкой концентрации Zn ( II) и было приписано образованию сильного тройного комплекса между Zn ( II), РНазой и З - ЦМФ. Однако исследования последних лет показали, что Си ( II) также образует тройной комплекс с РНазой и З - ЦМФ - [49] ( см. ниже) и что связывание Си ( П) в отсутствие нуклеотидов более сложное, чем ранее предполагали. [18]
Теорема 6.5. п-ленточные автоматы Рабина - Скотта эквивалентны схемам разобщенной памяти с п ячейками. [19]
Как и Николь, Рабинов не считает творческий процесс логическим. Однако в том, что говорит Рабинов, есть и свои оттенки. С точки зрения Николя, изобретатель прекрасно обходится без благоразумия: бросился на задачу - и победил. Рабинов рисует картину менее радужную и более близкую к действительности: бросился... [20]
Посмотрим как выполняется тест Рабина в одной широко известной системе символьных вычислений. Конечно, каждая программа использует ей одной свойственную стратегию. Например, Maple V.21 проверяет простоту в три этапа. [21]
Сейчас при чтении отличной статьи Рабина [62] мое внимание привлекает то обстоятельство, насколько возросла с тех пор активность в данной области. В этом кратком обзоре я хочу упомянуть наиболее важные и интересные на мой взгляд результаты по сложности вычислений с начала этих исследований примерно в 1960 г. В столь обширной области выбор тем неизбежно индивидуален, однако я надеюсь, что включенные в обзор статьи по любым стандартам являются фундаментальными. [22]
Дальнейшие замечания: ( 1) Рабин утверждает в своей работе о разрешимости S2S - ( полной) сингулярной теории второго порядка двух функций следования, что его процедура элемен - - тарно рекурсивна. По-видимому, он был введен в заблуждение тем фактом, что каждый шаг элиминации кванторов в его доказательстве элементарен, и тем, что заключительная проверка, допускает ли автомат на дереве непустое множество, также является элементарной относительно размера автомата. [23]
Рациональное зерно в таком использовании теста Миллера прорастает из теоремы Рабина. [24]
Первая попытка аксиоматического подхода к измерению трудности вычислений была сделана Рабином [3, 4], который аксиоматизировал понятие меры на доказательствах и длины вычисления функции и получил некоторые начальные результаты для этих мер. Первое систематическое исследование одной специфической меры сложности вычислений и изучение соответствующих классов сложности принадлежит Хартманису и Стирнзу [5, 6], которые дали также название сложность вычислений этой новой области исследований. В докладе Кобхэма [7] обсуждалась важность исследования количественных аспектов вычисления и приводились некоторые дальнейшие, результаты. [25]
Поэтому Соросу устроили встречу со многими ответственными лицами, от премьер-министра Ицхака Рабина до управляющего Банка Израиля Якоба Франкеля, с которым Сорос некогда работал. Рабин сказал Соросу, что Изра - иль постепенно приватизирует некоторые субсидируемые государством фирмы и приглашает инвесторов к участию в этом процессе. Сорос ранее осуществил два небольших проекта в Израиле и теперь посетил свои творения. Одним из них был Геотек, занимавшийся сотовой радиосвязью и беспроволочными коммуникациями; вторым - упомянутая выше Индиго. Во второй фирме Сорос лично владел 17 % акций, стоивших в 1993 году 70 млн. долларов - и вдвое больше на следующий год. [26]
В качестве конкретной иллюстрации преимуществ бросания монеты я приведу простой рандомизированный алгоритм сопоставления с образцом, изобретенный Рабином и мною в 1980 г. Задача сопоставления с образцом - одна из основных в обработке текстов. Грубый метод решения этой задачи состоит в непосредственном сравнении образца с каждым я-раз-рядным блоком внутри текста. В худшем случае время выполнения этого метода пропорционально произведению длины образца на длину текста. [27]
Общий аксиоматический подход к сложности вычислений, использованный в этом обзоре, был сформулирован Блюмом [10] под влиянием работы Рабина. Блюм получил также большинство результатов, содержащихся в разд. [28]
Рабин описывает, какого рода задачи ставит перед собой теория сложности, тогда как Кук, пораженный тем, как много было сделано в этой области после лекции Рабина, дает обстоятельный отчет об исследованиях сложности задач в нескольких проблемных областях. В этих двух работах, вместе взятых, содержится более 90 ссылок на литературу. Наконец, Карп предлагает глубокое обсуждение некоторых важных направлений в контексте его собственной работы и работы его коллег в этой области. Все эти три работы вместе с дополнительным интервью с Карпом позволяют читателю почувствовать себя присутствующим при разработке этих фундаментальных проблем. [29]
На самом деле посредством более тонкой конструкции можно при условиях теоремы обнаружить существование такого свойства Т двоичных слов, для которого утверждение б) теоремы справедливо в следующей более сильной форме ( теорема Рабина); б) Какова бы ни была машина S, распознающая это свойство Г, ее временная сигнализирующая tg удовлетворяет неравенству t ( Р) / ( Р) для всех двоичных слов Р за исключением конечного их числа. [30]