RUS  ENG
Полная версия
ЖУРНАЛЫ // Математический сборник // Архив

Матем. сб., 2012, том 203, номер 10, страницы 33–70 (Mi sm7904)

Эта публикация цитируется в 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 названия.

Ключевые слова: нижние оценки сложности, арифметические схемы, редкие множества, монотонная сложность, перманент.

УДК: 519.61+519.71

MSC: Primary 03D15; Secondary 68Q15, 68Q17

Поступила в редакцию: 29.06.2011 и 11.04.2012

DOI: 10.4213/sm7904


 Англоязычная версия: Sbornik: Mathematics, 2012, 203:10, 1411–1447

Реферативные базы данных:


© МИАН, 2024