Машина Блюма – Шуба – Смейла. - Blum–Shub–Smale machine

В теория вычислений, то Машина Блюма – Шуба – Смейла., или же BSS машина, это модель вычисления представлен Ленор Блюм, Михаил Шуб и Стивен Смейл, предназначенный для описания вычислений над действительные числа. По сути, BSS-машина - это Машина произвольного доступа с регистрами, которые могут хранить произвольные действительные числа и могут вычислять рациональные функции по реалам за один временной шаг. Его часто называют Настоящая оперативная память модель. Машины BSS мощнее, чем Машины Тьюринга, поскольку последние по определению ограничены конечным алфавитом. Машине Тьюринга можно дать возможность хранить произвольные рациональное число в один символ ленты, сделав этот конечный алфавит произвольно большим (в терминах физической машины, использующей транзистор -основная память, создавая ячейки памяти из достаточного количества транзисторов для хранения желаемого числа), но это не распространяется на бесчисленный действительные числа (например, никакое количество транзисторов не может точно представить число Пи ).

Определение

BSS-машина M представлена ​​списком из инструкции (будут описаны ниже), индексированные . Конфигурация M - это набор , куда k это индекс инструкции, которая будет выполняться следующей, р и ш регистры копирования, содержащие неотрицательные целые числа, и представляет собой список действительных чисел, где все, кроме конечного числа, равны нулю. Список считается содержащим содержимое всех регистров M. Вычисление начинается с конфигурации и заканчивается, когда ; окончательное содержание Икс называется выходом машины.

Инструкции M могут быть следующих типов:

  • Вычисление: замена выполняется, где - произвольная рациональная функция (частное двух полиномиальных функций с произвольными действительными коэффициентами); копировать регистры р и ш может быть изменен либо или же и аналогично для w. Следующая инструкция k+1.
  • Ответвляться: если затем перейти ; еще идти k+1.
  • Копировать (): содержимое регистра "чтения" копируется в регистр "записи" ; следующая инструкция k+1

Смотрите также

дальнейшее чтение

  • Bürgisser, Питер (2000). Полнота и редукция теории алгебраической сложности. Алгоритмы и вычисления в математике. 7. Берлин: Springer-Verlag. ISBN  3-540-66752-0. Zbl  0948.68082.
  • Грэдель, Э. (2007). «Теория конечных моделей и описательная сложность». Теория конечных моделей и ее приложения (PDF). Springer-Verlag. С. 125–230. Zbl  1133.03001.
  • Блюм, Ленора; Шуб, Майк; Смейл, Стив (1989). «К теории вычислений и сложности над действительными числами: NP-полнота, рекурсивные функции и универсальные машины» (PDF). Бюллетень Американского математического общества. 21 (1): 1–46. Дои:10.1090 / S0273-0979-1989-15750-9. Zbl  0681.03020.