Підраховуючи аргументи, можна показати, що існують многочлени ступеня n в 1 змінній (тобто щось із вигляду які мають складність ланцюга n. Також можна показати, що для такого полінома, як потрібно принаймні множення (це потрібно лише для отримання достатньо високого ступеня). Чи є явні приклади многочленів в 1 змінній із суперлогоарифмічною нижньою межею складності? (результати в будь-якому полі були б цікаві)x n log 2 n
Чи є у вас приклади, що мають складність схеми над обмеженим полем? Я не бачу, як аргумент підрахунку буде працювати над нескінченним полем, і над раціоналами я впевнений, що Патерсон-Стокмейер √
—
Джошуа Грохов
обмежена межа (див. також мою відповідь нижче).
Згадане вами згадування sqrt (n) - це лише верхня межа кількості множень (над будь-яким полем), але якщо ми вважаємо як додавання, так і множення як операції, то нам потрібно n операцій над нескінченним полем майже для кожного многочлена, просто оскільки в поліномі є п ять різних коефіцієнтів, і немає можливості оцінити всі можливі многочлени з меншими, ніж n операціями (я не впевнений, чи слід це називати аргументом підрахунку чи ні).
—
матові хастінгси
Що я маю на увазі: схема складається з воріт додавання та множення. Вхідними даними для воріт можуть бути виходи попередніх воріт, або x, або деякі константи. Питання полягає в тому, що: для даного многочлена ми можемо знайти схему та вибір констант у цій схемі для її обчислення? Але у нас є (n + 1) -вимірний простір поліномів, але якщо ми фіксуємо структуру ланцюга з меншими, ніж n воріт (під "структурою", я маю на увазі, які ворота використовують виходи, з яких інші ворота) і враховуємо всі Можливий вибір констант це дає менше n-мірного простору поліномів, які можна обчислити.
—
матові гастінгси
Btw --- враження, яке я створюю, полягає в тому, що побудова явних прикладів над R або C без додаткових обмежень на коефіцієнти в основному вирішується. З іншого боку, побудувавши явні приклади, коли всі коефіцієнти a_i є цілими числами і не ростуть занадто швидко, вони все ще відкриваються? Є приклад з усіма цілими константами в опитуванні, яке ви згадуєте, але вони зростають удвічі експоненціально.
—
матові гастінгси