Явні многочлени в 1 змінній із нижньою межею складності суперлогарифмічної схеми?


12

Підраховуючи аргументи, можна показати, що існують многочлени ступеня n в 1 змінній (тобто щось із вигляду які мають складність ланцюга n. Також можна показати, що для такого полінома, як потрібно принаймні множення (це потрібно лише для отримання достатньо високого ступеня). Чи є явні приклади многочленів в 1 змінній із суперлогоарифмічною нижньою межею складності? (результати в будь-якому полі були б цікаві)x n log 2 nanxn+an1xn1++a0)xnlog2n


Чи є у вас приклади, що мають складність схеми над обмеженим полем? Я не бачу, як аргумент підрахунку буде працювати над нескінченним полем, і над раціоналами я впевнений, що Патерсон-Стокмейер n обмежена межа (див. також мою відповідь нижче). n
Джошуа Грохов

Згадане вами згадування sqrt (n) - це лише верхня межа кількості множень (над будь-яким полем), але якщо ми вважаємо як додавання, так і множення як операції, то нам потрібно n операцій над нескінченним полем майже для кожного многочлена, просто оскільки в поліномі є п ять різних коефіцієнтів, і немає можливості оцінити всі можливі многочлени з меншими, ніж n операціями (я не впевнений, чи слід це називати аргументом підрахунку чи ні).
матові хастінгси

aixixaiai

1
Що я маю на увазі: схема складається з воріт додавання та множення. Вхідними даними для воріт можуть бути виходи попередніх воріт, або x, або деякі константи. Питання полягає в тому, що: для даного многочлена ми можемо знайти схему та вибір констант у цій схемі для її обчислення? Але у нас є (n + 1) -вимірний простір поліномів, але якщо ми фіксуємо структуру ланцюга з меншими, ніж n воріт (під "структурою", я маю на увазі, які ворота використовують виходи, з яких інші ворота) і враховуємо всі Можливий вибір констант це дає менше n-мірного простору поліномів, які можна обчислити.
матові гастінгси

Btw --- враження, яке я створюю, полягає в тому, що побудова явних прикладів над R або C без додаткових обмежень на коефіцієнти в основному вирішується. З іншого боку, побудувавши явні приклади, коли всі коефіцієнти a_i є цілими числами і не ростуть занадто швидко, вони все ще відкриваються? Є приклад з усіма цілими константами в опитуванні, яке ви згадуєте, але вони зростають удвічі експоненціально.
матові гастінгси

Відповіді:


11

n(a1,,an)i=1n(xai)Ω(n)

ni=1n22ixii=1ne2πi/2ixii=1nirxir


Дякую. Отже, здавалося б, що відкрита проблема полягає в тому, що якщо ви порахуєте додавання також як операції, чи можна побудувати поліном, який потребує більше ніж sqrt (n) операцій, з метою побудувати той, який потребує n операцій. Будь-які результати до цього? (Я сумніваюся в цьому, тому що в методі, який потребує лише sqrt (n) множення, додавання дають деяке матричне множення, і це, ймовірно, зводиться до нижчих меж складності матрично-скалярного множення)
матовий хастінг
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.