Cтраница 1
Рабин, университет Олд-Доминиона; Ричард Шеп-ро, Mayer, Brown & Platt; Бернард Шинкел, Уэйнский государственный университет; Гордон Сик, университет Алберта; Лакшми Шиям Сандер, Дартмутский колледж; Ричард Дж. Суини, колледж Клермона Маккен-на; Стивен Томас, Массачусеттский технологический институт; Майкл Уиниган, Государственный университет Огайо; Томас С. Цорн, университет Небраски, г. Линкольн. [1]
Рабин описывает, какого рода задачи ставит перед собой теория сложности, тогда как Кук, пораженный тем, как много было сделано в этой области после лекции Рабина, дает обстоятельный отчет об исследованиях сложности задач в нескольких проблемных областях. В этих двух работах, вместе взятых, содержится более 90 ссылок на литературу. Наконец, Карп предлагает глубокое обсуждение некоторых важных направлений в контексте его собственной работы и работы его коллег в этой области. Все эти три работы вместе с дополнительным интервью с Карпом позволяют читателю почувствовать себя присутствующим при разработке этих фундаментальных проблем. [2]
Рабин и Скотт показали нам, насколько хорошо математики могут помочь ученому понять свой собственный предмет. [3]
Рабин [61] разработал еще один вероятностный алгоритм со свойствами, подобными вышеупомянутым, и нашел его очень быстрым при пробах на компьютере. [4]
Рабин ввел вероятность в теорию вычислений, начиная со статьи о вероятностных автоматах. [5]
Рабин предложил использовать сети в качестве абстрактных машин, слабо вычисляющих полиномы. Недетер-минированност, результата работы машины отражает недетерминированность функционирования сети Петри. [6]
Рабин ( 9) и Блюм ( 2) доказали существование произвольно сложных функций. Их понятие сложности совершенно отлично от нашей концепции пространственно-временной меры, но все же может возникнуть вопрос, имеют ли место сходные результаты. Вопрос такого рода: Существуют ли функции произвольно большой пространственно-временной меры. [7]
Рабин был неверно упомянут в [148] как доказавший, что задача эквивалентности для множеств достижимости является неразрешимой, тогда как фактически он показал только, что задача включения неразрешима. Это доказательство не было опубликовано, но в 1972 году на совещании в МТИ было представлено новое доказательство. Оно приведено в данной работе, чтобы показать, что задача включения неразрешима. В нем используется десятая проблема Гильберта, которая сводится к недетерминированным регистровым машинам, которые в свою очередь эквивалентны сетям Петри. Это доказательство является основой доказательстваЦнеразрешимости задач эквивалентности и подмножества для множеств достижимости сети Петри, приведенных в гл. [8]
Рабин и Ван Ютерт [41] увеличили срок службы иридиевых тиглей, напыляя в пламени ZrO2 по их внешней поверхности. Это сильно снижает улетучивание иридия. [9]
Рабин [1972] предложил одно интересное обобщение понятия дерева решений. [10]
Рабин [1963] изучил важный частный случай префиксных вычислений, называемый вычислением в реальное время. [11]
Рабин, университет Олд-Доминиона; Ричард Шеп-ро, Mayer, Brown & Platt; Бернард Шинкел, Уэйнский государственный университет; Гордон Сик, университет Алберта; Лакшми Шиям Сандер, Дартмутский колледж; Ричард Дж. Суини, колледж Клермона Маккен-на; Стивен Томас, Массачусеттский технологический институт; Майкл Уиниган, Государственный университет Огайо; Томас С. Цорн, университет Небраски, г. Линкольн. [12]
Рабином и Ваном ( 10)) мера максимального объема ленты при этом вычислении, и ( Ь) от пространства, необходимого для хранения программы ( программного пространства); мы отождествляем его с общим числом символов, использованных в таблице четверок, предполагая, что индексы S - и / - символов записаны. [13]
Работа Рабина и Скотта 1959 г. Конечные автоматы и задачи их разрешения стала классической в теории формальных языков, она представляет собой одно из самых лучших введений в эту область. Эта статья одновременно является обзором и оригинальной исследовательской работой, она технически проста и математически безупречна. Она рекомендована даже студентам младших курсов. [14]
Статья Рабина [1963] была одной из первых работ о временной сложности, и она заслуживает изучения. Улучшения иерархии по времени, данные в упр. Что касается иерархий для НМТ, то упр. [15]