Вопросы с тегом «polynomials»

12
Основания Гребнера в TCS?
Кто-нибудь знает интересные применения основ Гребнера в теоретической информатике? Базисы Грёбнера используются для решения многовариантных полиномиальных уравнений, NP-трудная задача в целом. Мне было интересно, использовались ли некоторые поддающиеся рассмотрению особые случаи для обеспечения эффективных алгоритмов / конструкций / доказательств в областях TCS или связанных с TCS (комбинаторика, теория кодирования).

1
Умножение n полиномов степени 1
Задача состоит в том, чтобы вычислить многочлен . Предположим, что все коэффициенты вписываются в машинное слово, т. Е. Ими можно манипулировать в единицу времени.( а1х + б1) × ⋯ × ( аNх + бN)(a1Икс+б1)×⋯×(aNИкс+бN)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Вы можете сделать раз, применяя БПФ …

2
Полиномиальный метод для результатов сложности
Полиномиальные методы , скажем, теорема о комбинаторном нульстелленсаце и Шевалле – Предупреждениее, являются мощными инструментами аддитивной комбинаторики. Представляя проблему с собственными полиномами, они могут гарантировать существование решения или количество решений полиномов. Они использовались для решения таких задач, как ограниченные наборы сумм или задачи с нулевой суммой , и некоторые из …

6
Альтернативные доказательства леммы Шварца – Циппеля
Мне известны только два доказательства леммы Шварца – Циппеля. Первое (более распространенное) доказательство описано в записи википедии . Второе доказательство открыл Дана Мошковиц. Есть ли другие доказательства, которые используют существенно разные идеи?

1
Приблизительная степень
РЕДАКТИРОВАТЬ (v2): в конце добавлен раздел о том, что я знаю о проблеме. РЕДАКТИРОВАТЬ (v3): Добавлено обсуждение пороговой степени в конце. Вопрос Этот вопрос в основном справочный запрос. Я не знаю много о проблеме. Я хочу знать, была ли предыдущая работа по этой проблеме, и если да, может ли кто-нибудь …


3
Вычисление суммы разреженных полиномов в квадрате за O (n log n) времени?
Предположим , что мы имеем полиномы степени не более n , n > m , так что общее число ненулевых коэффициентов равно n (т. е. многочлены редки). Меня интересует эффективный алгоритм вычисления полинома:p1,...,pmp1,...,pmp_1,...,p_mnnnn>mn>mn>mnnn ∑ipi(x)2∑ipi(x)2\sum_i p_i(x)^2 Поскольку этот многочлен имеет степень не более , размер входных и выходных данных равен O …

2
Каково смещение случайных многочленов с низкой степенью над GF (2)?
У меня есть вопрос, касающийся полиномов и вероятностей низкой степени: какова (асиптотическое поведение) вероятность того, что случайный * полином ppp по GF (2) со степенью и n переменных имеет .≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * Когда я пишу случайный многочлен с переменными степени ≤d≤d\le d и n, вы можете …

2
Оценивая мультилинеаризацию арифметической схемы?
Пусть быть мульти-мерный полином с коэффициентами над полем . Мультилинеаризация , обозначаемая , является результатом многократной замены каждого с на . Результат, очевидно, является полилинейным полиномом.р ( х 1 , ... , х п ) F р р х д я д > 1 х Ip(x1,…,xn)p(x_1,\ldots,x_n)FFppp^\hat{p}xdix_i^dd>1d > 1xix_i Рассмотрим следующую …

1
Явные полиномы от 1 переменной с нижними границами сложности суперлогарифмической схемы?
Подсчитав аргументы, можно показать, что существуют многочлены степени n от 1 переменной (т. Что-то вроде которые имеют сложность схемы n. Также можно показать, что для многочлена типа требуется как минимум умножений (это нужно просто для получения достаточно высокой степени). Существуют ли явные примеры полиномов от 1 переменной с суперлогарифмической нижней …

1
Существует ли P-полная задача о диофантовых уравнениях?
В целом решение о том, имеет ли диофантово уравнение какое-либо целочисленное решение, эквивалентно проблеме остановки. Я считаю, что решение о том, имеет ли какое-либо решение квадратное диофантово уравнение, является NP-полным. Существует ли дополнительное ограничение на используемые уравнения, которое приводит к P-полной задаче?

2
Поддержание значения многочлена над динамически обновляемым вводом
Пусть - многочлен над фиксированным конечным полем. Предположим, что нам задано значение P для некоторого вектора y ∈ { 0 , 1 } n и вектора y .п( х1, х2, … , ХN)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n)пPPY∈ { 0 , 1 }Ny∈{0,1}ny \in \{0,1\}^nYyy Теперь мы хотим вычислить значение на вектор …

1
Оценка симметрических полиномов
Пусть - симметрический многочлен , т. Е. Такой многочлен, что для всех и все перестановки . Для удобства можно предположить, что является конечным полем, чтобы избежать решения проблем с моделью вычислений.е: KN→ Кf:Kn→Kf:\mathbb{K}^n \to \mathbb{K}x ∈ K n σ ∈ S n Kе( х ) = е( σ( х ) …

1
О дерандомизированном тестировании полиномиальной идентичности
В тестировании тождества полиномов мы ищем детерминированный алгоритм, чтобы вывести равенство двух полиномов . Дерандомизация известных эффективных рандомизированных алгоритмов и создание эффективного детерминированного алгоритма является важной открытой проблемой. Есть ли полная проблема для PIT, так что дерандомизированное тестирование идентичности для этого одного класса полиномов решает эту открытую проблему? Если нет, …

1
Сложность свертки в кольце max / plus
Мы можем сделать свертку в для полиномов плюс / умножение с FFT. Тем не менее, подход не кажется очень обобщенным для колец в целом. Был ли какой-нибудь прогресс по наивной свертке для кольца max / plus?O ( n logн )О(Nжурнал⁡N)O(n\log n)O ( n2)О(N2)O(n^2) Я должен отметить, что можно преобразовать soft-max …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.