|
Дискретный анализ и исследование операций, сер. 1, 2007, том 14, выпуск 3, страницы 31–39
(Mi da204)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
О функциях, вычислимых булевыми схемами логарифмической глубины и ветвящимися программами специального вида
А. В. Васильев Казанский государственный университет
Аннотация:
Дэвид М. Баррингтон доказал совпадение класса функций, реализуемых схемами из функциональных элементов логарифмической глубины NC$^1$, с классом функций, представимых ветвящимися программами константной ширины и полиномиальной длины BWBP.
В статье уточняется структура ветвящихся программ, получаемых предложенным Баррингтоном методом. А именно, доказывается, что с помощью $k$-OBDD полиномиальной сложности и ширины 5 можно реализовать все функции из класса NC$^1$ и только их. Это утверждение можно переформулировать следующим образом: poly$(n)$-OBDD$_5$ = NC$^1$.
Библ. 4.
Статья поступила: 20.10.2006 Переработанный вариант: 18.05.2007
Образец цитирования:
А. В. Васильев, “О функциях, вычислимых булевыми схемами логарифмической глубины и ветвящимися программами специального вида”, Дискретн. анализ и исслед. опер., сер. 1, 14:3 (2007), 31–39; J. Appl. Industr. Math., 2:4 (2008), 585–590
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da204 https://www.mathnet.ru/rus/da/v14/s1/i3/p31
|
Статистика просмотров: |
Страница аннотации: | 406 | PDF полного текста: | 134 | Список литературы: | 44 |
|