|
Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)
Об одном методе получения нижних оценок сложности монотонных арифметических схем, вычисляющих действительные многочлены
С. Б. Гашков, И. С. Сергеев Механико-математический факультет
Московского государственного университета им. М. В. Ломоносова
Аннотация:
В работе предлагается метод получения нижних оценок сложности многочленов с положительными действительными коэффициентами при реализации схемами из функциональных элементов над монотонным
арифметическим базисом $\{x+y, \,x \cdot y\} \cup \{a \cdot x \mid a \in \mathbb R_+\}$. Этот метод применяется к получению нескольких новых результатов. В частности, построены примеры многочленов степени $m-1$ по каждой из $n$ переменных с коэффициентами 0 и 1, имеющих при $m^n \to \infty$ аддитивную монотонную сложность $m^{(1-o(1))n}$ и мультипликативную монотонную сложность $m^{(1/2-o(1))n}$. В таком виде эти нижние оценки неулучшаемы.
Библиография: 72 названия.
Ключевые слова:
нижние оценки сложности, арифметические схемы, редкие множества, монотонная сложность, перманент.
Поступила в редакцию: 29.06.2011 и 11.04.2012
Образец цитирования:
С. Б. Гашков, И. С. Сергеев, “Об одном методе получения нижних оценок сложности монотонных арифметических схем, вычисляющих действительные многочлены”, Матем. сб., 203:10 (2012), 33–70; S. B. Gashkov, I. S. Sergeev, “A method for deriving lower bounds for the complexity of monotone arithmetic circuits computing real polynomials”, Sb. Math., 203:10 (2012), 1411–1447
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/sm7904https://doi.org/10.4213/sm7904 https://www.mathnet.ru/rus/sm/v203/i10/p33
|
Статистика просмотров: |
Страница аннотации: | 697 | PDF русской версии: | 243 | PDF английской версии: | 17 | Список литературы: | 62 | Первая страница: | 16 |
|