|
Дискретный анализ и исследование операций, сер. 1, 2004, том 11, выпуск 2, страницы 80–90
(Mi da106)
|
|
|
|
Детерминированные и вероятностные без ошибки упорядоченные один раз читающие бинарные программы равномощны
Р. Г. Мубаракзянов Казанский государственный университет
Аннотация:
Приводится полное доказательство результата, представленного автором на Workshop on Computer Science and Information Technologies, CSIT'99 (Москва, январь 1999 г.). Доказывается, что упорядоченные один раз читающие бинарные программы (OBDD в англоязычной литературе) полиномиального размера, осуществляющие вероятностное вычисление без ошибки, вычисляют лишь простые функции для детерминированных OBDD. Данный факт не имеет места для один раз читающих бинарных программ, в которых порядок считывания переменных не фиксирован.
Статья поступила: 16.06.2003
Образец цитирования:
Р. Г. Мубаракзянов, “Детерминированные и вероятностные без ошибки упорядоченные один раз читающие бинарные программы равномощны”, Дискретн. анализ и исслед. опер., сер. 1, 11:2 (2004), 80–90
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da106 https://www.mathnet.ru/rus/da/v11/s1/i2/p80
|
|